From c3948b12ecf574187b53bdf681c1bc192f948401 Mon Sep 17 00:00:00 2001 From: Josia Pietsch Date: Tue, 19 Dec 2023 17:39:37 +0100 Subject: [PATCH] tutorial 10 --- inputs/tutorial_10.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/inputs/tutorial_10.tex b/inputs/tutorial_10.tex index 92158d7..1a34b51 100644 --- a/inputs/tutorial_10.tex +++ b/inputs/tutorial_10.tex @@ -123,7 +123,7 @@ In fact we have shown Then $d(\cdot , U^c)\colon U \to \R_{\ge 0}$ is always non-zero and continuous. So $d(K,U^c)$ attains a minimum $\epsilon > 0$. - Then $B_{\epsilon}^H_\epsilon(K) \subseteq U$, + Then $B_{\epsilon}^H(K) \subseteq U$, so $[U]$ is open in $\tau_V$. Let $K \in \langle U \rangle$.