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

Fixed typo.

Browse Source
This commit is contained in:
Bokuan Li
2026-06-18 20:21:58 -04:00
parent b68c050225
commit 6487655eb3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/measure/lcg/haar.tex
View File

@@ -119,7 +119,7 @@
Thus $\mathcal{I}(f) = \bracs{I_g(f)|g \in C_c^+(G) \setminus \bracs{0}}$ is precompact for each $f \in C_c^+(G)$.
For each $V \in \cn_G(1)$, let $E_V = \bracs{I_g|g \in C_c^+(V) \setminus \bracs{0}}$, then $\fF = \bracs{E_V|V \in \cn_G(1)}$ is a filter on the product space $\prod_{f \in C_c^+(G)}\ol{\mathcal{I}(f)}$. By \hyperref[Tychonoff's Theorem]{theorem:tychonoff}, there exists $\bigcap_{V \in \cn_G(1)}\ol{E_V} \ne \emptyset$.
For each $V \in \cn_G(1)$, let $E_V = \bracs{I_g|g \in C_c^+(V) \setminus \bracs{0}}$, then $\fF = \bracs{E_V|V \in \cn_G(1)}$ is a filter on the product space $\prod_{f \in C_c^+(G)}\ol{\mathcal{I}(f)}$. By \hyperref[Tychonoff's Theorem]{theorem:tychonoff}, $\bigcap_{V \in \cn_G(1)}\ol{E_V} \ne \emptyset$.
Let $I \in \bigcap_{V \in \cn_G(1)}\ol{E_V}$, then by continuity,
\begin{enumerate}[label=(\roman*)]