‫עוצמה של קבוצות‬

‫‪ .1‬הגדרה‪ A ≈ B :‬אם קיימת ‪ f : A → B‬חח"ע ועל‪.‬‬

‫‪ . [ A] = {B | A ≈ B} .2‬העוצמה של קבוצה ‪ , A‬מסומנת ‪ , A‬היא מחלקת השקילות ]‪ [ A‬ביחס ל‪-‬‬

‫≈‪.‬‬

‫‪A = B ⇔ A ≈ B .3‬‬

‫‪ , A ≈ {1,‬נסמן ‪. A = n‬‬ ‫‪ .4‬אם }‪, n‬‬

‫‪ A .5‬סופית אם יש ‪ n‬טבעי כך ש‪ . A = n -‬אחרת‪ A ,‬אינסופית‪.‬‬

‫‪ .6‬כל תת‪-‬קבוצה של קבוצה סופית היא סופית‪ .‬הקבוצה ‪) N‬וכל קבוצה שהיא מוכלת בה( היא‬
‫אינסופית‪.‬‬

‫‪ .7‬סימון‪. N = ℵ0 :‬‬

‫‪N × N = ℵ0 , Z =ℵ0 .8‬‬

‫‪ .9‬הגדרה‪ A ≤ B :‬אם יש ‪ f : A → B‬חח"ע‪ .‬אם ‪ A ≤ B‬ו‪ , A ≠ B -‬נסמן‪. A < B :‬‬

‫‪ ≤ .10‬בין עוצמות מוגדר היטב‪ ,‬והוא רפלקסיבי וטרנזיטיבי‪.‬‬

‫‪ .11‬אם ‪ A ⊆ B‬אז ‪. A ≤ B‬‬

‫‪ .12‬קבוצה ‪ A‬היא בת‪-‬מניה אם ‪. A ≤ ℵ0‬‬

‫‪ .13‬כל תת‪-‬קבוצה של קבוצה בת‪-‬מניה היא בת‪-‬מניה‪.‬‬

‫‪ .14‬דוגמא‪ N, Z, ∅ :‬וכל קבוצה סופית הן בנות‪-‬מניה‪.‬‬

‫⇔ יש פונקציה ‪ f : B → A‬שהיא על‪.‬‬ ‫‪A ≤ B .15‬‬

‫‪ .16‬איחוד סופי או בן‪-‬מניה של קבוצות בנות‪-‬מניה הוא בן‪-‬מניה‪.‬‬

‫‪ .17‬משפט הקבוצה האינסופית‪ :‬לכל קבוצה אינסופית ‪ , A‬יש תת‪-‬קבוצה שעוצמתה ‪) ℵ0‬ז"א‬
‫‪ .( ℵ0 ≤ A‬כמו כן‪ :‬יש ‪) B ⊂ A‬מוכלת ממש(‪ ,‬כך ש‪ . B = A -‬למעשה‪ ,‬לכל ‪. A − {a} = A , a ∈ A‬‬
 ‫עוצמות )המשך(‬
‫‪ .18‬משפט קנטור‪-‬ברנשטיין‪ ≤ :‬בין עוצמות הוא אנטי‪-‬סימטרי‪.‬‬

‫‪ .20‬מסקנה‪. Q = ℵ0 :‬‬

‫‪ .21‬משפט קנטור‪ :‬לכל קבוצה ‪ , A‬מתקיים‪. A < P ( A) :‬‬

‫‪ .22‬מסקנה‪ :‬יש אינסוף עוצמות אינסופיות שונות‪.‬‬

‫‪ .23‬משפט )ללא הוכחה‪ ,‬דורש למת צורן(‪ :‬היחס ≤ בין עוצמות הוא מלא‪ ,‬ז"א‪ :‬לכל שתי קבוצות‬
‫‪ A, B‬מתקיים או ‪ A ≤ B‬או ‪. B ≤ A‬‬

‫‪ .24‬עוצמת הרצף‪. R = ℵ = c :‬‬

‫‪ π π‬‬
‫‪.  − ,  = ℵ .25‬‬
‫‪ 2 2‬‬

‫‪ .26‬לכל שני מספרים ממשיים ‪ a < b‬מתקיים‪(a, b ) = (0,1) = ℵ :‬‬

‫‪ .27‬לכל שני מספרים ממשיים ‪ a < b‬מתקיים‪(a, b ) = [a, b ) = (a, b] = [a, b] = ℵ :‬‬

‫פעולות חשבוניות על עוצמות‬

‫‪ .28‬הגדרה‪ κ , λ :‬עוצמות‪ .‬אם ‪ A = κ , B = λ‬והקבוצות ‪ A,B‬זרות‪ ,‬אז‪. κ + λ = A ∪ B :‬‬

‫‪0 + ℵ0 = n + ℵ0 = ℵ0 + ℵ0 = ℵ0 .29‬‬

‫‪ℵ + ℵ = ℵ .30‬‬

‫‪ .31‬חיבור עוצמות הוא חילופי‪ :‬עבור ‪ κ , λ‬עוצמות‪ ,‬מתקיים‪. κ + λ = λ + κ :‬‬

‫‪ .32‬הגדרה‪ κ , λ :‬עוצמות‪ .‬אם ‪ A = κ , B = λ‬אז‪. κ ⋅ λ = A × B :‬‬

‫‪ ℵ0 ⋅ ℵ0 = ℵ0 .33‬ולכל ‪ k‬טבעי מתקיים‪. ℵ0k = ℵ0 :‬‬

‫‪. ℵ ⋅ ℵ = ℵ .34‬‬
 ‫‪ .35‬סימון‪. A B = { f | f : B → A} :‬‬

‫‪ .36‬הגדרה‪ κ , λ :‬עוצמות‪ .‬אם ‪ A = κ , B = λ‬אז‪. κ λ = A B :‬‬

‫‪ .37‬לכל קבוצה ‪ , A‬מתקיים ‪. P( A) = {0,1} A‬‬

‫‪A‬‬
‫‪. P( A) = 2‬‬ ‫‪ .38‬מסקנה‪:‬‬

‫‪ .39‬לכל עוצמה ‪ , κ‬מתקיים ‪. κ < 2κ‬‬

‫‪ , ℵ = 2ℵ0 .40‬ולכן‪. ℵ0 < ℵ :‬‬

‫‪ .41‬הפעולות של חיבור וכפל עוצמות מקיימות קיבוץ‪ ,‬חילוף ופילוג‪.‬‬

‫‪ .42‬תכונות של חזקות של עוצמות‪:‬‬

‫א‪. (κ ⋅ λ ) = κ µ ⋅ λ µ .‬‬
‫‪µ‬‬

‫ב‪. κ λ + µ = κ λ ⋅ κ µ .‬‬
‫) (‬ ‫‪µ‬‬
‫ג‪. κ λ = κ λ ⋅ µ .‬‬
‫ד‪ .‬אם ‪ κ ≤ λ‬אז ‪. κ µ ≤ λµ‬‬
‫ה‪ .‬אם ‪ 0 < λ ≤ µ‬אז ‪. κ λ ≤ κ µ‬‬
‫ו‪κ 0 = 1, 1κ = 1 .‬‬
‫ז‪ .‬אם ‪ , 0 < κ‬אז ‪0 κ = 0‬‬

‫‪ .43‬משפט )ללא הוכחה(‪ :‬אם ‪ κ‬או ‪ λ‬אינסופיות‪ ,‬אז‪. κ + λ = κ ⋅ λ = max{κ , λ} :‬‬

‫‪ .44‬אם ‪ , 2 ≤ κ ≤ 2 λ‬ו‪ λ -‬אינסופית‪ ,‬אז ‪. κ λ = 2 λ‬‬

‫‪ .45‬דוגמאות‪. R N = ℵℵ0 = ℵ , ℵℵ0 0 = 2ℵ0 = ℵ = ℵℵ0 :‬‬