לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
דפים מיוחדים
מידע על הדף
עריכת הדף "
88-195 בדידה לתיכוניסטים תשעא/מערך שיעור/שיעור 3
" (פסקה)
דף
שיחה
עברית
קריאה
עריכה
גרסאות קודמות
עוד
קריאה
עריכה
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
==תרגילים נוספים== ===תרגיל ממבחן=== הגדרה: תת קבוצה A של המספרים הממשיים נקראת 'מגניבה' אם לכל x,y בA כך ש-x שונה מ-y מתקיים שההפרש x-y אינו רציונאלי. תהי B קבוצה מגניבה מקסימלית ביחס להכלה, הוכח שלכל מספר ממשי שאינו שייך לB קיים איבר בB כך שההפרש בינהם הוא רציונאלי. '''הוכחה.''' נניח בשלילה שקיים איבר ממשי r שאינו בB, ולכל איבר b ב-B ההפרש r-b אינו רציונאלי. לכן אם נוסיף את r ל-B נקבל קבוצה מגניבה המכילה ממש את B (ולא שווה לה) בסתירה למקסימאליות של B. ===תרגיל=== נביט בQ אוסף השברים המצומצמים. נביט בR היחס המוגדר על ידי <math>(\frac{m_1}{n_1},\frac{m_2}{n_2})</math> אם <math>(m_1\leq m_2)\and(n_1\leq n_2)</math>. הוכיחו/הפריכו: R הינו יחס סדר חלקי. '''פתרון.''' נבדוק את תכונות היחס: *רפלקסיביות - ברור. *אנטי-סימטריות - אם <math>(m_1\leq m_2)\and(n_1\leq n_2)</math> וגם <math>(m_1\geq m_2)\and(n_1\geq n_2)</math> אזי <math>(m_1= m_2)\and(n_1= n_2)</math> ולכן שני השברים המצומצמים שווים. *טרנזיטיביות - נובעת מהטרנזיטיביות של המונים והמכנים בנפרד. לכן R הינו יחס סדר חלקי. שאלה: מה היה קורה אילו לא דרשנו שברים מצומצמים? === תרגיל (ממבחן קיץ תשעה מועד ב) === תהא <math>X</math> קבוצת כל הסדרות הבינאריות (סדרה בינארית היא <math>a_1a_2a_3\dots</math> כאשר <math>a_n\in \{0,1\}</math>). נגדיר יחס <math>R</math> על <math>X</math> כך: עבור <math>a=a_1a_2\dots ,b=b_1b_2\dots \in X</math> <math>aRb \iff \; \forall n\; a_n-b_n \neq (-1)^n</math> א. הוכיחו ש <math>R</math> יחס סדר על <math>X</math> ב. קבעו האם <math>R</math> יחס סדר '''מלא''' על <math>X</math> ג. מצאו (אם קיימים) איבר קטן וגדול ביותר ב <math>X</math> (ביחס ל <math>R</math>) ==== פתרון ==== דרך שקולה לתאר את היחס שמפשטת את השאלה היא כך <math>aRb \iff \big( \forall k \; a_{2k}=1 \Rightarrow b_{2k}=1, \; a_{2k-1}=0\Rightarrow b_{2k-1}=0\big)</math> כלומר במיקומים הזוגיים, אם a שווה 1 אז זה גורר ש b שווה 1 ובמיקומים האי זוגיים, אם a שווה 0 אז זה גורר ש b שווה 0 א. תרגיל לבד! ב. לא סדר מלא, למשל <math>a=000\dots, b=111\dots </math> לא מתייחסים זה לזה. ג. קימיים, <math>M=010101\dots</math> הינו איבר הגדול ביותר כי לכל <math>a</math> מתקים <math>aRM</math> <math>m=101010\dots</math> הינו איבר קטן ביותר כי לכל <math>a</math> מתקים <math>mRa</math> === תרגיל (מבוחן תשעג)=== יהא <math>A</math> קבוצה. נגדיר <math>O</math> להיות קבוצת כל יחסי הסדר החלקיים על <math>A</math>, סדורה ע"י הכלה. (כלומר הזוג <math>(O,\subseteq)</math> - במילים אחרות, חושבים על <math>O</math> עם יחס הסדר החלקי "הכלה") 1. יהא <math>R\subseteq A\times A</math> יחס סדר על <math>A</math> הוכיחו: אם<math>R\subseteq A\times A</math> יחס סדר משווה עליה. אז <math>R</math> איבר מקסימלי ב <math>O</math> 2.הוכיח: אם ב <math>A</math> לפחות 2 איברים אז ב <math>(O,\subseteq)</math> אין איברים גדול ביותר 3. הוכיחו/הפריכו: לכל קבוצה לא ריקה <math>B\subseteq\mathbb{O}</math> קיים <math>\inf</math> 4. הוכיחו/הפריכו: לכל קבוצה לא ריקה <math>B\subseteq\mathbb{O}</math> קיים <math>\sup</math> ==== פתרון==== יהא <math>R\subseteq A\times A</math> יחס סדר על <math>A</math> ונניח כי הוא משווה. נוכיח כי הוא איבר מקסמאלית ב <math>O</math>. יהי <math>S\in O</math> יחס סדר חלקי על <math>A</math> המקיים <math>R\subseteq S</math> צ"ל <math>R=S</math> נניח בשלילה כי <math>R</math> מוכל ממש ב <math>S</math> אזי קיים <math>(a,b)\in S\land(a,b)\notin R</math>. כיוון ש <math>R</math> יחס מלא אזי מתקיים <math>(b,a)\in R</math> כיוןן ש <math>R\subseteq S</math> נובע כי <math>(b,a)\in S</math> מכיוון ש <math>S</math> יחס סדר חלקי (בפרט אנטי סימטרי) אזי <math>a=b</math> (כי גם (<math>a,b)\in S</math>) אזי קיבלנו כי ּ<math>(a,a)=(a,b)\notin R</math> סתירה לכך ש <math>R</math> יחס סדר מלא ובפרט רפלקסיבי. === תרגיל === נגדיר <math>X=\left\{ 1,2,3,\dots,10\right\}</math> . עוד נגדיר <math>\mathbb{O}</math> להיות קבוצת כל יחסי השקילות על <math>X</math>.נגדיר יחס <math>\preceq</math> מעל <math>\mathbb{O}</math> על ידי הכלל <math>R_{1}\preceq R_{2}\iff\left(\left|X/R_{1}\right|<\left|X/R_{1}\right|\right)\lor\left(R_{1}=R_{2}\right)</math> כאשר <math>\left|X/R_{1}\right|</math> פירושו מספר האיברים בקבוצת המנה של היחס <math>R_{1}</math>. 1. הוכיחו: כי <math>\preceq</math> הוא יחס סדר על <math>\mathbb{O}</math>. 2. הוכיחו/הפריכו: זהו יחס סדר קווי 3. מצאו, אם קיימים, איבר קטן ביותר ב<math>\left(\mathbb{O},\preceq\right)</math> ואיבר גדול ביותר ב <math>\left(\mathbb{O},\preceq\right)</math> === תרגיל === תהא <math>A=\left\{ \left(a_{1},a_{2},a_{3}\right):\,a_{1},a_{2},a_{3}\in\mathbb{N}\right\} =\mathbb{N}^{3}</math>. נגדיר יחס סדר (אין צורך להוכיח)<math>\leq</math> על A כך <math>\left(a_{1},a_{2},a_{3}\right)\leq\left(b_{1},b_{2},b_{3}\right)\iff\forall i\in\left\{ 1,2,3\right\} :\,a_{i}\leq b_{i}</math> #מצאו <math>m\in A</math> איבר קטן ביותר, אם קיים. #מצאו איברים מינמאלים ב <math>A\backslash\left\{ m\right\}</math> , אם קיימים.
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)