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

