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

‫תזכורת‪ :‬בכל תרגיל מותר להשתמש בכל משפט מההרצאות‪,‬‬

‫מהתרגולים‪ ,‬ומתרגילים קודמים‪.‬‬
‫‪ .1‬תהיינה 𝐵 ‪ 𝐴,‬קבוצות‪ .‬הוכיחו או הפריכו‪:‬‬
‫א‪ .‬אם 𝐴 אינסופית שאינה בת‪-‬מניה אז 𝐵 ∪ 𝐴 אינסופית שאינה בת‪-‬מניה‪.‬‬
‫ב‪ .‬אם 𝐴 אינסופית שאינה בת‪-‬מניה ו‪ 𝐵 ≠ 𝐴 -‬אינסופית שאינה בת‪-‬מניה אז 𝐵\𝐴 אינסופית‪.‬‬
‫ג‪ .‬אם 𝐴 אינסופית שאינה בת‪-‬מניה ו‪ 𝐵 -‬בת‪-‬מניה אז 𝐵\𝐴 אינסופית שאינה בת‪-‬מניה‪.‬‬

‫‪ .2‬מה העוצמה של הקבוצות הבאות? הוכיחו את תשובתכם‪.‬‬

‫א‪ - 𝐴 .‬קבוצת הפונקציות המלאות ‪ 𝑓: ℝ → ℝ‬שהן פולינומים עם מקדמים רציונליים‪,‬‬
‫כלומר‬
‫𝑛 𝑥 𝑛𝑎‪ 𝑎0 + 𝑎1 𝑥 + 𝑎2 𝑥 +. . . +‬וכמו כן מתקיים‪.∀𝑖 : 𝑎𝑖 ∈ ℚ :‬‬
‫‪2‬‬

‫ב‪ - 𝐵 .‬קבוצת הפונקציות המלאות ‪ 𝑓: ℝ → ℝ‬כך ש 𝑥 = )𝑥(𝑓 לכל‬

‫‪2‬‬
‫}‪𝑥 ∉ {1, 3 , 𝑒, −7‬‬

‫‪ .3‬הדגימו פונקציית שקילות בין קבוצת הפונקציות המלאות }‪ 𝑓: ℝ+ → {0,1‬המקיימות‬

‫‪+‬‬
‫‪ ∀𝑥∉ℚ+ : 𝑓(𝑥) = 0‬לבין הקבוצה ‪ .{0,1}ℚ‬הסבירו את תשובתכם בפירוט‪ .‬שימו לב‬
‫שהקבוצות ‪ ℝ+ , ℚ+‬הן הקבוצות של הממשיים והרציונליים החיוביים‪ ,‬בהתאמה‪.‬‬

‫‪ .4‬תהי ‪ 𝐴 ⊆ ℝ‬קבוצה בת מניה‪ .‬נגדיר }𝐴 ∈ 𝑦 ‪.𝐵 = {𝑥 ∗ 𝑦 | 𝑥,‬‬

‫א‪ .‬הוכיחו כי ייתכן כי ‪.𝐵 = ℚ‬‬
‫ב‪ .‬הראו כי לא ייתכן כי ‪.𝐵 = ℝ‬‬

‫‪ .5‬הוכיחו‪/‬הפריכו‪ :‬קיימת קבוצה 𝐵 מעוצמה ‪ ℵ‬שהיא קבוצה של תת קבוצות של ‪( ℕ‬כלומר‬

‫‪ ,)𝐵 ⊆ ℕ‬כך שעבור כל 𝐵 ∈ ‪ ,𝐴1 , 𝐴2‬אם ‪ 𝐴1 ≠ 𝐴2‬אז ∅ = ‪.𝐴1 ∩ 𝐴2‬‬

‫‪ .6‬בהינתן ‪ 𝑘 ∈ ℝ‬כך ש‪ ,0 < 𝑘 < 0.5‬נאמר שקבוצה 𝐴 היא ‪-k‬נמנעת‪-‬משלמים אם עבור כל‬
‫‪ ,𝑧 ∈ ℤ‬מתקיים ∅ = 𝐴 ∩ )𝑘 ‪ .(𝑧 − 𝑘, 𝑧 +‬תהי 𝐵 קבוצת כל הקבוצות ה‪-k‬נמנעות‪-‬‬
‫משלמים‪ .‬הוכיחו ))‪ 𝐵 ∼ 𝑃(𝑃(ℕ‬עבור כל ‪ ,𝑘 ∈ ℝ‬כך ש‪.0 < 𝑘 < 0.5‬‬

‫‪-1-‬‬