תת-קבוצה
B היא תת־קבוצה של A אם כל מה שיש ב‑B גם נמצא ב‑A. (איבר = דבר בקבוצה.) קבוצה ריקה היא קבוצה בלי איברים. היא תת‑קבוצה של כל קבוצה. הכללה היא יחס מיוחד בין קבוצות. יחס זה אומר מי מכיל מי. אפשר להגיד ש‑A ו‑B שוות אם כל אחד מהם מכיל את השני. אם B כלולה ב‑A אבל לא שווה לה, קוראים לזה הכלה ממש. הסימני...
טופולוגיה מושרית
טופולוגיה מושרית נותנת ל-Y את אותן קבוצות פתוחות שיש ב-X. טופולוגיה = אוסף קבוצות פתוחות. תת-קבוצה = קבוצה בתוך קבוצה אחרת. כל קבוצה פתוחה ב-Y היא חיתוך של קבוצה פתוחה ב-X עם Y. זאת אומרת: לוקחים קבוצת פתוחה ב-X וחותכים אותה עם Y. המספרים הרציונליים Q מקבלים את הטופולוגיה מהישר הממשי. כך Q הופכים ...
קבוצת החזקה
קבוצה היא אוסף של דברים. קבוצת חזקה של קבוצה היא כל התת־קבוצות שלה. תת־קבוצה היא קבוצה שכל הדברים בה גם נמצאים בקבוצה הגדולה. דוגמה: אם הקבוצה היא {x,y}, התת־הקבוצות הן: הקבוצה הריקה (אין בה כלום), {x}, {y} ו־{x,y}....
Co-NP
co-NP הוא אוסף בעיות שהן ההפך של הבעיות ב־NP. NP הן בעיות שיש להן הוכחה קצרה שאפשר לבדוק מהר. זמן פולינומי הוא זמן חישוב סביר. דוגמה פשוטה: יש קבוצה של מספרים. שואלים אם יש תת־קבוצה שסכומה אפס. אם כן, נותנים את הרשימה ובודקים את הסכום. ההפך שואל האם אין בכלל תת־קבוצה שסכומה אפס. גם לזה יש הוכחה שני...
הקבוצה המקומית
הקבוצה המקומית כוללת יותר מ-70 גלקסיות. גלקסיה היא ענן ענק של כוכבים. רוב הגלקסיות כאן הן קטנות. שתי הגדולות ביותר הן שביל החלב ואנדרומדה. הקבוצה המקומית גדולה מאוד. קוטרה כ-10 מיליון שנות אור. יש בה כמה גלקסיות גדולות ומספר רב של גלקסיות ננסיות. רובן שייכות לתת-קבוצות. אנדרומדה היא הגדולה בקבוצ...