5.3. הגדרה 2 לקבוצה אינסופית – הגדרה לפי תכונהקבוצה היא אינסופית אמ"מ קיימת חח"ע כך ש-, כלומר קיימת פונקציה מ-A לעצמה שהיא חח"ע אבל לא על. הוכחה שקבוצת הטבעיים היא אינסופית לפי הגדרה 2: תהי שתוגדר להיות . פונקציה זו היא חח"ע, אולם . מסקנה עבור 2 קבוצות אינסופיות ו-, אם אזי קיימת פונקציה חח"ע מ- ל-שאיננה על. טענה (בלא הוכחה) כל ההגדרות לקבוצה אין סופית שקולות. משפט אם A היא קבוצה אינסופית, אזי מתקיימות הטענות הבאות:
הוכחות 1. נתון ש- היא אינסופית ומכאן שקיימת חח"ע ולא על. נשתמש ב- כדי להגדיר פונקציה מ- אל שהיא חח"ע ולא על. 6. מכיוון ש- על פי טענה 1 מתקיים כי היא אינסופית. 4. נוכיח שקיימת פונקציה חח"ע ואז על פי טענה 2 יתקיים ש- היא אינסופית. צריך להתאים כל איבר ב-A לתת קבוצה שונה של . נבחר: - פונקציה חח"ע מ- ל-. 5. נוכיח שקיימת פונקציה חח"ע ועל פי 2 נסיק ש- הינה אינסופית. נבחר איבר כלשהו השייך ל- (קיים כזה), . 7. נוכיח שקיימת פונקציה חח"ע מ- ל- (לקבוצת הפונקציות מ- אל ). לפי 2 נקבל ש- הינה אינסופית. צריך להתאים לכל איבר ב- פונקציה שונה מ- ל-. נבחר כאשר מוגדרת כך: . משפט תהי שפה. אם אזי הינה קבוצה אינסופית. מוגדרת להיות קבוצת כל המילים הסופיות הנבנות מאותיות . כדי להוכיח משפט זה, מספיק שנראה כי קיימת חח"ע. תגיות המסמך:תודה רבה!תודה על ההסבר המצויןתודהמברוק! תודהיש לכם טעותבסגור הטרנזיטיבי שהתקבל אצלכם, קיימים הזוגות <4,1> ו-<1,4>, אבל מתוקף היותו טרנזיטיבי הוא חייב גם להכיל את <1,1> ו-<4,4>. ההגדרה של טרנזיטיביות לא מחייבית a,b,c שונים.כנ"ל לגבי <2,3> ו-<4,2> - חייב להימצא הזוג הסדור <4,3>. מצאתי עוד 3 דוגמאות כאלה.. מבלבלהיית צריך לתת דוגמאות גם ליחסים לא סימטריים.... התבלבלתי ממש בין X לY בגלל זה...מבלבלהיית צריך לתת דוגמאות גם ליחסים לא סימטריים.... התבלבלתי ממש בין X לY בגלל זה...קבוצה סופיתמישו יכול להעלות את ההוכחה לכך שכל תת קבוצה של קבוצה סופית היא סופית ? זה ברור אבל אני צריך את ההגדרה הפורמלית לזה ..תודה רבהתודה רבה ספר מעולה מסביר מצויין שתצליח תמיד :-)סגור טרנזיטיביניר אתה בטוח ש- (4,2) הוא חלק מהסגור הטרנזיטיבי (משפט 3 מלמעלה)?אני לא סגור על החומר, אבל אני לא חושב שזה נכון... יפה מאוד אך ישנן כמה טעויותישנן כמה טעויות (קריטיות להוכחה) כשעברתי על החומר,למשל בהוכחה ש R* טרנזיטיבית (סעיף 2) יש בלבול שלם בין x,y,z אז צריך לתקן את זה. כל הכבוד!!!!כל הכבוד על העבודה שעשית כאן!!!נורא עוזר!!!! תודה רבה רבה רבה רבה!כל הכבוד על העלאת הסיכום המעולה הזה לטובת כולם!המון תודהוואו, חומר כל כך ברור ומסודר!עברתי על עשרות ספרים ואף אחד לא ברור וענייני כמו זה - פשוט כל הכבוד! תודה, תודה תודה! תודה רבה!!!!!!!!אף פעם לא ברור לי מה האינטרס של אנשים כמוך, להעלות חומר ממש מועיל לאינטרנט בחינם...בכל אופן, רציתי לומר: כל הכבוד ותודה רבה, הסיכומים שלך מאוד עזרו לי ואני מאוד מעריך את הזמן והמאמץ שהושקע בהם. והלוואי ויהיו רבים כמוך... |
תוכן העניינים:
קישורים רלוונטיים:שיתוף: |
הוכחות להגדרה 2
אשמח להגדרות פורמליות מפורטות עבור המשפט. תודה רבה