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

Clamped the Ky Fan metric.

Browse Source
This commit is contained in:
Bokuan Li
2026-06-22 12:33:43 -04:00
parent 8cbd165df3
commit 47b8f198e1
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/in-measure.tex
View File

@@ -35,7 +35,7 @@
\label{definition:ky-fan} \label{definition:ky-fan}
Let $(X, \cm, \mu)$ be a measure space, $(Y, d)$ be a metric space, and Let $(X, \cm, \mu)$ be a measure space, $(Y, d)$ be a metric space, and
\[ \[
\alpha: \mathscr{M}(X; Y)^2 \to [0, \infty) \quad (f, g) \mapsto \inf\bracs{\eps > 0| \mu\bracs{d(f, g) > \eps} \le \eps} \alpha: \mathscr{M}(X; Y)^2 \to [0, \infty) \quad (f, g) \mapsto \inf\bracs{\eps > 0| \mu\bracs{d(f, g) > \eps} \le \eps} \wedge 1
\] \]
then: then: