הצגת המקור של הדף "עקום פאנו"

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

באופן אינטואיטיבי, אפשר לתאר מסילה רציפה כמסלול שעושה נקודה הנעה, ללא קפיצות, במרחב. כדי לקבל הגדרה מדויקת יותר, הציע [[קמי ז'ורדן]] ב-[[1887]] ש"מסילה" היא התמונה של פונקציה רציפה המוגדרת על [[קטע היחידה]] <math>\ [0,1]</math>. הגדרה זו, שהפכה לאחד המושגים היסודיים ב[[טופולוגיה]], מתאימה לפונקציות מקטע היחידה לכל [[מרחב טופולוגי]]. המקרה הפשוט ביותר הוא זה של מסילה במישור הדו-ממדי. לפעמים אין מבחינים בין הפונקציה <math>\ f:[0,1]\rightarrow X</math> לבין ה[[תמונה (מתמטיקה)|תמונה]] שלה, שהיא אוסף הנקודות <math>\ \{f(t): 0\leq t \leq 1\}</math>. 

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

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

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

[[תמונה:Peanocurve.svg|400px|ממוזער|3 צעדים ראשונים בבניית עקום פאנו]]
הבניה של פאנו, כמו רוב הבניות המפורשות של עקומים מכסי-שטח שהתגלו מאז, מבוססת על הגדרה איטרטיבית של המסילה: בכל שלב נבנית מסילה ליניארית-למקוטעין, המעדנת את השלב הקודם; ראו האיור בצד שמאל. ב[[גבול של סדרת פונקציות|גבול]], מתקבלת מסילה רציפה המבקרת בכל נקודות הריבוע. גם אם בכל שלב סופי המסילה אינה חותכת את עצמה, תכונה זו אובדת במעבר לגבול - מסילה המכסה שטח מוכרחה לחתוך את עצמה. בדומה לזה, לא קיימת [[פונקציה חד-חד-ערכית]] ורציפה בשני משתנים לקטע ממשי{{הערה|[[אברהם הלוי פרנקל]], Theorem II.6.10, Abstract Set Theory}}.

כפרקטל, לעקום פאנו יש [[ממד טופולוגי]] 1 ו[[ממד האוסדורף]] 2.

== בנייה של מסילה ממלאת-שטח ==

הבנייה של פאנו מבוססת על שני רעיונות חשובים של קנטור: ההתאמה בין מספרים ממשיים לסדרות של ספרות (על ידי הצגה [[בסיס 2|בינרית]] או [[בסיס 3|טרנרית]]), והבניה של [[קבוצת קנטור]]. נסמן ב- C את קבוצת קנטור, שהיא כידוע בעלת עוצמת הרצף. [[פונקציית קנטור]] היא פונקציה רציפה <math>\ h : C \rightarrow [0,1]</math>, המכסה את כל הקטע. בעזרתה אפשר להגדיר פונקציה רציפה בין מרחבי המכפלה, <math>\ H:C\times C \rightarrow [0,1]\times [0,1]</math>, לפי הנוסחה <math>\ H(x,y) = (h(x),h(y))</math>. 

מכיוון שקבוצת קנטור [[הומיאומורפיזם|הומיאומורפית]] למרחב <math>\ 2^{\mathbb N}</math>, ומכיוון שקיימת [[התאמה חד-חד-ערכית ועל]] <math>\ \mathbb{N}\rightarrow \mathbb{N}\times \mathbb{N}</math>, יש הומיאומורפיזם <math>\ g: C \rightarrow C\times C</math>. ההרכבה <math>\ f = H \circ g</math> היא העתקה רציפה של קבוצת קנטור על ריבוע היחידה. אבל את הפונקציה f אפשר להרחיב לפונקציה רציפה <math>\ F : [0,1]\rightarrow [0,1]^2</math>, על ידי השלמה ליניארית בכל אחד מן הקטעים החסרים של C, וזוהי המסילה המבוקשת.

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

==הערות שוליים==
{{הערות שוליים}}

[[קטגוריה:פרקטלים]]
[[קטגוריה:תורת הקבוצות]]
[[קטגוריה:עקומות]]