‫מבוא לתורת הקבוצות ‪ -‬תרגיל בית ‪8‬‬

‫‪ 24‬באפריל ‪2022‬‬

‫‪ .1‬הוכיחו‪ :‬אם |‪ |A| = |B‬אז |)‪|P (A)| = |P (A‬‬

‫‪ .2‬יהיו ‪ A, A′ , B, B ′‬קבוצות‪ ,‬כך ש‪ .|B| = |B ′ | ,|A| = |A′ | -‬הוכיחו‪:‬‬

‫)א( | ‪|A × B| = |A′ × B ′‬‬

‫)ב( אם ∅ = ‪ A ∩ B‬וגם ∅ = ‪ ,A′ ∩ B ′‬אז | ‪|A ∪ B| = |A′ ∪ B ′‬‬
‫‪ .3‬הוכיחו‪:‬‬
‫)א( | ‪|Neven | = |Nodd‬‬
‫)ב( |‪|Z| = |{0, 1} × N‬‬
‫‬ ‫‬
‫)ג( }‪|R| ≤  R {0, 1‬‬
‫)ד( |)‪) |(0, 1)| = |(2, 4‬כאן מדובר בקטעים פתוחים(‬
‫‬ ‫ ‬
‫∈‪ g‬‬ ‫‪N‬‬ ‫‬
‫)ה( תהי ‪ f : N → N‬הפונקציה ‪ .f (n) = n+1‬הוכיחו כי = ‪N: g ◦ f = IdN‬‬
‫|‪.|N‬‬
‫)ו( |) ‪|P(N)| = |P (Neven‬‬
‫‬ ‫   ‬
‫∈‪ f‬‬ ‫‪N‬‬
‫)ז( ‪N: f (5) = 0  =  N N‬‬
‫)ח( תהי ‪ A‬קבוצה‪ ,‬הוכיחו = |}‪ A‬הוא יחס שקילות על לע תוליקש סחי אוה ‪|{R ∈ P (A × A) : R‬‬
‫|}‪Π‬הוא חלוקה על לע הקולח אוה‪|{Π ∈ P (P (A)) : A‬‬
‫‬ ‫  ‬
‫‪ .4‬הוכיחו‪ , N 2 × N 2 =  N 2 :‬כאשר }‪.2 := {0, 1‬‬
‫הדרכה‪ :‬בנו פונקציה מתאימה והוכיחו שהיא חח“ע ועל‪.‬‬
‫‪ .5‬קבוצה ‪ A‬נקראת אינסופית במובן של דדקינד אם קיימת תת קבוצה ממש ‪ B ( A‬עם‬
‫|‪.|B| = |A‬‬
‫)א( הוכיחו ש–‪ N‬אינסופית במובן של דדקינד‪.‬‬
‫)ב( הוכיחו שאם ‪ A‬קבוצה בת מניה‪ ,‬אז ‪ A‬אינסופית במובן של דדקינד‪.‬‬
‫הצעה לפתרון סעיף ב’‪ :‬קחו פונקציה הפיכה ‪) f : N → A‬למה יש כזאת?(‪ .‬תהי ‪X‬‬
‫תת קבוצה ממש של ‪ N‬שהיא בת מניה‪ .‬קיימת כזו לפי סעיף א’‪ .‬קחו ]‪,B = f [X‬‬
‫והוכיחו ש‪ B ( A-‬ו‪.|B| = |A| -‬‬

‫‪1‬‬
‫)ג( הוכיחו שקבוצה היא אינסופית )כלומר‪ ,‬לא סופית(‪ ,‬אם ורק אם היא אינסופית במובן‬
‫של דדקינד‪.‬‬
‫הדרכה לסעיף ג’‪:‬‬
‫בכיוון )⇐(‪ :‬אם ‪ A‬אינסופית‪ ,‬אז יש ‪ f : N → A‬חח“ע‪ .‬נוכיח ש–\ ‪|A| = |A‬‬
‫| })‪ .{f (0‬הגדירו פונקציה הפיכה })‪ .g: A → A \ {f (0‬על איברי ‪ A‬שבתמונת ‪f‬‬
‫הגדירו את ‪ g‬כך שיתקיים‪ ,‬לכל ‪ n‬טבעי‪.g (f (n)) = f (n + 1) ,‬‬
‫בכיוון )⇒(‪ :‬הוכיחו שקבוצה סופית לא יכולה להיות אינסופית במובן של דדקינד‪.‬‬

‫‪2‬‬