שינויים

:<math>2^\aleph</math>. זה תרגיל ארוך להראות את זה. באופן כללי, אם <math>\alpha=|A|</math> אינסופי, יש <math>2^\alpha</math> פונקציות הפיכות מ-<math>A</math> לעצמה. --[[משתמש:Ufirst|אוריה]] 22:25, 16 באוגוסט 2012 (IDT)

:ועוד משהו: אי אפשר להשתמש בזה בתרגילים או במבחן. --[[משתמש:Ufirst|אוריה]] 22:27, 16 באוגוסט 2012 (IDT)

== תרגיל 5 שאלה 6 סעיף ב ==

בשביל משפט 12 צריך גם להוכיח שאם K1 <math>\leq</math> K2 וM1 <math>\leq</math> M2 אז K2 בחזקת K1 <math>\leq</math> M2 בחזקת M1 או שאפשר להסתמך על זה?

== שעת המבחן ==

מותר להוכיח ככה?

:{{לא מתרגל}} אני לא רואה כל בעיה עם זה. עם זאת, למה לא פשוט לומר שיש פונק חח"ע מתת הקבוצה (B) לקבוצה (A), למשל הזהות, ולכן <math>|B|<=|A|</math>. משום שקבוצה בת מנייה היא קבוצה עבורה <math>|X|<=|\N|</math> נקבל כאן שהועצמה של B מקיימת את הנדרש (מהנתון A בת מנייה).

== האם אפשר להשתמש בחוקי הארתמטיקה של העוצמות ==

max{a,2^b}<=a^b<=max{2^a,2^b} ?