Quartz sync: Mar 3, 2025, 12:42 PM

2025-03-03 12:42:59 +01:00 · 2025-03-03 12:42:59 +01:00 · f0460f0309
commit f0460f0309
parent 21e201d4ff
1 changed files with 1 additions and 0 deletions
--- a/content/Definitions/Measure
+++ b/content/Definitions/Measure
@ -0,0 +1 @@
+The **Lebesgue Integral** (over $A \in M$) of [[Measurable|measurable]] $f : X \to [0, \infty]$ is $\int_{A} f \, d\mu \equiv \underbrace{\sup_{0 \leq s \leq f}}_{s\ \text{measurable and simple}} \int_{A} s \, d\mu \in [0, \infty]$.
				`@ -0,0 +1 @@`
				`The Lebesgue Integral (over $A \in M$) of [[Measurable\|measurable]] $f : X \to [0, \infty]$ is $\int_{A} f \, d\mu \equiv \underbrace{\sup_{0 \leq s \leq f}}_{s\ \text{measurable and simple}} \int_{A} s \, d\mu \in [0, \infty]$.`