הלמה של לינדלף

בטופולוגיה, הלמה של לינדלף היא למה הקובעת שמרחב מנייה שנייה הוא מרחב לינדלף.

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

הוכחת הלמה

יהי <math>X</math> מרחב מנייה שנייה, ויהי <math>\mathcal{U}</math> כיסוי פתוח של <math>X</math>. נראה שקיים לו תת-כיסוי בן מנייה. מהנתון, קיים ל-<math>X</math> בסיס בן מנייה <math>\mathcal{B} = \{B_n\}_{n=1}^\infty </math>. לכל <math>n \in \mathbb{N}</math> נבחר איזושהי קבוצה בכיסוי <math>\mathcal{U}</math> המכילה את <math>B_n</math>, אם ישנה. נסמן את אוסף הקבוצות שהתקבל ב-<math>\mathcal{U}'</math>. הוא בן מנייה מעצם בנייתו, ונראה כעת שהוא כיסוי של <math>X</math>. אכן, תהי <math>x \in X</math>. מהגדרת הכיסוי, קיימת איזושהי <math>U \in \mathcal{U}</math> כך ש-<math>x \in U</math>. זהו כיסוי פתוח, ולכן מהגדרת בסיס קיים <math>n</math> עבורו <math>x \in B_n \subseteq U</math>. אבל, מבניית <math>\mathcal{U}'</math> יש איזושהי קבוצה בו המכילה את <math>B_n</math> (ייתכן שזו <math>U</math>, אמנם זה לא משנה) ולכן היא מכילה גם את <math>x</math>. מכך נקבל ש-<math>\mathcal{U}'</math> תת-כיסוי בן מנייה כנדרש. <math>\blacksquare</math>

קבוצות פתוחות בישר הממשי

הלמה של לינדלף בגרסתה הממשית, קובעת כי כל קבוצה פתוחה <math>U \subset \mathbb{R}</math> היא איחוד בן-מנייה של קטעים פתוחים, שכן כל <math>x \in U</math> מוכל באיזה קטע ממשי <math>x \in I_x \subset U</math> בעל קצוות רציונליים. היות שיש מספר בן-מניה של קטעים ממשיים בעלי קצוות רציונליים, ניתן לבחור ל-<math>U</math> כיסוי בן-מניה של קטעים פתוחים.