איבר (תורת הקבוצות)

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף איבר (מתמטיקה))
קפיצה לניווט קפיצה לחיפוש

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

בתורת הקבוצות, איבר הוא פריט מתוך קבוצה. קבוצה מוגדרת באמצעות האיברים השייכים אליה. כל אובייקט מתמטי יכול להיות איבר בקבוצה. נהוג להציג קבוצה באמצעות סוגריים מסולסלים, שבתוכם מפורטים כל איברי הקבוצה או כלל לפיו נוצרים כל איברי הקבוצה.

היחס היחיד הקיים בין איבר לקבוצה הוא השייכות ביניהם. כאשר איבר שייך לקבוצה נסמן זאת בצורה ונאמר ש- כוללת את או ש- שייך ל-, אם אינו שייך נסמן זאת . לא קיימים יחסים נוספים בין איברים לקבוצות, ולכן אין חשיבות למספר המופעים או לסדר ההופעה.

מקובל לחלק קבוצות לפי מספר איבריהן:

מספר האיברים בקבוצה הוא העוצמה שלה.

בתורת הקבוצות האקסיומטית כל האובייקטים באשר הם הם קבוצות, ולכן כל איבר הוא בעצמו קבוצה.

דוגמאות

  • כלב הוא איבר בקבוצה {כלב, חתול, צרצר} ולכן נסמן {כלב, חתול, צרצר} כלב. פיל איננו איבר בקבוצה זו ולכן נסמן {כלב, חתול, צרצר} פיל. זוהי קבוצה סופית בעלת שלושה איברים.
  • {x : x אזרח סין}: כל אזרח של סין הוא איבר בקבוצה זו. בפרט,{x אזרח סין: x} חו ג'ינטאו. זוהי קבוצה סופית אף-על-פי שמספר איבריה גדול מאד ואינו ידוע לנו בעת ההגדרה.
  • 3 הוא איבר בקבוצת כל המספרים החיוביים השלמים שהיא קבוצה אינסופית. נסמן את השיוך כך: {כל המספרים החיוביים השלמים} 3.