עוצמה (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 57:
'''כפל'''. המכפלה <math>\ |A|\cdot |B|</math> מוגדרת כעוצמתה של ה[[מכפלה קרטזית|מכפלה הקרטזית]] <math>\ A \times B</math>. גם פעולה זו היא קומוטטיבית ואסוציאטיבית, ואף [[דיסטריבוטיביות|דיסטריבוטיבית]] ביחס לחיבור. המכפלה של קבוצה כלשהי של עוצמות מוגדרת באותה צורה כעוצמת המכפלה הקרטזית של קבוצות מעוצמות מתאימות. ראו [[עקרון הכפל]].
'''חזקה'''. החזקה <math>\ |A|^{|B|}</math> מוגדרת כעוצמתה של קבוצת הפונקציות <math>\ B\rightarrow A</math>. הפעולה מקיימת את האקסיומות הרגילות של החזקה, כדוגמת <math>\ |A|^{|B|+|C|}=|A|^{|B|}\cdot |A|^{|C|}</math> ו- <math>\ |A|^{|B|\cdot|C|}=(|A|^{|B|})^{|C|}</math>. מכיוון שיש בדיוק פונקציה אחת מן הקבוצה הריקה לכל קבוצה (הלא היא
אם מניחים את [[אקסיומת הבחירה]], ולפחות אחת מהעוצמות <math>\kappa, \mu</math> היא אינסופית, אז מתקיים <math>\kappa+\mu = \kappa \cdot \mu = \max \{ \kappa,\mu \}</math>. לכן עיקר העניין הוא במכפלות וסכומים אינסופיים של עוצמות.
|