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