זוגות סדורים Flashcards
התכונה האופיינית לזוגות סדורים
שאם <a,b>=<c,d>,אז c=a וגם d=b.
זוג סדור ( הגדרת קורטובסקי)
{{a} ,{b, a}}
הגדרה באינדוקציה של אניה <>סדורה
בסיס האינדוקציה - נגדיר זוג סדור בודד
צעד האינדוקציה:
הנחת האינדוקציה הוא שיש סדרת הניה סדורה מוגדרת
הגדרת צעד האינדוקציה היא כי הסדרה הסדורה והאיבר החדש כזוג סדור ייצרו סדרת הניה סדורה חדשה.
(חבילת קלפים) מכפלה קרטזית
פעולה בינארית על קבוצות היוצרת קבוצה חדשה, שאבריה הם הזוגות הסדורים שרכיביהם מגיעים משתי הקבוצות, בהתאמה.
יחס אנ מקומי לדוגמא - יחס הזהות
על קבוצת הטבעיים, זוג סדור של ערך בודד השייך לקבוצת הטבעיים
יחס אנ מקומי לדוגמא - יחס החלוקה
זוג סדור של א,ב וג’ כך ש: (השייכים לטבעיים)
יש ג שאם נכפיל אותו ב-א הוא יהיה שווה ב.
שלוש מחלק את אפס אך לא הפוך.
מה הוא יחס דו מקומי - משמעות
יחס דו מקומי R
התחום: יש איקס כך שx:<x,y>
הטווח: יש וואי כך שy:<x,y>
R יחס דו מקומי לינארי
אםם
טרנזטיבי - כל שלושה איברים..
וטריכוטומי - שייך לאחת משלוש קבוצות סדורות
Rיחס דו מקומי
אבל כפונקציה
אםם הוא חד ערכי
אם <x,y>
וגם <x,z>
אז z=y
יהי יחס דו מקומי כפונקציה, בעל טווח א ותחום הוא תת קבוצה של ב, כיצד נסמן את הפונקציה ונקרא לה
מא ל- ב
סימון:
R:A->B
יהי יחס דו מקומי כפונקציה, בעל טווח א ותחום ב, כיצד תקרא הפונקציה
מ-א על ב
כל הפונקציה היא על הטווח שלה
פונקציה חד חד ערכית
אםם הוא חד ערכי
אם <x,y>
וגם <z,y>
אז z=x
קבוצות שוות מספרB ~~A
(התאמה אחד לאחד בין אברי הקבוצות)
תגדירו
אםם קיימת פו חד חד ערכית מ-א על-ב
תכונות של שיוויון מספרי
יש שיגידו
רפלקסיבי, סימטרי וטרנזטיבי
ויש שיאמרו
יחס סדר מלא