From a04a4468b03a27269a0fbfa9b0b67a19985488fa Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Fri, 19 Jan 2024 11:56:29 +0100
Subject: [PATCH] lecture 23

---
 inputs/lecture_23.tex | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/inputs/lecture_23.tex b/inputs/lecture_23.tex
index 85d6e55..c751b74 100644
--- a/inputs/lecture_23.tex
+++ b/inputs/lecture_23.tex
@@ -161,7 +161,12 @@ $F(z_k, x_1) \to  0$, $F(z_k, x_2) \to 0$.
     So $(F_\alpha)_{\alpha \le \beta}$ is a strictly
     increasing chain of closed subsets.
     But $X$ is second countable,
-    so $\beta$ is countable.
+    so $\beta$ is countable:
+    Let $\{U_n\} = \cB$ be a countable basis
+    and for $\alpha$ let $U_\alpha \in \cB$
+    be such that $U_\alpha \cap F_\alpha = \emptyset$
+    and $U_\alpha \cap F_{\alpha+1} \neq \emptyset$.
+    Then $\alpha \mapsto U_\alpha$ is an injection.
 \end{proof}