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

Fixed typo.
All checks were successful
Compile Project / Compile (push) Successful in 47s
Details

Browse Source
This commit is contained in:
Bokuan Li
2026-07-10 18:38:50 -04:00
parent 97150879d7
commit 3113e1da04
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -19,9 +19,7 @@
U_J = \bigcup_{j \in J}E_j^c U_J = \bigcup_{j \in J}E_j^c
\] \]
then $U_J \subset X$ is open. For any $J, J' \subset I$, $U_J \cup U_{J'} = U_{J \cup J'}$. then $U_J \subset X$ is open. Suppose for contradiction that $\bigcap_{i \in I}E_i = \emptyset$, then
Suppose for contradiction that $\bigcap_{i \in I}E_i = \emptyset$, then
\[ \[
\mathbf{U} = \bracs{U_J|J \subset I \text{ finite}} \mathbf{U} = \bracs{U_J|J \subset I \text{ finite}}
\] \]