Let $(E, \mathcal E, \mu)$ be a finite [measure space](/page/Measure%20Space), and let $\mathcal F\subset L^1(E, \mathcal E, \mu)$. Then $\mathcal F$ is relatively weakly compact in $L^1(E)$ if and only if $\mathcal F$ is uniformly integrable.
Knowledge Status
Analysis
Discussion
This theorem identifies [uniform integrability](/page/Uniform%20Integrability) as the exact condition for relative weak compactness in L1 over a finite [measure space](/page/Measure%20Space). It is the fundamental compactness criterion at the non-reflexive L1 endpoint.
Proof
No proof available for this theorem.
Prerequisites
(0/4 completed)
Prerequisites Graph
Interactive dependency map showing how this theorem builds on foundational concepts