תורת הקבוצות - מונחים

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

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

• קבוצה: מושג יסודי בתורת הקבוצות. התיאור האינטואיטיבי של קבוצה הוא אוסף של עצמים כלשהם.

• תת קבוצה: קבוצה B היא תת קבוצה של הקבוצה A אם כל איבר של B שייך גם ל-A. נסמן זאת בצורה: .

• הקבוצה הריקה: קבוצה שאין בה איברים, והיא מסומנת בסימן (שמקורו באות הנורבגית "Ø" ) או בצורה {}.
• יחידון: קבוצה שמכילה איבר אחד בלבד.
• פעולות על קבוצות:
  • איחוד: פעולה על קבוצות שתוצאתה היא הקבוצה המכילה את איברי כל הקבוצות שאליהן פעלה פעולת האיחוד.
    • הפעולה איחוד הינה קומוטטיבית (חילופית) ואסוציאטיבית (קיבוצית).
  • חיתוך: פעולה על קבוצות שתוצאתה היא הקבוצה המכילה את האיברים ששייכים לכל אחת מהקבוצות שעליהן פעלה פעולת החיתוך.
    • הפעולה חיתוך היא קומוטטיבית ואסוציאטיבית.
      • מתקיימת דיסטריבוטיביות של החיתוך מעל האיחוד ודיסטריבוטיביות האיחוד מעל החיתוך.
  • הפרש: ההפרש בין A ל־B הינו קבוצה המכילה את כל האיברים השייכים ל־A ולא שייכים ל־B.
    • פעולת ההפרש אינה קומוטטיבית ואינה אסוציאטיבית.
  • הפרש סימטרי: ההפרש הסימטרי של הקבוצות A ו-B הוא הקבוצה המורכבת מכל איברי A שלא שייכים ל-B וכל איברי B שלא שייכים ל־A - כלומר, כל האיברים השייכים בדיוק לאחת הקבוצות.
    • הפעולה הפרש סימטרי היא קומוטטיבית ואסוציאטיבית.
  • מכפלה קרטזית: המכפלה הקרטזית של שתי קבוצות A,B היא קבוצה המכילה את כל הזוגות הסדורים שאיברם הראשון שייך לA והשני שייך לB. ניתן להרחיב פעולה זו לכל מספר, גם אינסופי, של קבוצות.
    • הפעולה "מכפלה קרטזית" אינה קומוטטיבית ואינה אסוציאטיבית.
• קבוצות זרות: שתי קבוצות הן זרות אם חיתוכן הוא הקבוצה הריקה.
• קבוצה אינסופית: קבוצה שקיימת קבוצה החלקית לה ממש ושקולה לה.

• עוצמה: מושג המשקף את גודלה של קבוצה, כלומר את מספר איבריה. עוצמה של קבוצה A תסומן .
  • ₀א: עוצמתה של קבוצת מספרים הטבעיים.
  • א או c: עוצמתה של קבוצת המספרים הממשיים, נקראת גם 'עוצמת הרצף'.

• השערת הרצף: ההשערה כי לא קיימת עוצמה בין ₀א ו-א, זו השערה שלא ניתן להוכיח או להפריך תחת האקסיומות המקובלות של תורת הקבוצות (אקסיומות ZF).

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

• קבוצת החזקה: קבוצה המכילה את כל תת הקבוצות של קבוצה נתונה. קבוצת החזקה של קבוצה A תסומן .

• יחס: קבוצה שמכילה זוגות סדורים, כך שהאיבר הראשון בזוג בא תמיד מקבוצה מסוימת - A, והאיבר השני בא מקבוצה נוספת - B (לא בהכרח שונה מ-A). בכתיב פורמלי: קבוצה R תיקרא יחס מ-A ל-B אם .
  • פונקציה: יחס בו לכל איבר של A קיים זוג סדור *יחיד* שהוא האיבר הראשון שלו.
    • התאמה חד-חד ערכית: פונקציה תקרא חד-חד ערכית (חח"ע) אם לכל y בטווח Y קיים לכל היותר x אחד בתחום X המקיים .
    • התאמה על: פונקציה תקרא על אם לכל y בטווח Y קיים לפחות x אחד בתחום X המקיים .
    • פונקציה הפיכה: פונקציה שקיימת לה פונקציה הפכית; לכל קיים יחיד כך ש- (כלומר, הפונקציה היא חח"ע ועל).
  • יחס שקילות: יחס המקיים שלוש תכונות: רפלקסיביות, סימטריות וטרנזיטיביות. יחס מעל קבוצה A המקיים את שלוש תכונות אלו מחלק אותה למחלקות שקילות.
  • סדר חלקי: יחס המקיים שלוש תכונות: רפלקסיביות, אנטיסימטריות וטרנזיטיביות.
  • סדר מלא: סדר מלא הינו סדר חלקי בו כל שני איברים בקבוצה ניתנים להשוואה.
  • סדר טוב: סדר טוב הינו סדר חלקי בו לכל תת קבוצה של הקבוצה עליה הוגדר יש איבר ראשון.
    • שרשרת: קבוצה חלקית לקבוצה סדורה בסדר חלקי, שכל שני איברים בה ניתנים להשוואה (כלומר היא סדורה בסדר מלא).

• קבוצת כל הפונקציות מקבוצה A לקבוצה B: קבוצה המסומנת B^A והמכילה את כל הפונקציות מהקבוצה A אל תוך הקבוצה B.

• הפרדוקס של ראסל: פרדוקס שהראה שתורת הקבוצות הנאיבית מכילה סתירות, והוביל לפיתוחה של תורת הקבוצות האקסיומטית.

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