שינויים
/* תרגיל */
<math>f_i:A\rightarrow A_i</math>.
כעת נגדיר פונקציה <math>g:I\times a\rightarrow\bigcup_{i\in I}A_i</math> ע"י <math>g(k,x)=f_k(x)</math>. מכיוון שהקבוצות זרות ו<math>f_k</math> חח"ע ברור שg חח"ע. מכיוון ש<math>f_k</math> על גם g על ולכן קיבלנו את המבוקש.
=== תרגיל ===
נגדיר <math>A</math> להיות כלי קבוצות סופיות של הטבעיים. מה עוצמתה?
פתרון: נגדיר <math>A_i</math> להיות תת הקבוצות מגדול <math>i</math>. אזי <math>|A_i|\leq \aleph_0^i=\aleph_0</math>
ואז <math>|A|=|\cup_{i=0}^{\infty}|\leq \aleph_0\cdot \aleph_0 =\aleph_0</math>
=== תרגיל ===
נגדיר <math>A</math> להיות כלי קבוצות האינסופיות של הטבעיים. מה עוצמתה?
פתרון: מתקיים כי <math>P(\mathbb{N}=A\cup A^c</math> כאשר A היא תתי הקבוצות הסופיות מתרגיל קודם שעוצמת <math>\aleph_0</math>
ולכן <math>2^\aleph_0=\aleph_0+|A^c|=\max{\aleph_0,|A^c|}=|A^c|</math>
===תרגיל ממבחן תשסח מועד א (ד"ר שי סרוסי וד"ר אלי בגנו) ===
