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

Me when I fail to fix a typo.

Browse Source
This commit is contained in:
Bokuan Li
2026-01-21 16:32:46 -05:00
parent 88239a5893
commit b455200a2c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/measure/measurable-maps/simple.tex
View File

@@ -26,7 +26,7 @@
\label{definition:simple-function-standard-form} \label{definition:simple-function-standard-form}
Let $(X, \cm)$ be a measurable space, $V$ be a vector space over $K \in \RC$, and $f: X \to Y$ be a simple function, then Let $(X, \cm)$ be a measurable space, $V$ be a vector space over $K \in \RC$, and $f: X \to Y$ be a simple function, then
\[ \[
f = \sum_{y \in f(X)}y \cdot \one_{\bracs{f \in Y}} f = \sum_{y \in f(X)}y \cdot \one_{\bracs{f = y}}
\] \]
is the \textbf{standard form} of $f$. is the \textbf{standard form} of $f$.