Hahn–Banach theorem

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo complex vector spaces
normed vector spaces
real vector spaces
gptkbp:category theorems in analysis
theorems in functional analysis
gptkbp:field functional analysis
gptkbp:firstPublished 1927
gptkbp:generalizes extension property of linear functionals
https://www.w3.org/2000/01/rdf-schema#label Hahn–Banach theorem
gptkbp:namedAfter gptkb:Hans_Hahn
gptkb:Stefan_Banach
gptkbp:relatedTo gptkb:Banach_spaces
convex sets
linear functionals
separation theorems
gptkbp:sentence Extension of bounded linear functionals
gptkbp:usedIn optimization
convex analysis
duality theory
topological vector spaces
gptkbp:bfsParent gptkb:Stefan_Banach
gptkbp:bfsLayer 4