שיחה:89-214 סמסטר א' תשעא/תרגילים

הנחיות

ראשית, קיראו את ההנחיות בעמוד הראשי. דף זה מיועד לשאלות בנוגע לתרגילים - כולל קושיות ותהיות מתמטיות, וגם סוגיות טכניות (לפחות עד שנגְלה את אלה לדף אחר). אנא אל תפתחו כותרות ראשיות שלא לצורך. עוזי ו. 19:28, 7 באוקטובר 2010 (IST)

נושאים כלליים

• האם בהרכבת של פעולה בינארית יכול להיות תנאי? לדוגמה:

a, b שייכים ל N

a + b =

1 אם a זוגי

אחרת 2

בוודאי שהגדרת הפעולה יכולה להיות מסובכת; פעולה בינארית מתאימה ערך לכל זוג סדור. אין שום סיבה לצפות שהפעולה תהיה מורכבת מפעולות מוכרות. עוזי ו. 20:44, 6 בנובמבר 2010 (IST)

• רוצים לכתוב נוסחאות מתמטיות כאן ולא יודעים איך? אתם יכולים להעזר בעורך LaTeX הבא:

http://www.codecogs.com/latex/eqneditor.php זה גם עוזר ללמוד קצת LaTeX, תוך כדי, אבל לא חייבים להפנים אם לא רוצים. כדי להכניס את הנוסחה שערכתם, בעת עריכת ההודעה לחצו על ה-[math]\displaystyle{ \sqrt{n} }[/math] שמופיע ב-toolbar מעל תיבת העריכה והדביקו את הנוסחה במקום הטקסט formula שיופיע. --84.110.186.131 15:57, 22 בנובמבר 2010 (IST)

• במשפט האיזומורפיזם הראשון אמרנו כי לכל הומומורפיזם [math]\displaystyle{ \ \phi : G \rightarrow H }[/math], [math]\displaystyle{ \ G/\operatorname{Ker}(\phi) \cong \operatorname{Im}(\phi) }[/math]. האם גם הכיוון השני נכון? כלומר, האם זה נכון כי אם [math]\displaystyle{ G/N\cong K }[/math] אז קיים אפימורפיזם [math]\displaystyle{ \phi: G\rightarrow K }[/math] שהגרעין שלו הוא [math]\displaystyle{ N }[/math]? --Shwarto 17:56, 5 בדצמבר 2010 (IST)

• לגבי תרגיל 7, כתוב למעלה שהקבוצה של יום רביעי (קבוצה 5) צריכה להגיש את התרגיל עד ה-22/12 ואח"כ כתוב שעד 26/12 בשעה 12:00 לתא של מיכאל. מה נכון?

--84.110.207.119 23:22, 19 בדצמבר 2010 (IST)

תרגיל 2

שאלה 2

מהו X, הכוונה לכל X. X שייך לB,

X שייך לR??

-- ניתן לחשוב על X כעל משתנה (כמו בפולינומים), ולכן הוא לא שייך ל-R או ל-B. הרעיון הוא להסתכל על קבוצת כל הביטויים מהצורה [math]\displaystyle{ s+tx }[/math] כאשר הכפל (הפעולה) ביניהם מוגדר כפי שהוא מוגדר בשאלה (מיכאל פרידמן).

שאלה 5

האם בנוסף להנחות בשאלה מותר להניח כי:

[math]\displaystyle{ \frac{1}{\infty}=0 }[/math]?

-- כן (מיכאל פרידמן)

שאלה 6

כדי להוכיח שהקבוצה היא מונואיד (מלבד סגירות ואבר יחידה) מספיק לומר שהרכבת טרספו' לינאריות היא אסוציאטיבית או שצריך ממש להוכיח את זה? (איך מוכיחים דבר כזה?!)

העתקות ליניאריות הן פונקציות. הרכבה של פונקציות היא תמיד אסוציאטיבית. עוזי ו. 21:51, 26 באוקטובר 2010 (IST)

שונות

שאלה כללית לגבי תרגיל 2 - כשאני מנסה להוכיח האם קבוצה היא חבורה למחצה, האם עליי להוכיח סגירות ואסוציאטיביות או שמספיק להוכיח רק אסוצ'?

פורמלית, קבוצה אינה יכולה להיות חבורה למחצה: חבורה למחצה היא מערכת מתמטית הכוללת שני מרכיבים - קבוצה ופעולה בינארית. ופעולה, מעצם טיבה, היא "סגורה". לכן, אם נתונות קבוצה ופעולה, די להוכיח שהפעולה אסוציאטיבית. אם נתונות קבוצה ו"הצעה לפעולה", יש לבדוק שהפעולה אכן מוגדרת היטב, ואז שהיא גם אסוציאטיבית.

לפעמים יש ברקע חבורה למחצה A עם פעולה משלה, ויש לבדוק האם תת-קבוצה B מהווה חבורה למחצה. במקרה כזה הכוונה היא לפעולה המצומצמת מ-A, כלומר לפונקציה המחזירה עבור שני אברים של B את המכפלה שלהם ב-A; א-פריורי, הפונקציה הזו עלולה להחזיר איברים של A שאינם ב-B, ואז היא אינה פעולה. הפונקציה מוגדרת היטב על B אם היא מחזירה ערך ב-B לכל שני אברים של B (כלומר, אם הקבוצה B סגורה ביחס לפעולה). מאידך, את האסוציאטיביות אין צורך לבדוק בנפרד, משום שהיא מתקבלת בירושה מ-A. עוזי ו. 22:26, 31 באוקטובר 2010 (IST)

לא הבנתי איך אני מבדילה בתרגיל שקיבלנו (למשל בשאלה 1) בין פעולה "נתונה" ל"הצעה לפעולה"? --93.172.3.238 03:00, 1 בנובמבר 2010 (IST)

יש לבדוק גם סגירות. דורון פרלמן 03:52, 1 בנובמבר 2010 (IST)

לא כל מה שאומר "אני פעולה" הוא פעולה. לדוגמא, בסעיף ג' של שאלה 1 מבקשים שתוכיחו שהקבוצה [math]\displaystyle{ \ H=\{(x,y) \in \mathbb{Z}^2 | x^2-3y^2=1\} }[/math] עם ה"פעולה" [math]\displaystyle{ \ (x,y)*(z,w) = (xz+3yw,xw+yz) }[/math] היא חבורה למחצה. הצעד הראשון הוא לבדוק שזו באמת פעולה, כלומר, שהיא מחזירה איברים של H (ולא סתם זוגות סדורים). זו הסגירות המפורסמת. (ואכן, מה אם היו מבקשים לבדוק ש-H חבורה למחצה "תחת פעולת חיבור הוקטורים"?) אחריה, המועמד-לפעולה מקבל קידום ונעשה פעולה לכל דבר ועניין (ואז יש לבדוק שהיא אסוציאטיבית). עוזי ו. 11:37, 1 בנובמבר 2010 (IST)

תרגיל 3

• נניח שאני רוצה להגדיר חבורה (*,G). האם מותר לי לבנות את G כ-n-יה כאשר n הוא אינסוף?

80.74.111.178 13:49, 7 בנובמבר 2010 (IST)

כן. אני מניח שהתכוונת שכל אחד מאיברי G הוא n-יה אינסופית. ל-"n-יה אינסופית" קוראים בדרך כלל "סדרה" (שזו פשוט פונקציה שהתחום שלה הוא [math]\displaystyle{ \mathbb{N} }[/math]). בכל אופן אתה יכול להגדיר את G בכל דרך שתרצה, כל עוד הכל מוגדר היטב. דורון פרלמן 17:11, 7 בנובמבר 2010 (IST)

• שאלה 4:

מה הכוונה [math]\displaystyle{ sl(f) \lt gl(f) }[/math]? למדנו יחס סדר בין חבורות?

• • הכוונה היא לאו דווקא ליחס סדר (אם כי אני לא לגמרי בטוח שזה לא מתקיים). כאן, הכוונה בביטוי [math]\displaystyle{ SL_n(\mathbb F) \lt GL_n(\mathbb F) }[/math] היא ש-[math]\displaystyle{ SL_n(\mathbb F) }[/math] היא תת-חבורה ("ממש") של [math]\displaystyle{ GL_n(\mathbb F) }[/math]. כלומר, [math]\displaystyle{ SL_n(\mathbb F) }[/math] היא חבורה שכל איבריה מוכלים ממש ב-[math]\displaystyle{ GL_n(\mathbb F) }[/math] כאשר הפעולה בשתי החבורות היא אותה פעולה. --Shwarto 23:59, 8 בנובמבר 2010 (IST)

תרגיל 4

שאלה 1

• בסעיף א, מה הכוונה "חבורת המטריצות ההפיכות כאשר הכניסות הן ב-Z2"? זאת לא אמורה להיות חבורת המטריצות ההפיכות מגודל 2*2 מעל Z2?

ומעל איזו פעולה מדובר? 93.172.153.180 15:28, 22 בנובמבר 2010 (IST)

• • הכוונה היא שאיברי המטריצה הם ב-[math]\displaystyle{ \mathbb{Z}_2 }[/math]. הפעולה היא כפל מטריצות. --84.110.186.131 15:46, 22 בנובמבר 2010 (IST)

תרגיל 5

• בשאלה 2 סעיף ב לא מנוסח באופן חד משמעי, האם הכוונה שלחבורה G אין תת חבורות נוספות כלל פרט לH? (הרי יש לפחות את הטריוויאליות). האם הכוונה שמסדר n אין עוד ת"ח לG פרט לH? מי הוא n? האם ניתן להניח כי [math]\displaystyle{ 1\lt n\lt |G| }[/math] ? אולי הכוונה בכלל ש [math]\displaystyle{ |G|=n }[/math] ? (ואז אין בעצם כל כך מה להוכיח). אשמח להבהרות שיסבירו באופן חד משמעי מה השאלה פה.

• ניסוח יותר טוב: הוסף בתחילת הסעיף "יהי n ב-[math]\displaystyle{ \mathbb{N} }[/math]". (ובמילים אחרות: אתה צריך להראות שאם יש תת-חבורה כך שאין עוד תת-חבורות מאותו הסדר, אז היא נורמלית.) - דורון

• בשאלה 7 נתון שהחבורות [math]\displaystyle{ G_1\subseteq G_2\subseteq ...\subseteq G_n\subseteq... }[/math] פשוטות ויש להוכיח כי [math]\displaystyle{ G=\bigcup_{n}G_n }[/math] פשוטה. זה הרי נתון שהיא פשוטה, לא? כתוב על כל אחת מהן שהן פשוטות ושהן מוכלות אחת בשניה, אז האיחוד הזה הוא ממילא אותה חבורה עצמה שנתון שהיא פשוטה. לא ברור לי מה יש להוכיח כאן.

• לא הבנתי את כוונתך. "האיחוד הזה הוא ממילא אותה חבורה עצמה" - איזו חבורה עצמה? לא נתון כי G פשוטה. אתה צריך להוכיח כי היא פשוטה. דורון פרלמן 19:29, 27 בנובמבר 2010 (IST)

• אם הבנתי נכון, אני צריך להראות שלכל n, האיחוד הנ"ל הוא חבורה פשוטה, אבל נתון שכל [math]\displaystyle{ G_i }[/math] היא פשוטה. מהנתון, גם ברור כי [math]\displaystyle{ G_n }[/math] שווה לאיחוד של כל ה-[math]\displaystyle{ G_i }[/math] עבור i שקטן מ-n או שווה לו, כי היא מכילה אותם. אז בעצם ברור כי[math]\displaystyle{ G= G_n }[/math], והרי נתון ש-[math]\displaystyle{ G_n }[/math] פשוטה, אז לא ברור לי מה יש להוכיח.--84.110.206.83 09:54, 28 בנובמבר 2010 (IST)

• עבור איזה n בדיוק מתקיים לדעתך [math]\displaystyle{ G=G_n }[/math]. עבור 10? 100? 1000? הרי כל G_n עשוייה להוסיף איברים חדשים, אין פה שום חבורה אחרונה. --ארז שיינר 12:13, 28 בנובמבר 2010 (IST)

• אז הכוונה היא להוכיח שזה נכון לכל n (וזה עדיין משהו שנתון)? או שעבור [math]\displaystyle{ n=\infty }[/math]? שגם זה משהו שלא כ"כ ברור לי.--84.110.206.83 13:31, 28 בנובמבר 2010 (IST)

• יש להוכיח לאיחוד של כל החבורות הנ"ל, זוהי חבורה מסוימת. החבורה הזו מכילה את כל האיברים שנמצאים בלפחות אחת מן הקבוצות G_n. בפרט, אם איבר כלשהו שייך לG סימן שהוא שייך לאחת החבורות G_n. הבט ברמז ליד התרגיל. --ארז שיינר 14:55, 28 בנובמבר 2010 (IST)

בסימן [math]\displaystyle{ G=\bigcup_{n}G_n }[/math] הכוונה היא לאיחוד [math]\displaystyle{ G=\bigcup_{n=1}^{\infty}G_n }[/math]. עוזי ו. 22:11, 30 בנובמבר 2010 (IST)

• לקבוצה של מיכאל פרידמן ביום רביעי ב-16-18 מתבטל השיעור בגלל חנוכה, אז למתי צריך להגיש את תרגיל 5?

יש להגיש אותו לתא שלי (60) ביום ד הזה (1.12) עד 16:00. תודה, מיכאל.

תרגיל 7

שאלה 5

• מההקשר אני מבין שהכוונה היא למֶרְכָּז ולא למְרַכֵּז (כי אז זה עבור איבר מסויים), אבל אני רוצה לוודא. הבנתי נכון?

נכון. דורון פרלמן 23:22, 11 בדצמבר 2010 (IST)