איבר (מתמטיקה)

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

בתורת הקבוצות, איבר הוא פריט מתוך קבוצה. קבוצה מוגדרת באמצעות האיברים השייכים אליה. כל אובייקט מתמטי יכול להיות איבר בקבוצה. ניתן להציג קבוצה באמצעות סוגריים מסולסלים, שביניהם מפורטים כל איברי הקבוצה (כל האיברים שונים זה מזה, ואין חשיבות לסדר הופעת האיברים), למשל הנוסחה אומרת שקבוצה בשם מכילה שלושה איברים: האות האנגלית והמספרים 19 ו-7. ניתן גם להגדיר קבוצה באמצעות כלל המגדיר את תכונות איברי הקבוצה. למשל הנוסחה הוא מספר שלם חיובי זוגי , מגדירה את הקבוצה שאבריה הם כל המספרים הטבעיים הזוגיים (ורק הם).

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

מקובל לחלק קבוצות לפי גודלן, או עוצמתן:

  • קבוצה בעלת עוצמה סופית, או קבוצה סופית, היא קבוצה שבה מספר סופי של איברים (גם הקבוצה הריקה היא קבוצה סופית).
  • קבוצה שמכילה אינסוף איברים היא בעלת עוצמה אינסופית, או קבוצה אינסופית.

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

דוגמאות[עריכת קוד מקור | עריכה]

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

קישורים חיצוניים[עריכת קוד מקור | עריכה]