‫בס"ד‬

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

‫תרגיל ‪ 2.1‬שרטטו את הקבוצות הבאות במישור‬

‫‪{(𝑥, 𝑦) ∈ ℝ2 | 2 ≤ 𝑥 + 𝑦 ≤ 3} .1‬‬
‫‪{(𝑥, 𝑦) ∈ ℝ2 | 2𝑥 − 𝑦 = 1} .2‬‬
‫‪{(𝑥, 𝑦) ∈ ℝ2 | 𝑥 ∈ ℕ} .3‬‬

‫תרגיל ‪ 2.2‬יהיו 𝑅 ‪ 𝑆,‬יחסים מעל קבוצה 𝐴‪ .‬אלו מהטענות הבאות נכונות? אם הטענה‬
‫נכונה‪ ,‬הוכיחו אותה‪ .‬אם לא‪ ,‬הביאו דוגמא נגדית‪.‬‬
‫‪ .1‬אם 𝑅 אנטי‪-‬סימטרי‪ ,‬אז 𝑆 ∖ 𝑅 אנטי‪-‬סימטרי‪.‬‬
‫‪ .2‬אם 𝑆 אנטי‪-‬סימטרי‪ ,‬אז 𝑆 ∖ 𝑅 אנטי‪-‬סימטרי‪.‬‬
‫‪ .3‬אם 𝑅 ‪ 𝑆,‬טרנזיטיביים‪ ,‬אז 𝑆 ∪ 𝑅 טרנזיטיבי‪.‬‬
‫‪ .4‬אם 𝑅 ‪ 𝑆,‬טרנזיטיביים‪ ,‬אז 𝑆 ∖ 𝑅 טרנזיטיבי‪.‬‬

‫תרגיל ‪ 2.3‬עבור היחסים הבאים על ‪ ℕ‬כתבו והסבירו אם הם רפלקסיביים‪ ,‬סימטריים‪,‬‬

‫אנטי‪-‬סימטריים‪ ,‬טרנזיטיביים‪.‬‬
‫‪𝑅 = {(𝑥, 𝑦) ∈ ℕ2 ∶ 0 ≤ 𝑥 − 𝑦 ≤ 1} .1‬‬
‫‪𝑅 = {(𝑥, 𝑦) ∈ ℕ2 ∶ 𝑦 ≤ 2𝑥 + 1} .2‬‬
‫‪𝑅 = {(𝑥, 𝑦) ∈ ℕ2 : 𝑦 ≤ 2𝑥 ≤ 4𝑦} .3‬‬

‫תרגיל ‪ 2.4‬יהי יחס 𝑆 על הקבוצה ‪ 𝐴 = ℝ2‬המוגדר כך‪:‬‬

‫) ‪((𝑥1 , 𝑦1 ), (𝑥2 , 𝑦2 )) ∈ 𝑆 ⇔ 𝑦2 − 𝑦1 = 3 ⋅ (𝑥2 − 𝑥1‬‬
‫‪ .1‬הוכיחו כי 𝑆 יחס שקילות‪.‬‬
‫‪ .2‬הסבירו מה המשמעות של היחס 𝑆 במונחים גיאומטריים‪ ,‬ומהן מחלקות‬
‫השקילות של 𝑆?‬
 ‫בס"ד‬

‫תרגיל ‪ 2.5‬יהי יחס 𝑆 על הקבוצה ‪ 𝐴 = ℝ2‬המוגדר כך‪:‬‬

‫‪((𝑥1 , 𝑦1 ), (𝑥2 , 𝑦2 )) ∈ 𝑆 ⇔ 𝑥12 − 𝑥22 = 𝑦22 − 𝑦12‬‬
‫‪ .1‬הוכיחו כי 𝑆 יחס שקילות‪.‬‬
‫‪ .2‬הסבירו מה המשמעות של היחס 𝑆 במונחים גיאומטריים‪ ,‬ומהן מחלקות‬
‫השקילות של 𝑆?‬

‫תרגיל ‪ 2.6‬יהי יחס 𝑆 על הקבוצה })‪ 𝐴 = ℝ2 ∖ {(0,0‬המוגדר כך‪:‬‬

‫‪((𝑥1 , 𝑦1 ), (𝑥2 , 𝑦2 )) ∈ 𝑆 ⇔ 𝑥1 ⋅ 𝑦2 = 𝑥2 ⋅ 𝑦1‬‬
‫‪ .1‬הוכיחו כי 𝑆 יחס שקילות‪.‬‬
‫‪ .2‬הסבירו מה המשמעות של היחס 𝑆 במונחים גיאומטריים‪ ,‬ומהן מחלקות‬
‫השקילות של 𝑆?‬
‫‪ .3‬מה יקרה אם נרחיב את היחס על כל ‪?ℝ2‬‬

‫תרגיל ‪ 2.7‬תהי קבוצה 𝐴 ויהיו 𝑆 ‪ 𝑅,‬יחסי שקילות על 𝐴‪.‬‬

‫הוכיחו‪ 𝑅 ∩ 𝑆 :‬יחס שקילות על 𝐴‪.‬‬

‫נגדיר פעולת שחלוף על זוג סדור של זוגות סדורים ונסמנה‪.( )𝑇 :‬‬

‫הגדרה‪:‬‬
‫𝑇‬
‫))𝑤 ‪((𝑥, 𝑦), (𝑧, 𝑤)) = ((𝑥, 𝑧), (𝑦,‬‬
‫תהיינה 𝐴 ו‪ 𝐵-‬קבוצות של זוגות סדורים‪ .‬נגדיר‪:‬‬
‫}𝐵 × 𝐴 ∈ 𝑥| 𝑇 𝑥{ = 𝑇)𝐵 × 𝐴(‬

‫תרגיל ‪ 2.8‬יהי 𝑅 יחס שקילות על 𝐴 ו‪ 𝑆 -‬יחס שקילות על 𝐵‪ .‬הוכיחו‪:‬‬

‫𝑇)𝑆 × 𝑅( יחס שקילות על 𝐵 × 𝐴‪.‬‬
 ‫בס"ד‬

‫תזכורת‪:‬‬
‫המכפלה הקרטזית של 𝑛 קבוצות 𝑛𝐴 ‪ 𝐴1 , … ,‬היא האוסף של ה‪-𝑛-‬יות הסדורות‪:‬‬
‫} 𝑛𝐴 ∈ 𝑛𝑎 ‪𝐴1 × … × 𝐴𝑛 = {(𝑎1 , … , 𝑎𝑛 )| 𝑎1 ∈ 𝐴1 , … ,‬‬

‫תרגיל ‪2.9‬‬
‫נגדיר יחס שקילות 𝑅 על הקבוצה ‪ 𝐴 = {0,1}4‬באופן הבא‪:‬‬
‫‪𝑅 = {((𝑎1 , 𝑎2 , 𝑎3 , 𝑎4 ), (𝑏1 , 𝑏2 , 𝑏3 , 𝑏4 )) ∈ 𝐴 × 𝐴 | 𝑎1 + 𝑎2 + 𝑎3 + 𝑎4‬‬
‫} ‪= 𝑏1 + 𝑏2 + 𝑏3 + 𝑏4‬‬
‫מצאו את מחלקות השקילות של 𝑅‪ ,‬ועבור כל מחלקת שקילות‪ ,‬רשמו את גודלה (מספר‬
‫האיברים השייכים לה)‪.‬‬

‫בתרגול הגדרנו‪:‬‬
‫‪ .1‬יהיו ‪ ,𝑎, 𝑏 ∈ ℤ‬ויהא ‪ .𝑚 > 0 ,𝑚 ∈ ℕ‬אז 𝑎 שקול ל‪ 𝑏 -‬מודולו 𝑚 אם‬
‫𝑎 ‪ 𝑏 −‬מתחלק ב‪ 𝑚 -‬ללא שארית‪ .‬ומסמנים‪.𝑎 ≡ 𝑏 (𝑚𝑜𝑑 𝑚) :‬‬
‫‪ .2‬עבור ‪ ,𝑚 > 1 ,𝑚 ∈ ℕ‬יחס השקילות מודולו 𝑚 על המספרים השלמים ‪ ,ℤ‬מוגדר‬
‫כך‪:‬‬
‫})𝑚 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 ‪𝐸𝑚 = {(𝑎, 𝑏)| 𝑎, 𝑏 ∈ ℤ,‬‬

‫תרגיל ‪2.10‬‬
‫‪ .1‬הוכיחו ש‪ 𝐸𝑚 -‬יחס שקילות‪ .‬לצורך ההוכחה תוכלו להשתמש בטענה הבאה בלי‬
‫להוכיח אותה‪:‬‬
‫טענה‪ :‬יהיו ‪ 𝑎, 𝑏 ∈ ℤ‬ויהי ‪ 𝑚 ∈ ℕ‬כך ש‪ .𝑚 > 0 :‬אז‪:‬‬
‫)𝑚 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 ⇔ קיים ‪ 𝑘 ∈ ℤ‬כך ש‪.𝑏 = 𝑎 + 𝑘 ⋅ 𝑚 :‬‬
‫‪ .2‬מהן מחלקות השקילות של 𝑚𝐸?‬

‫בהצלחה!‬