פונקציית זיווג

מתוך המכלול
קפיצה אל: ניווט, חיפוש

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

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

הגדרה

פונקציית זיווג היא פונקציה פרימיטיבית רקורסיבית חד־חד־ערכית ועל:

פונקציית הזיווג של קנטור

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

הגדרה

פונקציית הזיווג של קנטור היא פונציית זיווג

מוגדרת כדלהלן:

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

ניתן להכליל את הפונקציה הנ"ל לפונקציית הווקטור של קנטור

כדלהלן:

היפוך פונקציית הזיווג

בהינתן עבורו

נמצא את .

נגדיר את להיות המספר הטבעי המקסימלי עבורו .

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

נגדיר

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

ונקבל כי

ולכן מצאנו זוג יחיד המהווה מקור ל־ ולכן פונקציית הזיווג היא הפיכה ולכן ח.ח.ע ועל.

סמל המכלול גמרא 2.PNG
הערך באדיבות ויקיפדיה העברית, קרדיט,
רישיון cc-by-sa 3.0