משפט 4.5 · יחידה 4 · בדידה
פונקציה הפיכה ושקילות בקבוצות סופיות
Bijective Function and Finite Set Equivalence
ניסוח המשפט
תנאים
מסקנה (הפיכה)
הפיכה חחע עלבקבוצות סופיות עם :חחע על הפיכה
English statement
דוגמה פתורה
תהי . האם הפיכה?
- חח"ע. אם אז , וכיוון ש- נקבל . ✓
- על. האם מתקבל? , ואין מספר טבעי שריבועו , לכן הערך לא מתקבל (בלי תלות בשאלה אם ). ✗
- מסקנה. חח"ע אך לא על, ולכן אינה הפיכה. (שים לב: השקילות חח"עעל לא חלה כי אינסופית.)