Steinhaus– Borsuk– Lebesgue– Zorn theorem
GPTKB entity
Statements (56)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:theorem
|
gptkbp:bfsLayer |
5
|
gptkbp:bfsParent |
gptkb:Hugo_Steinhaus
|
gptkbp:applies_to |
compact spaces
convex sets |
gptkbp:field |
gptkb:Mathematician
|
gptkbp:has_impact_on |
gptkb:software
compactness connectedness dimension theory |
gptkbp:has_programs |
gptkb:Research_Institute
geometry topological spaces combinatorics |
gptkbp:historical_debate |
existence of certain partitions
|
https://www.w3.org/2000/01/rdf-schema#label |
Steinhaus– Borsuk– Lebesgue– Zorn theorem
|
gptkbp:is_considered |
mathematical research
|
gptkbp:is_discussed_in |
academic papers
mathematical textbooks |
gptkbp:is_part_of |
gptkb:physicist
functional analysis convex analysis set-theoretic topology topological geometry |
gptkbp:is_related_to |
topological groups
functional spaces metric spaces Banach spaces Hilbert spaces convex hulls finite-dimensional spaces Hausdorff spaces normed spaces topological vector spaces Borsuk's conjecture Lebesgue's dominated convergence theorem Zorn's lemma applications infinite-dimensional spaces |
gptkbp:is_used_in |
abstract algebra
mathematical logic mathematical proofs theoretical mathematics applied mathematics proofs of other theorems |
gptkbp:named_after |
gptkb:Hugo_Steinhaus
Gottlob Frege Zorn Henri Lébesgue Karol Borsuk |
gptkbp:related_to |
gptkb:physicist
gptkb:television_channel gptkb:collection functional analysis Borsuk– Ulam theorem |
gptkbp:uses |
gptkb:Zorn's_lemma
gptkb:Lebesgue_measure Borsuk's theorem |