הבדלים בין גרסאות בדף "תרגול 14 תשעח"
(←פתרון) |
(←תרגיל) |
||
שורה 22: | שורה 22: | ||
פתרון: הפונקציה <math>F:A^{\{1,2\}}\to A\times A</math> המוגדרת <math>f\mapsto (f(1),f(2))</math> הפיכה. | פתרון: הפונקציה <math>F:A^{\{1,2\}}\to A\times A</math> המוגדרת <math>f\mapsto (f(1),f(2))</math> הפיכה. | ||
+ | |||
+ | חח"ע: נניח <math>F(f)=F(g)</math> לכן <math>(f(1),f(2))=(g(1),g(2))</math>, ולכן <math>f(1)=g(1)\land f(2)=g(2)</math> וזו אותה פונקציה. | ||
+ | |||
+ | על: יהי <math>(a,b)\in A\times A</math>, הפונקציה שמוגדרת ע"י <math>1\mapsto a,2\mapsto b</math> היא מקור. | ||
===משפט (קנטור-שרדר-ברנשטיין)=== | ===משפט (קנטור-שרדר-ברנשטיין)=== |
גרסה אחרונה מ־08:18, 21 בינואר 2018
חזרה לדף מערכי התרגול.
תוכן עניינים
עוצמות
הגדרה. יהיו שתי קבוצות. אזי:
- אם קיימת
חח"ע ועל אז אומרים של-
ול-
יש אותה עוצמה. סימון
.
- אם קיימת
חח"ע אז אומרים כי העוצמה של
קטנה או שווה לזו של
. סימון
.
- אם
וגם
אזי אומרים כי העוצמה של
קטנה ממש מהעוצמה של
. סימון
.
הערה: בעזרת אקסיומת הבחירה מוכיחים כי אם קיימת על אזי
.
תרגיל
הוכיחו כי .
פתרון
נגדיר פונקציה ע"י
וכל
שאינה נקודון ואינה הקבוצה הריקה נשלח לעצמה.
הפיכה כי יש לה הופכית: ע"י
וכל
שאינה נקודון נשלחת לעצמה.
תרגיל
הוכיחו כי .
פתרון: הפונקציה המוגדרת
הפיכה.
חח"ע: נניח לכן
, ולכן
וזו אותה פונקציה.
על: יהי , הפונקציה שמוגדרת ע"י
היא מקור.
משפט (קנטור-שרדר-ברנשטיין)
אם וגם
אז
.
בהמשך נקצר לק.ש.ב.
תרגיל
הוכיחו: .
פתרון
לפי ק.ש.ב. כי הקבוצה מוכלת ברציונליים ומכילה שברים מהצורה
.
תרגיל
הוכיחו כי עוצמת כל הקבוצות הבאות שווה - כל קטעים מהצורה כאשר
ממשיים.
פתרון
נראה שכולם שווי עוצמה לקטע .
ראשית נגדיר ע"י
חח"ע ועל. השאר עם ק.ש.ב.
טענה: הקטע בעל עוצמה שווה ל-
.
הוכחת הטענה: הפונקציה הפיכה בתחום הזה ולכן חח"ע ועל.
תרגיל
תהא קבוצה. הוכיחו כי
.
פתרון: נגדיר את הפונקציה ע"י
והיא חח"ע.
תהא קבוצה. הוכיחו כי
.
פתרון: נניח בשלילה כי אזי קיימת
הפיכה, בפרט על. נגדיר
. זוהי תת קבוצה של
ולכן, מכיוון ש-
על, קיים
כך ש-
. האם
? אם לא, לפי הגדרת
נקבל כי
, סתירה. אם כן אז
אבל לפי הגדרת
מתקיים
סתירה. מש"ל.