הצגת המקור של הדף "תורת הקבוצות/יחסים"

{{תורת הקבוצות}}
לעתים קרובות במתמטיקה יש לנו צורך לבטא "יחס" מסוים בין אובייקטים שונים. כך לדוגמה, נכונות העובדה ש-4 גדול מ-2, תלויה ב-4, ב-2 ובמושג של "גדול מ". יחסים מוכרים הם "בן של", "מחלק את" ועוד. המטרה שלנו בפרק זה היא לתת הגדרה מדויקת להבנה שלנו את המושג "יחס".

בשלושת הפרקים הבאים נידון לעומק בסוגים של יחסים שחשיבותם למתמטיקה, ולתורת הקבוצות בפרט, היא למעלה מן המעלה.

==הגדרות==
הגדרה: בהינתן שתי קבוצות <math>A,B</math> , תת-קבוצה של המכפלה הקרטזית ביניהם <math>\mathcal{R}\sube A\times B</math> יקרא '''יחס בינארי בין <math>A</math> ל-<math>B</math>''' או פשוט '''יחס''' אם הקבוצות <math>A,B</math> ברורות מההקשר.

ניתן כמובן גם להכליל את ההגדרה למקרה של <math>n</math> קבוצות:

הגדרה: בהינתן הקבוצות <math>A_1,\ldots,A_n</math> תת-קבוצה של המכפלה הקרטזית שלהם <math>R\sube A_1\times\cdots\times A_n</math> ייקרא '''יחס'''. 

כאשר ביחס בינארי <math>R\sube A\times B</math> מתקיים כי <math>A=B</math>, נאמר בקיצור כי <math>\mathcal{R}</math> הוא יחס על <math>A</math>.

סימון: כאשר <math>\mathcal{R}</math> יחס בינארי ומתקיים כי <math>(a,b)\in\mathcal{R}</math> אז לפעמים נקצר ונרשום: <math>a\mathcal{R}b</math> .

הגדרה: בהינתן יחס בינארי בין <math>A</math> ל-<math>B</math>
#'''התחום של <math>\mathcal{R}</math>''' הוא הקבוצה <math>\text{Domain}(R)=\Big\{a\in A:(a,b)\in R\Big\}</math>
#'''הטווח של <math>\mathcal{R}</math>''' הוא הקבוצה <math>\text{Range}(\mathcal{R})=\Big\{b\in B:(a,b)\in R\Big\}</math>

===דוגמאות===
*יהיו <math>A=\{1,2,3\},B=\{a,b,c\}</math> קבוצות. נגדיר יחס בין <math>A</math> ל-<math>B</math> על-ידי:
<math display=block>\mathcal{R}_1=\Big\{(a,1),(b,2),(c,3)\Big\}</math>
*בקבוצת המספרים הטבעיים <math>\N</math> נוכל להגדיר את היחס "עוקב של" על-ידי:
<math display=block>\mathcal{R}_2=\Big\{(n+1,n):n\in\N\Big\}</math>
:(על הקורא לנסות לשכנע את עצמו שזוהי אכן הגדרה שמתאימה לאינטואיציה שלנו.)
*באופן דומה מוגדר היחס "מחלק של" במספרים השלמים כך:
<math display=block>|=\Big\{(n_1,n_2)\in\Z^2:\exist k\in\Z,n_1k=n_2\Big\}</math>
:(הערה: היחס "מחלק של" מסומן בקו אנכי |, ואין להתבלבל בהגדרה לעיל בין זה לבין הקו האנכי שמשמש להגדרת הקבוצות. המובן שבו משתמשים בו צריך להיות ברור מההקשר, וכאשר לא יהיה כך, נחליף בהגדרת הקבוצה את הקו האנכי בנקודותיים:)
*בכל קבוצה <math>A</math>, ניתן להגדיר את היחס "שווה ל" כך:
<math display=block>\mathcal{R}_3=\Big\{(a,a):a\in A\Big\}</math>

'''דוגמה אינטויטיבית אשר מאד עוזרת להבין את נושא היחסים:
*'''היחס שווה:'''
*בואו נדמיין לרגע שיש לנו שק המכיל בתוכו כדורים הממוספרים מ-1 עד 3.
*כעת נדמיין שיש לנו קופסא.
*כעת הוציאו משק הכדורים רק את הכדורים השווים לעצמם.
*כעת אתם תשאלו את עצמכם
*"האם 1 שווה ל-1?" כן, אז אתם תוציאו את הכדור 1 ותכניסו לקופסה. באותה מידה ניתן לומר ש-1 עומד ביחס השוויון עם 1. ולכתוב 1R1.
*"האם 2 שווה 2?" כן, אז אתם תוציאו את כדור 2. באותה מידה ניתן לאמר ש2 עומד ביחס השוויון עם 2. 2R2.
*"האם 3 שווה ל-3?" כן, אתם תוציאו את כדור 3. באותה מידה ניתן לומר ש-3 עומד ביחס השוויון עם 3. 3R3.
*כעת בתוך הקופסה, יהיו לנו 3 כדורים.
*ועל מכסה הקופסה נכתוב: {(1,1),(2,2)(3,3)} מכיוון שבקופסה למעשה יש רק את הזוגות העומדים ביחס - שווה.
*כלומר, הכנסנו לקופסא רק את הזוגות השווים לעצמם.

נשים לב שהיחס "שווה" הוא רפלקסיבי (reflect = שיקוף) מכיוון שכל כדור שיש בשק עומד ביחס עם עצמו.
1 עומד עם 1, כי 1 שווה ל-1. ולכן כתבנו (1,1) וכן הלאה.

*'''היחס גדול מ:'''
*כעת נדמיין שוב שק עם 3 כדורים הממוספרים מ-1 עד 3.
*כעת תגידו לי איזה כדור גדול מכדור אחר?
*האם 1 גדול מכדור אחר? לא. אז הוא לא ייצא מהשק.
*האם 2 גדול מכדור אחר בשק? כן, ממי? מ-1. כעת נוציא את 2, ונכתוב לעצמנו: 2 גדול מ-1. או פשוט 2R1. או פשוט (2,1).
*האם 3 גדול מכדור אחר בשק? כן, ממי? מ-1 ומ-2. כעת נוציא את 3, ונכתוב לעצמנו: 3 גדול מ-1. או 3R1. או פשוט (3,1).
*ונכתוב לעצמנו: 3 גדול מ-2. או 3R2. או פשוט (3,2).
*לבסוף על הקופסא שלנו נרשום את כל הזוגות שעמדו ביחס:
*{(2,1) (3,1) (3,2)} מכיוון שאלו הזוגות אשר קיימו את היחס גדול מ-.

==תכונות של יחסים==
יש לשים לב: לא כל יחס מקיים את כל אחת מהתכונות האלו, אלא שאלו הן תכונות שהן מעניינות באופן מיוחד, ובדרך-כלל כששואלים שאלות על יחסים, מגבילים את העבודה ביחסים המקיימים מספר מצומצם של התכונות האלו. על הקורא להכיר היטב את התכונות האלו כי חלקן יחזרו באופן שוטף בספר הזה, ובשאר לימודי המתמטיקה שלו.

יחס <math>\mathcal{R}\sube A\times A</math> ייקרא:
*'''רפלקסיבי''' אם לכל אבר בקבוצה <math>a\in A</math> '''מתקיים''' <math>a\mathcal{R}a</math>.
:לדוגמא: היחס 'שווה' הוא רפלקסיבי בקבוצת המספרים הרציונליים, כיון שכל מספר שווה לעצמו.
:*'''אי-רפלקסיבי''' אם לכל אבר בקבוצה <math>a\in A</math> '''לא מתקיים''' <math>a\mathcal{R}a</math>.
::לדוגמא: היחס 'גדול מ-' הוא אי-רפלקסיבי בקבוצת המספרים הרציונליים, כיון שאף מספר אינו גדול מעצמו.
:*'''קו-רפלקסיבי''' אם לכל זוג אברים בקבוצה <math>a,b\in A</math> המקיים <math>a\mathcal{R}b</math> '''מתקיים''' <math>a=b</math>.
::לדוגמא: היחס 'שווה' הוא קו-רפלקסיבי בקבוצת המספרים הרציונליים (בעוד שהיחס 'בעל חֶזקה ריבועית שזהה לזו של' הוא קו-רפלקסיבי רק בקבוצת המספרים החיוביים – אך לא בקבוצת המספרים הרציונליים).
*'''סימטרי''' אם כל זוג אברים בקבוצה <math>a,b\in A</math> '''מקיים''' <math>a\mathcal{R}b\iff b\mathcal{R}a</math>.
:לדוגמא: היחס 'שווה' הוא סימטרי בקבוצת המספרים הרציונליים (אם <math>a=b</math> אז <math>b=a</math>).
:*'''א-סימטרי''' (או '''אנטי-סימטרי חזק''') אם כל זוג אברים בקבוצה <math>a,b\in A</math> המקיים <math>a\mathcal{R}b</math> '''אינו מקיים''' <math>b\mathcal{R}a</math>.
::לדוגמא: היחס 'גדול מ-' הוא א-סימטרי בקבוצת המספרים הרציונליים (אם <math>b<a</math> אז לא מתקיים <math>a<b</math>). יחס כזה הוא אנטי-סימטרי חזק (וגם אי-רפלקסיבי).
:*'''אנטי-סימטרי''' (או '''אנטי-סימטרי חלש''') אם כל זוג אברים בקבוצה <math>a,b\in A</math> המקיים <math>a\mathcal{R}b</math> וגם <math>b\mathcal{R}a</math> '''מקיים <math>a=b</math>'''.
::לדוגמא: היחס 'גדול או שווה' הוא אנטי-סימטרי בקבוצת המספרים הרציונליים (אם <math>a\le b</math> וגם <math>b\le a</math> אז <math>a=b</math>).
*'''טרנזיטיבי''' אם לכל שלושה אברים בקבוצה <math>a,b,c\in A</math> המקיימים <math>a\mathcal{R}b</math> וגם <math>b\mathcal{R}c</math> '''מתקיים''' <math>a\mathcal{R}c</math>.
:לדוגמא: היחס 'קטן מ-' הוא טרנזיטיבי בקבוצת המספרים הרציונליים (אם <math>a<b</math> וגם <math>b<c</math> אזי <math>a<c</math>).
:*'''אי-טרנזיטיבי''' אם לכל שלושה אברים בקבוצה <math>a,b,c\in A</math> המקיימים <math>a\mathcal{R}b</math> וגם <math>b\mathcal{R}c</math> '''לא מתקיים''' <math>a\mathcal{R}c</math>.
::לדוגמא: היחס 'עוקב של' הוא אי-טרנזיטיבי בקבוצת המספרים הרציונליים (אם <math>b=a+1</math> וגם <math>c=b+1</math> אז לא מתקיים <math>c=a+1</math>).

==פעולות על יחסים==
כיון שגם יחסים הם קבוצות, כל פעולה שאנחנו יכולים לבצע בקבוצות אנחנו יכולים לבצע גם ביחסים. השימוש המעניין בכך, הוא כמובן, אילו מן התכונות לעיל נשמרות תחת כל אחת מהפעולות.

מלבד זאת, ישנן פעולת שניתן לבצע אך ורק על יחסים, ואלו פעולות של הרכבה והפכיות, שתיהן פעולות שיחזרו הרבה במהלך הספר ויש לנסות להבין אותן כעת טוב ככל שאפשר.

===איחוד===
===חיתוך===
===הפכיות===
לכל יחס <math>\mathcal{R}\sube A\times B</math>, נגדיר את '''היחס ההפוך''' כך:
<math display=block>\mathcal{R}^{-1}=\Big\{(b,a):a\mathcal{R}b\Big\}</math>

===הרכבה===
אם <math>\mathcal{R}\subseteq A\times B</math> ו-<math>\mathcal{T}\sube B\times C</math> הם יחסים, אז נגדיר את '''ההרכבה''' שלהם כך:
<math>\mathcal{T}\circ\mathcal{R}=\Big\{(a,c):\exists b,a\mathcal{R}b\and b\mathcal{T}c\Big\}</math>
===צמצום===
יהי <math>\mathcal{R}\sube A\times B</math> ויהיו <math>C\sube A,B\sube D</math>. נגדיר את '''הצמצום של <math>\mathcal{R}</math> ל-<math>C\times D</math>''' כך:
<math display=block>\mathcal{R}|_{C\times D}=\Big\{(x,y)\in C\times D:x\mathcal Ry\Big\}=\mathcal{R}\cap(C\times D)</math>

==יחסים מיוחדים==
בגלל שכפי שראינו בדוגמאות וברשימת התכונות הארוכה לעיל, יחס יכול לקיים הרבה מאוד תכונות, וידוע, שכדי שהגדרה מסוימת תתן פירות, יש להוסיף תכונות שונות ולחקור אותן בנפרד. בגלל זה, ישנם סוגים שונים של יחסים, שהגבילו אותם באמצעות 2 או יותר מהתכונות לעיל.

ליחסים האלו חשיבות רבה כל כך במתמטיקה שלא ניתן לסגור פרק על יחסים מבלי להביא סקירה של הגדרותיהם. חשיבותם הרבה תתברר בפרקי ההמשך של ספר זה, בהם נתמקד בכל אחד מהיחסים לעומק.

===[[תורת הקבוצות/פונקציות|פונקציה]]===
הגדרה: יחס בינארי <math>\mathcal{R}\sube A\times B</math> יקרא פונקציה מ-<math>A</math> ל-<math>B</math> אם מתקיים:
#אם <math>(a,b)\in\mathcal{R}</math> וגם <math>(a,c)\in\mathcal{R}</math> אזי <math>b=c</math>.
#<math>\text{Domain}(\mathcal{R})=A</math>
אם נרצה לדבר על פונקציה <math>f</math> מ-<math>A</math> ל-<math>B</math> נסמן זאת <math>f:A\to B</math>, ולכל <math>x\in A</math> נסמן <math>f(x)</math> את ה-<math>y\in B</math> היחיד המתאים ל-<math>x</math>.

====דוגמאות====
*נגדיר <math>f:\N\to\N</math> על-ידי <math>f(n)=n+1</math>. נשים לב שבאותה מידה יכולנו לרשום:
<math display=block>f=\Big\{(n,n+1):n\in\N\Big\}</math>
*לכל קבוצה לא-ריקה <math>A</math> ואבר בה <math>a\in A</math> , נוכל להגדיר את הפונקציה הקבועה <math>c_a:A\to A</math> המוגדרת על-ידי:
<math display=block>c_a(x)=a</math>

===[[תורת הקבוצות/יחסי שקילות|יחס שקילות]]===
המטרה של יחס שקילות היא להכליל את האופן שבו אנחנו תופשים שני עצמים באותה הקבוצה כ"שקולים" באיזשהו אופן. 

הגדרה: יחס בינארי <math>\mathcal R</math> ב-<math>A</math> יקרא '''יחס שקילות''' אם הוא רפלקסיבי, סימטרי וטרנזיטיבי.

הערה: כשם שהאות <math>f</math> היא סימון מקובל לפונקציה, כך גם הסימנים "~", "=" ועוד בסגנון, לעתים מסמלים יחס שקילות.

====דוגמאות====
*היחס <math>\mathcal{R}_3</math> בדוגמאות לעיל, הוא יחס שקילות (על הקורא לוודא שאכן זה כך.)
*יחס הדמיון בין משולשים כפי שנלמד בתיכון, הוא יחס שקילות.
*נקבע מספר טבעי כלשהוא <math>k</math> ונגדיר ב-<math>\Z</math> את היחס 
<math display=block>\equiv_k=\Big\{(n_1,n_2):k\,|\,(n_1-n_2)\Big\}</math>

===[[תורת הקבוצות/יחסי סדר|יחסי סדר]]===
יחסי הסדר באים להכליל את ההבנה של המושג "גדול מ" ו"קטן מ" לקבוצה כלשהיא.

הגדרה: יחס בינארי <math>\mathcal R</math> ב-<math>A</math> יקרא '''יחס סדר חלקי ב-'''<math>A</math> אם הוא מקיים רפלקסיביות, אנטי-סימטריות וטרנזיטיביות. קבוצה <math>A</math> עם יחס סדר חלקי <math>\mathcal{R}</math>, נקראת '''קבוצה סדורה חלקית''' או בקיצור, '''קס"ח'''.

====דוגמאות====
*יחס הסדר | במספרים השלמים הוא יחס סדר חלקי (על הקורא לוודא זאת.)
*היחס <math>\le</math> המוכר לכולנו מבית הספר, הוא יחס סדר חלקי במספרים הרציונליים.

כפי שניתן לראות מהדוגמה הראשונה, אם נסתכל ב-<math>3,5\in\Z</math>, אזי <math>3\nmid5</math> וגם <math>5\nmid3</math>, מה שלא היינו מצפים היחס <math>\le</math> שאנחנו רגילים אליו מההתעסקות במספרים ממשיים. במקרה הזה, נאמר ש-3 ו-5 '''לא ניתנים להשוואה''' ביחס |.

הגדרה: בהינתן <math>A</math> קס"ח על-ידי יחס הסדר <math>R</math>, אם עבור <math>a,b\in A</math> מתקיים <math>aRb</math> או <math>bRa</math>, אזי נאמר כי <math>a,b</math> '''ניתנים להשוואה על-ידי''' <math>\mathcal{R}</math>.

הגדרה: בהינתן <math>A</math> קס"ח על-ידי יחס הסדר <math>\mathcal{R}</math>, נאמר כי <math>\mathcal{R}</math> הוא '''יחס שלם''' או '''יחס לינארי''' אם כל שני אברים ב-<math>A</math> ניתנים להשוואה על-ידי <math>\mathcal{R}</math>. במקרה זה נכנה את <math>A</math> '''קבוצה סדורה לינארית''' או בקיצור, '''קס"ל'''.

{{תורת הקבוצות|מוגבל}}

[[קטגוריה:תורת הקבוצות|יחסים]]