-
משפט הקומפקטיות
כל מה שרצית לדעת על משפט הקומפקטיות:משפט הקומפקטיות הוא משפט מרכזי בלוגיקה המתמטית, המאפשר לטפל במערכות אינסופיות של אקסיומות על ידי הבנת חלקים סופיים שלהן.כמשפטים רבים אחרים מלוגיקה, קיימות למשפט זה שתי גרסאות: בתחשיב הפסוקים, ובלוגיקה מסדר ראשון.בתחשיב הפסוקים המשפט קובע כי לאוסף פסוקים יש מודל אם ורק אם לכל תת-קבוצה סופית שלו יש מודל…
-
מרחב חסום לחלוטין
כל מה שרצית לדעת על מרחב חסום לחלוטין:בטופולוגיה, מרחב מטרי שניתן לכסות במספר סופי של כדורים בכל גודל נתון נקרא מרחב חסום לחלוטין, או מרחב חסום כליל. כל מרחב חסום לחלוטין הוא כמובן חסום. ההפך נכון למשל עבור תת-קבוצות של המרחב האוקלידי R n {\displaystyle \ \mathbb {R} ^{n}} , אבל באופן כללי ישנם…
-
טופולוגיה טריוויאלית
כל מה שרצית לדעת על טופולוגיה טריוויאלית:בטופולוגיה, הטופולוגיה הטריוויאלית המוגדרת על קבוצה X, היא הטופולוגיה שבה רק הקבוצה הריקה והקבוצה X עצמה הן פתוחות (ובהתאם, רק המרחב כולו והקבוצה הריקה סגורות). זוהי הטופולוגיה החלשה ביותר שאפשר להגדיר על קבוצה – והיא מצויה בקצה המנוגד לזה של הטופולוגיה הדיסקרטית, שהיא החזקה ביותר שאפשר להגדיר (ובה כל…
-
משפט ארצלה-אסקולי
כל מה שרצית לדעת על משפט ארצלה-אסקולי:באנליזה פונקציונלית, משפט אַרְצֶלָה-אַסְקוֹלִי (Arzelà–Ascoli, נקרא גם משפט אסקולי) מעניק איפיון מלא לקומפקטיות של משפחת פונקציות רציפות בקבוצה קומפקטית, באמצעות תכונת הרציפות במידה אחידה. המשפט מהווה הכללה מרחיקת-לכת של משפט בולצאנו-ויירשטראס. נלקח מויקיפדיה הגדרות נוספות הקשורות למשפט ארצלה-אסקולי:•משפטים באנליזה פונקציונלית•הוכחות•משפטים בטופולוגיה
-
מרחב המסרק
כל מה שרצית לדעת על מרחב המסרק:בטופולוגיה, מרחב המסרק הוא תת מרחב של המרחב הטופולוגי R 2 {\displaystyle \mathbb {R} ^{2}} , אשר דומה למסרק.למרחב המסרק תכונות טופולוגיות מעניינות, והוא מהווה דוגמה נגדית נוחה במקרים רבים. מרחב המסרק, המוגדר על ידי איחוד של ציר x עם קווים המקבילים לציר y במרחק 1 / n {\displaystyle…
-
משפט טיכונוף
כל מה שרצית לדעת על משפט טיכונוף:בטופולוגיה, משפט טיכונוף קובע שאם { ( X i , τ i ) } i ∈ I {\displaystyle \left\{(X_{i},\tau _{i})\right\}_{i\in I}} משפחה של מרחבים טופולוגיים קומפקטיים, אז גם מרחב המכפלה ∏ i ∈ I X i {\displaystyle \ \prod _{i\in I}X_{i}} קומפקטי. המשפט נחשב אחד המשפטים החשובים ביותר…
-
קומפקטיפיקציה
כל מה שרצית לדעת על קומפקטיפיקציה:בטופולוגיה, קומפקטיפיקציה של מרחב טופולוגי היא שיכון שלו בתוך מרחב קומפקטי באופן שהמרחב הראשון צפוף בשני. צעד זה מאפשר ליהנות מהתכונות החזקות של המרחב הקומפקטי.דוגמה: הקטע הסגור [0,1] מהווה קומפקטיפיקציה של הקטע הפתוח (0,1), וגם של הישר הממשי כולו: בשני המקרים הקומפקטיפיקציה כוללת "המצאה" יש-מאין של נקודה חדשה, והדבקתה לשני…
-
מרחב לינדלף
כל מה שרצית לדעת על מרחב לינדלף:בטופולוגיה, מרחב לינדלף הוא מרחב טופולוגי שבו לכל כיסוי פתוח קיים תת-כיסוי בן-מנייה. זוהי גרסה חלשה של תכונת הקומפקטיות, הדורשת שלכל כיסוי פתוח יהיה תת-כיסוי סופי. המרחבים נקראים כך על שם המתמטיקאי הפיני ארנסט לאונרד לינדלף.תת-קבוצה סגורה של מרחב לינדלף היא מרחב לינדלף. תמונה רציפה של מרחב לינדלף היא…
-
מרחב מטריזבילי
כל מה שרצית לדעת על מרחב מטריזבילי:מרחב טופולוגי הוא מטריזבילי אם הטופולוגיה שלו מושרית על ידי מטריקה. קיימים מספר תנאים שקיומם גורר את אפשרות הגדרת המטריקה על המרחב, המפורסם שביניהם הוא משפט המטריזציה של אוריסון, לפיו כל מרחב שמקיים את אקסיומת ההפרדה T3 ואת אקסיומת המנייה השנייה הוא מטריזבלי. בהוכחה ניתנת המטריקה אך למעשה בדרך…
-
מרחב נוצר קומפקטית
כל מה שרצית לדעת על מרחב נוצר קומפקטית:בטופולוגיה, מרחב נוצר קומפקטית (Compactly generated space) הוא מרחב טופולוגי שבו תת-הקבוצות קובעות את הטופולוגיה, באופן הבא: קבוצה היא סגורה אם ורק אם החיתוך שלה עם כל קבוצה קומפקטית הוא סגור. בדרך כלל מניחים גם כי המרחב הוא האוסדורף. קטגוריית המרחבים האוסדורף הנוצרים קומפקטית מסומנת על ידי C…