Steinhaus– Borsuk– Lebesgue– Kuratowski– Zorn theorem

GPTKB entity

Predicate	Object
gptkbp:instance_of	gptkb:theorem
gptkbp:bfsLayer	5
gptkbp:bfsParent	gptkb:Hugo_Steinhaus
gptkbp:applies_to	metric spaces
gptkbp:has_programs	gptkb:computer_science economics physics optimization
gptkbp:has_property	gptkb:software compactness connectedness completeness
gptkbp:historical_debate	gptkb:Kuratowski's_theorem gptkb:Zorn's_lemma Borsuk's theorem Lebesgue's theorem
https://www.w3.org/2000/01/rdf-schema#label	Steinhaus– Borsuk– Lebesgue– Kuratowski– Zorn theorem
gptkbp:is_considered	fundamental theorem cornerstone of set theory cornerstone of topology important result
gptkbp:is_discussed_in	gptkb:academic_conferences gptkb:book research papers mathematical journals
gptkbp:is_part_of	abstract algebra mathematical logic real analysis
gptkbp:is_related_to	gptkb:Zorn's_lemma gptkb:Lebesgue_measure topological spaces axiomatic set theory functional spaces functional equations general topology Banach spaces Hilbert spaces convex sets convex analysis Hausdorff spaces normed spaces measure spaces Borsuk's theorem Kuratowski's closure theorem Lebesgue's dominated convergence theorem linear spaces
gptkbp:is_used_in	gptkb:physicist functional analysis
gptkbp:named_after	gptkb:Hugo_Steinhaus Czesław Kuratowski Gottlob Frege Zorn Henri Lébesgue Karol Borsuk
gptkbp:related_to	gptkb:television_channel gptkb:collection