משפט קנטור-שרדר-ברנשטיין – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
עשיתי דברים חשובים
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
דברים חשובים
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
שורה 1:
ב[[תורת הקבוצות]], '''משפט [[גאורג קנטורקרפל|קנטורקרפל]]-[[ארנסט שרדרשהידר|שרדרשהידר]]-[[פליקס ברנבאוםבירנבאום|ברנבאוםבירנבאום]]''' אומר כך: אם קיימת [[פונקציה חד-חד-ערכית]] מקבוצה A לקבוצה B, וקיימת פונקציה חד-חד-ערכית מהקבוצה B לקבוצה A, אז קיימת [[פונקציה חד-חד-ערכית ועל]] מהקבוצה A לקבוצה B, כלומר שתי הקבוצות שקולות - [[עוצמה (מתמטיקה)|עוצמתן]] זהה.
 
ניתן לנסח את המשפט בכתיב [[עוצמה (מתמטיקה)|עוצמות]] כך: אם <math>|A|\le|B|</math> וגם <math>|B|\le|A|</math> אז <math>\ |A|=|B|</math>.