פונקציית קנטור

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

הפונקציה נקראת על שמו של גאורג קנטור שהיה הראשון שחקר אותה.

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

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

נחשב למשל את . בבסיס טרינארי , ולכן .

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

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

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

תכונות
קל לראות ש- ו-. התמונה של קבוצת קנטור תחת  היא הקטע  כולו, שכן כל מספר x בקטע ניתן להציג בצורה בינארית ולהחליף את כל המופעים של 1 ב-2 ולקבל (בהצגה טרינארית) איבר של קבוצת קנטור שתמונתו x.

פונקציית קנטור עולה במובן החלש (לא יורדת). מספיק להראות שהטענה נכונה לאיברי קבוצת קנטור, כי נקודות שאינן בקבוצת קנטור מוכלות בקטע בו הפונקציה קבועה וקצוותיו בקבוצת קנטור. ואכן אם  בקבוצת קנטור, אז הספרה הראשונה בהצגה טרינארית בה x ו-y לא מתלכדים מופיע 2 בהצגה של y ו-0 בהצגה של x, ולכן יופיע 1 בהצגה הבינארית של  ו-0 בהצגה הבינארית של  ומכאן ש-.

פונקציית קנטור רציפה. זה נובע מיידית מהעובדה שהיא עולה מ-0 ל-1 והיא על הקטע  (כי נקודת אי-רציפות של פונקציה מונוטונית היא תמיד מסוג קפיצה). ניתן גם להראות זאת ישירות. יהי . נבחר n גדול מספיק כך ש-. נגדיר . לכל  אם  אז x ו-y מתלכדים ב-n הספרות הטרינאריות הראשונות ולכן  ו- מתלכדים ב-n הספרות הבינאריות הראשונות, ועל כן: . מכאן שהפונקציה רציפה במידה שווה בקבוצת קנטור, ומכיוון שהיא קבועה בין נקודות קבוצת קנטור, אז היא רציפה במידה שווה בכל הקטע.

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

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

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

התפלגות קנטור מוגדרת כהתפלגות שפונקציית קנטור היא פונקציית ההצטברות שלה. לפי האמור לעיל, זו דוגמה להתפלגות רציפה שאין לה פונקציית צפיפות.

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

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

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

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

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

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

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

ההרכבה  היא פונקציה רציפה מ- על ריבוע היחידה. נשלים את F לקטעים שאינם בקבוצת קנטור באופן ליניארי לפי הערכים שמתקבלים בקצוות שלהם. F שקיבלנו היא עקומת פאנו.

 בתורת ההסתברות 
ממוזער|438x438 פיקסלים|קטע היחידה [0,1] כולו מקבל את המידה 1; שני הקטעים [0,1/3] ו-[2/3,1] מקבלים את המידה 1/2; כל אחד מארבעת הקטעים [0,1/9], [2/9,1/3], [2/3,7/9] ו-[8/9,1] מקבל את המידה 1/4; וכו'.
בגלל שפונקציית קנטור היא פונקציה מונוטונית עולה מ-0 ל-1, ניתן להתייחס אליה כאל פונקציית התפלגות. ככזו, ניתן לבנות מידת הסתברות  המתאימה להתפלגות זו.  תהיה מוגדרת באופן הבא:

לכל  מגדירים משתנה מקרי  המקבל את הערכים 0 או 2 בהסתברות שווה (0.5 לכל אחד), כך שכל ה- בלתי תלויים זה בזה. 

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

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

התהליך הסטוכסטי  נקרא תהליך ברנולי עם .

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

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

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

ראו גם
 רציפות בהחלט

קישורים חיצוניים



הערות שוליים

קנטור
קטגוריה:תורת המידה