Ero sivun ”Kompaktius” versioiden välillä

[katsottu versio][katsottu versio]
Poistettu sisältö Lisätty sisältö
-
Rivi 10:
 
== Historia ja motivaatio ==
Käsitteen ''kompaktius'' esitti [[Maurice René Fréchet|Fréchet]] vuonna [[1906]]. Tätä ennen oli jo pitkään huomattu, että kompaktin avaruuden tyyppinen käsite on välttämätön useiden hyödyllisten teoreemojen todistamisessa. Tällöin useimmiten kompaktiudella tarkoitettiin "jonokompaktiutta" (jokaisella [[jonolukujono|jonolla]]lla on suppeneva osajono). Näitä ideoita käytettiin lähinnä [[metrinen avaruus|metrisiä avaruuksia]] tutkittaessa. "Peitekompaktius" osoittautui vielä lupaavammaksi, sillä sen avulla päästiin tutkimaan yleisiä topologisia avaruuksia, jolloin useat metristä avaruutta koskevat tulokset voitiin yleistää topologisille avaruuksille. Tämä on erityisen hyödyllistä [[funktioavaruus|funktioavaruuksia]] tutkittaessa, sillä useimmat näistä eivät ole metrisiä.
 
Yksi syy opiskella kompaktien joukkojen topologiaa on se, että ne ovat tietyllä tapaa samanlaisia kuin [[äärellinen joukko|äärelliset joukot]]. Monet äärellisiä joukkoja koskevat tulokset yleistyvät pienillä muutoksilla kompakteja avaruuksia koskeviksi tuloksiksi. Joidenkin matemaatikkojen mielestä "kompaktius on seuraavaksi paras joukkojen ominaisuus äärellisyyden jälkeen". Esimerkiksi on voimassa