Heine–Borel theorem

<http://www.wikidata.org/entity/Q253214>

theorem about compact sets in Euclidean space

rdfs:label	"Boreli-Lebesgue'i teoreem"@et "Borel–Lebesgue-tétel"@hu "Heine-Borel teoremi"@tr "Heine-Borels sats"@sv "Heinen–Borelin lause"@fi "Heine–Borel theorem"@en "Satz von Heine-Borel"@de "Stelling van Heine-Borel"@nl "Teorema Heine–Borel"@id "Teorema de Heine-Borel"@ca "teorema de Heine-Borel"@es "teorema de Heine-Borel"@pt "teorema di Heine-Borel"@it "teoremo de Heine-Borel"@eo "théorème de Borel-Lebesgue"@fr "twierdzenie Heinego-Borela"@pl "Định lý Heine-Borel"@vi "Борел-Лебегова лема"@sr "лемма Гейне — Бореля"@ru "теорема Гейне-Бореля"@uk "משפט היינה-בורל"@he "مبرهنة هاين-بوريل"@ar "ஹெயின்-போரல் தேற்றம்"@ta "ဟိုင်းနား-ဘိုရဲလ် သီအိုရမ်"@my "ハイネ・ボレルの被覆定理"@ja "海涅-博雷尔定理"@zh "하이네-보렐 정리"@ko
skos:altLabel	"Borel-Lebesgue covering theorem"@en "Borel-Lebesgue theorem"@en "Borel–Lebesgue covering theorem"@en "Borel–Lebesgue theorem"@en "Heine-Borel theorem"@en "Heine–Pincherle–Borel theorem"@en "Teorema Borel-Lebesgue"@id "Teorema Borel–Lebesgue"@id "Teorema Heine-Borel"@id "Teorema Heine–Pincherle–Borel"@id "Teorema de Borel-Lebesgue"@ca "teorema di Heine-Pincherle-Borel"@it "Лемма Гейне-Бореля"@ru "博雷爾-勒貝格定理"@zh "有限覆蓋定理"@zh "海涅定理"@zh "海涅－博雷尔定理"@zh
schema:description	"matematikai állítás"@hu "mathematischer Satz"@de "równoważny warunek zwartości zbioru"@pl "teorema matematico"@it "teorema matemàtic"@ca "teorema mengenai himpunan kompak pada ruang Euklides"@id "theorem about compact sets in Euclidean space"@en "théorème de caractérisation de la compacité"@fr "定理"@zh "数学の定理のひとつ"@ja
schema:dateModified	"2026-09-07T10:46:48+00:00"^^xsd:dateTime
schema:version	2541642843
wikibase:identifiers	10
wikibase:sitelinks	24
wikibase:statements	18
p:P12385	wd:statement/Q253214-ae5c94a2-190d-4884-978a-ad72aaa19bd3
p:P1296	wd:statement/Q253214-A1384BAB-9821-4E66-B967-91ACE1B2CCB7
p:P138	wd:statement/Q253214-0686d220-4f12-a526-5c47-b210d4a55a7f
	wd:statement/Q253214-3c10beff-4bfe-d6ab-e153-5de9d02e274b
	wd:statement/Q253214-c0b39e03-4570-34f9-4a29-d33e35688654
p:P1417	wd:statement/Q253214-10881F70-70A5-4D9B-BDD8-922CC3720EAB
p:P14534	wd:statement/Q253214-3A9B4828-C487-4113-A6D7-D6D7218D7E67
p:P2534	wd:statement/Q253214-87F96A7B-4A6C-4BC8-AA60-79FE05D967AC
p:P2579	wd:statement/Q253214-096B85BE-5BB6-4EBB-B711-84E4B1C94818
p:P2812	wd:statement/Q253214-ee06300f-460d-bb7d-a03b-df1ad090a814
p:P31	wd:statement/Q253214-E5434A8C-B8AC-4B14-B6B4-2C0940B9030F
p:P361	wd:statement/Q253214-F4D72EE3-074D-4D1C-8525-C91681101E35
p:P6104	wd:statement/Q253214-7D9D5F2D-2F4F-46C3-8214-ACB67A4A06B1
p:P6366	wd:statement/Q253214-71176495-D58C-4792-973E-265192E0FAE9
p:P646	wd:statement/Q253214-56609547-C029-4421-8B6C-0DFC8BBF8800
p:P6781	wd:statement/Q253214-74b79644-493c-ecfe-d518-1e3377740351
p:P7554	wd:statement/Q253214-ade35834-41a6-52fc-343d-b6c65deca32c
p:P9621	wd:statement/Q253214-80996d86-40de-78b9-ead1-224fdc501e97
p:direct-normalized/P6366	<https://makg.org/entity/2779445803>
wdt:P12385	"teorema-de-borel-lebesgue"
wdt:P1296	"0011362"
wdt:P138	Émile Borel
	Henri Lebesgue
	Eduard Heine
wdt:P1417	"topic/Heine-Borel-theorem"
wdt:P14534	"Metric.isCompact_iff_isClosed_bounded"
wdt:P2534	"<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><msub><mi>C</mi><mrow data-mjx-texclass="ORD"><mi>T</mi></mrow></msub><mo stretchy="false">=</mo><msub><mi>C</mi><mrow data-mjx-texclass="ORD"><mi>K</mi></mrow></msub><mo stretchy="false">∪</mo><mo fence="false" stretchy="false">{</mo><mi>U</mi><mo fence="false" stretchy="false">}</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
wdt:P2579	calculus
wdt:P2812	"Heine-BorelTheorem"
wdt:P31	theorem
wdt:P361	list of theorems
wdt:P6104	WikiProject Mathematics
wdt:P6366	"2779445803"
wdt:P646	"/m/0g71c"
wdt:P6781	"Heine-Borel_Theorem"
wdt:P7554	"Borel-Lebesgue_covering_theorem"
wdt:P9621	"teorema-di-heine-pincherle-borel"

Download as:

Turtle JSON-LD RDF/XML

data from SPARQL profile: Wikidata