‫לוגיקה ותורת הקבוצות ‪2024 -‬‬

‫תרגיל ‪2‬‬
‫הערה‪ :‬כאשר אתם מגדירים פונקציה מלאה 𝐵 → 𝐴 ‪ 𝑓:‬עבור קבוצות 𝐵 ‪ 𝐴,‬הנתונות בשאלה‪ ,‬עליכם‬
‫להסביר מדוע הפונקציה מלאה (מוגדרת על כל איברי 𝐴) ושהתמונה אכן מוכלת ב‪.𝐵 -‬‬

‫‪ )1‬תהי ‪ 𝐹: ℕ → ℕ‬פונקציה מלאה ועל‪ .‬לכל קבוצה של טבעיים 𝐴‪ ,‬נגדיר‬

‫}𝐴 ∈ )𝑥(𝐹|‪ .𝐹 −1 (𝐴) = {𝑥 ∈ ℕ‬נגדיר באופן רקורסיבי סדרה של קבוצות באופן הבא‪:‬‬
‫}‪𝐴0 = 2ℕ = {3𝑘|𝑘 ∈ ℕ‬‬
‫לכל ‪.𝐴𝑛+1 = 𝐹 −1 (𝐴𝑛 ) ,𝑛 ∈ ℕ‬‬
‫א‪ .‬הוכיחו ש‪ 𝐴𝑛 ∼ ℕ-‬לכל ‪( 𝑛 ∈ ℕ‬כלומר 𝑛𝐴 בת מניה אינסופית)‪.‬‬
‫ב‪ .‬הניחו ש‪ .𝐴1 ∖ 3ℕ ≠ ∅-‬הוכיחו‪ :‬לכל ‪.𝐴𝑛+1 ∖ 𝐴𝑛 ≠ ∅ ,𝑛 ∈ ℕ‬‬
‫‪ )2‬הוכיחו את השקילויות הבאות‪:‬‬
‫א‪(9,12] ∼ (4,8] ∪ [13,14] .‬‬
‫ב‪(0, ∞)~(0,1) .‬‬
‫את סעיף ב' יש לפתור באופן הבא בלבד‪ :‬הראו תחילה את השקילות )∞ ‪,(0, ∞)~(1,‬‬
‫אחר כך את השקילות )‪ (1, ∞)~(0,1‬ואז השתמשו בהרכבת פונקציות כדי להגיע‬
‫לפונקציה המבוקשת‪.‬‬
‫ג‪ 𝐴 ∼ 𝐵 .‬כאשר‪:‬‬
‫}‪,𝐴 = {(𝑥, 𝑦) ∈ ℝ2 | − 1 ≤ 𝑥 ≤ 1 ∧ −1 ≤ 𝑦 ≤ 1‬‬
‫}‪.𝐵 = {(𝑥, 𝑦) ∈ ℝ2 |𝑥 2 + 𝑦 2 ≤ 9‬‬

‫‪ )3‬הוכיחו‪ :‬אם 𝐵~𝐴 אז )𝐵(𝑃~)𝐴(𝑃‪.‬‬

‫‪ )4‬נאמר על קבוצה ‪ 𝐴 ⊆ ℕ‬שהיא "צפופה" אם לכל קבוצה אינסופית ‪ ,𝐵 ⊆ ℕ‬מתקיים ש‪-‬‬

‫∅ ≠ 𝐵 ∩ 𝐴‪ .‬הוכיחו שקבוצת הקבוצות הצפופות ב‪ ℕ‬היא בת מניה‪.‬‬
‫‪ )5‬הוכיחו כי עוצמת קבוצת המשולשים במישור עם קואורדינטות רציונליות (הקואורדינטות של‬
‫כל אחד מהקודקודים של המשולש הן רציונאליות) היא ‪.ℵ0‬‬
‫‪ )6‬מהי עוצמת קבוצת המחרוזות הטרנאריות (דהיינו‪ ,‬המורכבות מהספרות ‪ 0,1,2‬בלבד)‬
‫האינסופיות שהן ‪ 2 1‬מתחלף ממקום מסוים (כלומר‪ ,‬סדרה באורך כלשהי של ‪ 1 ,0‬ו‪ ,2‬ואז‬
‫…‪ 1212121212‬וכך הלאה עד אינסוף‪.‬‬

‫‪-1-‬‬