תורת הקבוצות/קבוצת החזקה: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
שורה 27:
כאשר <math>n=0</math> מתקיים <math>A=\varnothing</math> . עבורה מתקיים כי <math>|2^A|=|\{\varnothing\}|=1</math> .
 
וכן עבור <math>n=1</math> מתקיים <math>A=\{a_1\}</math> לכן <math>|2^A|=\Big|\big\{\varnothing,\{aa_1\}\big\}\Big|=2</math> .
 
כעת, יהי <math>k</math> מספר טבעי כלשהו כך שהטענה נכונה עבור <math>n=k</math> . נראה נכונות הטענה עבור <math>n=k+1</math> .