‫פתרון תרגיל בית ‪3‬‬ ‫‪1‬‬

‫תרגיל ‪ .1.1‬הוכיחו‪/‬הפריכו‪:‬‬
‫אם ‪ R, S‬יחסים רפלקסיבים מעל ‪ A‬אז גם ‪ R ∩ S‬יחס רפלקסיבי מעל ‪.A‬‬

‫{‬ ‫פתרון‪ .‬נכון‪.‬‬

‫‪(a, a) ∈ R‬‬
‫‪a∈A‬‬ ‫⇒‬ ‫⇒‬ ‫‪(a, a) ∈ R ∩ S‬‬
‫‪(a, a) ∈ S‬‬
‫תרגיל ‪ .1.2‬יהיו ‪ R, S‬יחסים מעל ‪ .A‬הוכיחו‪/‬הפריכו‪:‬‬
‫אם ‪ R‬וגם ‪ S‬יחס סימטרי אז גם ‪ R ∪ S‬יחס סימטרי‪.‬‬
‫פתרון‪ .‬נכון‪.‬‬
‫‪(a, b) ∈ R ∪ S‬‬ ‫⇒‬ ‫‪(a, b) ∈ R ∨ (a, b) ∈ S‬‬ ‫⇒‬ ‫‪(b, a) ∈ R ∨ (b, a) ∈ S‬‬ ‫⇒‬ ‫‪(b, a) ∈ R ∪ S‬‬
‫כאשר המעבר הראשון מהגדרת האיחוד‪ ,‬השני הסימטריות של ‪ ,R, S‬והאחרון מהגדרת האיחוד‪.‬‬
‫תרגיל ‪ .1.3‬יהי ‪ R‬יחס מעל }‪ .A = {1, 2, 3, 4‬הוכיחו או הפריכו‪:‬‬

‫‪ .1‬אם ‪ R‬רפלקסיבי אז ‪ R × R‬רפלקסיבי מעל ‪.A × A‬‬

‫‪ .2‬אם ‪ R × R‬רפלקסיבי מעל ‪ A × A‬אז ‪ R‬רפלקסיבי‪.‬‬
‫פתרון‪.‬‬

‫∈ ))‪ ((1, 2) , (1, 2‬למרות ש‪.(1, 2) ∈ A × A-‬‬

‫‪ .1‬לא נכון‪ R = {(1, 1) , (2, 2) , (3, 3) , (4, 4)} .‬רפלקסיבי אבל ‪/ R × R‬‬
‫‪ .2‬נכון‪ .‬יהי ‪ .a ∈ A‬אז ‪ (a, a) ∈ A × A‬ולכן מהרפלקסיביות של ‪ R × R‬נובע ש‪ .((a, a) , (a, a)) ∈ R × R-‬לכן ‪.(a, a) ∈ R‬‬
‫‪ R = {(X, Y ) ∈ A × A : X = Y‬יחס שקילות מעל )‪?A = P (N‬‬ ‫‪or‬‬ ‫תרגיל ‪ .1.4‬האם } ‪1 ∈ X△Y‬‬
‫פתרון‪ .‬היחס לא טרנזיטיבי‪ .‬דוגמא נגדית }‪.X = {2} , Y = {1} , Z = {3‬‬

‫}‪X△Y = ({2} \ {1}) ∪ ({1} \ {2}) = {1, 2‬‬ ‫⇒‬ ‫‪(X, Y ) ∈ R‬‬
‫}‪Y △Z = ({1} \ {3}) ∪ ({3} \ {1}) = {1, 3‬‬ ‫⇒‬ ‫‪(Y, Z) ∈ R‬‬
‫}‪X△Z = ({2} \ {3}) ∪ ({3} \ {2}) = {2, 3‬‬ ‫⇒‬ ‫∈ )‪(X, Z‬‬
‫‪/R‬‬
‫∈ ‪ R = {(X, Y ) ∈ A × A : 1‬יחס שקילות מעל )‪?A = P (N‬‬
‫תרגיל ‪ .1.5‬האם } ‪/ X△Y‬‬
‫פתרון‪ .‬נכון‪.‬‬
‫)‪X ∈ P (N‬‬ ‫⇒‬ ‫∅ = ‪X△X‬‬ ‫⇒‬ ‫∈‪1‬‬
‫‪/ X△X‬‬ ‫⇒‬ ‫‪(X, X) ∈ R‬‬
‫‪(X, Y ) ∈ R‬‬ ‫⇒‬ ‫∈‪1‬‬
‫‪/ X△Y = Y △X‬‬ ‫⇒‬ ‫‪(Y, X) ∈ R‬‬
‫יהיו ‪ .(X, Y ) , (Y, Z) ∈ R‬נניח בשלילה ש‪ .1 ∈ X△Z-‬לכן ‪ 1 ∈ X\Z‬או ‪.1 ∈ Z\X‬‬
‫∈ ‪ 1‬אז ‪ 1 ∈ X\Y‬ולכן‬
‫∈ ‪ 1 ∈ X, 1‬ואם ‪/ Y‬‬
‫אם ‪ 1 ∈ X\Z‬אז ‪/ Z‬‬
‫‪1 ∈ (X\Y ) ∪ (Y \X) = X△Y‬‬
‫בסתירה לנתון ‪ .(X, Y ) ∈ R‬לכן ‪ .1 ∈ Y‬לכן ‪ 1 ∈ Y \Z‬ולכן‬
‫‪1 ∈ (Y \Z) ∪ (Z\Y ) = Y △Z‬‬

‫∈ ‪ .1‬לכן ‪.(X, Z) ∈ R‬‬

‫∈ ‪ .1‬בצורה דומה למקרה ‪/ Z\X‬‬
‫בסתירה לנתון ‪ .(Y, Z) ∈ R‬לכן ‪/ X\Z‬‬
‫תרגיל ‪ .1.6‬האם }}‪ R = {(B, C) ∈ A × A : B ∪ {1, 2} = C ∪ {1, 2‬יחס שקילות מעל )}‪?A = P ({1, 2, 3, 4‬‬
‫פתרון‪ .‬נכון‪.‬‬
‫)}‪B ∈ P ({1, 2, 3, 4‬‬ ‫⇒‬ ‫}‪B ∪ {1, 2} = B ∪ {1, 2‬‬ ‫⇒‬ ‫‪(B, B) ∈ R‬‬
‫‪(B, C) ∈ R‬‬ ‫⇒‬ ‫‪B ∪ {1, 2} = C ∪ {1, 2} ⇒ C ∪ {1, 2} = B ∪ {1, 2} ⇒ (C, B) ∈ R‬‬
‫{‬ ‫{‬
‫‪(B, C) ∈ R‬‬ ‫}‪B ∪ {1, 2} = C ∪ {1, 2‬‬
‫⇒‬ ‫‪⇒ B ∪ {1, 2} = D ∪ {1, 2} ⇒ (B, D) ∈ R‬‬
‫‪(C, D) ∈ R‬‬ ‫}‪C ∪ {1, 2} = D ∪ {1, 2‬‬

‫‪1‬‬
 ‫תרגיל ‪ .1.7‬האם })‪ R = {(f, g) ∈ A × A : ∃x ∈ R f (x) ≤ g (x‬יחס טרנזיטיבי מעל ‪ - A‬קבוצת הפונקציות מ‪ R-‬ל‪?R-‬‬
‫{‬
‫‪2 x=0‬‬
‫= )‪ f (x) ≡ 1, g (x‬מתקיים‬ ‫פתרון‪ .‬לא נכון‪ .‬עבור ‪, h (x) ≡ 0‬‬
‫‪0 x ̸= 0‬‬
‫{‬
‫)‪f (0) ≤ g (0‬‬ ‫⇒‬ ‫‪(f, g) ∈ R‬‬
‫)‪g (1) ≤ h (1‬‬ ‫⇒‬ ‫‪(g, h) ∈ R‬‬

‫∈ )‪.(f, h‬‬
‫אבל )‪ f (x) > h (x‬לכל ‪ .x ∈ R‬לכן ‪/ R‬‬
‫{‬ ‫}‬
‫|‪ R = (x, y) ∈ A × A : |x−y‬יחס מעל }‪.A = {1, 2, ..., 10‬‬
‫‪3‬‬ ‫∈‬ ‫‪Z‬‬ ‫תרגיל ‪ .1.8‬חשבו את ‪ A/R‬כאשר‬
‫האם ‪ R‬יחס שקילות?‬
‫פתרון‪.‬‬

‫‪[1]R = [4]R = [7]R = [10]R = {1, 4, 7, 10} ,‬‬ ‫‪[2]R = [5]R = [8]R = {2, 5, 8} ,‬‬ ‫}‪[3]R = [6]R = [9]R = {3, 6, 9‬‬

‫לכן ‪ R‬יחס שקילות מעל ‪ A‬ו‪-‬‬

‫}}‪A/R = {{1, 4, 7, 10} , {2, 5, 8} , {3, 6, 9‬‬
‫תרגיל ‪ .1.9‬חשבו את ‪ A/R‬כאשר }∅ ≠ ‪ R = {(X, Y ) ∈ A × A : X ∩ Y‬יחס מעל )}‪.A = P ({1, 2‬‬
‫האם זהו יחס שקילות?‬
‫פתרון‪.‬‬
‫‪[∅]R = ∅,‬‬ ‫‪[{1}]R = {{1} , {1, 2}} ,‬‬ ‫‪[{2}]R = {{2} , {1, 2}} ,‬‬ ‫}}‪[{1, 2}]R = {{1} , {2} , {1, 2‬‬
‫זו לא חלוקה ולכן לא יחס שקילות‪.‬‬

‫}}}‪A/R = {∅, {{1} , {1, 2}} , {{2} , {1, 2}} , {{1} , {2} , {1, 2‬‬
‫תרגיל ‪ .1.10‬יהי ‪ R‬יחס מ‪ A-‬ל‪ B-‬ויהי ‪ S‬יחס מ‪ B-‬ל‪ .C-‬נגדיר פעולת הרכבה ‪ °‬על היחסים ‪ R, S‬כך‪:‬‬

‫}‪R°S = {(x, z) ∈ A × C : ∃y ∈ B (x, y) ∈ R, (y, z) ∈ S‬‬

‫הוכיחו שפעולת ההרכבה אסוציאטיבית‪ ,‬כלומר שלכל ‪ R, S, T‬מתקיים ) ‪.(R°S) °T = R° (S°T‬‬

‫פתרון‪ .‬יהי ‪ .(x, z) ∈ (R°S) °T‬אז קיים ‪ w‬כך ש‪ (x, w) ∈ R°S-‬ו‪.(w, z) ∈ T -‬‬
‫מכך ש‪ (x, w) ∈ R°S-‬קיים ‪ y‬כך ש‪ (x, y) ∈ R-‬ו‪.(y, w) ∈ S-‬‬
‫לכן ‪ .(y, z) ∈ S°T‬ולכן ) ‪ .(x, z) ∈ R° (S°T‬לכן ) ‪.(R°S) °T ⊆ R° (S°T‬‬
‫מוכיחים את ההכלה ההפוכה בדרך דומה‪.‬‬

‫תרגיל ‪ .1.11‬יהי ‪ R‬יחס שקילות מעל }‪.A = {1, 2, ..., n‬‬

‫‪ .1‬מהו ‪ R‬אם ‪?|A/R| = 1‬‬

‫‪ .2‬מהו ‪ R‬אם ‪?|A/R| = n‬‬
‫פתרון‪.‬‬

‫‪ .1‬יהיו ‪ .a, b ∈ A‬מכך ש‪ |A/R| = 1 -‬נובע ש‪ a, b-‬באותה מחלקת שקילות‪.‬‬

‫לכן ‪ (a, b) ∈ R‬ולכן ‪.R = A × A‬‬

‫∈ )‪.(a, b‬‬
‫‪ .2‬יהיו ‪ a, b ∈ A‬שונים‪ .‬מכך ש‪ |A/R| = n -‬נובע ש‪ a, b-‬לא באותה מחלקת שקילות‪ .‬לכן ‪/ R‬‬
‫יהי ‪ .a ∈ A‬אז ‪ (a, a) ∈ R‬כי ‪ R‬רפלקסיבי‪ .‬לכן ‪ R‬הוא יחס הזהות‪.‬‬

‫‪2‬‬