Banach–Alaoglu theorem

E424210

mathematical theorem theorem in functional analysis

The Banach–Alaoglu theorem is a fundamental result in functional analysis stating that the closed unit ball in the dual of a normed space is compact in the weak-* topology.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (3)

Label	Occurrences
Banach–Alaoglu theorem canonical	2
Alaoglu’s 1940 paper on weak topologies of normed linear spaces	1
Alaoglu’s lemma	1

How this entity was disambiguated

This entity first appeared as the object of triple T4219666 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Banach–Alaoglu theorem
Context triple: [Stefan Banach, notableWork, Banach–Alaoglu theorem]

A. Banach–Steinhaus theorem
The Banach–Steinhaus theorem is a fundamental result in functional analysis that characterizes when a family of continuous linear operators is uniformly bounded, with major implications for the behavior of sequences of operators on Banach spaces.
B. Hahn–Banach theorem
The Hahn–Banach theorem is a fundamental result in functional analysis that guarantees the extension of bounded linear functionals from a subspace to the whole space without increasing their norm.
C. Banach–Mazur theorem
The Banach–Mazur theorem is a fundamental result in functional analysis that characterizes separable Banach spaces as isometrically isomorphic to closed subspaces of spaces of continuous functions on compact metric spaces.
D. Banach–Saks theorem
The Banach–Saks theorem is a result in functional analysis stating that every bounded sequence in a reflexive Banach space has a subsequence whose Cesàro means converge in norm.
E. Banach–Stone theorem
The Banach–Stone theorem is a fundamental result in functional analysis that characterizes compact Hausdorff spaces via isometric isomorphisms between their spaces of continuous real- or complex-valued functions.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Banach–Alaoglu theorem
Target entity description: The Banach–Alaoglu theorem is a fundamental result in functional analysis stating that the closed unit ball in the dual of a normed space is compact in the weak-* topology.

A. Banach–Steinhaus theorem
The Banach–Steinhaus theorem is a fundamental result in functional analysis that characterizes when a family of continuous linear operators is uniformly bounded, with major implications for the behavior of sequences of operators on Banach spaces.
B. Hahn–Banach theorem
The Hahn–Banach theorem is a fundamental result in functional analysis that guarantees the extension of bounded linear functionals from a subspace to the whole space without increasing their norm.
C. Banach–Mazur theorem
The Banach–Mazur theorem is a fundamental result in functional analysis that characterizes separable Banach spaces as isometrically isomorphic to closed subspaces of spaces of continuous functions on compact metric spaces.
D. Banach–Saks theorem
The Banach–Saks theorem is a result in functional analysis stating that every bounded sequence in a reflexive Banach space has a subsequence whose Cesàro means converge in norm.
E. Banach–Stone theorem
The Banach–Stone theorem is a fundamental result in functional analysis that characterizes compact Hausdorff spaces via isometric isomorphisms between their spaces of continuous real- or complex-valued functions.
F. None of above. chosen

Statements (48)

Predicate	Object
instanceOf	mathematical theorem ⓘ theorem in functional analysis ⓘ
appliesTo	dual of a locally convex space (in generalized form) ⓘ dual space of a normed space ⓘ
assumption	consider the dual space endowed with the weak-* topology ⓘ the underlying space is a normed space ⓘ
author	Leonidas Alaoglu ⓘ
characterizes	weak-* compactness of bounded sets in dual spaces ⓘ
conclusion	closed unit ball in the dual space is compact in the weak-* topology ⓘ
domain	Banach spaces ⓘ normed linear spaces ⓘ
field	functional analysis ⓘ functional analysis of Banach spaces ⓘ
generalization	extends to locally convex topological vector spaces via polars of neighborhoods of zero ⓘ
implies	closed unit ball of the dual of a Banach space is weak-* compact ⓘ every bounded net in the dual space has a weak-* convergent subnet ⓘ
importance	fundamental in modern functional analysis ⓘ key tool in proving existence of functionals and measures ⓘ
isGeneralizationOf	Alaoglu’s compactness result for duals of normed spaces ⓘ
isSpecialCaseOf	compactness of polars in the weak-* topology ⓘ
namedAfter	Leonidas Alaoglu ⓘ Stefan Banach ⓘ
oftenFormulatedAs	the unit ball of the dual of a normed space is compact in the weak-* topology ⓘ
originalPublication	Banach–Alaoglu theorem self-linksurface differs ⓘ surface form: Alaoglu’s 1940 paper on weak topologies of normed linear spaces
relatedTo	Eberlein–Šmulian theorem ⓘ Goldstine theorem ⓘ Hahn–Banach theorem ⓘ Krein–Milman theorem ⓘ Riesz representation theorem ⓘ
statement	The closed unit ball of the dual of a normed space is compact in the weak-* topology. ⓘ
topologyInvolved	weak-* topology ⓘ weak-star topology ⓘ
typeOfResult	compactness theorem ⓘ existence theorem ⓘ
usedIn	calculus of variations ⓘ distribution theory ⓘ existence proofs in functional analysis ⓘ measure theory ⓘ optimization in infinite-dimensional spaces ⓘ partial differential equations ⓘ study of dual Banach spaces ⓘ theory of Banach algebras ⓘ theory of C-algebras ⓘ weak- compactness arguments ⓘ
uses	Banach–Alaoglu theorem self-linksurface differs ⓘ surface form: Alaoglu’s lemma Tychonoff theorem for products of compact spaces ⓘ surface form: Tychonoff theorem product topology ⓘ
yearProved	1940 ⓘ

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

Stefan Banach → notableWork → Banach–Alaoglu theorem ⓘ

Stefan Banach → eponymOf → Banach–Alaoglu theorem ⓘ

Banach–Alaoglu theorem → uses → Banach–Alaoglu theorem self-linksurface differs ⓘ

this entity surface form: Alaoglu’s lemma

Banach–Alaoglu theorem → originalPublication → Banach–Alaoglu theorem self-linksurface differs ⓘ

this entity surface form: Alaoglu’s 1940 paper on weak topologies of normed linear spaces

All labels observed (3)

How this entity was disambiguated Show

Statements (48)

How these facts were elicited Show

Referenced by (4)

How this entity was disambiguated

How these facts were elicited