משפט טיכונוף

בטופולוגיה, משפט טיכונוף קובע שאם  משפחה של מרחבים טופולוגיים קומפקטיים, אז גם מרחב המכפלה  קומפקטי. המשפט נחשב אחד המשפטים החשובים ביותר בטופולוגיה כללית, אם לא החשוב שבהם, והוכיח אותו אנדריי טיחונוב בתחילת שנות ה-30 של המאה ה-20.

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

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

הוכחת משפט טיכונוף
ישנן מספר הוכחות למשפט טיכונוף.

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

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

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

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

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

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

ראו גם 
 למת הצינור

טיכונוף
קומפקטיות
אקסיומת הבחירה