jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

RETRACTION ON LCH EMBARRASSING TYPO
All checks were successful
Compile Project / Compile (push) Successful in 39s
Details

Browse Source
This commit is contained in:
Bokuan Li
2026-06-29 21:07:59 -04:00
parent 38099f1b19
commit 1ab81b49bc
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/topology/main/lch.tex
View File

@@ -160,7 +160,7 @@
\begin{lemma}
\label{lemma:lch-locally-finite-relatively compact-refine}
Let $X$ be a LCH space and $\ce \subset 2^X$ be a locally finite relatively compact open cover of $X$, then there exists locally finite relatively compact open covers $\bracs{F_E}_{E \in \ce}, \bracs{G_E}_{E \in \ce} \subset 2^X$ such that for each $E \in \ce$, $F_E \subset \ol{F_E} \subset E \subset \ol{E} \subset G_E$.
Let $X$ be a LCH space and $\ce \subset 2^X$ be a locally finite relatively compact open cover of $X$, then there exists locally finite relatively compact open covers $\bracs{F_E}_{E \in \ce}, \bracs{G_E}_{E \in \ce} \subset 2^X$ such that for each $E \in \ce$, $G_E \subset \ol{G_E} \subset E \subset \ol{E} \subset F_E$.
\end{lemma}
\begin{proof}
$(\bracs{F_E}_{E \in \ce})$: For each $E \in \ce$, $\bracsn{F \in \ce|F \cap \ol E \ne \emptyset}$ is finite by \autoref{lemma:locally-finite-compact}. Let
@@ -176,7 +176,7 @@
\end{align*}
By \autoref{lemma:locally-finite-closure}, $\bracsn{\ol E|E \in \ce}$ is also locally finite. Hence for every $F \in \ce$, $\bracsn{E \in \ce|F \cap \ol{E} \ne \emptyset}$ is finite.
By \autoref{lemma:locally-finite-closure}, $\bracsn{\ol E|E \in \ce}$ is also locally finite. Hence for every $F \in \ce$, $\bracsn{E \in \ce|F_F \cap \ol{E} \ne \emptyset}$ is finite.
Let $x \in X$, then there exists $N \in \cn(x)$ such that $\bracs{F \in \ce|N \cap F \ne \emptyset}$ is finite. In which case, $\bracs{E \in \ce|N \cap F_E \ne \emptyset}$ is finite as well. Therefore $\bracs{F_E}_{E \in \ce}$ is locally finite.