Vita:Borel–Lebesgue-tétel

Ez a szócikk témája miatt a matematikai műhely érdeklődési körébe tartozik.
Bátran kapcsolódj be a szerkesztésébe! Besorolatlan Ezt a szócikket még nem sorolták be a kidolgozottsági skálán. Nem értékelt Ezt a szócikket még nem értékelték a műhely fontossági skáláján. Értékelő szerkesztő: ismeretlen

Egyéb nevek

Én ezt a tételt Borel lefedési tételnek, vagy egyszerűen lefedési tételnek ismerem. (Az itt felsorolt neveket ishallottam már, és értem is.) Lehet az általam ismert két névről redirect erre, vagy van kifogásotok? Péter ✎ 2006. július 7., 21:09 (CEST)

Heine–Borel-tétel-ről csináltam átirányítást, a többiről, ha úgy gondolod, hogy sokan használhatják szintén érdemes lehet készíteni. Mozo 2006. július 7., 21:31 (CEST)

Tudna valaki értelmes kommentárt kitalálni erre az animációra: [1] biztos értelmes valahogy, de én nem jöttem rá, miként kéne ezt verbálisan artikulálni. Mozo 2007. november 29., 11:30 (CET)

Bizonyítása a Cantor tétellel

Szerintem az alábbi szöveg nem világos:

"A Cantor-féle közösrész tétel egy ekvivalens megfogalmazását fogjuk használni. Eszerint, ha \mbox{ }_{(F_\alpha)_{\alpha\in A}} R-beli korlátos és zárt halmazok olyan nemüres rendszere, hogy minden α, β ∈ A indexre létezik olyan γ ∈ A index, hogy Fγ ⊆ Fα∩Fβ (azaz lefelé irányított), akkor az \mbox{ }_{(F_\alpha)_{\alpha\in A}} halmazrendszer metszete nem üres."

Miért következik ez a Cantor tételből? Aki tudja a bizonyítását, az egészítse már ki, vagy még jobb lenne, ha a Cantor tételnél nyitna egy ekvivalens megfogalmazások szekciót és belinkelné ide az ottani bizonyítást.

Nem következik belőle, ez maga a Cantor-féle közösrész-tétel. A cikkben le is lett hivatkozva, ott vannak az ekvivalens megfogalmazások, sőt, többféle bizonyítás is. Tombenko ^vita 2016. március 20., 03:34 (CET)