josia-notes/w23-logic-3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

tutorial 10
All checks were successful
Build latex and deploy / checkout (push) Successful in 2m33s
Details

Browse source
This commit is contained in:
Josia Pietsch 2023-12-19 17:39:37 +01:00
parent aa7f3de504
commit c3948b12ec
Signed by: josia
GPG key ID: E70B571D66986A2D
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
inputs/tutorial_10.tex
View file

@ -123,7 +123,7 @@ In fact we have shown
Then $d(\cdot , U^c)\colon U \to \R_{\ge 0}$ Then $d(\cdot , U^c)\colon U \to \R_{\ge 0}$
is always non-zero and continuous. is always non-zero and continuous.
So $d(K,U^c)$ attains a minimum $\epsilon > 0$. 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$. so $[U]$ is open in $\tau_V$.
Let $K \in \langle U \rangle$. Let $K \in \langle U \rangle$.