פונקציית בסיס 13 של קונוויי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 37:
 
===התומך===
ה[[תומך (מתמטיקה)|תומך]] של פונקציית הבסיס-13 של קונוויי היא קבוצה מעניינת בפני עצמה. היא מוגדרת בתור הקבוצה <math>\ S=\{x\in (0,1)|f(x)\ne0\}</math>. ה[[עוצמה]] של S היא [[עוצמת הרצף]] (כי f מתאימה אותה על הרצף) והיא [[קבוצה צפופה|צפופה]] בקטע (0,1). [[מידת לבג]] של S היא 0, כי היא חלקית לקובצת המספרים שאינם [[מספר נורמלי|נורמליים]] (כי בייצוג של כל איבר ב-S בבסיס 13 הספרות <math>\ S^+,S^-,D</math> מופיעות רק מספר סופי של פעמים), שלפי [[הלמה של בורל-קנטלי]] [[קבוצה ממידה אפס|מידתה 0אפס]]. מכאן ש-S, בדומה ל[[קבוצת קנטור]], היא דוגמה לקבוצה שאינה [[קבוצה בת מנייה|בת מנייה]] שמידתה אפס. ניתן גם להראות כי S [[מידת בורל|מדידה בורל]].
 
==ראו גם==