Metrinen avaruus: määritelmä, etäisyysfunktio ja esimerkit
Tutustu metriiseen avaruuteen: selkeä määritelmä, etäisyysfunktion ominaisuudet ja havainnollistavat esimerkit, jotka selventävät käsitteen käyttöä ja sovelluksia.
Metrinen avaruus on matematiikan käsite: On olemassa funktio, joka ottaa kaksi argumenttia, jotka ovat joukon elementtejä, ja palauttaa reaaliluvun, jota yleensä kutsutaan näiden elementtien väliseksi etäisyydeksi d. Funktion on oltava symmetrinen: d(x,y) = d (y,x).
Määritelmä ja metriikan ehdot
Metrinen avaruus on pari (X, d), jossa X on joukko ja d: X × X → [0, ∞) on funktio (etäisyys), joka täyttää seuraavat ehdot kaikille x, y, z ∈ X:
- Ei-negatiivisuus: d(x,y) ≥ 0.
- Identtisyys: d(x,y) = 0 täsmälleen silloin kun x = y (eli d(x,x) = 0 ja d(x,y) = 0 ⇒ x = y).
- Symmetria: d(x,y) = d(y,x).
- Kolmioepäyhtälö: d(x,z) ≤ d(x,y) + d(y,z).
Nämä ominaisuudet ovat perusta sille, miten käsittelemme etäisyyttä ja läheisyyttä metrillisessä avaruudessa.
Perusesimerkit
- Realin akseli: X = ℝ ja d(x,y) = |x − y|. Tämä on perusesimerkki metrillisestä avaruudesta.
- Euclidinen metriikka: X = ℝ^n, d(x,y) = sqrt(∑_{i=1}^n (x_i − y_i)^2). Tätä kutsutaan usein euklidiseksi etäisyydeksi.
- Taxicab-metriikka (L1): d(x,y) = ∑_{i=1}^n |x_i − y_i|. Soveltuu tilanteisiin, joissa liikutaan ruudukossa.
- Supremum-metriikka (L∞): d(x,y) = max_{1≤i≤n} |x_i − y_i|.
- Diskreetti metriikka: d(x,y) = 0 jos x = y, muulloin 1. Tämän metrikan induusoima topologia on diskreetti: jokainen yksittäispiste on avoin.
- Normista johdettu metriikka: jos V on vektoriavaruus ja ||·|| on normi, määritellään d(x,y) = ||x − y||. Tämä on yleinen tapa saada metriikka funktionaalisissa avaruuksissa.
- Funktioavaruudet (sup-metriikka): esimerkiksi C([a,b]) (jatkuvat funktiot välillä [a,b]) varustetaan metrilla d(f,g) = sup_{x∈[a,b]} |f(x) − g(x)|.
- Verkon etäisyys: solmujen etäisyys voidaan määritellä lyhimmän polun pituutena painottomassa verkossa.
Avoimet pallot, topologia ja läheisyys
Avoin pallo keskipisteellä x ja säteellä r > 0 määritellään B(x,r) = {y ∈ X : d(x,y) < r}. Metrisestä avaruudesta saadaan luonnollinen topologia: joukko U on avoin jos jokaista x ∈ U kohti on olemassa r > 0 siten, että B(x,r) ⊂ U. Monet topologiset käsitteet, kuten avoimuus, sulkeuma ja raja-arvot, voidaan siten ymmärtää metrillisissa avaruuksissa etäisyyden avulla.
Konvergenssi ja Cauchy-jonot
- Konvergenssi: Jono (x_n) konvergoi pisteeseen x jos d(x_n, x) → 0 kun n → ∞.
- Cauchy-jono: Jono (x_n) on Cauchy jos jokaista ε > 0 varten on N niin että n,m ≥ N ⇒ d(x_n, x_m) < ε. Ajatuksena on, että jonon jäsenet lähestyvät toisiaan.
- Täydellisyys: Metrinen avaruus on täydellinen jos kaikki Cauchy-jonot konvergoivat avaruuden sisällä. Esimerkiksi (ℝ, |·|) on täydellinen, mutta rationaaliluvut ℚ tavallisessa etäisyydessä eivät ole täydellisiä (Cauchy-jonot voivat lähestyä irrationaaleja raja-arvoja).
Komnesuus ja rajakäsitteitä
Metriikassa kompaktius tarkoittaa että jokaisella avoimella peitteellä on äärellinen alipetokseen tai vastaavasti (metrillisissa avaruuksissa) että jokaisella jollakin jonoilla on konvergoiva alijono. Muita tärkeitä käsitteitä ovat pisteiden eristävyys, rajoitettavuus (boundedness) ja totaalinen rajoitettavuus (totally bounded), jotka liittyvät usein kompaktisuuteen.
Yhden metrin ja metrien väliset suhteet
- Isometria: Kartta f: (X,d_X) → (Y,d_Y) on isometria jos d_Y(f(x), f(y)) = d_X(x,y) kaikille x,y. Isometria säilyttää etäisyydet tarkasti.
- Ekvivalenssi ja sama topologia: Kaksi metriikkaa d and d' antavat saman topologian jos identtinen kuvaus on kotitekoisesti jatkuva molempiin suuntiin; tällöin avoimet pallot suhteessa toiseen metriikkaan voidaan peittää sopivilla avoimilla palloilla toisessa metriikassa.
- Lipschitz ja bi-Lipschitz: Kartta f on Lipschitz jos on olemassa L säännöllinen niin että d_Y(f(x),f(y)) ≤ L d_X(x,y). Bi-Lipschitz-kartta on kahdensuuntainen Lipschitz ja siten säilyttää geometrisia mittasuhteita kontrolloidusti.
Lyhyesti: miksi metrisiä avaruuksia käytetään?
Metriset avaruudet ovat luonnollinen ja konkreettinen tapa mitata etäisyyksiä ja keskustella jatkuvuudesta, konvergenssista ja topologiasta. Ne tarjoavat helpon ja intuitiivisen kehyksen analyysille, differentiaaligeometrialle, algoritmeille verkostoissa ja monille sovelluksille matematiikassa ja sen ulkopuolella.
Jos haluat, voin lisätä esimerkkejä konkreettisista laskuista eri metriikoilla, piirtokuvia (kuvaus diskreetistä ja euklidisesta pallosta) tai selittää yksityiskohtaisemmin täydellisyyden ja metrien ekvivalenssin erot.
Etsiä