שינויים
יצירת דף עם התוכן "=== תרגיל === הוכיחו כי <math>|P(\mathbb{N})|=|P(\mathbb{N})-\{\emptyset\}|</math> ==== פתרון ==== נגדיר פונקציה <math>f:P(\mathbb..."
=== תרגיל ===
הוכיחו כי <math>|P(\mathbb{N})|=|P(\mathbb{N})-\{\emptyset\}|</math>
==== פתרון ====
נגדיר פונקציה <math>f:P(\mathbb{N})\to P(\mathbb{N})-\{\emptyset\} </math> ע"י <math>\{n\}\mapsto \{n+1\},\emptyset \mapsto \{1\}</math> וכל B שאינה נקודון ואינה קבוצה ריקה נשלחת לעצמה.
===תרגיל ===
הוכיחו כי <math>|A\times A| = |A^{\{1,2\}}|</math>
פתרון: הפונקציה <math>F:A^{\{1,2\}}\to A\times A</math> המוגדרת <math>f\mapsto (f(1),f(2))</math> הפיכה.
===משפט (קנטור- שרדר-ברנשטיין)===
אם <math>|B|\leq|A|</math> וגם <math>|A|\leq|B|</math> אז <math>|B|=|A|</math>
===תרגיל===
הוכיחו: <math>|\mathbb{Q}\cap [0,1]|=\aleph_0</math>
====פתרון====
לפי ק.ש.ב. כי מוכל ברציונאליים ומכיל <math>\aleph_0</math> שברים מהצורה <math>\frac{1}{n}</math>.
===תרגיל===
הוכח כי עוצמת כל הקבוצות הבאות שווה - כל קטעים מהצורה <math>[a,b],(a,b),[a,b),(a,b]</math> כאשר <math>a<b</math> ממשיים.
====פתרון====
נראה שכולם שווי עוצמה לקטע <math>(0,1)</math>.
ראשית נגדיר <math>f:(0,1)\rightarrow (a,b)</math> ע"י <math>f(x)=a+(b-a)x</math> חח"ע ועל. השאר עם ק.ש.ב.
ט: הקטע <math>(\frac{-\pi}{2},\frac{\pi}{2})</math> בעל עוצמה שווה ל <math>\mathbb{R}</math>.
ה: הפונקציה <math>tan:(\frac{-\pi}{2},\frac{\pi}{2})\to \mathbb{R}</math> הפיכה בתחום הזה ולכן חח"ע ועל.
===תרגיל ===
תהא A קבוצה. הוכח כי <math>|A|\leq |P(A)|</math>
פתרון: נגדיר את הפונקציה <math>f:A|\to P(A)</math> ע"י <math>a \mapsto \{a\}</math> היא חח"ע.
תהא A קבוצה. הוכח כי <math>|A|\neq |P(A)|</math>
פתרון: נניח בשלילה כי <math>|A|= |P(A)|</math> אזי קיימת <math>f: A\to P(A)</math> הפיכה, בפרט על. נגדיר <math>X=\{a\in A: a\notin f(a)\}</math>. זוהי תת קבוצה של A ולכן, מכיוון ש f על, קיים <math>x\in A</math> כך ש <math>f(x)=X</math>. האם <math>x\in X</math>? אם לא, לפי הגדרת X נקבל כי <math>x\notin f(x)=x</math> סתירה. אם כן אז <math>x\in X=f(x)</math> אבל לפי הגדרת X מתקיים <math>x\notin f(x)</math> סתירה. משל/
הוכיחו כי <math>|P(\mathbb{N})|=|P(\mathbb{N})-\{\emptyset\}|</math>
==== פתרון ====
נגדיר פונקציה <math>f:P(\mathbb{N})\to P(\mathbb{N})-\{\emptyset\} </math> ע"י <math>\{n\}\mapsto \{n+1\},\emptyset \mapsto \{1\}</math> וכל B שאינה נקודון ואינה קבוצה ריקה נשלחת לעצמה.
===תרגיל ===
הוכיחו כי <math>|A\times A| = |A^{\{1,2\}}|</math>
פתרון: הפונקציה <math>F:A^{\{1,2\}}\to A\times A</math> המוגדרת <math>f\mapsto (f(1),f(2))</math> הפיכה.
===משפט (קנטור- שרדר-ברנשטיין)===
אם <math>|B|\leq|A|</math> וגם <math>|A|\leq|B|</math> אז <math>|B|=|A|</math>
===תרגיל===
הוכיחו: <math>|\mathbb{Q}\cap [0,1]|=\aleph_0</math>
====פתרון====
לפי ק.ש.ב. כי מוכל ברציונאליים ומכיל <math>\aleph_0</math> שברים מהצורה <math>\frac{1}{n}</math>.
===תרגיל===
הוכח כי עוצמת כל הקבוצות הבאות שווה - כל קטעים מהצורה <math>[a,b],(a,b),[a,b),(a,b]</math> כאשר <math>a<b</math> ממשיים.
====פתרון====
נראה שכולם שווי עוצמה לקטע <math>(0,1)</math>.
ראשית נגדיר <math>f:(0,1)\rightarrow (a,b)</math> ע"י <math>f(x)=a+(b-a)x</math> חח"ע ועל. השאר עם ק.ש.ב.
ט: הקטע <math>(\frac{-\pi}{2},\frac{\pi}{2})</math> בעל עוצמה שווה ל <math>\mathbb{R}</math>.
ה: הפונקציה <math>tan:(\frac{-\pi}{2},\frac{\pi}{2})\to \mathbb{R}</math> הפיכה בתחום הזה ולכן חח"ע ועל.
===תרגיל ===
תהא A קבוצה. הוכח כי <math>|A|\leq |P(A)|</math>
פתרון: נגדיר את הפונקציה <math>f:A|\to P(A)</math> ע"י <math>a \mapsto \{a\}</math> היא חח"ע.
תהא A קבוצה. הוכח כי <math>|A|\neq |P(A)|</math>
פתרון: נניח בשלילה כי <math>|A|= |P(A)|</math> אזי קיימת <math>f: A\to P(A)</math> הפיכה, בפרט על. נגדיר <math>X=\{a\in A: a\notin f(a)\}</math>. זוהי תת קבוצה של A ולכן, מכיוון ש f על, קיים <math>x\in A</math> כך ש <math>f(x)=X</math>. האם <math>x\in X</math>? אם לא, לפי הגדרת X נקבל כי <math>x\notin f(x)=x</math> סתירה. אם כן אז <math>x\in X=f(x)</math> אבל לפי הגדרת X מתקיים <math>x\notin f(x)</math> סתירה. משל/
