Sokaság (matematika)
A matematikában a sokaság egy olyan topologikus tér, amely lokálisan minden pontja körül egy Euklidészi térre hasonlít. Pontosabban megfogalmazva, egy -dimenziós sokaság egy olyan topologikus tér, melyben minden pontnak van olyan környezete, amely homeomorf az -dimenziós Euklidészi tér egy nyílt részhalmazához.
Egydimenziós sokaság például az egyenes, a kör, viszont nem tartozik a sokaságok közé a lemniszkáta, azaz a végtelen jele. Kétdimenziós sokaságokat általánosan felületeknek nevezünk, ismertebb példái a sík, a gömb, a tórusz vagy a Klein-féle palack.
A sokaság fogalma jelentős fontossággal bír a geometria számos területein és a matematikai fizikában, mert lehetővé teszi bonyolult alakzatok egyszerűbb leírását ismert terek topológiai tulajdonságai által. A sokaságok megjelenhetnek egyenletrendszerek megoldáshalmazaiként vagy függvények grafikonjaiként egyaránt.
A sokaságokat el lehet látni további struktúrával, hogy konkrétabb példákban legyenek alkalmazhatóak: a differenciálható sokaság, mely egy halmaz ellátva egy differenciálható struktúrával, a differenciálgeometria egyik legfontosabb fogalma. Egy Riemann-metrikával ellátott sima sokaságon meghatározhatóak szögek és hosszak egy nem feltétlenül lapos (Euklidészi) téren. Szimplektikus sokaságokkal modellezhetőek a Hamilton-féle klasszikus mechanika fázisterei, továbbá Lorentz-sokaságokkal leírható a téridő az általános relativitáselméletben.
Története
szerkesztésA sokaságok fogalmának kialakulása a matematika számos fontos területét igénybe vette, ugyanis olyan fogalmak általánosításaként szolgál, mint a görbe vagy a felszín, de a lineáris algebra és topológia számos ötletét is továbbvitte.
A nemeuklideszi geometria olyan terekkel foglalkozik, ahol Eukleidész párhuzamossági axiómája nem teljesül. Gauss, Bolyai és Lobacsevszkij a 19. században olyan tereket tanulmányoztak, melyek geometriai tulajdonságai eltérnek az euklideszi tér jellemzőitől: az általuk kutatott hiperbolikus és elliptikus geometria napjainkban már megfeleltethetőek olyan Riemann-sokaságoknak, melyeknek görbülete állandó, az elliptikus esetben pozitív, a hiperbolikus esetben negatív.
Gauss Theorema egregiumjában bizonyította, hogy egy felszín Gauss-görbülete intrinzikus, tehát nem függ a felület külső térbeli alakjától. Topológiában a sokaságok vizsgálatának fontos része hasonló intrinzikus (vagy invariáns) mennyiségeknek keresése. Pontosabb megfogalmazásban, egy topologikus invariáns olyan tulajdonsága egy adott topologikus térnek, amit nem változtat meg homeomorfia. A topologikus invariánsok kiszámításának egyik történelmi példája az Euler-féle poliédertétel, mely kimondja, hogy egy konvex poliéderre mindig teljesül
- ,
ahol a poliéder csúcsainak, a lapjainak és az éleinek számát jelöli. Az egyenlet bal oldala az úgynevezett Euler-karakterisztika. Amennyiben a poliéder csúcsait és éleit egy gömbfelületre képezzük le, az egyenlet ugyanúgy teljesül, ugyanis egy konvex poliéder felszíne homeomorf a gömbfelszínnel. Ezáltal az Euler-karakterisztika a gömb egy topologikus invariánsa. Hasonló konstrukciókkal bizonyítható, hogy a tórusz (és a tórikus poliéderek) Euler-karakterisztikája 0. Más felszínek Euler-karakterisztikája is fontos topologikus invariáns, amely általánosítható magasabb dimenziókba a Betti-számok segítségével. Egy felszín Euler-karakterisztikája és Gauss-görbülete közötti összefüggést a Gauss–Bonnet-tétel mondja ki.
Habár a sokaság kifejezés a Riemann által használt Mannigfaltigkeit szóból ered, a 18-19. században számos matematikai és fizikai eredmény volt köszönhető olyan konstrukcióknak, melyekre napjainkban már sokaságként utalunk: az elliptikus integrálok inverzeinek vizsgálatához mai terminológiával komplex sokaságokra volt szükség, a klasszikus mechanikában a generalizált koordináták által meghatározott fázistér is leírható egy sokasággal, mely akkor tér el az Euklideszi tértől, amikor a részecskék mozgása nem szabad.
A Riemann-féle leírás szerint egy sokaság minden olyan értéknek a halmaza, melyet egy változó felvehet valamilyen kényszerfeltételek teljesülése mellett. A differenciálható sokaság (franciául variété) definíciónak elődjét Henri Poincaré adta meg az Analysis Situs című munkájában 1895-ben.[1][2] A Poincaré-féle definíció szerint a sokaság olyan Euklideszi tereken értelmezett folytonosan differenciálható függvények szinthalmaza, melyek Jacobi-mátrixa invertálható. Ezen definíció szerint bármely folytonosan differenciálható függvény grafikonja egy sokaság. Továbbá, az implicitfüggvény-tétel szerint egy Euklideszi tér bármely részsokasága lokálisan leírható egy függvénygrafikonnal. Poincaré ebben a munkájában az atlasz definíciójának elődjét is megalkotta, amit akkoriban sokaságláncnak (une chaîne des variétés) nevezett el.
Az 1911-12-es előadássorozatában Hermann Weyl fogalmazta meg a differenciálható sokaságok olyan definícióját, mely végül a topologikus terek fogalmához vezetett. Az 1930-as években többek között Hassler Whitney egységesítette a differenciálgeometria és a Lie-csoportok elméletének eredményeit, amely így a sokaságok témájának alapjait matematikailag precíz módon fektette le. Továbbá, Whitney beágyazási tétele kimondja, hogy a térképek által motivált sokaság-definíció megegyezik Poincaré leírásával.[3]
A kétdimenziós sokaságokat (azaz felületeket) Poul Heegaard és Max Dehn osztályozta a 20. század elején. A háromdimenziós sokaságok egyik legismertebb tétele a Poincaré-sejtés, melyet majdnem egy évszázaddal a sejtés publikálása után bizonyított Perelman 2002-ben.[4] A Poincaré-sejtést általánosítja a William Thurston által 1982-ben megjelenített geometrizációs sejtés, melyet 2006-ban bizonyított szintén Perelman.[5] A négydimenziós sokaságok vizsgálatának főbb motivációja a Yang-Mills elmélet az elméleti fizikában. Andrej Markov bizonyította, hogy nem létezik olyan algoritmus, mely meg tud bármely zárt, kompakt, sima négydimenziós sokaságot különböztetni egymástól.[6]
Definíciók
szerkesztésTopologikus sokaságok
szerkesztésGeometriában és topológiában minden sokaság egy topologikus sokaság, amely a következőképp van definiálva:
Egy adott topologikus tér egy -dimenziós sokaság, ha Hausdorff (T2), megszámlálható bázisa van (M2), és minden -nek létezik olyan környezete, ami homeomorf -nel. Homeomorfiának nevezünk egy olyan leképezést két topologikus tér között, amely bijekció, folytonos és az inverze is folytonos. Habár léteznek nem-Hausdorff sokaságok is, ezek inkább tekinthetőek a sokaság-fogalom általánosításaként, így a leggyakrabban egy sokaság Hausdorff-nak és megszámlálható bázisúnak van definiálva.
Peremes sokaságok
szerkesztésHabár a sokaságokat nyílt halmazok segítségével definiáljuk, ez nem zárja ki a lehetőségét annak, hogy egy sokaságnak pereme legyen. Például, a körlap (vagy korong) egy kétdimenziós sokaság, melynek pereme a kör, mely egy egydimenziós sokaság. Precízebb megfogalmazásban egy peremes sokaság egy olyan topologikus tér, mely T2, M2, és bármely pontnak létezik egy olyan környezete, ami homeomorf a halmazhoz. Az így definiált sokaság pereme (általános jelölés szerint ) azon pontok halmaza, melynek nem létezik -nel homeomorf környezete. Továbbá, egy -dimenziós peremes sokaság pereme egy -dimenziós (nemperemes) sokaság.
Differenciálható sokaságok
szerkesztésAhhoz, hogy egy adott sokaságon differenciál- és integrálszámítást végezzünk, nem elegendő a topologikus sokaság definíciója, további struktúrára van szükség. Amennyiben egy -dimenziós topologikus sokaság, olyan nyílt részhalmaza -nek, mely homeomorf -nel és , akkor egy homeomorfizmust egy körüli térképnek nevezünk. Olyan térképek halmazát, melyek értelmezési tartománya lefedi -et, egy atlaszának nevezzük.
Amennyiben és nem diszjunkt nyílt részhalmazai -nek és , térképek, akkor a következő kompozíció segítségével definiálható egy homeomorfia két részhalmaza között:
melyre ezáltal alkalmazhatóak a többváltozós differenciálszámítás szabályai. Ha egy ilyen függvény és az inverze is -szer differenciálható, akkor -diffeomorfizmusnak nevezzük. Ha egy atlaszban minden térképpárból alkotható egy ilyen -diffeomorfizmus (tehát tetszőlegesen sokszor differenciálható) két részhalmaza között, akkor az atlasz kiterjeszthető egy sima struktúrává. Egy sima struktúrával ellátott topologikus sokaságot sima sokaságnak hívunk. Amennyiben ezek a diffeomorfizmusok csak -szer deriválhatóak, akkor a sokaságot -differenciálható sokaságnak nevezzük. Differenciálható sokaságokon definiálhatóak tangens terek vagy érintőterek, melyek vektorterek és segítségükkel általánosítható olyan leképezések deriválása, melyeknek értelmezési tartománya és értékkészlete is egy sokaság részhalmaza. Az érintőterek mindig a sokaság egy pontjához tartoznak, ezek gyűjteményét (diszjunkt unióját) tangens nyalábnak vagy érintőnyalábnak hívjuk, melyek segítségével vektormezők és magasabb rendű tenzormezők is definiálhatóak sokaságokon. Differenciálformák (melyek leképezések sokaságon definiált tenzormezők és skalármezők között) által pedig az integrálszámítás is kiterjeszthető a sima sokaságokra.
A térkép és az atlasz definiálásának nem előfeltétele, hogy a sokaság differenciálható vagy sima legyen. Sőt, térképek segítségével rendkívül hatékony sokaságokat konstruálni.
Egyéb sokaságok
szerkesztés- A komplex sokaság olyan sokaság, melynek térképeinek értékkészlete helyett , és a térképek által definiált homeomorfiák adott részhalmazain holomorfak. A komplex sokaság a komplex geometriának egyik legfontosabb fogalma.
- A szimplektikus sokaság olyan sokaság, mely el van látva egy 2-formával, mely a Poisson-zárójelet definiálja.
- A Riemann-sokaság egy olyan sima sokaság, melynek bármely pontbeli tangenstere egy skalárszorzatos vektortér, ami így lehetővé teszi hosszok és szögek kiszámítását egy sima sokaságon.
- A Lie-csoport olyan differenciálható sokaság, mely csoportstruktúrával is el van látva, ahol a csoportművelet tetszőlegesen sokszor differenciálható.
Sokaságok konstrukciója
szerkesztésKonstrukció térképek segítségével
szerkesztésKör
szerkesztésA sokaság definíciója olyan példákból motiválódott, ahol térképek segítségével próbáltak meg bizonyos felszíneket vagy térfogatokat jellemezni. Ennek legegyszerűbb példája a kör, amelyről négy térkép segítségével könnyen látható, hogy egy topologikus sokaság. Mivel a topológia adott alakzatok folytonos (szakítás és ragasztás nélküli) deformációját az alakzattal egyenértékűnek (homeomorfnak) tekinti, így a kör egy adott ívhossza megfeleltethető egy egyenes kis részének, mivel az egyenes egy adott intervallumának meghajlítása egy folytonos deformáció. Az egységkör egyenlete . A kör felső (az ábrán sárga) ívének -koordinátája pozitív és minden pontját egyedien meghatározza az -koordinátája. Ebből következik, hogy a
egy folytonos és invertálható leképezés a sárga ív és a valós intervallum között, így egy térkép. Hasonlóképp lehet a kör többi térképeit meghatározni:
- .
Mivel az előbb megadott négy térkép értelmezési tartománya lefedi az egész körívet, így egy atlaszt alkotnak.
Az ábrán látható, hogy például a sárga és a zöld ívek metszete nem üres, hanem a kör azon pontjait tartalmazhatja, melyek és -koordinátája is pozitív. Ennek következtében a és térképek a metszet bármely pontját a nyílt intervallum egy pontjába képezi le. A következő valós függvény
a értékkészletéből a metszet (és ezáltal a körív) egy pontjába képez le az invertált térkép segítségével, majd a zöld térképpel vissza az intervallumba. A konstrukció szerint egy homeomorfia, melynek értelmezési tartománya és értékkészlete is nyílt részhalmaza. Ebből következik, hogy a kör egy egydimenziós sokaság. Egy tetszőleges ponton kiértékelve:
Fontos megjegyezni, hogy nem ez a kör egyetlen lehetséges atlasza, viszont egy kör jellemzéséhez legalább két térképre van szükség: a körív egészéhez lehetséges egy egyenes szakaszt hozzárendelni, viszont akkor a szakasz kezdő- és végpontja ugyanahhoz a ponthoz van hozzárendelve, így nem invertálható, tehát nem térkép. Egy lehetséges példa egy két térképes atlaszhoz a következő:
A térképek egyike sem elegendő, hogy egymaga lefedje a körvonal egészét, hiszen értelmezési tartományából a , míg értelmezési tartományából a pont hiányzik.
Gömb
szerkesztésA kör példája a következőképp általánosítható a gömbfelület jellemzéséhez: a gömb az olyan részhalmaza, amely a következő egyenlőséget teljesíti:
A sík két részre osztja a gömböt: felső ( ) és alsó ( ) félgömbre. A felső félgömb összes pontja egyedileg meghatározható az és koordinátáik megadásával, így a
egy lehetséges térkép. A térkép értékkészlete egy részhalmaza, így a gömb egy kétdimenziós sokaság. Hasonlóképp határozható meg az alsó félgömb térképe is, viszont ez a két térkép nem fedi le a gömbfelület egészét, ugyanis a gömb és a sík metszete hiányzik. A legegyszerűbb megoldás további négy térkép megadása a bal, jobb, elülső és hátulsó félgömb meghatározására, így a gömbfelület összes pontja legalább egy térkép értelmezési tartományában szerepel. Habár létezik a gömbnek olyan atlasza, mely mindösszesen két térképet tartalmaz, ez a konstrukció szemlélteti, hogy magasabb dimenziójú gömbfelületekre ( ) is létrehozható egy atlasz.
Konstrukció más sokaságokból
szerkesztésMár ismert sokaságok segítségével további sokaságok hozhatóak létre:
- Amennyiben egy -dimenziós sokaság, pedig egy -dimenziós sokaság, a Descartes-szorzatuk egy -dimenziós sokaság, amennyiben a szorzat-topológiával el van látva.[7] Ilyen formában létrehozható például két kör Descartes-szorzatából egy tórusz, vagy egy kör és egy valós intervallum szorzatából egy henger.
- Egy topologikus sokaság bármely részhalmaza egy topologikus sokaság, ha el van látva az altér-topológiával.[7]
- -dimenziós sokaságok bármely megszámlálható halmazcsaládjának diszjunkt uniója -dimenziós sokaság.[8]
- Két -dimenziós sokaság összefüggő összege -dimenziós sokaság. Az összefüggő összeg létrehozható úgy, hogy mindkét -dimenziós sokaságból eltávolítunk egy-egy -dimenziós golyót, az így létrejövő két határgömböt pedig "összeragasztjuk".[8]
Tulajdonságok
szerkesztésTopológiai tulajdonságok
szerkesztésDefiníció szerint minden sokaság lokálisan Euklideszi, viszont a definíció nem mindig tartalmazza a feltételeket, hogy egy sokaság Hausdorff-tér vagy megszámlálható bázisú. Pusztán a lokálisan Euklideszi definíció is több topológiai tulajdonságra enged következtetni: minden sokaság teljesíti az első szétválaszthatósági axiómát (T1), teljesíti az első megszámlálhatósági axiómát (M1), lokálisan útösszefüggő (tehát lokálisan összefüggő), útösszefüggő és lokálisan összehúzható.
Amennyiben egy sokaságot lokálisan Euklideszi Hausdorff-térként definiálunk, akkor bármely sokaság lokálisan kompakt és lokálisan metrizálható. Egy sokaság számára a második megszámlálhatósági axióma, a σ-kompaktság és hogy a sokaság Lindelöf-tér ekvivalens állítások. Minden M2 sokaság parakompakt és metrizálható. A parakompaktságból viszont csak akkor következik a második megszámlálhatósági axióma, ha a sokaságnak megszámlálhatóan sok összefüggő komponense van. Egy sokaságnak nem muszáj összefüggőnek lennie, viszont minden Hausdorff és M2 sokaság összefüggő sokaságok diszjunkt uniója.
Irányíthatóság
szerkesztésAmennyiben a sokaság legalább kétdimenziós, releváns kérdés lehet a sokaság irányíthatósága vagy orientálhatósága. Egy kétdimenziós sokaság irányíthatósága azt mondja ki, hogy a sokaságon egy tetszőleges hurkon végigmenve definiálható-e egyértelműen egy óramutató járása szerinti vagy azzal ellentétes irány. Példaképp, a Möbius-szalag nem irányítható, hiszen ha egy kinézetű körlapot végigkísérünk rajta, a kezdőpontba visszaérve a tükörképét ( ) kapjuk vissza. Az irányíthatóságot általában differenciálható sokaságokon definiálják, ahol szükséges és elegendő feltétel, hogy bármely térképpár által alkotott diffeomorfizmus Jacobi-mátrixának determinánsa pozitív. Egy -dimenziós orientálható sima sokaságon rendkívül leegyszerűsödik az integrálszámítás, ugyanis egy meghatározott orientáció lehetővé teszi, hogy a sokaságon definiált n-formák integrálja egyértelművé váljon.
Egy általános (nem-differenciálható) topologikus sokaságon is lehetséges az irányíthatóságot definiálni, mégpedig lokális homológia-csoportok segítségével: adott egy -dimenziós sokaság és egy pont . Az pontban értelmezett lokális orientációja sokaságnak a végtelen ciklikus csoportnak egy szabadon választott generátora. Orientációnak hívunk egy olyan leképezést, mely a sokaság bármely pontjához hozzárendel egy orientációt, tehát egy leképezést, mely a következő feltételt teljesíti: bármely -nek van egy olyan környezete, mely tartalmaz egy nyílt golyót körül, melyben bármely lokális orientáció (ahol ) egy generátor képe a természetes leképezés alatt. Amennyiben egy sokaság rendelkezik egy ilyen orientációval, akkor orientálhatónak vagy irányíthatónak hívjuk.[9] Másképp kifejezve, egy -dimenziós sokaság akkor és csak akkor orientálható, ha a homológia-csoport izomorf -vel. Az izomorfia-feltétel és az orientáció létezése dióhéjban azt biztosítja be, hogy a lokális orientációk konzisztensek legyenek egymással, ami egy globális orientációt is eredményez.
Példák
szerkesztés- Bármely megszámlálható diszkrét topologikus tér egy 0-dimenziós sokaság.
- A kör egy egydimenziós kompakt sokaság. Továbbá, minden nemüres parakompakt összefüggő sokaság homeomorf vagy a körhöz, vagy -hez.[8]
- A tórusz és a Klein-féle palack kétdimenziós kompakt sokaságok.
- A Möbius-szalag egy kétdimenziós nem irányítható sokaság.
Jegyzetek
szerkesztés- ↑ Poincaré, H. (1895). „Analysis Situs” (francia nyelven). Journal de l'École Polytechnique, Kiadó: Gauthier-Villars.
- ↑ Arnolʹd, V. I. (1998). „О преподавании математики” (orosz nyelven). Uspekhi Mat. Nauk 53 (319), 229–234. o. DOI:10.4213/rm5.; translation in Russian Math. Surveys 53 (1998), no. 1, 229–236
- ↑ Whitney, H. (1936). „Differentiable Manifolds”. Annals of Mathematics 37 (3), 645–680. o. DOI:10.2307/1968482. JSTOR 1968482.
- ↑ Orosz matematikus igazolta a Poincaré-sejtést?. (Hozzáférés: 2024. szeptember 6.)
- ↑ Thurston, William P. (1982). „Three-dimensional manifolds, Kleinian groups and hyperbolic geometry”. Bulletin of the American Mathematical Society 6 (3), 357–381. o. DOI:10.1090/S0273-0979-1982-15003-0.
- ↑ Markov, A.A. (1958). „Insolubility of the problem of homeomorphy”. Proc. Internat. Congress Math, 300–306. o.
- ↑ a b Manifolds and Differential Geometry. American Mathematical Soc., 7–. o. (2009). ISBN 978-0-8218-4815-9
- ↑ a b c John Lee. Introduction to Topological Manifolds. Springer Science & Business Media, 64–. o. (2010. december 25.). ISBN 978-1-4419-7940-7
- ↑ Allen Hatcher. Algebraic Topology. University Press, 231–234. o. (2000)
Források
szerkesztés- Kalmár Boldizsár: Differenciálható sokaságok
- Gergely Árpád László: Bevezetés a differenciálgeometriába
- Gauld, D. B. (1974). „Topological Properties of Manifolds”. The American Mathematical Monthly 81 (6), 633–636. o, Kiadó: Mathematical Association of America. DOI:10.2307/2319220. JSTOR 2319220.
- An Introduction to Manifolds, 2nd, New York: Springer (2011. december 7.). ISBN 978-1-4419-7399-3
Fordítás
szerkesztés- Ez a szócikk részben vagy egészben a Manifold című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.
- Ez a szócikk részben vagy egészben a Topological manifold című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.
- Ez a szócikk részben vagy egészben a Mannigfaltigkeit című német Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.
Kapcsolódó szócikkek
szerkesztés- Alacsony dimenziós topológia - a két-, három- és négydimenziós sokaságok osztályozásához
- Poincaré-sejtés
- Lie-csoport
További információk
szerkesztés- Dimensions-math.org - kisfilm a sokaságok vizualizálásához