ויקיפדיה

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

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
מ ←‏דוגמה לשימוש במשפט: קישורים פנימיים
עריכה
שורה 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/משפט_קנטור-שרדר-ברנשטיין"