שלאה לא קלה:

pallidfool

New member
הנה דוגמה נגדית ממש טובה ועוד משהו

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

pallidfool

New member
צריך לנסח חוק בנוגע להוספת הקבצים

משהו בסגנון של "אם זה יגרום לך להראות אדיוט, תשכח להוסיף את הקובץ".
 

fibonachi

New member
אם אני לא טועה הפונקציה שהבאת

לא רציפה בנק 0 ולא גזירה תקן אותי אם אני טועה?
 

pallidfool

New member
אתה טועה...

רציפה, וגזירה אינסוף פעמים. זו דוגמה ידועה... הרי הגבול של המעריך הוא מינוס אינסוף, ולכן גבול הפונ' הוא אפס, כדרוש. אפשר גם לראות שהיא גזירה...
 

pallidfool

New member
כן... תלמד עוד משהו

באנליזה מרוכבות, קיים משפט האומר כך (ברישול מסויים): שתי פונקציות אנליטיות (גזירות) בתחום מסויים, שמזדהות על קבוצה בעלת נקודת הצטברות (שמוכלת בקבוצה) בתוך התחום הזה, זהות על התחום. כלומר, אם החידה הייתה בפונ' מרוכבות, מכך שהפונ' גזירה בכל המישור המרוכב, ומזדהה עם פונ' האפס בקטע כלשהו, אז היה נובע שהיא פונ' האפס. מכך אתה כבר יכול להבין שהפונקציה המרוכבת:
exp(-1/z^2)​
אינה גזירה באפס. לא רק, אלא שהיא גם לא רציפה בו, והיא מקבלת בכל סביבה נקובה של אפס כל מספר מרוכב פרט לאפס (אבל החלק האחרון נובע ממשפט שלא לומדים בתואר ראשון, למיטב הבנתי).
 

אוילר

New member
רמז (למי שבא):

אכן השלב הראשון בהוכחה הוא להראות כי f היא פולינום בקטע כלשהו....
 

pallidfool

New member
כמעט בטוח שפתרתי (אין ספויילר)

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

אוילר

New member
רמז:

תחילה הוכיחו כי R לא ניתן להצגה כאיחוד בן מניה של קבוצות בעלות התכונה הבאה: שלכל סביבה יש תת סביבה הזרה לקבוצה
 
למעלה