A metrikus tér fogalma a matematikában olyan halmazt jelent, melyen egy távolságfüggvény, azaz metrika van értelmezve.[1] Ez a halmaz bármely két eleméhez nemnegatív valós számot rendel („két elem közti távolságot mér”). A fogalmat M. R. Fréchet francia matematikus vezette be (bővebben lásd a Története szakaszban).

A metrikus terek elméletének alapgondolata, hogy sok (sőt, valójában mindegyik) nemüres halmazon bevezethető olyan függvény, amely két elem „távolságát” méri. A távolság(függvény), metrika definíciója „axiomatikus”; a távolságfüggvényeknek meg kell felelni három, a számegyenesen mért távolságra is jellemző egyszerű tulajdonságnak (távolság ne függjön az elemek sorrendjétől; két elem távolsága akkor és csak akkor 0, ha e két elem egybeesik, egyébként távolságuk pozitív; továbbá érvényes legyen a „háromszög-egyenlőtlenség”). A pontosabb, matematikai leírást lásd a Távolság(függvény) szakaszban.

A metrika fogalmából számos matematikailag általában is releváns fogalom vezethető le, mint pl. a sorozatok konvergenciája, ponthalmazok dimenziója, vagy a rajtuk értelmezett különféle topológiák; továbbá geometriai fogalmak, mint pl. a gömb, az egyenes szakasz, és más egyszerűbb vagy összetettebb alakzatok, továbbá ponthalmazok egymáshoz viszonyított távolsága, az egybevágóság(i transzformációk) fogalma, vagy olyan differenciálgeometriai mennyiségek, mint pl. a torzióé stb.

Definíciók

szerkesztés

Távolság(függvény)

szerkesztés

Metrikus tér egy olyan   pár, ahol   tetszőleges nem üres halmaz,   pedig olyan nemnegatív valós értékű függvény, melyre tetszőleges   esetén:

  1.   (egyenlőségi tulajdonság)
  2.   (szimmetria)
  3.   (háromszög-egyenlőtlenség)

Ha (X,d) metrikus tér, X elemeit pontoknak, a d függvényt az X feletti metrikának vagy távolságfüggvénynek szokás nevezni. Az X részhalmazait, vagyis pontok tetszőleges halmazát, alakzatnak is nevezzük. Tehát a távolság ne legyen negatív, pontosan az egybeeső pontok távolsága legyen nulla, szimmetrikus legyen, és két pont közt legfeljebb akkora távolságot mérjünk, mintha még egy pontot közbeiktatnánk.

Topológiai fogalmak

szerkesztés

A metrikus tér fogalmának segítségével a valós számegyenesen vagy számsíkon értelmezett geometriai és topológiai fogalmak hasznos általánosításait lehet értelmezni (környezet, konvergencia, sűrűségfogalmak stb.). Ezek egyben legfontosabb és szemléletes mintái az általánosabb és igen absztrakt topológiai fogalmaknak.

  • Ha  ,  , akkor a
 

halmazt, azaz azon pontok halmazát, melyek az x-től ε-nál kisebb távolságra vannak, az x körüli, ε sugarú nyílt gömbnek nevezzük.

  • A   halmaz nyílt, ha minden   elemre van olyan   gömb, amire  . A nyílt halmazok rendszere az X halmazon topologikus teret alkot, ami beláthatóan Hausdorff-tér.
  • Az   halmaz zárt, ha komplementere nyílt (vagy ami ugyanaz, ha a konvergens pontsorozatok nem vezetnek belőle ki: határpontjuk is a halmazba eső pont).
    • Megjegyezzük, hogy egyes halmazok lehetnek nyíltak is meg zártak is (tehát nyíltság és zártság furcsamód nem ellentétes fogalmak).
  • Az   sorozat x-hez konvergál, ha  .
  • Ha   és   metrikus terek, akkor az   függvény izometrikus (távolságtartó), ha   teljesül minden   esetén. Ekkor f homeomorfizmus, de ez fordítva nem igaz.

Teljes metrikus terek

szerkesztés

Az (X,d) metrikus tér teljes, ha minden Cauchy-konvergens sorozat konvergens, azaz ha az   sorozat olyan, hogy   ha n és m mindketten végtelenhez tartanak, akkor van olyan   pont, hogy  . Minden metrikus tér izometrikusan beágyazható egy teljes metrikus térbe, és van olyan is, amiben a beágyazott tér képe sűrű.

Egy (X,d) metrikus tér lengyel tér, ha szeparábilis és teljes.

Geometriai fogalmak

szerkesztés

A metrikus terekben könnyen bevezethető a geometriából jól ismert egyenesszakasz fogalmának általánosítása. Ha A, B az (X,d) metrikus tér pontjai, akkor a Z pontot az A és B közbülső pontjának nevezzük, amennyiben érvényes d(A,Z)+d(Z,B)=d(A,B). Az euklideszi síkon két pont közbülső pontjainak halmaza a két pont által határolt egyenesszakasz. A közbülső pontok fogalmára építve bevezethetőek olyan geometriai fogalmak metrikus terekben, mint pl. a konvexitás vagy egy felület görbülete. Az ilyen irányú vizsgálatokban főleg Karl Menger osztrák matematikus ért el sikereket.

Rengetegféle (sokszorosan végtelen sok) példát említhetünk, néhányuk:

A diszkrét metrikus tér

szerkesztés

Tetszőleges X halmaz metrikus térré tehető a diszkrét metrika (Hamming-metrika) segítségével, melyet a következőképp értelmezünk:

 

Az (X, δ) párt az X halmaz feletti diszkrét metrikus térnek nevezzük. E terek matematikai alkalmazására több értelmes példát is lehet találni, az egyik ilyen például, ha X egy n+1 pontból álló olyan ponthalmaz az n dimenziós euklideszi térben, melyre igaz, hogy bármely két (különböző) pont euklideszi távolsága 1. Ilyen ponthalmazok, melyeket az n dimenziós tér szimplexeinek nevezünk, mindig léteznek (n=1-re, 2-re, 3-ra a szimplexek rendre: az 1 hosszú szakasz két végpontjából; a szabályos háromszögek csúcsaiból, illetve szabályos tetraéder csúcsaiból álló ponthalmazok).

Euklideszi terek

szerkesztés

A hagyományos euklideszi sík- és térgeometria pontjai modellezhetőek valós számok rendezett n-eseivel, azaz n dimenziós vektorokkal. Például a sík egy pontja megadható egy P=(x,y) számpárral, a tér egy pontja egy P=(x,y,z) számhármassal. Általában akárhány n dimenziós térben is a pontok megadhatóak   szám-n-essel (   ). A   számot a pont i-edik koordinátájának nevezzük. A valós szám-n-esek halmazát  -nel jelölve, értelmezhető a következő  -nel jelölt metrika:

 

Ez tehát – röviden szólva – a koordinátakülönbség-négyzetek összegének a gyöke. Az   párt n dimenziós euklideszi térnek nevezzük. Egyébként e metrikák definíciója és magyarázata a Pitagorasz-tételen alapul; hogy tényleg metrika, azaz tényleg teljesíti a háromszög-egyenlőtlenséget, azt a Cauchy–Bunyakovszkij–Schwarz-egyenlőtlenség mondja ki.

Például az euklideszi síkot Descartes-módra koordinátázva a P(2,3) és Q(4,-1) pontok távolsága   hosszegységnyi.

Hölder-terek

szerkesztés

Az euklideszi terek általánosításai a "diszkrét dimenziós" Hölder-terek (vagy Minkowski-terek) (ide sorolhatóak még az ún. valós vagy diszkrét dimenziós Csebisev-terek is), melyek esetén a metrikában négyzetgyök helyett "p-edik gyök" ( , azaz  -edik hatvány szerepel; és a koordinátakülönbségeket nem a második, hanem a p-edik hatványra emeljük; de ez előtt még ezek az abszolút értékeit is képezzük.

 

A „Földgömb-tér”

szerkesztés

Adott a háromdimenziós euklideszi térben egy r sugarú gömb (például durva közelítéssel mondjuk a Föld). A gömbfelszínen mozogva általában (hacsak nem fúrunk alagutakat) nem használhatjuk az euklideszi távolságfogalmat; például egy óceánon hajózva valójában nem az euklideszi térbeli egyenesek mentén, hanem görbe vonalak mentén mozgunk, és ezért két pont között az euklideszi távolságnál jóval hosszabb utat teszünk meg. Belátható, hogy az euklideszi tér tetszőleges, a gömbfelszínen elhelyezkedő A,B pontja esetén, ha ezek euklideszi távolságát d(A,B) jelöli (ez az A,B közti egyenesszakasz hossza), akkor az A,B pontok közt a gömbfelszínen lévő utak közt a legrövidebb az A,B pontokon és a gömbközépponton átmenő síknak a gömbhéjjal való metszetének – mely egy kör lesz, az A,B pontok ún. főköre – mint körnek az A,B pontok közé eső rövidebb íve lesz. Egyszerű számolással adódik, hogy erre teljesül

 

ahol d(A,B) a háromdimenziós euklideszi metrika. Az így értelmezett függvény is metrika a gömbfelszín pontjainak halmaza felett.

Folytonos függvények tere

szerkesztés

Nevezik még folytonos Csebisev-térnek is.

Az   valós számok halmazában jelölje   az   folytonos függvények halmazát.

Legyen

 

ezt a metrikát a C(a, b) tér feletti Csebisev-metrikának, vagy maximummetrikának nevezzük. Szemben a „diszkrét dimenziós” Csebisev-térrel, mely két N dimenziós vektor koordinátakülönbség-abszolútértékeinek maximumát veszi távolságként (N véges természetes szám vagy pedig a természetes számok halmazának számossága, alef-null), a fenti függvényeken értelmezett metrika olyan, mintha végtelen (kontinuum) dimenziós vektorokon értelmeznénk egy hasonló fogalmat; azonban a maximum létezéséhez szükséges, hogy a függvények folytonosak legyenek. Néha a maximum helyett használatos a szuprémum kifejezés is.

Metrizálhatóság

szerkesztés

Minden metrikus tér egyben topologikus tér, amit a metrika segítségével meghatározott nyílt halmazok írnak le. A topológia egyik, hosszú ideig nyitott problémája volt, hogy melyek azok a topologikus terek, amelyek topológiája metrikából származtatható. Ezt végül is a Bing–Nagata–Szmirnov-tétel válaszolta meg teljesen.

Általánosítások és változatok

szerkesztés
  • Ha elhagyjuk az egyenlőségi tulajdonság „felét” (azt a feltételt, hogy csak az egyenlő pontok távolsága lehet 0), azaz a
d(x,y)=0x=y feltételt,
akkor pszeudometrikus térről beszélünk.
  • Ha elhagyjuk a szimmetria feltételét, azaz nem követeljük meg a
d(x,y) = d(y,x) feltételt,
akkor kvázimetrikus térről beszélünk.
  • Az (X,d) metrikus tér ultrametrikus, ha a háromszög-egyenlőtlenség helyett az erősebb
d(x,z) ≤ max(d(x,y),d(y,z))
feltétel teljesül.

Speciális esetek

szerkesztés

Számos fontos, az analízis és topológia tételeinek megfogalmazását vagy problémáinak megoldását tulajdonság értelmezhető metrikus terekre (vagy részhalmazaikra), pl. a mindenütt sűrűség, a sehol sem sűrűség, az összefüggőség, a szeparábilitás.

A kompakt és összefüggő metrikus tereket hívják a mai matematikai szakirodalomban kontinuumnak.[2]

Története

szerkesztés

A metrikák és metrikus terek elméletének alapjait a francia Maurice René Fréchet(wd) (1878–1973) fektette le egy 1903-as, mások szerint egy 1906-os cikkében ('Sur quelques points du calcul fonctionnel, Rendiconti del Circolo Matematico di Palermo, 22 (1906), 1–74.). Fréchet alapvető észrevétele az volt, hogy e távolságfogalom alapja lehet egy általános, valós számok sorozatain túli konvergenciafogalom felépítésének. Az elméletet Hermann Minkowski, Riesz Frigyes, David Hilbert, Stefan Banach, Felix Hausdorff, Neumann János és egyéb neves matematikusok fejlesztették tovább.

A metrikus terek fontos és talán legismertebb és legjelentősebb matematikán kívüli alkalmazásukat a múlt század elején megszülető kvantummechanika elméletében nyerték. Hilbert, Riesz és N. Wiener – elsősorban a Fourier-analízis körében felmerült problémák által motiválva – bevezették a Hilbert-tér fogalmát és konkrét példákat is konstruáltak hozzá. A Hilbert-tér a vektorterek topologikus fajtája: benne az ún. skaláris szorzat fogalmára alapozva norma és távolság – vagyis topológiai fogalmak – is bevezethetőek. Neumann János a Hilbert-tereket használta arra, hogy megmutassa: a kvantummechanika két addig ismert felépítése (a Heisenberg-féle mátrix-mechanika, lényegében az l2 Hilbert-tér és a Schrödinger-féle hullám-mechanika, lényegében az L2[a,b] tér) ekvivalens.

A metrikus tereknek jelentőségük van a függvényanalízis, de a geometria különféle axiomatikus megalapozásai, elméletei terén is. A geometria Hilbert-féle axiómarendszerét George David Birkhoffnak sikerült egy sokkal kevesebb axiómát tartalmazó, elegánsabb metrikus szemléletű rendszerrel helyettesíteni, az ún. vonalzó-axióma bevezetésével.

Miután Hausdorff definiálta a topologikus tér fogalmát (1914), kiderült, hogy az analízis a távolság-fogalomra alapuló metrikus terek helyett a "szomszédság, közelség, folytonosság" szemléletes tartalmát általánosabban megragadó környezet-fogalomra épülő topologikus terekre is támaszkodhat. Kiderült azonban, hogy a topologikus terek többsége nem viselkedik szokványosan: például a pontsorozatok határértéke nem egyértelmű. Ez egy új kutatási irány, a topologikus terek metrizálhatóságának vizsgálata irányába vezetett: melyek azok a topologikus terek, melyekben definiálható egy metrika, ami éppen az adott topológiát generálja. Nem minden topologikus tér metrizálható ilyen értelemben.

Az elmúlt századokban sokan úgy gondolták, hogy a folytonos függvények néhány ponttól eltekintve minden pontjukban differenciálhatóak, azaz az ilyen függvények görbéjének van olyan nagyítása, amelyben e pont körül már teljesen simának, egyenesnek látszanak. Végül kiderült, hogy ez nem így van. Sikerült olyan folytonos függvényeket konstruálni (elsőként 1830-ban Bernard Bolzanónak, 1860–70 között pedig több példát is Karl Weierstrassnak), amelyek nemhogy kevés ponttól eltekintve, hanem egyetlen pontban sem deriválhatóak. A folytonosság és differenciálhatóság kapcsolata volt a metrikus terek elméletének alkalmazhatóságát létével bizonyító egyik első nem-alkalmazott (csupán elméleti) matematikai problémakör. A legfontosabb ezzel kapcsolatos terület a Banach-terek tana, ezek első rendszeres tárgyalása Stefan Banach egy 1932-es tanulmányában található. A Banach-tér a Hilbert-tér általánosítása, lineáris normált (tehát metrikus) és ún. teljes tér, melyben azonban a norma nem skalárszorzatból származik. Fontos eszköz a funkcionálanalízisben, például segítségével általánosítható, absztraktabban tárgyalható a derivált fogalma.

Jelenleg a metrikus terek alkalmazása elterjedt a fizikában. A kvantummechanika például matematikailag legnagyobbrészt a Hilbert-terek elmélete (utóbbi fogalmat Neumann János vezette be 1929-ben). A relativitáselméletnek és egyéb kozmológiai elméleteknek is fontos matematikai alapját jelentik.

  1. A magyar „mérték” szó kétértelmű, meg kell különböztetnünk a metrika (mérték, ang. metric) fogalmát egy halmaz hatványhalmazán értelmezett ún. mérték (angolul measure) fogalmától, mely szintén topológiai eredetű fogalom, de míg az előbbi értelemben vett mértékek (metrikák) a „távolság” fogalmát próbálják absztrahálni, egy halmaz elempárjaihoz rendelve nemnegatív számot, addig az utóbbi értelemben vett mérték a „valószínűség” és a „terület” fogalmának általánosítása, és egy halmaz (kettőnél akár több, esetleg végtelen sok elemű) részhalmazaihoz rendel nemnegatív számokat. E kétértelműség miatt az előbbi értelemben vett mérték fogalmára az idegen eredetű „metrika” kifejezést alkalmazzuk a „mérték” szó helyett.
  2. Janusz J. Charatonik: Depth of Dendroids, Mathematica Pannonica, V/1 (1993), 111–117. o. (PDF, angolul), (Hozzáférés: 2012. április 22.)
  • Szőkefalvi-Nagy Béla: Valós függvények és függvénysorok, Tankönyvkiadó, Budapest, 1972, R.Sz. 42, 112.
  • Walter Rudin: Bevezetés a matematikai analízisbe
  • Alexits György: A halmazelméleti geometria újabb fejlődése', (összefoglaló cikk a metrikus terek elméletének fejlődéséről az 1930-as évekig bezárólag), Matematikai és fizikai lapok, 45. évf., (1938) január-június, (1970-es újrakiadás: Bolyai János Matematikai Társulat, 39–77. o.)
  • Rimán János: Matematikai analízis II.