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

תוכן=אם <math>A</math> ו<math>B</math> הן קבוצות אז נגדיר את <math>B^A=\left\{f: A\to B \right\}</math>.כלומר: אוסף כל הפונקציות מ<math>A</math> ל<math>B</math>. כעת נבהיר את הסימון מאחורי <math>2^A</math> בתור קבוצת החזקה: אפשר לחשוב על כל תת קבוצה <math>X</math> בתור פונקציה <math>f: A\to 2</math> המוגדרת בתור <math>f(x) = \left\{\begin{matrix} 0 & x\not \in B \\ 1 & x\in B\end{matrix}\right.</math> ולכן קבוצת החזקה היא קבוצת כל הפונקציות מ<math>A</math> ל2ל<math>2</math>, וזוהי ההגדרה של <math>2^A</math>.}}