הקבוצה הריקה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
החלפות (, ), תיקון כיווניות להערת שוליים |
אין תקציר עריכה תגיות: שוחזרה עריכה חזותית עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
שורה 2:
'''הקבוצה הריקה''' היא [[קבוצה (מתמטיקה)|קבוצה]] שאין בה [[איבר (מתמטיקה)|איבר]]ים, והיא מסומנת בסימן <math>\varnothing</math> (שמקורו באות ה[[נורווגית]] "Ø"{{הערה|1=[http://jeff560.tripod.com/set.html Earliest Uses of Symbols of Set Theory and Logic]|כיוון=שמאל}}) או בצורה {}.
בחלק מהגרסאות של [[תורת הקבוצות האקסיומטית]] נכללת[[Never Gonna Give You Up|]] '''אקסיומת הקיום''': קיימת קבוצה <math>A</math> כך שלא קיים <math>x </math> עבורו <math>x \in A</math>. כלומר, אקסיומה זו קובעת שקיימת קבוצה ריקה. בגרסאות אחרות טענה זאת נובעת מיתר האקסיומות.
על-פי [[תורת הקבוצות האקסיומטית|אקסיומת היחידות]] ניתן להוכיח את יחידות הקבוצה הריקה, כלומר קיימת רק אחת כזו.
| |||