למת הצינור

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

ניסוח הלמה והרחבתה

למת הצינור: יהיו $X,Y$ שני מרחבים טופולוגיים כך ש- $Y$ קומפקטי. תהי נקודה $x_{0}\in X$ ונניח שקיימת קבוצה פתוחה $O\subset X\times Y$ המכילה את החתך $\{x_{0}\}\times Y$. אזי $O$ מכילה קבוצה מהצורה $W\times Y$ כאשר $W$ היא סביבה פתוחה של $x_{0}$, ז"א מתקיים $\{x_{0}\}\times Y\subset W\times Y\subset O$.

את הקבוצה $W\times Y$ מכנים לעיתים צינור (tube).

ניתן להראות כי ניסוח שקול של הלמה בעזרת העתקות סגורות הוא כדלקמן: אם $X,Y$ זוג מרחבים טופולוגיים כך ש- $Y$ קומפקטי, אז ההטלה $\pi \colon X\times Y\to X$, $\pi \colon (x,y)\mapsto x$ היא סגורה.

הלמה ניתנת להרחבה באופן הבא:

הרחבת למת הצינור: יהיו $X,Y$ שני מרחבים טופולוגיים, ונניח כי $A\subset X$ ו- $B\subset Y$ תתי-קבוצות קומפקטיות. אם קיימת $O\subset X\times Y$ פתוחה כך ש- $A\times B\subset O$, אז קיימות קבוצות פתוחות $U\subset X$ ו- $V\subset Y$ כך ש- $A\times B\subset U\times V\subset O$.

הוכחת למת הצינור

ראשית, נעיין בכיסוי של החתך $\{x_{0}\}\times Y$ בידי קבוצות בסיסיות: $\{U_{\alpha },V_{\alpha }\}_{\alpha \in I}$ כך שלכל $\alpha \in I$, $U_{\alpha }\subset X$ ו- $V_{\alpha }\subset Y$ פתוחות בטופולוגיות המתאימות. נוכל להניח שכל הקבוצות האלו מוכלות ב- $O$ (ניתן הרי לחתוך כל אחת מהן עם $O$ הפתוחה, שניתנת גם לרישום כאיחוד קבוצות בסיסיות).

החתך $\{x_{0}\}\times Y$ קומפקטי, שכן הוא הומיאומורפי ל- $Y$, שקומפקטי לפי הנחת המשפט. מכאן, הרי שקיים לו תת-כיסוי סופי $\{U_{i}\times V_{i}\}_{i=1}^{n}$. נוכל להניח שכל אחת מקבוצות אלו חותכת את $\{x_{0}\}\times Y$, שכן אחרת נוכל להשמיטה מהכיסוי.

נגדיר $W=\bigcap _{i=1}^{n}U_{i}$. זו קבוצה פתוחה כחיתוך סופי של קבוצות פתוחות, והיא גם מכילה את $x_{0}$ כי הוא שייך ל- $U_{i}$ לכל $i\in [n]$ (מההנחה שכל קבוצה בכיסוי חותכת את החתך). אם כן, $\{x_{0}\}\times Y\subset W\times Y$, ונותר לוודא כי $O$ מכילה את $W\times Y$. זה נכון מכיוון ש- $\{U_{i}\times V_{i}\}_{i=1}^{n}$ מהווה גם כיסוי של $W\times Y$. אכן, בהינתן נקודה $(x,y)\in W\times Y$ נוכל לעיין בנקודה $(x_{0},y)\in \{x_{0}\}\times Y$. מהגדרת הכיסוי קיים $i_{0}\in [n]$ עבורו $(x_{0},y)\in U_{i_{0}}\times V_{i_{0}}$, ולכן בפרט $y\in V_{i_{0}}$. מתקיים כי $x\in U_{i_{0}}$ שכן למעשה $x\in U_{i}$ לכל $i\in [n]$ מהגדרת $W$ כחיתוך כל ה- $U_{i}$-ים. לכן $(x,y)\in U_{i_{0}}\times V_{i_{0}}$ ואזי $W\times Y\subset \bigcup _{i=1}^{n}(U_{i}\times V_{i})\subset O$ (הרי $U_{i}\times V_{i}\subset O$ לכל $i\in [n]$).

תכונות ומסקנות

1. הדרישה בלמת הצינור ש- $Y$ קומפקטי היא הכרחית. למשל ב- $\mathbb {R} ^{2}=\mathbb {R} \times \mathbb {R}$ (בוחרים $X=Y=\mathbb {R}$), הקבוצה הפתוחה $O=\{(x,y):|xy|<1\}$ מכילה את החתך $\{0\}\times \mathbb {R}$, אך היא אינה מכילה אף צינור סביבו. אכן, אם קיים בשלילה צינור $W\times Y$ המכיל את החתך $\{0\}\times \mathbb {R}$ ומוכל ב- $O$, נובע כי $W\subset (-1/y,1/y)$ לכל $y>0$, מה שגורר כי $W=\{0\}$, בסתירה להיותו קבוצה פתוחה ב- $\mathbb {R}$.
2. כאמור, מלמת הצינור ניתן להוכיח שמכפלה סופית של מרחבים קומפקטיים היא קומפקטית, באופן הבא (ההוכחה היא למכפלה של שני מרחבים קומפקטיים, וההכללה למספר סופי כלשהו באינדוקציה): יהיו $X,Y$ זוג מרחבים קומפקטיים, ונראה שמכפלתם $X\times Y$ קומפקטית אף היא. יהי ${\mathcal {A}}$ כיסוי פתוח של $X\times Y$, ויש להראות שקיים לו תת-כיסוי סופי. לכל $x\in X$, החתך $\{x\}\times Y$ קומפקטי (הוא הומיאומורפי ל- $Y$), ומכיוון ש- ${\mathcal {A}}$ מכסה אותו הרי שקיים לו תת-כיסוי סופי $\{A_{i}\}_{i=1}^{m}$. הקבוצה $O=\bigcup _{i=1}^{m}A_{i}$ פתוחה (כאיחוד של פתוחות) ומכילה את החתך $\{x\}\times Y$. לכן מלמת הצינור קיימת $W_{x}\subset X$ פתוחה כך ש- $\{x\}\times Y\subset W_{x}\times Y\subset O$. נסיק כי $\{A_{i}\}_{i=1}^{m}$ הוא תת-כיסוי סופי גם של $W_{x}\times Y$. האוסף $\{W_{x}\}_{x\in X}$ מהווה כיסוי פתוח של $X$ הקומפקטי, ולכן קיים לו תת-כיסוי סופי $\{W_{x_{i}}\}_{i=1}^{n}$. מכאן $\{W_{x_{i}}\times Y\}_{i=1}^{n}$ הוא כיסוי סופי של $X\times Y$, וכפי שהוצג קודם כל אחד מאיבריו מכוסה על ידי מספר סופי של איברי ${\mathcal {A}}$. מכאן נסיק שיש ל- $X\times Y$ תת-כיסוי סופי מאיברי ${\mathcal {A}}$.
3. אין די בלמת הצינור בכדי להוכיח את משפט טיכונוף, המכליל את התוצאה הקודמת למכפלות אינסופיות של קבוצות קומפקטיות.

לקריאה נוספת

• James R. Munkres, Topology, Prentice Hall, 2000, p. 167-169

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

32608745למת הצינור