Ero sivun ”Kompaktius” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa
Ei muokkausyhteenvetoa
Rivi 1:
'''Kompaktius''' on yksi topologian peruskäsitteistä. Avaruus X on sellainen joukko, että sen jokaisella avoimella peitteellä on äärellinen osapeite. Metrisissä avaruuksissa tämä on yhtäpitävää sen kanssa että X:n jokaisella jonolla on suppeneva osajono.
 
Kompaktin avaruuden suljettu osajoukko on kompakti ja kompaktin joukon kuva jatkuvassa kuvauksessa on kompakti. Jos X on kompakti ja <math>f:X \to \mathbb{R}</math> on jatkuva, niin tällöin f saa suurimman ja pienimmän arvonsa.