הבדלים בין גרסאות בדף "פונקציה על"

נוספו 2 בתים ,  לפני 10 שנים
אין תקציר עריכה
 
==תכונות==
עבור [[קבוצה סופית|קבוצות סופיות]], אם קיימת פונקציה מקבוצה A לקבוצה B שהיא על, אזי מספר האיברים ב-B קטן או שווה למספר האיברים ב-A. אם קיימת בין הקבוצות פונקציה שהיא חד-חד ערכית, אזי מספר האיברים ב-A קטן או שווה למספר האיברים ב-B ואם קיימת בין הקבוצוהקבוצות פונקציה שהיא חד-חד ערכית ועל, אזי מספר האיברים ב-A שווה למספר האיברים ב-B.
 
על הבסיס הזה בנה [[גאורג קנטור]] שיטה להשוות [[קבוצה אינסופית|קבוצות אינסופיות]], המהוות נושא מרכזי ב[[תורת הקבוצות]]. קנטור הציג את המושג [[עוצמה]] כך ששתי קבוצות שיש ביניהן פונקציה שהיא חד-חד ערכית ועל הן שוות עוצמה.
משתמש אלמוני