Helly's selection theorem, named for the Austrian mathematician Eduard Helly, states that a uniformly bounded sequence of monotone real functions has a convergent subsequence, making it a sequential compactness theorem for the space of uniformly bounded monotone functions. A more general version establishes compactness for the space of functions that are locally of bounded total variation and uniformly bounded at a point, and the theorem has applications throughout analysis, including implying compactness of a tight family of probability measures. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Classification
Statement Form Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
Sources
1. Helly's Selection Theorem (Wikipedia)
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.