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