ויקיפדיה

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

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