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

Fixed wrong reference.
All checks were successful
Compile Project / Compile (push) Successful in 43s
Details

Browse Source
This commit is contained in:
Bokuan Li
2026-06-28 21:30:09 -04:00
parent 8f06eca274
commit 5abdf6ab3d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/measure/measure/localisable.tex
View File

@@ -163,7 +163,7 @@
Therefore $f$ is the desired function. Therefore $f$ is the desired function.
Now suppose that $Y$ is an arbitrary separable metrisable space. By \autoref{lemma:admissible-approximant-existence}, there exists $\seq{I_n} \subset Y^Y$ such that: Now suppose that $Y$ is an arbitrary separable metrisable space. By \autoref{lemma:separable-metric-space-approx-identity}, there exists $\seq{I_n} \subset Y^Y$ such that:
\begin{enumerate}[label=(\roman*)] \begin{enumerate}[label=(\roman*)]
\item $I_n \to \text{Id}$ pointwise as $n \to \infty$. \item $I_n \to \text{Id}$ pointwise as $n \to \infty$.
\item For each $n \in \natp$, $I_n(Y)$ is finite and Borel measurable. \item For each $n \in \natp$, $I_n(Y)$ is finite and Borel measurable.