לדלג לתוכן

פונקציית גימל

מתוך המכלול, האנציקלופדיה היהודית

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

(κ)=κcf(κ)

כאשר cf(κ) היא הקופינליות של κ.

תכונות של פונקציית גימל

ממשפט קניג נובע כי κ<(κ): תהי |I|=cf(κ) ולכן לכל iI מותאם מספר מונה λi<κ כך ש- iIλi=κ. ממשפט קניג נקבל κ=iIλi<iIκ=κ|I|=κcf(κ).

אם κ הוא מונה סדיר, אז (κ)=2κ.

השערת גימל

השערת גימל היא ההשערה לפיה (κ)=max{2cf(κ),κ+} כאשר κ+ הוא העוקב של κ.

ראו גם

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


שגיאות פרמטריות בתבנית:מיון ויקיפדיה

שימוש בפרמטרים מיושנים [ דרגה ]
פונקציית גימל30821510