בטופולוגיה, משפט טיכונוב קובע שאם ${\displaystyle \left\{(X_{i},\tau _{i})\right\}_{i\in I}}$ משפחה של מרחבים טופולוגיים קומפקטיים, אז גם מרחב המכפלה ${\displaystyle \prod _{i\in I}X_{i}}$ קומפקטי. המשפט נחשב אחד המשפטים החשובים ביותר בטופולוגיה כללית, אם לא החשוב שבהם, והוכיח אותו אנדריי טיכונוב בתחילת שנות ה-30 של המאה ה-20.

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

מלבד היישומים של המשפט בטופולוגיה ובאנליזה פונקציונלית, משפט טיכונוב מוכר בתורת הקבוצות האקסיומטית כניסוח שקול לאקסיומת הבחירה הקובעת שאם כל הקבוצות במשפחה ${\displaystyle \left\{X_{i}\right\}_{i\in I}}$ אינן ריקות אז גם קבוצת המכפלה אינה ריקה. הגרסה המוחלשת של המשפט, המתייחסת רק לקומפקטיות של מכפלת מרחבי האוסדורף קומפקטיים, אינה גוררת את אקסיומת הבחירה. עם זאת, גם הגרסה המוחלשת אינה ניתנת להוכחה במסגרת אקסיומות צרמלו-פרנקל (ZF, ללא אקסיומת הבחירה).

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

1. בעזרת משפט אלכסנדר לתת בסיסים: לטופולוגיית המכפלה ${\displaystyle \prod _{i\in I}X_{i}}$ יש תת-בסיס טבעי שהוא ${\displaystyle B=\bigcup _{i\in I}B_{i}}$ כאשר ${\displaystyle B_{i}=\left\{\prod _{j\neq i}X_{j}\times U_{i}:U_{i}\in \tau _{i}\right\}}$. לפי משפט אלכסנדר, כדי להוכיח קומפקטיות מספיק להתבונן בכיסוי ${\displaystyle {\mathcal {U}}}$ של מרחב המכפלה על ידי קבוצות מ-${\displaystyle B}$. בלי הגבלת הכלליות, המרחב עצמו אינו שייך ל-${\displaystyle {\mathcal {U}}}$. עבור ${\displaystyle i\in I}$ מסוים, נסתכל על כל הקבוצות מהצורה ${\displaystyle \left\{\prod _{j\neq i}X_{j}\times U_{i}\right\}}$ שמשתתפות בכיסוי הנתון. אם ה-${\displaystyle U_{i}}$ האלה מכסים את ${\displaystyle X_{i}}$ אז יש מספר סופי מהם שמכסה את ${\displaystyle X_{i}}$ בגלל הקומפקטיות שלו, ולכן יש גם מספר סופי של ${\displaystyle \left\{\prod _{j\neq i}X_{j}\times U_{i}\right\}}$ שמכסה את כל מרחב המכפלה וסיימנו. נניח בשלילה כי לכל ${\displaystyle i\in I}$ הקבוצות מהכיסוי שמהצורה ${\displaystyle \prod _{j\neq i}X_{j}\times U_{i}}$ מקיימות כי ה ${\displaystyle U_{i}}$ אינן מכסים את ${\displaystyle X_{i}}$. מאקסיומת הבחירה ניתן לבחור לכל ${\displaystyle i\in I}$ איבר ${\displaystyle x_{i}\in X_{i}}$ שאינו ב-${\displaystyle U_{i}}$ הנ"ל. טענה: ${\displaystyle (x_{i})}$ אינו מכוסה על ידי הכיסוי (וזו סתירה!). הוכחה: אחרת קיימת קבוצה מהצורה ${\displaystyle \prod _{j\neq i}X_{j}\times U_{i}}$ שהוא שייך אליה אבל לפי הבחירה ${\displaystyle x_{i}\not \in U_{i}}$.
2. בעזרת שקילות להתכנסות על מסננים: יהא ${\displaystyle F}$ על מסנן של ${\displaystyle \prod _{i\in I}X_{i}}$ אזי ${\displaystyle \{P_{i}(A):A\in F\}}$ הוא על מסנן של ${\displaystyle X_{i}}$ (כאשר ${\displaystyle P_{i}}$ היא ההטלה על רכיב ${\displaystyle i}$). ולכן קיים לו גבול שנסמנו ${\displaystyle a_{i}}$. כעת, נראה כי ${\displaystyle (a_{i})\in \prod _{i\in I}X_{i}}$ הוא גבול של ${\displaystyle F}$ וסיימנו. אכן כל סביבה של ${\displaystyle (a_{i})}$ מכילה קבוצה פתוחה בסיסית ${\displaystyle \prod _{i\in I\setminus J}X_{i}\prod _{j\in J}U_{j}}$ עבור ${\displaystyle J}$ קבוצה סופית. ולכן לכל ${\displaystyle j\in J}$ קיימת ${\displaystyle A_{j}\in F}$ כך ש-${\displaystyle P_{j}(A_{j})\subseteq U_{j}}$ ואז ${\displaystyle A=\bigcap _{j\in J}A_{j}\in F}$ (חיתוך סופי) מקיימת ${\displaystyle A\subseteq \prod _{i\in I\setminus J}X_{i}\prod _{j\in J}U_{j}}$.
3. הוכחה בעזרת חיתוך של קבוצות סגורות: יהי ${\displaystyle {\mathcal {F}}}$ אוסף של קבוצות סגורות שכל חיתוך סופי מתוכו אינו ריק. נראה כי החיתוך של כולן אינו ריק. לפי הלמה של צורן קיימת ${\displaystyle {\mathcal {H}}}$ מקסימלית (ביחס להכלה) שמכילה את ${\displaystyle {\mathcal {F}}}$ ומקיימת שכל חיתוך סופי של קבוצות מ-${\displaystyle {\mathcal {H}}}$ לא ריק ומניחים בשלילה כי ${\displaystyle \bigcap _{H\in {\mathcal {H}}}{\overline {H}}\neq \emptyset }$. כיוון ש-${\displaystyle {\mathcal {H}}}$ מקסימלית אזי כל חיתוך סופי של קבוצות מ-${\displaystyle {\mathcal {H}}}$ גם הוא ב-${\displaystyle {\mathcal {H}}}$ (אחרת נוכל להוסיף את החיתוך ל-${\displaystyle {\mathcal {H}}}$). ומכאן שכל קבוצה ${\displaystyle A}$ שנחתכת עם כל איבר ב-${\displaystyle {\mathcal {H}}}$ גם היא ב-${\displaystyle {\mathcal {H}}}$ (אחרת נוכל להוסיף אותה ל-${\displaystyle {\mathcal {H}}}$). כעת, לכל ${\displaystyle i\in I}$ הקבוצה ${\displaystyle \{P_{i}(H):H\in {\mathcal {H}}\}}$ מקיימת כי כל חיתוך סופי של קבוצות ממנה לא ריק ולכן זה נכון גם עבור ${\displaystyle \left\{{\overline {P_{i}(H)}}:H\in {\mathcal {H}}\right\}}$ ולכן בגלל קומפקטיות של ${\displaystyle X_{i}}$ קיים ${\displaystyle a_{i}\in \bigcap _{H\in {\mathcal {H}}}{\overline {P_{i}(H)}}}$. נסיים בכך שנראה ש- ${\displaystyle (a_{i})\in \prod _{i\in I}X_{i}}$ נמצא ב-${\displaystyle \bigcap _{H\in {\mathcal {H}}}{\overline {H}}}$. לשם כך תהא סביבה פתוחה בסיסית ${\displaystyle O=\prod _{i\in I\setminus J}X_{i}\prod _{j\in J}U_{j}=\bigcap _{j\in J}P_{j}^{-1}(U_{j})}$ (עבור ${\displaystyle J}$ קבוצה סופית) של ${\displaystyle (a_{i})}$ ויהא ${\displaystyle j\in J}$ ו-${\displaystyle H\in {\mathcal {H}}}$. אזי מתקיים כי ${\displaystyle U_{j}\cap P_{j}(H)\neq \emptyset }$ (כיוון ש-${\displaystyle a_{j}\in {\overline {P_{j}(H)}}}$ ו-${\displaystyle a_{j}\in U_{j}}$ סביבה פתוחה שלה ב-${\displaystyle X_{j}}$) ולכן ${\displaystyle P_{j}^{-1}(U_{j})\cap H\neq \emptyset }$. לכן לכל ${\displaystyle H\in {\mathcal {H}}}$ מתקיים כי ${\displaystyle P_{j}^{-1}(U_{j})\cap H\neq \emptyset }$ ולכן ${\displaystyle P_{j}^{-1}(U_{j})\in {\mathcal {H}}}$ (בגלל המקסימליות של ${\displaystyle {\mathcal {H}}}$ ). ומכאן נקבל כי ${\displaystyle O=\bigcap _{j\in J}P_{j}^{-1}(U_{j})\in {\mathcal {H}}}$ (בגלל המקסימליות של ${\displaystyle {\mathcal {H}}}$ וזהו חיתוך סופי של קבוצות משם) ולכן מהגדרת ${\displaystyle {\mathcal {H}}}$ נקבל כי לכל ${\displaystyle H\in {\mathcal {H}}}$ מתקיים ${\displaystyle O\cap H\neq \emptyset }$ מה שאומר כי ${\displaystyle (a_{i})\in {\overline {H}}}$ ולכן גם בחיתוך של כולם ${\displaystyle (a_{i})\in \bigcap _{H\in {\mathcal {H}}}{\overline {H}}}$.

יהא ${\displaystyle X}$ מרחב טופולוגי עם תת בסיס ${\displaystyle B}$. אם לכל כיסוי של המרחב על ידי קבוצות מ-${\displaystyle B}$ יש תת-כיסוי סופי, אז ${\displaystyle X}$ קומפקטי.

הוכחה: נניח בשלילה כי ${\displaystyle X}$ אינו קומפקטי אזי יש לו כיסוי שאין לו תת-כיסוי סופי. לפי הלמה של צורן נוכל לבחור כיסוי מקסימלי (ביחס להכלה) ${\displaystyle C}$ שאין לו תת-כיסוי סופי, בה"כ ${\displaystyle C}$ הוא אוסף של קבוצות פתוחות בסיסיות. כלומר לכל קבוצה פתוחה ${\displaystyle V}$ שלא נמצאת ב-${\displaystyle C}$ מתקיים כי לכיסוי ${\displaystyle C\cup \{V\}}$ יש תת-כיסוי סופי. מהגדרת ${\displaystyle C}$ ולפי הנחת המשפט מתקיים כי ${\displaystyle C\cap B}$ אינו כיסוי של המרחב (אחרת היה לו תת-כיסוי סופי לפי הנתון, בסתירה להגדרת ${\displaystyle C}$) לכן קיים ${\displaystyle x\in X}$ שאינו מכוסה על ידי אף אחת מהקבוצות ${\displaystyle C\cap B}$. כיוון ש-${\displaystyle C}$ כיסוי קיימת קבוצה בסיסית ${\displaystyle U=\bigcap _{i=1}^{n}O_{i}\subseteq V\in C}$ (כאשר ${\displaystyle O_{i}\in B}$) כך ש-${\displaystyle x\in U\subseteq V}$. כיוון שאף קבוצה ב-${\displaystyle B\cap C}$ אינה מכסה את ${\displaystyle x}$ נקבל כי ${\displaystyle O_{i}\not \in C}$ לכל ${\displaystyle i}$. מהמקסימליות של ${\displaystyle C}$ נקבל כי לכיסוי ${\displaystyle C\cup \{O_{i}\}}$ יש תת-כיסוי סופי. נסמן את תת-הכיסוי הסופי הזה ללא הקבוצה ${\displaystyle O_{i}}$ ב-${\displaystyle C_{i}}$, נגדיר ${\displaystyle C_{F}=\bigcup _{i=1}^{n}C_{i}}$ ונקבל כי ${\displaystyle C_{F}\cup \{O_{i}\}}$ הוא כיסוי סופי לכל ${\displaystyle i}$ ולכן גם ${\displaystyle C_{F}\cup \left\{\bigcap _{i=1}^{n}O_{i}\right\}}$ כיסוי סופי ולכן גם ${\displaystyle C_{F}\cup \{V\}}$ כיסוי סופי. אבל כיסוי סופי זה מוכל ב-${\displaystyle C}$ ולכן הוא תת-כיסוי סופי של ${\displaystyle C}$ בסתירה להגדרה ${\displaystyle C}$.

במסגרת אקסיומות ZF משפט טיכונוב שקול לאקסיומת הבחירה. כלומר מספיק להניח רק אחד מהם כדי להוכיח את השני. נניח שמשפט טיכונוב נכון. תהי ${\displaystyle \left\{X_{i}\right\}_{i\in I}}$ משפחה של קבוצות לא ריקות, ונוכיח כי המכפלה ${\displaystyle \prod _{i\in I}X_{i}}$ אינה ריקה.

לכל ${\displaystyle i\in I}$ נגדיר את הקבוצה ${\displaystyle Y_{i}}$ להיות האיחוד הזר ${\displaystyle Y_{i}=X_{i}\sqcup \{i\}}$ (פורמלית, ניתן להגדיר ${\displaystyle Y_{i}=\left(\{0\}\times X_{i}\right)\cup \left(\{1\}\times \{i\}\right)}$). על ${\displaystyle Y_{i}}$ נגדיר מבנה של מרחב טופולוגי, שבו אוסף הקבוצות הפתוחות הוא ${\displaystyle \{\phi ,Y_{i},\{i\}\}}$. כיוון שב-${\displaystyle Y_{i}}$ יש מספר סופי של קבוצות פתוחות, ${\displaystyle Y_{i}}$ מרחב קומפקטי. נגדיר מרחב טופולוגי ${\displaystyle Y=\prod _{i\in I}Y_{i}}$ לפי טופולוגיית המכפלה. לכל ${\displaystyle i\in I}$ נגדיר ${\displaystyle U_{i}=\prod _{j\neq i}Y_{j}\times \{i\}}$, שהיא קבוצה פתוחה ב-${\displaystyle Y}$.

נניח בשלילה כי האוסף ${\displaystyle \{U_{i}\}_{i\in I}}$ מכסה את ${\displaystyle Y}$. לפי משפט טיכונוב, קיים תת-כיסוי סופי ${\displaystyle \left\{U_{i_{j}}\right\}_{j=1}^{n}}$. כיוון שכל הקבוצות ${\displaystyle X_{i}}$ אינן ריקות, ניתן לבחור לכל ${\displaystyle 1\leq j\leq n}$ איבר ${\displaystyle x_{i_{j}}\in X_{i_{j}}}$. נשים לב כי בחרנו מספר סופי של איברים ולכן אין צורך להשתמש באקסיומת הבחירה. כעת נגדיר איבר ${\displaystyle y=\left(y_{i}\right)_{i\in I}}$ לפי ${\displaystyle y_{i}=\left\{{\begin{matrix}x_{i}&{\mbox{if }}i\in \left\{i_{j}\right\}_{j=1}^{n}\\i&{\mbox{if }}i\notin \left\{i_{j}\right\}_{j=1}^{n}\end{matrix}}\right.}$, כאשר כאן לא נעשתה שום בחירה. בבירור ${\displaystyle y\notin U_{i_{j}}}$ לכל ${\displaystyle 1\leq j\leq n}$ ולכן ${\displaystyle y\notin \bigcup _{j=1}^{n}U_{i_{j}}}$, סתירה לכך ש-${\displaystyle \left\{U_{i_{j}}\right\}_{j=1}^{n}}$ כיסוי של ${\displaystyle Y}$. מכאן שהנחת השלילה, כי ${\displaystyle \{U_{i}\}_{i\in I}}$ מכסה את ${\displaystyle Y}$, אינה נכונה. לכן קיים איבר ${\displaystyle \left(x_{i}\right)_{i\in I}\in Y\setminus \bigcup _{i\in I}U_{i}}$. מכאן שלכל ${\displaystyle i\in I}$ מתקיים כי ${\displaystyle x_{i}\neq i}$ ולכן ${\displaystyle x_{i}\in X_{i}}$. בכך הוכחנו שהמכפלה ${\displaystyle \prod _{i\in I}X_{i}}$ אינה ריקה, כנדרש.

• למת הצינור

• משפט טיכונוף, באתר MathWorld (באנגלית)