incog

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

תבצעי שינוי משתנים: t_1=x t_2=2y-x וזה יפתור לך את התרגיל...

אם אתה מחפש בנות שאיתן דברים יתפתחו הלאה אני ממליץ לך להתמקד בפורום דתלשים בכיפה ;) בכל מקרה ברוך הבא לפורום, הפורום הזה הוא פעיל ותוסס, אבל רוב היוזרים פה הם כבר בוגרים.

כשאתה גוזר לפי לייבניץ אתה מקבל את הנגזרת בכל מקום שאינו אפס (שים לב שהביטוי שקיבלת לא מוגדר בכלל ב-0) כדי לקבל את הנגזרת באפס עצמו אתה צריך לבדוק על פי הגדרה ואכן מקבלים שהנגזרת שווה לאפס. כלומר הנגזרת אינה רציפה ב-0.

תיקח נניח את הפונקציה: h(x)=x^2D(x) כך ש- D היא פונקצית דריכלה. זו פונקציה שגזירה רק בנקודה 0

כן, אתה כמובן צודק. אני התבלבלתי בין זוגי לאי זוגי.

אוהד, מה שכתבת כמובן לא נכון. אתה לא יכול לקחת רק גבול על המונה ורק אחרי זה לקחת גבול על המכנה (תסתכל לדוגמא על הפונקציה x/x לפי הדרך שלך הגבול שלה הוא אפס). הדרך לפתור את 1 שאני חשבתי עליה: לפי משפט טיילור (נתון שהפונקציה גזירה 2 פעמים ברציפות) אתה יודע ש: f(x)=f(0)+xf'(0)+x^2f''(0)/2+h(x) כך ש: h(x)/x^2 שואפת ל-0 כש- x שואף לאפס. לכן: f(x)/x-f'(0)]/x] זה שווה ל: f''(0)/2+h(x)/x^2 וזה שואף ל-f''(0) כש- x שואף ל-0. לכן הנגזרת קיימת והיא שווה ל-f''(0)/2 אודי: שים לב שהנחת ש- f(0)=0... ובדיוק בגלל הקבוע הזה התשובה היא שזה לא בהכרח נכון. דוגמא נגדית: cosx+10

אם הוכחת את הרמז אז מה שאת צריכה להוכיח בעצם זה ש: (z'a^m)*(z*a^k)=(z*a^k)*(z'*a^m) לכל z,z' ששייכים למרכז ולכל k,m אבל זה נובע מכך ש- z ו- z' נמצאים במרכז (ולכן מתחלפים עם כל האיברים ואת יכולה על אסוציטיביות וקומוטטיביות 'להזיז' אותם לאן שאת רוצה) + העובדה ש: a^k ו- a^m מתחלפים.

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

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

זה נכון רק עבור חבורות אבליות (אפשר להוכיח את זה בקלות באינדוקציה על n וזה נובע מאסוציטיביות וקומטטיביות)

את לא יכולה להראות כי זה תלוי בחבורה. יש חבורות שעבורן זה נכון לדוגמא חבורת שורשי היחידה, ויש חבורות שעבורן זה לא נכון לדוגמא Z. שתי השורות האחרונות זה משפט שאני כמעט בטוח שלא למדת. אם זה מעניין אותך את יכולה להסתכל פה: http://he.wikipedia.org/wiki/%D7%97%D7%91%D7%95%D7%A8%D7%94_%D7%90%D7%91%D7%9C%D7%99%D7%AA_%D7%A0%D7%95%D7%A6%D7%A8%D7%AA_%D7%A1%D7%95%D7%A4%D7%99%D7%AA המשפט הזה (שהוא מאוד חשוב בתורת החבורות) אומר שאת יכולה לפרק כל חבורה אבלית נוצרת סופית לסכום ישר של שתי חבורות אחת סופית ואחת חופשית (את יכולה לקרוא בויקי מה זו חבורה חופשית). ההומומורפיזם הוא חח"ע אמ"מ הוא חח"ע על תת החבורה הסופית. ועל פי משפט קושי במקרה הזה הוא יהיה חח"ע אם הגודל של תת החבורה זר ל- n (אחרת יש להם מחלק משותף ראשוני p ועל פי משפט קושי יש איבר מסדר p ולכן אותו איבר יהיה בגרעין). בכל אופן, אני חושב שבתשובה שביקשו ממך מספיק לכתוב את הקריטריון שכתבתי לכך שהגרעין לא ריק...

טוב אני מתנצל, אני צריך לקרוא את השאלות כשאני יותר מרוכז. את כמובן צודקת וזה אכן הומומורפיזם. הגרעין: כל האיברים שאם תעלי אותם בחזקת n יהיו שווים לאיבר היחידה, כלומר כל האיברים שהסדר שלהם מחלק את n. חח"ע- אמ"מ הגרעין לא טריוויאלי ולפי מה שאמרנו מקודם זה קורה אמ"מ אין איבר מסדר שמחלק את n. אפשר לתת תשובה יותר מדויקת, אבל אני לא בטוח שזה יעזור לך: אם G אבלית אזי היא מהצורה: H+L (זה סכום ישר), כך ש- H איזומורפית ל- Z^m ו- L סופית. אז ההעתקה חח"ע אמ"מ הגודל של L זר ל- n על- אמ"מ לכל איבר יש שורש n

.

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