Math-Wiki - תרומות המשתמש [he]

שיחה:88-222 תשעג סמסטר ב נוביק

2013-04-19T14:50:10Z

Lital: /* הומאומורפיזם */

=שאלות=
שאלה בקשר לסעיף א' בשאלה 1

צ"ל שלכל A מוכל ב-Y מתקיים ([f(f^-1[A מוכל ב-A

איך מתחילים את ההוכחה?

מניחים שלכל A שמוכל ב-Y מתקיים:

y שייך ל- ([f(f^-1[A ומראים ש y שייך לA?

ההכלה נובעת מהגדרות אבל לא הבנתי איך מתייחסים לנתון שלכל A מוכל ב-Y.

תודה רבה!
::הטענה היא שההכלה מתקיימת לכל קבוצה A. לביטוי <math>f^{-1}[A]</math> יש משמעות רק כש A תת קבוצה של Y. אכן, צריך לקחת תת קבוצה שרירותית A של Y ובאמת להראות את ההכלה כפי שציינת ברמה של איברים. ההכלה נובעת מההגדרות אבל צריך להראות איך בדיוק. --[[משתמש:מני ש.|מני]] 01:04, 28 בפברואר 2013 (IST)

===שאלה 5===
שאני מנסה להוכיח סימטריות אני תמיד מגיע למצב שבו אני מניח אי שליליות.
אני אמור להניח זאת? אם לא אני לא מבין איך להוכיח את זה?

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

::תודה

== תרגיל 1 שאלה 4 ==

האם הפונקציה כפי שהוגדרה בתרגיל:
<math> d(x,y)= \begin{cases} 0 & x=y \\ \frac {1} {min \{j \in \mathbb {N}:x_j\ne y_j\}} & \ x \ne y \end{cases}
</math>

שקולה לפונקציה:
<math> d(i,j)= \begin{cases} 0 & i=j \\ \frac {1} {min \{i,j\}} & \ i \ne j \end{cases}
</math>?
האינדקסים ב-x וב-y קצת מבלבלים אותי.

:(לא מתרגל) לפי מה שאני מבין, לא. האינדקסים יכולים להיות שווים והפונקציה עדיין לא תתאפס-'''האיברים''' צריכים להיות שונים

::הבנתי את הטעות שלי (לא שמתי לב, שבשאלה הגדירו שכל איבר הוא בעצם סדרה). תודה.

== תרגיל 2 שאלה 5 ==

בסעיף א', האם
<math>
\sigma_Y(y_1,y_2) = \sigma(y_1,y_2)
</math>
כאשר
<math>
y_1,y_2 \in Y
</math>
??
<br/ >
או שהמטריקות יכולות להיות שונות לחלוטין?
::ההגדרה של תת מרחב מטרי ניתנה בהרצאה. --[[משתמש:מני ש.|מני]] 12:24, 12 במרץ 2013 (IST)
== תרגיל 3 ==
כשמדברים על קבוצות פתוחות וסגורות בR^n מהי המטריקה??,האוקילדית??,ועוד שאלה,האם מותר להשתמש בתכונות של פונקציות רציפות בR^n (שגם סכום,הרכבה,כפל וכו' רציף)?
::כן וכן.--[[משתמש:מני ש.|מני]] 12:06, 15 במרץ 2013 (IST)

== תרגיל 3 שאלה אחרונה ==

האם מדובר בפונקציה (f(x,y ?
והאם הכוונה ש – f=1 כאשר x*y=0?

כן, זה היה אמור להיות <math>f(x,y)</math>. וכן גם לשאלה השניה. --[[משתמש:לואי פולב|לואי]] 14:12, 20 במרץ 2013 (IST)
האם צריך להוכיח שדטרמיננטה היא פונקציה רציפה?
::צריך להסביר למה היא רציפה. --[[משתמש:מני ש.|מני]] 13:24, 25 במרץ 2013 (IST)

== תרגיל 3 שאלה 6 ==

האם בשאלה 6 מדובר על המטריקות האוקלידיות הסטנדרטיות על <math>\mathbb {R}</math> ועל <math>\mathbb {R}^2</math> או על מטריקות כלשהן שמוגדרות על מרחבים אלו?
::מדובר באוקלידיות. --[[משתמש:מני ש.|מני]] 10:00, 28 במרץ 2013 (IST)

== תרגיל 3 שאלה 3 ==

למה התכוונתם ב
(a)n לא הבנתי..כאילו סדרה של סדרות או סדרה?

::סדרה רגילה של איברים ממשיים. --[[משתמש:מני ש.|מני]] 10:00, 28 במרץ 2013 (IST)

== תרגיל 4 שאלה 4 ==

יש לי תחושה שחסר הנתון <math>x\notin A</math>.

- נכון, רשמנו הערה מעל לתרגיל. תודה :) --[[משתמש:לואי פולב|לואי]] 19:59, 6 באפריל 2013 (IDT)

== תרגיל 5- שאלות 2, 3 ==

כשמוכיחים את התכונות הדרושות לטופולוגיה צריך להוכיח גם את הטענות מתורת הקבוצות שמשתמשים בהן בדרך?

תודה

::השאלה איזו טענות מוכיחים בדרך. זה קצת כללי מדי. אם זה דה מורגן, חשבון עוצמות סטנדרטי או דברים ברמה הזו שראיתם נניח כבר בבדידה/תורת הקבוצות אפשר בלי הוכחה. אם יש טענה ספציפית שיש לגביה ספק אשמח לדעת. --[[משתמש:מני ש.|מני]] 13:07, 12 באפריל 2013 (IDT)

יכול להיות שיש טעות ב2 ב' 1?
חסר Z ב-t
::היתה טעות. שימו לב להערה מחוץ לקובץ. --[[משתמש:מני ש.|מני]] 17:27, 12 באפריל 2013 (IDT)

== תרגיל 5 שאלה 2 סעיף א ==

הייתי מעוניין לדעת האם יש סיבה שבגללה הקבוצה <math>S</math> הוגדרה כפי שהיא הוגדרה בתרגיל?

בפתרון יצא לי שלא התייחסתי בכלל לאופן שבו הוגדרה <math>S</math>.

כלומר, אם בתרגיל היה נתון ש <math>S</math> היא ת"ק כלשהי של <math>\mathbb R</math> הפתרון שלי היה נשאר אותו דבר.

::אתה צודק. יכול להיות שבעתיד נרצה להראות תכונה מסוימת (שלא הוזכרה עדיין בקורס) לגבי המרחב הזה (עם הסדרה) כפי שהוצג כאן ואז יהיה ברור למה המרחב הוגדר דווקא בצורה זו. --[[משתמש:מני ש.|מני]] 00:02, 15 באפריל 2013 (IDT)

== תרגיל 5 שאלה 2 סעיף ב ==

האם הכוונה ש <math>O_n \notin \tau</math> לכל <math> 1>n \in \mathbb{Z}</math>?
::כתבנו כנראה לא מדוייק. הכוונה דווקא <math>O_n \in \tau</math> לכל <math> n \in \mathbb{Z}</math>. כלומר <math>\tau=\{\mathbb{Z},\emptyset\}\cup \{O_n: n\in \mathbb{Z}\} </math> --[[משתמש:מני ש.|מני]] 18:11, 15 באפריל 2013 (IDT)

== תרגיל 6 שאלה 6 סעיף 4 ==

''הסיקו כי כל כדור פתוח <math>B(a,\epsilon)</math> הומיאומורפי ל- <math>B(0,1)</math>.''

האם הכדור השני, <math>B(0,1)</math> , נמצא ב- <math>X</math> או ב- <math>\mathbb {R}</math>?

== תרגיל 6 שאלה 4 סעיף ב ==
האם אפשר להשתמש באותה דוגמה על מנת להפריך את שני המקרים?

== הומאומורפיזם ==

הוכחנו בכיתה שכל הקטעים הפתוחים ב <math>{R}</math> הומאומורפים זה לזה. האם זה נכון גם לR^n? ז"א האם כל הקבוצות הפתוחות בR^n הומאומורפיות אחת לשניה?

תודה!

שיחה:88-222 תשעג סמסטר ב נוביק

2013-04-19T14:49:06Z

Lital: /* הומאומורפיזם */ פסקה חדשה

שיחה:88-222 תשעג סמסטר ב נוביק

2013-04-11T15:26:23Z

Lital: /* תרגיל 5- שאלות 2, 3 */ פסקה חדשה

שיחה:88-211 תשעג סמסטר א/תרגילים

2013-01-10T18:27:27Z

Lital: /* אפשר בבקשה לפרסם פתרונות לתרגיל מס'10? */

[[קטגוריה:88211]]
זה המקום לכל השאלות בנושא הקורס. הודעות תוכלו למצוא [[88-211 תשעג סמסטר א|בדף הראשי]] של הקורס.

== הנחיות ==

# כשאתם מתייחסים לתרגיל, '''אנא צטטו'''.
# אנא המנעו מלפתוח כותרות חדשות שלא לצורך.
# חותמים בסוף כל הודעה באמצעות "<nowiki>~~~~</nowiki>". פתיחת חשבון - חינם.
# אם אינכם מקבלים כאן תשובה בתוך זמן קצר (הגדירו כרצונכם), אתם מוזמנים לשלוח קישור למרצה.

== ארכיונים ==

* [[שיחה:88-211 תשעג סמסטר א/תרגילים/ארכיון 1|ארכיון 1]]

== תרגיל 8 שאלה 3 ==

האם יש קשר בין הסעיפים? כלומר, האם אני יכולה להיעזר בסעיף שהוכחתי?
::מותר להיעזר בסעיפים שהוכחת. --[[משתמש:מני ש.|מני]] 16:50, 19 בדצמבר 2012 (IST)

== תרגיל8, על שאלות 1 ו2 ==

1. לגבי "...מכילה שני איברים.", האם בדיוק שניים?

2. יכול להיות שהנתון <math>|G|=p^k</math> מיותר, או יותר מדויק, שבעצם חשוב רק הנתון <math>|H|=p</math>?

תודה

*1. כן, היא מכילה ''בדיוק'' שני איברים.
*2. לא, הנתון הזה חיוני. נראה לי שאפשר להחליש אותו קצת (אולי לומר ש-P הוא הראשוני הקטן ביותר שמחלק את סדר החבורה... נראה לי שזה יעבוד) אבל אי אפשר להסתפק רק בנתון ש- <math>|H|=p</math>...נסו למצוא דוגמא נגדית כאשר משמיטים את הדרישה על סדר החבורה... :) --[[משתמש:לואי פולב|לואי]] 18:28, 22 בדצמבר 2012 (IST)

== פתרונות לתרגילים 6- 7 ==

היי אשמח אם תעלו פתרונות לתרגילים(:

== שאלה מהתרגול ==

בתרגול האחרון היה להראות ש Aut של s4 איזומרפי ל-S4. האם יש אפשרות להסביר שוב מה עשינו שם?

::הראינו תחילה שחבורת האוטומורפיזמים הפנימיים איזומורפית ל<math>S_4</math>. אח"כ ראינו שאין עוד אוטומורפיזמים. כלומר כל האוטומורפיזמים היו אוטו' פנימיים. את זה עשינו ע"י כך שהראינו שיש לכל היותר 24 אוטומורפיזמים (המספר 24 הוא בדיוק הסדר של <math>S_4</math>. זה אומר שחבורת האוטומורפיזמים מתלכדת עם תת החבורה של האוטו' הפנימיים והיא איזו' ל<math>S_4</math>. החסימה מלמעלה ע"י 24 בוצעה ע"י העובדות הבאות:1. אם נתון אוטומורפיזם אז כל הערכים שלו נקבעים בצורה יחידה ע"י הערכים על קבוצת יוצרים.
2. איזו' שומר על סדר של איברים, מעביר מחלקת צמידות למחלקת צמידות מאותו הגודל ושומר על יחסים כגון:איברים מתחלפים עוברים לאיברים מתחלפים. --[[משתמש:מני ש.|מני]] 16:34, 27 בדצמבר 2012 (IST)

== תרגיל 9 שאלה 5 ==

''זהו את החבורה <math>Aut \ (GL_n(\Z_7)/SL_n(\Z_7))</math> לכל <math>n>0</math>''

מה הכוונה זהו?
למצוא את האיברים (או היוצרים) של חבורה זו? למצוא חבורה שהיא איזומורפית אליה?
::למצוא חבורה איזומורפית. --[[משתמש:מני ש.|מני]] 17:55, 27 בדצמבר 2012 (IST)

== תרגיל 10 שאלה 4 ==

הפעולה במקרה הזה היא הפעולה הרגילה של מכפלה ישרה למחצה חיצונית?
::כן. --[[משתמש:מני ש.|מני]] 21:39, 31 בדצמבר 2012 (IST)

אני לא ממש מבינה איך הפעולה מוגדרת כאן. למשל בתרגול האחרון הגדרנו ממש 1=X0=id,X1
X=תטא. אבל כאן אני לא מבינה מה הפעולה עושה. אשמח לקבל הסבר יותר מפורט(:
::לא הגדרנו בשאלה <math>\theta</math> ספציפית, בניגוד לתרגול, שהרי הטענה היא '''לכל''' <math>\theta</math>.

אבל '''לכל''' <math>\theta</math> שהיא הומורפיזם כפי שצויין בשאלה המכפלה הישרה למחצה מוגדרת היטב והיא כמובן תלויה ב <math>\theta</math>.
הכפל הוא תמיד:<math>(k,q)(k',q')=(k\theta_q(k'),qq')</math>

תיאורטית כל פעם שבוחרים <math>\theta</math> אחרת מקבלים חבורה אחרת. בפועל מקבלים תמיד (וזוהי השאלה שצריך לפתור) חבורה שאיזומורפית לאחת משתי החבורות שצויינו בתרגיל.

שני כיוונים לפתרון: כיוון ממש לא מומלץ אבל אפשרי- למצוא ממש את כל ה<math>\theta</math> האפשריות ואז לפתור.
כיוון שני- להראות איכשהו שבלי תלות ב <math>\theta</math> אלא רק מעצם העובדה שהיא הומומורפיזם אפשר להסיק שהחבורה שנוצרת בסוף איזו' לאחת משתי החבורות שצויינו.--[[משתמש:מני ש.|מני]] 14:14, 1 בינואר 2013 (IST)

סליחה על החפירה(: יש אפשרות להגיד שבגלל שההומומורפיזם שולח את Z2 ל- Z2*Z2)Au) אז למעשה Z2 נשלח לחבורה שאיזומורפית לחבורה לא אבלית ולכן המכפלה הישרה למחצה החיצונית לא תהיה אבלית?
::אין שום בעיה. המטרה בפורום היא לשאול שאלות. הלוואי שיותר אנשים היו מנצלים אותו:).
לעצם השאלה- זה נכון שחבורת האוטומורפיזמים שהזכרת אינה אבלית אבל מזה לא נובע שהמכפלה הישרה למחצה (חיצונית) תהיה לא אבלית.אחת מהאופציות יוצאת בסופו של דבר חבורה אבלית. אנחנו אומרים שיש אפשרות שהחבורה שנוצרת איזומורפית ל<math>\mathbb{Z}_2^3</math> שהיא אבלית והאמת שהאפשרות הזו כן יכולה להתממש --[[משתמש:מני ש.|מני]] 11:26, 2 בינואר 2013 (IST)

== תרגיל9, שאלת בונוס ==

על סעיף ב: נדמה לי שהשאלה לא מדויקת מספיק, כי עבור <math>G=\{1_G\}</math> זה נראה לא נכון.
::נראה לי שפספסת את התיקון שהוספנו (מופיע מחוץ לקובץ)--[[משתמש:מני ש.|מני]] 22:21, 31 בדצמבר 2012 (IST)

תודה

== תרגיל 10 -שאלה 1 ושאלה 2 ==

שאלה 1 -א. האם ניתן להיעזר בטענות מבדידה? או יש דרך אחרת?
שאלה2- א. האם בסגירות ואסוציאטיביות אפשר להגיד שבגלל ש-Q ו K חבורות אז אנחנו מקבלים את התכונות בתורשה?
::לגבי 1 א התשובה חיובית. אפשר פשוט לציין מהן הטענות שהוכחתם בבדידה מבלי להוכיח אותן כאן.
לגבי 2 א- התשובה שלילית. תורשה זו מילה שמאפיינת תכונה שעוברת ממבנה לתת מבנה לעיתים יש להוכיח אותה ולעיתים היא מתקבלת מיידית. למשל במעבר מחבורה לתת חבורה. זה לא המצב כאן. גם את הסגירות וגם את האסוציאיטיבות יש להוכיח. הסגירות די קלה ומהירה והאסוציאטיביות מייגעת. --[[משתמש:מני ש.|מני]] 14:24, 1 בינואר 2013 (IST)

== תרגיל 8 ==

אשמח אם תעלו פתרון לתרגיל 8(:

== תרגיל 10 שאלה 1 סעיף ב ==

בהינתן נתוני [http://math-wiki.com/images/f/fb/Exe10AbsAl2012.pdf השאלה], בטוח שהטענה <math>G=Ker(\psi) \rtimes Im(\phi)</math> נכונה תמיד? כלומר, גם עבור המקרה שהחבורות לא סופיות?

::כן, הטענה נכונה גם לחבורות אינסופיות. --[[משתמש:לואי פולב|לואי]] 18:49, 3 בינואר 2013 (IST)

אפשר הכוונה לאיך מוכיחים כי G=ker*im ?
האם צריך להראות הכלה דו כיוונית או שמה צריך להראות קיום הצגה?
אני לא מצליח להראות שאם g, איבר כלשהו ב G, לא בגרעין של פסיי אזי הוא בהכרח בתמונת פי. אפשר עזרה בנידון?
::הכלה אחת יש לך תמיד. צריך להראות רק הכלה אחת. אני מציע לעשות משהו מאד דומה למה שעשינו בליניארית בשנה שעברה בתרגילים דומים.
אפשר לנסות ללכת הפוך להניח ש<math>g=hk</math> כאשר <math>h</math> בגרעין ו<math>k</math> בתמונה. אפשר מייד לפרש מה זה אומר להיות בתמונה.
אח"כ אפשר לנסות איכשהו להשתמש בנתון כדי לקבל מה צריך להיות <math>h</math> או <math>k</math> (אני לא זוכר מה מהם) ואז מבינים גם מהו השני. בשלב הזה מראים שאם היה פירוק אז זאת היתה הצורה שלו. עכשיו צריך לבדוק שאכן זהו הפירוק הדרוש .--[[משתמש:מני ש.|מני]] 16:05, 6 בינואר 2013 (IST)

== תרגיל10, שאלה4 ==

תיקון אפשרי: נתקלתי בעוד אפשרות, ומצאתי דוגמה, למקרה שיש איזומורפיות ל<math>\mathbb{Z}_{4}\times\mathbb{Z}_2</math>. תודה.
: '''אנא צטטו את השאלה שאליה אתם מתייחסים'''.
: זה בלתי אפשרי משתי סיבות. ראשית, אם המכפלה הישרה למחצה של Q ב-K היא אבלית, אז גם Q וגם K אבליות, וגם הפעולה מוכרחה להיות טריוויאלית. אבל במקרה כזה המכפלה הישרה למחצה היא בעצם מכפלה ישרה, ולכן שווה ל-<math>\,K\times Q = \mathbb{Z}_{2}\times\mathbb{Z}_2 \times \mathbb{Z}_2</math>.
: שנית, גם K וגם Q הן תת-חבורות של המכפלה הישרה למחצה, והן זרות שם. לכן יש בה לפחות 3+1=4 אברים מסדר 2. אבל בחבורה <math>\mathbb{Z}_{4}\times\mathbb{Z}_2</math> יש רק 3 אברים מסדר 2 (וארבעה מסדר 4: <math>\,(1,0),(1,1),(3,0),(3,1)</math>). [[משתמש:עוזי ו.|עוזי ו.]] 22:18, 5 בינואר 2013 (IST)

== אפשר בבקשה לפרסם פתרונות לתרגיל מס'10? ==

וגם 9..
תודה!:)

שיחה:88-211 תשעג סמסטר א/תרגילים

2013-01-10T18:25:58Z

Lital: /* אפשר בבקשה לפרסם פתרונות לתרגיל מס' 8? */

שיחה:88-211 תשעג סמסטר א/תרגילים

2013-01-10T18:25:36Z

Lital: /* אפשר בבקשה לפרסם פתרונות לתרגיל מס' 8? */ פסקה חדשה