A matematikai analízis elemei VI.

Átírás

1 A matematikai analízis elemei VI. Differenciálható sokaságok, Tenzormezők. Integrálás differenciálható sokaságon. Pszeudo-Riemann-sokaságok. Lie-csoportok és Lie-algebrák. Lie-csoportok differenciálható és folytonos unitér ábrázolásai. Kristóf János

2 Tartalomjegyzék I. Differenciálható sokaságok 7 1 Térképek, atlaszok, differenciálható struktúrák Térképek Atlaszok és sokaságok Sokaság-típusok és tiszta sokaságok Sokaság dimenziója Sokaság topológiája A folytonosság kritériumai Morfizmusok és izomorfizmusok sokaságok között Ekvivalens differenciálható struktúrák Differenciálható struktúra átvitele Sokaság érintőterei és morfizmus érintőoperátorai Nyílt részsokaságok Egységosztás tétel sokaságokra Derivációk és érintővektorok Sokaságok összeragasztása Sokaságok szorzata Az implicitfüggvény-tétel Immerziók és részsokaságok Immerziók Az immerziók jellemzése Banach-sokaságokra Lokális izomorfizmusok Differenciálható struktúra inverz képe Kvázirészsokaságok és részsokaságok Morfizmus grafikonja Részsokaság-csírák sokasága Szubmerziók és faktorsokaságok Szubmerziók A szubmerziók jellemzése Banach-sokaságokra

3 2 TARTALOMJEGYZÉK 3.3 A szubmerziók jellemzésének következményei Szintfelületek és részsokaságok Faktorsokaságok Reguláris ekvivalenciák jellemzése I Sokaságok rétegezett szorzata Reguláris ekvivalenciák jellemzése II Szubimmerziók és az állandó rang tétele Szubimmerziók Morfizmus rangja A szubimmerziók jellemzése Banach-sokaságokra Az állandó rang tétele A szubimmerziók kanonikus faktorizációja Példák sokaságokra Euklidészi paraboloid, hiperboloid és kúpfelületek Euklidészi gömbfelületek Möbius-szalag Grassmann-sokaságok és projektív terek II. Tenzormezők Vektormezők Vektormezők alaptuladonságai f-vektormezők és iránymenti deriváltak Vektormező megszorítása és kiterjesztése Vektormezők kommutátora Kovariáns deriválás torzulása és görbülete Érintő-sokaságok Orientációk és orientált sokaságok Rétegeződések és vektoriális rétegeződések Rétegeződések és vektoriális rétegeződések alaptulajdonságai Bázisrétegeződések Kovariáns deriváltak, lineáris konnexiók, Christoffel-szimbólumok Kovariáns deriváltak Lineáris konnexiók és kovariáns deriváltak Christoffel-szimbólumok és kovariáns deriváltak A lineáris konnexiók és a Christoffel-szimbólumok kapcsolata Kovariáns deriváltak lokalizációja

4 TARTALOMJEGYZÉK 3 9 Tenzor-sokaságok és tenzormezők Tenzor-sokaságok Tenzormezők Tenzormező megszorítása és kiterjesztése Szorzatsokaság feletti tenzormezők Tenzor-sokaságok szeletei és tenzormezők Vektormezők és 1, 0-típusú, K-értékű tenzormezők Tenzormezők kontrakciója Kovariáns tenzormezők visszahúzása Sokaság feletti p-formák p-formák és algebrai műveletek p-formákkal p-formák külső deriváltja p-formák külső deriváltjának tulajdonságai Zárt és egzakt p-formák: Poincaré-tétel III. Integrálás differenciálható sokaságon 363 IV. Pszeudo-Riemann-sokaságok Pszeudo-Riemann-sokaságok értelmezése Levi-Civita konnexió és kovariáns derivált Ricci-tenzor Riemann-sokaságok Lorentz-sokaságok 375 V. Szimplektikus sokaságok Szimplektikus sokaságok alaptulajdonságai Poisson-zárójel 381 VI. Lie-csoportok és Lie-algebrák Lie-csoportok Lie-csoportok értelmezése

5 4 TARTALOMJEGYZÉK 18.2 Lie-részcsoportok Lie-csoport exponenciális függvénye Lie-algebrák Lie-algebrák alaptulajdonságai Lie-csoport Lie-algebrája 391 VII. Lie-algebrák lineáris ábrázolásai 393 VIII. Lie-csoportok ábrázolásai Lie-csoportok ábrázolásai Lie-csoportok differenciálható ábrázolásai Lie-algebrák lineáris ábrázolásai Lie-csoportok folytonos unitér ábrázolásai IX. Alkalmazás: Hamilton-mechanika 399 X. Alkalmazás: Általános relativisztikus téridők Időorientációk és általános relativisztikus téridők Általános relativisztikus téridők Időorientációk és időirány-orientációk Megfigyelők Geodetikusok Lorentz-sokaságban és a kauzalitás Ricci-tenzor és az Einstein-egyenlet Schwarzschild- és Lemaitre-féle téridők Formálisan gömbszimmetrikus téridők Belső- és külső Schwarzschild-féle téridők Lemaitre-féle téridők Kauzális halmazok Schwarzschild-féle téridőkben Kerr-féle téridők Formálisan hengerszimmetrikus téridők Kerr-féle téridők Kauzális és kronologikus halmazok Kerr-féle téridőkben

6 TARTALOMJEGYZÉK 5 27 Robertson-Walker-féle téridők Kozmológiai modellek Táguló univerzum-modell és a Hubble-állandó

7 6 TARTALOMJEGYZÉK NÉV SZERINTI HIVATKOZÁSOK LOG ENS ALG TOP STR ANA ESP MET LIN DIF MES INT GEO HOL FUN GEA EVT CON ALN ORT AHA RAD VAR TEN INV RIE LIE REP HAM GTR A matematikai analízis logikai alapjai 0. kötet, I. rész A matematikai analízis halmazelméleti alapjai 0. kötet, II. rész A matematikai analízis algebrai alapjai 0. kötet, III. rész A matematikai analízis topológiai alapjai 0. kötet, IV. rész Bevezetés a matematikai struktúrák elméletébe 0. kötet, V. rész Valós és komplex számok/elemi függvényanalízis 1. kötet, I./II. rész Függvényterek és függvényalgebrák 1. kötet, III. rész Metrikus terek 1. kötet, IV. rész Folytonos lineáris és multilineáris operátorok 2. kötet, I. rész Differenciálelmélet 2. kötet, II. rész Additív halmazfüggvények és mértékek 2. kötet, III. rész Integrálelmélet 2. kötet, IV. rész A geometriai integrálelmélet alapjai 2. kötet, V. rész Holomorf függvények 3. kötet, I. rész A funkcionálanalízis elemei 3. kötet, II. rész Az analitikus geometria elemei 3. kötet, III. rész Topologikus vektorterek 4. kötet, I. rész Kompakt konvex halmazok 4. kötet, II. rész Normált algebrák 4. kötet, III. rész Ortohálók 4. kötet, IV. rész Absztrakt harmonikus analízis 5. kötet, I. rész A topologikus integrálelmélet elemei 5. kötet, II. rész Differenciálható sokaságok 6. kötet, I. rész Tenzormezők 6. kötet, II. rész Integrálás differenciálható sokaságokon 6. kötet, III. rész Pszeudo-Riemann sokaságok 6. kötet, IV. rész Lie-csoportok és Lie-algebrák 6. kötet, VI. rész Lie-algebrák ábrázolásai/lie-csoportok ábrázolásai 6. kötet, VII./VIII. rész Szimplektikus sokaságok és Hamilton-mechanika 6. kötet, IX. rész Lorentz-sokaságok és általános relativisztikus téridők 6. kötet, X. rész

8 I. rész Differenciálható sokaságok 7

9

10 9 BEVEZETÉS Irodalomjegyzék 1. L. Schwartz, Analyse mathématique, Hermann, Paris, S. Kobayashi - K. Nomizu, Foundations of Differential Geometry, vols. I-II, Interscience Pub., New York-London-Sydney, D. Gromoll - W. Klingenberg - W. Meyer, Riemannsche Geometrie im Groβen, Springer-Verlag, Berlin-Heidelberg-New York, J. Beem - P. Ehrlich, Global Lorentzian Geometry, Marcel Dekker Inc., New York- Basel, M. M. Postnikov, Vvedenie v teori Morsa, Nauka, Moskva, L. Hörmander, The Analysis of Linear Partial Differential Operators, Vol. I, Distribution Theory and Fourier Analysis, Springer-Verlag, Berlin-Heidelberg-New York- Tokyo, M. Berger, Géometrie, I-II, CEDIC, Paris, N. Bourbaki, Éléments de mathématique, Variétés différentielles és analytiques, Fascicule de résultats, Hermann, Paris, S. Lang, Differential Manifolds, Springer P.C., New York-Berlin-Heidelberg, S. Lang, Fundamentals of Differential Geometry, Springer-Verlag, New York, Inc., H. Whitney, Geometric Integration Theory, Princeton Univ. Press, H. Federer, Geometric Measure Theory, Springer-Verlag, S. Sternberg, Lectures on Differential Geometry, Prentice Hall, Inc., Englewood Cliffs, N.J., W. Klingenberg, Riemannian Geometry, Walter de Gruyter & Co., Berlin-New York, J. M. Lee, Introduction to Smooth Manifolds, University of Washington, Department of Mathematics, Seattle, H. Cartan, Calcul différentiel, Formes différentielles, Hermann, Paris, 1967.

11 10

12 1. fejezet Térképek, atlaszok, differenciálható struktúrák Megállapodunk abban, hogy ebben a fejezetben S mindenütt ugyanazon test feletti normálható terek nem üres halmazát jelöli, valamint az r és s szimbólumok 0-nál nagyobb természetes számokat, vagy a szimbólumot jelölik. Továbbá, a "normálható tér" elnevezés a "normálható topologikus vektortér" szinonimájaként szerepel, tehát normálható tér esetében a vektortéren nincs kijelölt norma, hanem csak egy lineáris topológia, amely normából származtatható. Hasonlóan, a "Banach-tér" elnevezés a "teljes és normálható topologikus vektortér" szinonimájaként szerepel Térképek Definíció. A ϕ, E párt térképnek nevezzük, ha ϕ injektív függvény, E normálható tér, és Imϕ E nyílt halmaz. Ha ϕ, E térkép, akkor az E normálható teret a ϕ, E térkép érkezési terének nevezzük. Ha ϕ, E térkép, akkor egyedül a ϕ függvény nem határozza meg az E normálható teret. Ez triviális akkor, ha Domϕ =, vagy Imϕ = E. Azonban a jelölések egyszerűsítése céljából megállapodunk abban, hogy a továbbiakban minden térképet egyetlen szimbólummal, a benne szereplő függvény jelével jelölünk, és ha ϕ térkép, akkor E ϕ jelöli a ϕ térkép érkezési terét Definíció. A ϕ térképet S-típusúnak nevezzük, ha E ϕ S. Az M halmaz térképeinek nevezzük azokat a ϕ térképeket, amelyekre Domϕ M. Az M halmaz ϕ térképét globálisnak nevezzük, ha Domϕ = M. Ha M nem üres halmaz, akkor nem létezik az M halmaz összes térképeinek halmaza. De ha M mellett még a térképek típusát is korlátozzuk egy S normálható tér halmazzal, 11

13 12 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK akkor már beszélhetünk az M halmaz S-típusú térképeinek halmazáról. következő állítás. Erről szól a Állítás. Ha M halmaz, akkor az kijelentés kollektivizáló ϕ-ben. ϕ térkép Domϕ M E ϕ S Bizonyítás. Ha ϕ térkép, és Domϕ M, és E ϕ S, akkor E ϕ S miatt vagyis ϕ P ϕ Domϕ Imϕ M E ϕ M S, M S, tehát elegendő a részhalmaz-axiómasémára hivatkozni Definíció. Ha M halmaz, akkor a ChM, S := { ϕ ϕ térkép Domϕ M E ϕ S } jelölést alkalmazzuk, tehát ChM, S az összes M feletti S-típusú térképek halmaza. Ha ϕ és ψ térképek, akkor Domψ ϕ 1 = ϕ Domϕ Domψ E ϕ, Domϕ ψ 1 = ψ Domϕ Domψ E ψ, és világos, hogy ψ ϕ 1 = ϕ ψ 1 1, valamint ϕ ψ 1 = ψ ϕ Definíció. Azt mondjuk, hogy a ϕ és ψ térképek C r -konzisztensek, ha a ψ ϕ 1 : E ϕ E ψ és a ϕ ψ 1 : E ψ E ϕ függvények C r -osztályúak. Legyen S normálható terek halmaza, M halmaz, és r N vagy r =. Jelölje r azt a relációt ChM, S felett, amelyre ϕ, E, ψ, F ChM, S esetén ϕ, E r ψ, F pontosan akkor teljesül, ha a ϕ, E és ψ, F térképek C r -konzisztensek. Világos, hogy a r reláció reflexív ChM, S felett, és szimmetrikus is. Azonban ez a reláció általában nem tranzitív, tehát nem ekvivalencia ChM, S felett Állítás. Legyen ϕ térképe az M halmaznak. Ha E normálható tér és Φ : E ϕ E olyan függvény, hogy DomΦ nyílt részhalmaza E ϕ -nek, és ImΦ nyílt részhalmaza E- nek, és Φ C r -diffeomorfizmus DomΦ és ImΦ között, akkor Φ ϕ olyan térképe az M halmaznak, amely C r -konzisztens az M halmaz minden olyan térképével, amely ϕ-vel C r -konzisztens.

14 1.2. ATLASZOK ÉS SOKASÁGOK 13 Bizonyítás. A Φ ϕ : M E függvény injekciók kompozíciója, ezért injekció, továbbá ImΦ ϕ = Φ DomΦ Imϕ, ezért ImΦ ϕ nyílt halmaz E-ben, hiszen Imϕ nyílt halmaz E ϕ -ben, így DomΦ Imϕ nyílt halmaz a DomΦ E topologikus altérben, és Φ homeomorfizmus a DomΦ és ImΦ topologikus alterek között, tehát Φ DomΦ Imϕ nyílt az ImΦ E topologikus altérben, és mivel ImΦ nyílt E- ben, így nyílt E-ben is. Ha ψ olyan térképe az M halmaznak, hogy ϕ és ψ C r -konzisztensek, akkor a ϕ ψ 1 és ψ ϕ 1 függvények C r -osztályúak, valamint a hipotézis szerint a Φ : E ϕ E és Φ 1 : E E ϕ függvények is C r -osztályúak. Mivel pedig Φ ϕ ψ 1 = Φ ϕ ψ 1 és ψ Φ ϕ 1 = ψ ϕ 1 Φ 1, így ezek a függvények is C r -osztályúak, hiszen C r - osztályú függvények kompozíciója C r -osztályú. Ez azt jelenti, hogy a Φ ϕ és ψ térképek C r -konzisztensek Atlaszok és sokaságok Definíció. Legyen M halmaz. Az A ChM, S halmazt M feletti, C r -osztályú, S-típusú atlasznak nevezzük, ha M = Domϕ, és minden ϕ A és ψ A esetén a ϕ és ψ térképek C r -konzisztensek. ϕ A A tartalmazás tekintetében maximális M feletti, C r -osztályú, S-típusú atlaszokat úgy nevezzük, hogy M feletti, C r -osztályú, S-típusú differenciálható struktúrák. Az M, D párt C r -osztályú, S-típusú sokaságnak nevezzük, ha D M feletti, C r - osztályú, S-típusú differenciálható struktúra. Az mondjuk, hogy az M, D C r -osztályú, S-típusú sokaság elemi, ha létezik olyan ϕ D, hogy Domϕ = M. A szokásos jelölési konvenciónak megfelelően, minden sokaságot egyetlen szimbólummal, az alaphalmaz jelével jelöljük, és ha M sokaság, akkor ChM jelöli az M feletti differenciálható struktúrát, és ennek elemeit az M sokaság térképeinek nevezzük, valamint minden a M esetén Ch a M := {ϕ ChM a Domϕ}.

15 14 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK Megállapodunk abban, hogy a továbbiakban a sokaságok "C r -osztályú", illetve "S-típusú" jelzőjét csak akkor tüntetjük fel, ha egy állítás megfogalmazásához vagy bizonyításához szükség van ezek konkrét ismeretére. Azonban lényeges az, hogy minden sokaságnak van simasága, vagyis valamilyen r N vagy r = esetén C r -osztályú, és mindig van típusa, vagyis valamilyen S normálható tér halmazra S-típusú; akkor is ha ezeket nem említjük meg Állítás. Ha M halmaz, és A M feletti, C r -osztályú, S-típusú atlasz, akkor az A := { ψ ChM, S ϕ A : ψ és ϕ C r -konzisztens térképek } halmaz az egyetlen olyan M feletti, C r -osztályú, S-típusú differenciálható struktúra, amelyre A A. Bizonyítás. Nyilvánvaló, hogy A ChM, S olyan halmaz, hogy A A, hiszen az atlaszok definíciója szerint minden A -hoz tartozó térkép C r -konzisztens minden A -hoz tartozó térképpel. Ebből azonnal következik, hogy M = Domϕ Domψ ϕ A ψ A M, ezért M = Domψ. Tehát annak bizonyításához, hogy A M feletti, C r - ψ A osztályú, S-típusú atlasz, elegendő azt igazolni, hogy bármely két A -hoz tartozó térkép C r -konzisztens. Legyenek ψ 1 A és ψ 2 A rögzítettek, és vegyünk egy a 1 ψ 1 Domψ 1 Domψ 2 pontot. Meg fogjuk mutatni, hogy létezik a 1 -nek olyan U 1 nyílt környezete E ψ1 -ben, amelyre U 1 ψ 1 Domψ 1 Domψ 2, és a ψ 2 ψ1 1 függvény C r -osztályú az U 1 halmazon. Ebből a magasabb rendű folytonos differenciálhatóság lokalitása alapján következni fog, hogy a ψ 2 ψ1 1 : E ψ1 E ψ2 függvény is C r -osztályú. Legyen a Domψ 1 Domψ 2 az a pont, amelyre ψ 1 a = a 1, és M = Domϕ alapján rögzítsünk egy olyan ϕ A térképet, amelyre a Domϕ. Ekkor A definíciója alapján a ϕ és ψ 2 térképek C r -konzisztensek, így ϕ Domϕ Domψ 2 nyílt halmaz E ϕ -ben. Továbbá, ψ 1 ϕ 1 ϕ Domϕ Domψ 2 nyílt részhalmaza E ψ1 -nek, és ez nyilvánvalóan egyenlő a ψ 1 Domψ 1 Domψ 2 Domϕ halmazzal, amelynek eleme a ψ 1 a pont. Tehát U 1 := ψ 1 Domψ 1 Domψ 2 Domϕ olyan nyílt környezete a 1 -nek E ψ1 -ben, amelyre U 1 ψ 1 Domψ 1 Domψ 2. Továbbá, a ψ 2 ψ1 1 függvény nyilvánvalóan egyenlő ψ 2 ϕ 1 ϕ ψ1 1 -gyel az U 1 halmazon, és a ψ 2 ϕ 1 és ϕ ψ1 1 függvények C r -osztályúak, így ψ 2 ψ1 1 is C r -osztályú az U 1 halmazon. Ez azt jelenti, hogy a ψ 2 ψ1 1 : E ψ1 E ψ2 függvény C r -osztályú. Teljesen hasonló megfontolásokkal kapjuk, hogy ha a 2 ψ 2 Domψ 1 Domψ 2, és a Domψ 1 Domψ 2 az a pont, amelyre ψ 2 a = a 2, valamint ϕ A olyan térkép, hogy a Domϕ, akkor U 2 := ψ 2 Domψ 1 Domψ 2 Domϕ olyan nyílt ϕ A

16 1.2. ATLASZOK ÉS SOKASÁGOK 15 környezete a 2 -nek E ψ2 -ben, amelyre U 2 ψ 2 Domψ 1 Domψ 2, és a ψ 1 ψ2 1 függvény egyenlő ψ 1 ϕ 1 ϕ ψ2 1 -gyel az U 2 halmazon. Ebből a magasabb rendű folytonos differenciálhatóság lokalitása alapján következik, hogy a ψ 1 ψ2 1 : E ψ2 E ψ1 függvény is C r -osztályú. Ezzel igazoltuk, hogy a ψ 1 és ψ 2 térképek C r -konzisztensek, következésképpen A olyan M feletti, C r -osztályú, S-típusú atlasz, amelyre A A. Ha B olyan M feletti, C r -osztályú, S-típusú atlasz, amelyre A B, akkor minden ψ B és ϕ A esetén a ψ és ϕ térképek C r -konzisztensek, tehát A definíciója alapján ψ A. Ezért B A, vagyis A a tartalmazás tekintetében legnagyobb olyan M feletti, C r -osztályú, S-típusú atlasz, amelyre A A. Ebből azonnal következik, hogy A M feletti, C r -osztályú, S-típusú differenciálható struktúra, hiszen ha C olyan M feletti, C r -osztályú, S-típusú atlasz, hogy A C, akkor A C, így az előző bekezdés alapján C A is teljesül, vagyis C = A. Ha D olyan C r -osztályú, S-típusú differenciálható struktúra, hogy A D, akkor A definíciója szerint D A. A D A egyenlőtlenség ellentmondana D tartalmazás tekintetében való maximalitásának, hiszen A C r -osztályú, S-típusú atlasz. Ezért D = A, ami azt jelenti, hogy A az egyetlen olyan M feletti, C r -osztályú, S-típusú differenciálható struktúra, amelyre A A Definíció. Ha M halmaz, és A M feletti, C r -osztályú, S-típusú atlasz, akkor az A := { ψ ChM, S ϕ A : ψ és ϕ C r -konzisztens térképek } halmazt az A atlasz által generált M feletti, C r -osztályú, S-típusú differenciálható struktúrának nevezzük Következmény. Legyen M halmaz, és A ChM, S. Az A halmaz pontosan akkor M feletti, C r -osztályú, S-típusú differenciálható struktúra, ha teljesülnek rá a következők. a Fennáll az M = Domϕ egyenlőség. ϕ A b Minden ϕ A és ψ A esetén a ϕ és ψ térképek C r -konzisztensek. c Minden ψ ChM, S esetén, ha minden ϕ A térképre ϕ és ψ C r -konzisztensek, akkor ψ A. Bizonyítás. Az a és b kijelentések együtt azt jelentik, hogy A C r -osztályú, M feletti, S-típusú atlasz. Ez a c kijelentéssel együtt éppen azt jelenti, hogy A = A, tehát A C r -osztályú, M feletti, S-típusú differenciálható struktúra Következmény. Ha M halmaz és D és D C r -osztályú, S-típusú differenciálható struktúrák M felett, akkor a következő állítások ekvivalensek.

17 16 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK i D = D. ii D D. iii D D. iv Domϕ = M. ϕ D D v D D C r -osztályú, S-típusú atlasz M felett. Bizonyítás. i ii triviális, és ha ii teljesül, akkor D maximalitása miatt D = D, így iii is igaz, vagyis ii iii is teljesül. Ha D D, akkor D D = D, tehát iv igaz, hiszen D C r -osztályú, S-típusú atlasz M felett. Tehát iii iv teljesül. A iv feltételből következik, hogy D D C r -osztályú, S-típusú atlasz M felett, hiszen D D bármely két eleme C r -konzisztens, S-típusú térkép. Ezért iv v teljesül. Végül, ha v igaz, akkor az állítás szerint D = ÿ D D = D, tehát v i is teljesül Állítás. Ha M C r -osztályú, S-típusú sokaság, ϕ ChM, E S, és Φ : E ϕ E olyan függvény, hogy DomΦ nyílt részhalmaza E ϕ -nek, és ImΦ nyílt részhalmaza F -nek, és Φ C r -diffeomorfizmus DomΦ és ImΦ között, akkor Φ ϕ ChM. Bizonyítás. Az állítás szerint Φ ϕ olyan S-típusú térképe az M halmaznak, amely ChM minden elemével C r -konzisztens, ezért az következmény c pontjában megfogalmazott tulajdonságból adódik, hogy Φ ϕ ChM Definíció. Ha n N, akkor a C r -osztályú M sokaság n-dimenziós aritmetikai térképének nevezzük az M halmaz minden olyan ϕ térképét, amelyre E ϕ = K n, az euklidészi topológiával ellátva, és ϕ C r -konzisztens ChM minden elemével. Vigyázzunk arra, hogy ha ϕ n-dimenziós aritmetikai térképe az S-típusú M sokaságnak, akkor ϕ ChM nem szükségképpen teljesül, mert E ϕ = K n / S lehetséges, vagyis ϕ nem S-típusú térképe az M halmaznak. Erre a jelenségre konkrét példát szolgáltatnak majd az euklidészi terekben azaz véges dimenziós Hilbert-terekben értelmezhető paraboloid-, hiperboloid-, kúp- és gömbfelületek Állítás. Ha M C r -osztályú, S-típusú sokaság, n N és ϕ : M K n nem üres függvény, akkor a következő állítások ekvivalensek. i ϕ n-dimenziós aritmetikai térképe az M sokaságnak. ii Létezik olyan E S és v : K n E lineáris bijekció, hogy v ϕ ChM. iii Létezik olyan ψ ChM térkép és olyan u : E ψ K n lineáris bijekció, hogy ϕ = u ψ. Bizonyítás. i ii A ϕ feltétel szerint vehetünk egy a Domϕ pontot. Legyen ψ ChM olyan, hogy a Domψ. Az M halmaz ϕ és ψ térképei C r -kontisztensek,

18 1.3. SOKASÁG-TÍPUSOK ÉS TISZTA SOKASÁGOK 17 így a ψ ϕ 1 : K n E ψ leképezés C r -diffeomorfizmus a ϕ Domϕ Domψ K n és ψ Domψ Domϕ E ψ nyílt halmazok között, ezért a v := D ψ ϕ 1 ϕa : K n E ψ leképezés lineáris bijekció, így ez a leképezés C r -diffeomorfizmus is K n és E ψ között. Mivel a ϕ térkép ChM minden elemével C r -konzisztens, az állításból kapjuk, hogy v ϕ olyan térképe az M halmaznak, amely ChM minden elemével C r - konzisztens, és E v ϕ = E ψ S miatt a v ϕ térkép S-típusú, így v ϕ ChM. ii iii Ha E S és v : K n E olyan lineáris bijekció, hogy v ϕ ChM, akkor ϕ = v 1 v ϕ miatt ψ := v ϕ és u := v 1 eleget tesz a követelményeknek. iii i Ha ψ ChM olyan térkép és u : E ψ K n olyan lineáris izomorfizmus, hogy ϕ = u ψ, akkor szerint C r - térképe az M halmaznak, mert u C r - diffeomorfizmus E ψ és K n között, továbbá ϕ C r -konzisztens ChM minden elemével, mert a C r -konzisztens ψ térkép ChM minden elemével. A sokaságok aritmetikai térképeinek definíciója szerint ez azt jelenti, hogy i teljesül Sokaság-típusok és tiszta sokaságok Állítás. Legyen D C r -osztályú, S-típusú differenciálható struktúra az M halmaz fellett. Ha r N vagy r = olyan, hogy r r, és S normálható terek olyan halmaza, hogy S S, akkor D C r -osztályú, S -típusú atlasz az M halmaz fellett. Vigyázzunk arra, hogy az előző állítás feltételei mellett D nem feltétlenül C r - osztályú, S -típusú differenciálható struktúra az M halmaz fellett, hanem csak atlasz. Ennek S S esetén az az oka, hogy létezhet olyan ϕ ChM, S térkép, amelyre E ϕ / S, ugyanakkor ϕ C r -konzisztens így ϕ C r -konzisztens is D minden elemével, így ϕ / D. Továbbá, r < r esetén létezhet olyan ϕ ChM, S térkép, amely C r - konzisztens D minden elemével, de nem C r -konzisztens D minden elemével, így ϕ / D. Tehát szigorúan véve az M, D pár általában nem tekinthető C r -osztályú, S -típusú sokaságnak, azonban gondolatban egyértelműen hozzárendelhető az M, D C r -osztályú, S -típusú sokaság, ahol D a D C r -osztályú, S -típusú atlasz által generált C r -osztályú, S -típusú differenciálható struktúra Definíció. Ha E normálható tér, akkor a C r -osztályú, {E}-típusú sokaságokat C r -osztályú, tiszta E-típusú sokaságoknak nevezzük. Az alkalmazásokban leggyakrabban C -osztályú, tiszta K n -típusú sokaságok fordulnak elő. Ezeket szokták egyszerűen differenciálható sokaságoknak nevezni. Nyilvánvaló, hogy ha E normálható tér, akkor az {id E } halmaz E feletti, C -osztályú, tiszta E-típusú azaz {E}-típusú atlasz.

19 18 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK Definíció. Ha E normálható tér, akkor az {id E } atlasz által generált E feletti, C -osztályú, tiszta E-típusú struktúrát az E normálható tér feletti lineáris differenciálható struktúrának nevezzük, és ChE az E halmaz lineáris differenciálható struktúrája szerinti térképeinek halmazát jelöli Állítás. Ha E normálható tér, akkor a ϕ : E E függvényre ϕ ChE pontosan akkor teljesül, ha Domϕ és Imϕ nyílt halmazok E-ben, és a ϕ függvény C -osztályú diffeomorfizmus Domϕ és Imϕ között. Bizonyítás. Definíció szerint az {id E } halmaz atlasza az E feletti lineáris differenciálható struktúrának, amely {E}-típusú és C -osztályú, ezért a ϕ : E E függvényre ϕ ChE pontosan akkor teljesül, ha ϕ injekció, és Imϕ nyílt részhalmaza E-nek, és a ϕ id 1 : E E és id E E ϕ 1 : E E függvény C -osztályú, ami ϕ id 1 = ϕ és E id E ϕ 1 = ϕ 1 miatt éppen azt jelenti, hogy a ϕ függvény C -osztályú diffeomorfizmus a Domϕ E és Imϕ E nyílt halmazok között Definíció. Azt mondjuk, hogy az M sokaság Banach-sokaság, ha minden ϕ ChM nem üres térkép esetén E ϕ teljesen normálható tér azaz Banach-tér Állítás. Az M sokaság pontosan akkor Banach-sokaság, ha létezik M-nek olyan A atlasza, hogy minden ϕ A esetén E ϕ Banach-tér. Bizonyítás. A feltétel szükséges, mert ChM atlasza az M sokaságnak. Az elégségesség bizonyításához tegyük fel, hogy az M sokaság C r -osztályú, és legyen A atlasza M-nek, hogy minden ϕ A esetén E ϕ Banach-tér. Legyen ψ ChM olyan, hogy ψ, és rögzítsünk egy a Domψ elemet. Ekkor van olyan ϕ A, hogy a Domϕ, és mivel a ϕ és ψ térképek C r -konzisztensek, így a D ψ ϕ 1 ϕa : E ϕ E ψ operátor lineáris homeomorfizmus, következésképpen E ϕ -vel együtt E ψ is Banach-tér Sokaság dimenziója Emlékeztetünk arra, hogy ha E vektortér, akkor dime jelöli az E algebrai dimenzióját, vagyis az E vektortér algebrai bázishalmazainak számosságát. Ha S normálható terek halmaza, akkor képezhető a {dime E S} halmaz. Valóban, ha F jelöli a E direkt összeget, akkor minden E S esetén dime E S dimf, vagyis dime dimf, azaz dime PdimF, így jól értelmezett az f : S PdimF ; E dime függvény, és nyilvánvalóan Imf = {dime E S}.

20 1.5. SOKASÁG TOPOLÓGIÁJA Állítás. Ha M C r -osztályú, S-típusú sokaság, akkor egyértelműen létezik olyan dim M : M {dime E S} függvény, amelyre teljesül az, hogy minden a M és ϕ Ch a M esetén dim M a = dime ϕ. Bizonyítás. Tekintsük a következő halmazt: f := { a, dime ϕ a M ϕ Ch a M }. Világos, hogy f reláció, és f M D, ahol D := {dime E S}. Az f reláció függvény, mert ha a, dime ϕ f és a, dime ψ f, vagyis ϕ, ψ ChM és a Domϕ Domψ, akkor a ϕ és ψ térképek C r -konzisztenciája miatt a ψ ϕ 1 : E ϕ E ψ függvény C r -diffeomorfizmus Domψ ϕ 1 és Imψ ϕ 1 között, továbbá ϕa Domψ ϕ 1, így a Dψ ϕ 1 ϕa : E ϕ E ψ folytonos lineáris operátor lineáris homeomorfizmus, tehát az E ϕ és E ψ vektorterek algebrailag is izomorfak, vagyis az algebrai dimenzióik egyenlőek, azaz dime ϕ = dime ψ. Továbbá, Domϕ = M, ezért Domf = M. Minden ϕ S esetén E ϕ S, ezért ϕ ChM Imf D, vagyis f : M D függvény. Végül, a definíció szerint minden a M és ϕ Ch a M esetén fa = dime ϕ, tehát dim M := f olyan függvény, amelynek a létezését állítottuk Definíció. Ha M S-típusú sokaság, akkor az előző állításban értelmezett dim M : M {dime E S} függvényt az M sokaság dimenzió-függvényének nevezzük, és a M esetén a dim M a kardinális számot az M sokaság dimenziójának nevezzük az a pontban. Azt mondjuk, hogy az M sokaság lokálisan véges dimenziós, ha minden a M esetén a dim M a kardinális szám véges Sokaság topológiája Állítás. Legyen M C r -osztályú sokaság. Ha ϕ ChM és Ω E ϕ nyílt halmaz, akkor a : 1 ϕ 1 ϕ Ω E ϕ Ω ϕ leszűkített függvény eleme ChM-nek. Bizonyítás. Természetesen a ϕ 1 függvény injektív és Im ϕ Ω ϕ 1 = Ω Imϕ nyílt ϕ Ω halmaz E ϕ -ben, hiszen Imϕ is és Ω is nyílt E ϕ -ben. Ezért a ϕ 1 ChM kijelentés ϕ Ω

21 20 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK bizonyításához elég azt igazolni, hogy minden ψ ChM esetén a ϕ 1 és ψ térképek ϕ Ω C r -konzisztensek. Ez viszont nyilvánvaló, mert 1 = ψ ϕ 1 Ω ϕdomϕ Domψ, ψ ϕ 1 ϕ Ω és Ω ϕ Domϕ Domψ nyílt részhalmaza E ϕ -nek, valamint ψ 1 = ϕ ψ 1 ψ ϕ 1 Ω Imϕ, ϕ 1 ϕ Ω és ψ ϕ 1 Ω Imϕ nyílt részhalmaza E ψ -nek, így a ϕ 1 ϕ Ω és ψ térképek Cr - konzisztenciája azért teljesül, mert normálható terek között ható C r -osztályú függvény leszűkítése a definíciós tartományának nyílt részhalmazára szintén C r -osztályú Következmény. Ha M sokaság és ϕ, ψ ChM, akkor ϕ Domϕ Domψ ChM és ψ Domϕ Domψ ChM. Bizonyítás. Az Ω := ϕ Domϕ Domψ halmaz nyílt E ϕ -ben, és ϕ Domϕ Domψ = ϕ 1, így az előző állítás alapján ϕ ϕ Ω Domϕ Domψ ChM. Az Ω := ψ Domϕ Domψ halmaz nyílt E ψ -ben, és ψ Domϕ Domψ = ψ 1, így ψ Ω az előző állítás alapján ψ Domϕ Domψ ChM Tétel. Ha M sokaság, akkor létezik egyetlen olyan topológia az M halmaz felett, amelynek topologikus bázisa a {Domϕ ϕ ChM} halmaz. Bizonyítás. Elegendő azt igazolni, hogy a B := {Domϕ ϕ ChM} halmaz olyan befedése M-nek, amely zárt a véges metszetképzésre TOP Állítás. Mivel ChM atlasz M felett, így {Domϕ ϕ ChM} befedése M-nek. Ha ϕ, ψ ChM, akkor az előző állítás szerint ϕ Domϕ Domψ ChM, tehát Domϕ Domψ B Definíció. Ha M sokaság, akkor M sokaság-topológiájának nevezzük azt az M feletti topológiát, amelynek {Domϕ ϕ ChM} topologikus bázisa. Tehát, ha M sokaság, akkor a definíció szerint minden ϕ ChM térképre Domϕ nyílt halmaz a sokaság-topológia szerint, és az Ω M halmaz pontosan akkor nyílt a sokaság-topológia szerint, ha létezik olyan ChM-ben haladó ϕ i rendszer, hogy Ω = Domϕ i. Továbbá, ha M sokaság, a M és V környezete a-nak a sokaságtopológia szerint, akkor létezik olyan ϕ Ch a M, hogy Domϕ V. Ezeket a tényeket gyakran alkalmazzuk a sokaság-topológiákkal kapcsolatban. Megállapodunk abban, hogy a továbbiakban minden sokaságot topologikus térnek tekintünk, amelynek topológiája a sokaság-topológia.

22 1.5. SOKASÁG TOPOLÓGIÁJA Állítás. Ha M sokaság, akkor a dim M dimenzió-függvény lokálisan állandó. Bizonyítás. Ha a M, akkor létezik olyan ϕ ChM, hogy a Domϕ, így a dimenzió-függvény értelmezése alapján minden x Domϕ esetén dim M x = dim M a, és Domϕ nyílt környezete a-nak a sokaság-topológia szerint Állítás. Ha M sokaság, és ϕ ChM, akkor ϕ homeomorfizmus a sokaságtopológia Domϕ-re vett leszűkítése és az E ϕ normálható tér topológiájának Imϕ-re vett leszűkítése szerint. Bizonyítás. Jelölje T az M feletti sokaság-topológiát, és T Eϕ az E ϕ normálható tér topológiáját. Legyen Ω T, és vegyünk olyan ChM-ben haladó ϕ i rendszert, amelyre Ω = Domϕ i. Ekkor ϕ Ω Domϕ = ϕ Domϕ i Domϕ = ϕ Domϕ i Domϕ, és minden i I esetén ϕ Domϕ i Domϕ T Eϕ, tehát ϕ Ω T Eϕ. Ez azt jelenti, hogy ϕ nyílt leképezés a szóbanforgó altértopológiák szerint, tehát ϕ 1 folytonos a T Eϕ Imϕ és T Domϕ topológiák szerint. Ha Ω 1 T Eϕ, akkor ϕ 1 ChM, tehát ϕ Ω T, ezért ϕ folytonos a T Domϕ ϕ Ω és T Eϕ Imϕ topológiák szerint Következmény. Ha E normálható tér, akkor E sokaság-topológiája a lineáris differenciálható struktúra szerint egyenlő az E normálható tér lineáris topológiájával. Bizonyítás. Mivel id E ChE, így szerint id E homeomorfizmus az E sokaságtopológiája és az E normálható tér topológiája szerint, ami azt jelenti, hogy E sokaságtopológiája egyenlő az E normálható tér topológiájával Állítás. Legyen M sokaság és ϕ ChM. Ha Ω E ϕ nyílt halmaz az E ϕ normálható térben, akkor a 1 ϕ Ω halmaz nyílt M-ben a sokaság-topológia szerint. Ha az Ω M halmaz nyílt a sokaság-topológia szerint, akkor a ϕ Domϕ Ω halmaz nyílt az E ϕ normálható térben. Bizonyítás. Ha Ω E ϕ nyílt halmaz az E ϕ normálható térben, akkor Imϕ Ω nyílt az Imϕ topologikus altérben, valamint 1 ϕ Ω = 1 ϕ Imϕ Ω, így szerint a 1 ϕ Ω halmaz nyílt a Domϕ M topologikus altérben, tehát az M topologikus térben is nyílt, mert Domϕ nyílt M-ben. Ha Ω nyílt halmaz M-ben, akkor Domϕ Ω nyílt a Domϕ topologikus altérben, így szerint a ϕ Domϕ Ω halmaz nyílt az Imϕ E ϕ topologikus altérben, tehát az E ϕ normálható térben is nyílt, mert Imϕ nyílt E ϕ -ben.

23 22 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK Állítás. Legyen M sokaság és Ω M. A következő állítások ekvivalensek. i Ω nyílt a sokaság-topológia szerint. ii Minden ϕ ChM térképre a ϕ Ω Domϕ : Ω Domϕ E ϕ leszűkített függvény eleme ChM-nek. iii Létezik olyan A ChM atlasz, hogy minden ϕ A térképre a ϕ Ω Domϕ : Ω Domϕ E ϕ leszűkített függvény eleme ChM-nek. iv Létezik olyan A ChM atlasz, hogy minden ϕ A térképre az Ω Domϕ halmaz nyílt a sokaság-topológia szerint. v Minden ϕ ChM térképre az Ω Domϕ halmaz nyílt a sokaság-topológia szerint. Bizonyítás. i ii Legyen ϕ ChM. Ekkor Domϕ nyílt a sokaság-topológia szerint, és i alapján Ω is nyílt a sokaság-topológia szerint, ezért Ω Domϕ M nyílt a sokaság-topológia szerint. A állítás miatt ekkor ϕ Ω Domϕ nyílt az Imϕ topologikus altérben, ami szintén nyílt E-ben, ezért Ω := ϕ Ω Domϕ E nyílt halmaz E-ben. Ebből alapján következik, hogy a ϕ 1 : 1 ϕ Ω E ϕ Ω ϕ leszűkített függvény eleme ChM-nek. Mivel pedig nyilvánvalóan 1 ϕ Ω = Ω Domϕ, így a ϕ Ω Domϕ : Ω Domϕ E ϕ leszűkített függvény is eleme ChM-nek. ii iii Triviális. iii iv Nyilvánvaló, mert minden térkép definíciós tartománya nyílt a sokaságtopológia szerint. iv v Legyen ϕ ChM. Az A halmaz atlasza M-nek, ezért M = Domψ, következésképpen Ω Domϕ = Ω Domψ Domϕ. ψ A Minden ψ A esetén iv alapján Ω Domψ nyílt a sokaság-topológia szerint, és Domϕ is ilyen halmaz, ezért Ω Domψ Domϕ nyílt a sokaság-topológia szerint. Ebből kapjuk, hogy Ω Domϕ is nyílt a sokaság-topológia szerint. v i Nyilvánvaló, mert M = Domϕ, így ϕ ChM Ω = ϕ ChM Ω Domϕ, és az v hipotézis alapján minden ϕ ChM esetén Ω Domϕ nyílt a sokaság-topológia szerint. ψ A

24 1.5. SOKASÁG TOPOLÓGIÁJA Állítás. Ha M sokaság, akkor az M topologikus tér T 1 -tér. Bizonyítás. Legyenek a, b M olyan pontok, hogy a b. Ekkor két kizáró eset lehetséges. Létezik olyan ϕ ChM, hogy a, b Domϕ. A állítás alapján a Domϕ M topologikus altér ϕ által homeomorf az Imϕ E ϕ topologikus altérrel, és mivel ez utóbbi Hausdorff-tér, így a Domϕ topologikus altér is Hausdorff-tér, tehát léteznek olyan U, V Domϕ halmazok, amelyek nyíltak a Domϕ topologikus altérben, és a U, b V, és U V =. A Domϕ halmaz nyíltsága miatt ekkor U és V nyílt halmazok M-ben is, tehát ekkor a-nak és b-nek léteznek diszjunkt környezetei az M sokaságban. Nem létezik olyan ϕ ChM, hogy a, b Domϕ. Mivel M = Domϕ, ϕ ChM így léteznek olyan ϕ, ψ ChM térképek, hogy a Domϕ és b Domψ. Ekkor a hipotézis szerint b / Domϕ és a / Domψ, ugyanakkor Domϕ környezete a-nak M-ben és Domψ környezete b-nak M-ben. Ez azt jelenti, hogy az M topologikus tér T 1 -tér TOP Definíció. Tehát sokaságnak minden véges részhalmaza zárt TOP Állítás. Azonban sokaság-topológia nem feltétlenül Hausdorff-topológia. Később példát adunk olyan véges dimenziós sokaságra, amelynek a sokaság-topológiája nem Hausdorff-topológia Állítás. Ha M sokaság, akkor a következő állítások ekvivalensek. i M szeparált vagyis Hausdorff-tér. ii Minden ϕ, ψ ChM esetén a ψ ϕ 1 függvény grafikonja zárt az E ϕ E ψ topologikus szorzattér Imϕ Imψ nyílt topologikus alterében. iii Létezik olyan A atlasza az M sokaságnak, hogy minden ϕ, ψ A esetén a ψ ϕ 1 függvény grafikonja zárt az E ϕ E ψ topologikus szorzattér Imϕ Imψ nyílt topologikus alterében. Bizonyítás. i ii Legyen M := {x, x x M}. Az i feltétel szerint M zárt halmaz az M M topologikus szorzattérben, hiszen ha x, y M M \ M, azaz x, y M és x y, akkor létezik olyan U környezete x-nek M-ben és olyan V környezete y-nak N-ben, hogy U V =, és ekkor nyilvánvalóan U V M =, vagyis U V M M \ M, ami azt jelenti, hogy x, y belső pontja az M M \ M halmaznak a szorzattopológia szerint. Ezért Domϕ Domψ M zárt halmaz a Domϕ Domψ M M topologikus altérben, és a ϕ ψ : Domϕ Domψ Imϕ Imψ függvény szerint homeomorfizmus a Domϕ Domψ és Imϕ Imψ topologikus alterek között, így

25 24 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK ϕ ψ Domϕ Domψ M zárt halmaz az Imϕ Imψ topologikus altérben. Ugyanakkor: ϕ ψ Domϕ Domψ M = = { ϕx, ψy E ϕ E ψ x Domϕ y Domψ x = y } = = { ϕx, ψ ϕ 1 ϕx x Domϕ Domψ } = = { z, ψ ϕ 1 z z ϕ Domϕ Domψ } = gr ψ ϕ 1, hiszen Dom ψ ϕ 1 = ϕ Domϕ Domψ. Tehát a gr ψ ϕ 1 függvénygrafikon zárt az Imϕ Imψ E ϕ E ψ topologikus altérben. ii iii Triviális. iii i Legyen A olyan atlasza az M sokaságnak, hogy minden ϕ, ψ A esetén a ψ ϕ 1 függvény grafikonja zárt az E ϕ E ψ topologikus szorzattér Imϕ Imψ nyílt topologikus alterében. Legyenek x, y M olyan pontok, hogy x y, és vegyünk olyan ϕ, ψ A térképeket, amelyekre x Domϕ és y Domψ. Ekkor ϕx, ψy / gr ψ ϕ 1, különben létezne olyan z ϕ Domϕ Domψ, hogy ϕx, ψy = z, ψ ϕ 1 z, amiből következne, hogy x Domϕ Domψ és ψy = ψ ϕ 1 ϕx = ψx, így ψ injektivitása miatt x = y lenne, holott x y. A hipotézis szerint gr ψ ϕ 1 zárt halmaz az Imϕ Imψ topologikus alterében, így létezik olyan Ũ nyílt környezete ϕx-nek az Imϕ topologikus altérben, és létezik olyan Ṽ nyílt környezete ψy-nak az Imψ topologikus altérben, hogy Ũ Ṽ gr ψ ϕ 1 =. Ekkor alapján U := 1 ϕ Ũ nyílt környezete M-ben x-nek és V := 1 ψ Ṽ nyílt környezete M-ben y-nak. Könnyen látható, hogy U V =, különben vehetnénk egy z U V pontot, és akkor ϕz, ψz Ũ Ṽ teljesülne, és z Domϕ Domψ miatt ϕz, ψz = ϕz, ψ ϕ 1 ϕz gr ψ ϕ 1, vagyis ϕz, ψz Ũ Ṽ gr ψ ϕ 1 teljesülne, ami ellentmond annak, hogy Ũ Ṽ gr ψ ϕ 1 =. Tehát x-nek és y-nak léteznek diszjunkt környezetei M- ben, vagyis M Hausdorff-tér Állítás. Ha M lokálisan véges dimenziós sokaság, akkor M-ben minden pontnak létezik kompakt halmazokból álló környezetbázisa. Bizonyítás. Legyen a M és V környezete a-nak az M sokaságban. Vegyünk olyan ϕ Ch a M térképet, amelyre Domϕ V. A dim M a kardinális szám végessége miatt E ϕ véges dimenziós normálható tér, tehát lokálisan kompakt EVT Tétel, és Imϕ nyílt környezete ϕa-nak E ϕ -ben, így létezik olyan Ũ kompakt környezete ϕa- nak E ϕ -ben, hogy Ũ Imϕ TOP Állítás. Ekkor Ũ kompakt környezete ϕa- nak az Imϕ topologikus altérben is és szerint ϕ homeomorfizmus a Domϕ M és Imϕ E ϕ topologikus alterek között. Ezért U := 1 ϕ Ũ kompakt környezete a-nak a

26 1.5. SOKASÁG TOPOLÓGIÁJA 25 Domϕ topologikus altérben. Mivel Domϕ nyílt környezete a-nak a sokaság-topológia szerint, így U környezete a-nak M-ben is, és kompakt M-ben is TOP Állítás. Ezenkívül U Domϕ V teljesül Állítás. Ha M lokálisan véges dimenziós sokaság, akkor a következő állítások ekvivalensek. i M szeparált vagyis Hausdorff-tér. ii M lokálisan kompakt. iii M reguláris. Bizonyítás. i ii Az előző állítás alapján M minden pontjának van kompakt környezete, így M szeparáltsága miatt M lokálisan kompakt. ii iii Minden lokálisan kompakt tér reguláris TOP Állítás. iii i szerint az M topologikus tér T 1 -tér, és minden reguláris T 0 -tér Hausdorff-tér TOP Állítás Állítás. Ha M reguláris sokaság, akkor minden a M ponthoz létezik olyan ϕ Ch a M, hogy minden X Domϕ halmazra: X pontosan akkor zárt M-ben a sokaság-topológia szerint, ha ϕ X zárt az E ϕ normálható térben. Bizonyítás. Legyen a M és ψ Ch a M. Ekkor Imψ nyílt környezete ψa-nak E ψ -ben, és normálható tér reguláris, így vehetünk olyan V nyílt környezetét ψa-nak E ψ -ben, amelyre V Imψ, ahol a lezárást E ψ -ben kell venni. Ekkor 1 ψ V nyílt halmaz M-ben , és a 1 ψ V Domψ, ezért az M topologikus tér regularitása miatt létezik olyan U nyílt környezete a-nak M-ben, hogy U 1 ψ V, ahol a lezárást M-ben kell venni. Legyen ϕ := ψ U, amelyre ϕ Ch a M teljesül Megmutatjuk, hogy ϕ eleget tesz a követelménynek. Legyen X Domϕ olyan halmaz amely zárt az M topologikus térben. Ekkor X Domψ miatt X zárt a Domψ topologikus altérben is, így szerint ψ X zárt az Imψ topologikus altérben, azaz ψ X = ψ X Imψ, ahol a lezárást E ϕ - ben kell venni. De X Domϕ = U 1 ψ V, így ψ X V, következésképpen ψ X V Imψ, tehát ψ X = ψ X Imψ = ψ X, vagyis ψ X zárt E ψ -ben. Mivel pedig ψ X = ϕ X és E ψ = E ϕ, így ϕ X zárt E ϕ -ben. Megfordítva, legyen X Domϕ olyan halmaz amelyre ϕ X zárt E ϕ -ben. Ekkor ϕ X = ψ X és E ϕ = E ψ miatt ψ X zárt E ψ -ben. Ekkor alapján X = 1 ψ ψ X zárt a Domψ topologikus altérben, tehát X = X Domψ, ahol a lezárást M- ben kell venni. De X Domϕ = U, tehát X U Domψ, következésképpen X = X Domψ = X, vagyis X zárt az M topologikus térben.

27 26 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK Tétel. Minden sokaság lokálisan ívszerűen összefüggő topologikus tér, és minden Banach-sokaság Baire-tér. Bizonyítás. Legyen M sokaság, a M és V környezete a-nak a sokaság-topológia szerint. Létezik olyan Ω M halmaz, amely nyílt a sokaság-topológia szerint, és amelyre a Ω V. A sokaság-topológia definíciója szerint létezik olyan ϕ Ch a M, hogy Domϕ Ω. Rögzítünk egy olyan normát az E ϕ vektortér felett, amely az E ϕ normálható tér topológiáját generálja. Legyen r > 0 olyan valós szám, hogy a B r ϕa nyílt gömb az E ϕ normálható térben részhalmaza Imϕ-nek. Ilyen létezik, mert Imϕ nyílt környezete ϕa-nak az E ϕ normálható térben. A ϕ függvény homeomorfizmus a Domϕ és Imϕ nyílt topologikus alterek között, és a B r ϕa gömb ívszerűen összefüggő nyílt környezete ϕa-nak az Imϕ topologikus altérben. Ezért a 1 ϕ B r ϕa halmaz ívszerűen összefüggő nyílt környezete a-nak a Domϕ topologikus altérben, tehát a sokaság-topológia szerint is, hiszen Domϕ nyílt környezete a-nak M-ben. Ugyanakkor világos, hogy 1 ϕ B r ϕa Domϕ Ω V. Tehát M minden pontjának minden környezete tartalmazza a pontnak ívszerűen összefüggő környezetét, vagyis az M topologikus tér lokálisan ívszerűen összefüggő. Tegyük fel, hogy M S-típusú sokaság, és S minden eleme Banach-tér. Legyen a M, valamint ϕ Ch a M. Ismét rögzítünk egy olyan normát az E ϕ vektortér felett, amely az E ϕ normálható tér topológiáját generálja. Legyen r > 0 olyan valós szám, hogy a B r ϕa Imϕ. Ez a zárt gömb az E ϕ Banach-tér altértopológiájával ellátva Baire-tér, mert teljesen metrizálható, így elég a Baire-féle kategóriatételt alkalmazni TOP Tétel. Mivel a ϕ függvény homeomorfizmus a Domϕ és Imϕ nyílt topologikus alterek között, így 1 ϕ B r ϕa olyan környezete a-nak a Domϕ topologikus altérben, amely ebben az altérben Baire-tér. Tehát ha T jelöli az M sokaság-topológiáját, akkor a 1 ϕ B r ϕa halmaz a T Domϕ 1 ϕ B r ϕa topológiával ellátva Bairetér. A topológiák leszűkítésének tranzitivitása miatt 1 ϕ B r ϕa Baire-tér a sokaságtopológia leszűkítése szerint is. Tehát az M topologikus tér minden pontjának van olyan környezete, amely a sokaság-topológia leszűkítése szerint Baire-tér, ezért M is Baire-tér TOP Állítás Következmény. Ha M sokaság, akkor az Ω M nyílt halmaz, pontosan akkor összefüggő, ha ívszerűen összefüggő. Bizonyítás. Az állítás nyilvánvalóan következik M lokális ívszerű összefüggőségéből és a TOP tételből Állítás. Ha M sokaság, akkor az M topologikus tér M 1 -tér. Bizonyítás. Ha a M és ϕ Ch a M, akkor a ϕa E ϕ pont bármely E ϕ -beli B környezetbázisára a { 1 ϕ V V B} halmaz környezetbázisa a-nak a Domϕ topologikus

28 1.6. A FOLYTONOSSÁG KRITÉRIUMAI 27 altérben , így M-ben a sokaság-topológia szerint is környezetbázisa a-nak, hiszen a Domϕ halmaz nyílt M-ben a sokaság-topológia szerint. Ezért az állítás abból következik, hogy minden normálható tér M 1 -tér. Azonban sokaság nem szükségképpen M 2 -tér. Ez nyilvánvaló, ha E nem szeparábilis normált tér, és E-n vesszük a lineáris differenciálható struktúrát, hiszen metrizálható topologikus tér pontosan akkor szeparábilis, ha megszámlálható bázisú, azaz M 2 -tér MET Állítás. De még véges dimenziós sokaság sem szükségképpen M 2 -tér, ami a nem megszámlálhatóan végtelen alaphalmazú, 0-dimenziós, diszkrét sokaságok példáján látható A folytonosság kritériumai Állítás. Legyen N topologikus tér, M sokaság, és f : N M függvény. A következő állítások ekvivalensek: i f folytonos. ii Minden ϕ ChM térképre az 1 f Domϕ halmaz nyílt N-ben. iii Az M sokaság minden A atlaszára teljesül az, hogy minden ϕ A esetén az 1 f Domϕ halmaz nyílt N-ben és a ϕ f : 1 f Domϕ E ϕ függvény folytonos. iv Létezik olyan A atlasza az M sokaságnak, hogy minden ϕ A esetén az 1 f Domϕ halmaz nyílt N-ben és a ϕ f : 1 f Domϕ E ϕ függvény folytonos. Bizonyítás. i ii A {Domϕ ϕ ChM} halmaz topogikus bázisa az M feletti sokaság-topológiának, ezért i és ii ekvivalensek. ii iii Ha A atlasza M-nek és ϕ A, akkor a sokaság-topológia definíciója szerint Domϕ nyílt M-ben, tehát ii, vagyis i alapján az 1 f Domϕ halmaz nyílt N-ben, továbbá a ϕ f : 1 f Domϕ E ϕ függvény folytonos, mert folytonos függvények kompozíciója folytonos. iii iv Azért igaz, mert létezik atlasza az M sokaságnak. iv i Legyen A olyan atlasza az M sokaságnak, hogy minden ϕ A esetén az 1 f Domϕ halmaz nyílt N-ben és a ϕ f : 1 f Domϕ E ϕ függvény folytonos. Legyen Ω M olyan halmaz, amely nyílt a sokaság-topológia szerint, és vegyünk olyan ϕ i rendszert ChM-ben, amelyre Ω = Domϕ i. Mivel A atlasza az M

29 28 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK sokaságnak, így M = Ebből kapjuk, hogy ϕ A Domϕ, amiből Ω = 1 f Ω = ϕ,i A I ϕ,i A I 1 f Domϕ Domϕ i, Domϕ Domϕ i következik. ezért annak igazolásához, hogy 1 f Ω nyílt részhalmaza N-nek, elegendő azt belátni, hogy minden ϕ A és i I esetén az 1 f Domϕ Domϕ i halmaz nyílt N-ben. Ez viszont igaz, mert ϕ A és i I esetén nyilvánvalóan 1 f Domϕ Domϕ i = ϕ 1 f ϕ Domϕ Domϕ i, és a hipotézis szerint ϕ f : 1 f Domϕ E ϕ folytonos az altér-topológia szerint, és ϕ Domϕ Domϕ i nyílt halmaz E ϕ -ben, így a jobb oldalon álló halmaz nyílt 1 f Domϕ -ben az altértopológia szerint is, tehát nyílt N-ben is, mert a feltevés szerint 1 f Domϕ nyílt N-ben. Vigyázzunk arra, hogy az előző állítás iii és iv pontjában nem elegendő azt megkövetelni, hogy minden ϕ A esetén az 1 f Domϕ halmaz nyílt legyen N- ben; e mellett még azt a mellékfeltételt is elő kell írni, hogy minden ϕ A esetén a ϕ f : 1 f Domϕ E ϕ függvény folytonos legyen. Ez világosan látható akkor, ha M elemi sokaság, és A egy elemű atlasza M-nek: ekkor bármely N topologikus térre, és bármely f : N M szürjekcióra teljesül az, hogy minden ϕ A esetén az 1 f Domϕ halmaz nyílt N-ben, hiszen ez a halmaz egyenlő N-nel, ugyanakkor f nem szükségképpen folytonos Állítás. Legyen N topologikus tér, M sokaság, és f : M N függvény. A következő állítások ekvivalensek: i f folytonos. ii Minden ϕ ChM térképre az f ϕ 1 : Imϕ N függvény folytonos. iii Az M sokaság minden A atlaszára teljesül az, hogy minden ϕ A esetén az f ϕ 1 : Imϕ N függvény folytonos. iv Létezik olyan A atlasza az M sokaságnak, hogy minden ϕ A esetén az f ϕ 1 : Imϕ N függvény folytonos. Bizonyítás. i ii Ha ϕ ChM, akkor ϕ homeomorfizmus a Domϕ és Imϕ topologikus alterek között, tehát ha f folytonos, akkor az f ϕ 1 : Imϕ N függvény

30 1.6. A FOLYTONOSSÁG KRITÉRIUMAI 29 folytonos. ii iii Az M sokaság minden A atlaszára A ChM. iii iv Azért igaz, mert létezik atlasza az M sokaságnak. iv i Legyen A olyan atlasza az M sokaságnak, hogy minden ϕ A esetén az f ϕ 1 : Imϕ N függvény folytonos. Ha ϕ A, akkor ϕ folytonos sőt homeomorfizmus a Domϕ és Imϕ topologikus alterek között, tehát az f Domϕ = f ϕ 1 ϕ : Domϕ N függvény folytonos. Mivel a Domϕ ϕ A halmazrendszer nyílt befedése M-nek, így a TOP b állításból következik, hogy f folytonos függvény. Legyenek M és N sokaságok, valamint f : M N függvény. Ha ϕ ChM és ψ ChN, akkor a ψ f ϕ 1 : E ϕ E ψ függvényre Domψ f ϕ 1 = {z Imϕ fϕ 1 z Domψ} = ϕ Domϕ 1 f Domψ teljesül. Az f függvény folytonosságát ezekkel a normálható terek között ható ψ f ϕ 1 alakú függvényekkel tudjuk megfogalmazni, ahol ϕ ChM és ψ ChN Állítás. Legyenek M és N sokaságok és f : M N függvény. A következő állítások ekvivalensek. i f folytonos. ii Minden ϕ ChM és ψ ChN esetén Dom ψ f ϕ 1 nyílt részhalmaza E ϕ - nek és a ψ f ϕ 1 : E ϕ E ψ függvény folytonos. iii Létezik olyan A atlasza az M sokaságnak, és létezik olyan B atlasza az N sokaságnak, hogy minden ϕ A és ψ B esetén Dom ψ f ϕ 1 nyílt részhalmaza E ϕ -nek és a ψ f ϕ 1 : E ϕ E ψ függvény folytonos. Bizonyítás. i ii Ha ϕ ChM és ψ ChN, akkor Dom ψ f ϕ 1 = ϕ Domϕ 1 f Domψ, ezért ha f folytonos, akkor ez nyílt halmaz M-ben, hiszen Domψ nyílt N-ben, így 1 f Domψ nyílt M-ben és Domϕ is nyílt M-ben, így Domϕ 1 f Domψ nyílt M-ben, tehát ennek ϕ által létesített képe is nyílt E ϕ -ben Továbbá a ϕ 1 : E ϕ M függvény folytonos és ψ : N E ψ szintén folytonos, tehát ha f folytonos, akkor a ψ f ϕ 1 : E ϕ E ψ függvény is folytonos. ii iii Triviális, mert ChM atlasza M-nek és ChN atlasza N-nek. iii i Legyen A olyan atlasza az M sokaságnak, és B olyan atlasza az N sokaságnak, hogy minden ϕ A és ψ B esetén Dom ψ f ϕ 1 nyílt részhalmaza E ϕ -nek és a ψ f ϕ 1 : E ϕ E ψ függvény folytonos.

31 30 1. TÉRKÉPEK, ATLASZOK, DIFFERENCIÁLHATÓ STRUKTÚRÁK Legyen ψ B rögzítve. Ha ϕ A, akkor a hipotézis szerint a Dom ψ f ϕ 1 = ϕ Domϕ 1 f Domψ halmaz nyílt E ϕ -ben, és részhalmaza az Imϕ E ϕ nyílt halmaznak, így nyílt az Imϕ topologikus altérben is, következésképpen Domϕ 1 f Domψ nyílt a Domϕ topologikus altérben, hiszen ϕ homeomorfizmus a Domϕ és Imϕ topologikus alterek között Mivel minden ϕ A esetén Domϕ nyílt M-ben, így Domϕ 1 f Domψ nyílt M-ben is. Ebből alapján következik, hogy 1 f Domψ nyílt részhalmaza M-nek. Továbbá, minden ϕ A esetén ψ = ψ f ϕ f Domϕ 1 ϕ folytonos, mert a hipotézis szerint 1 f Domψ a ψ f ϕ 1 : E ϕ E ψ függvény folytonos. Mivel a Domϕ 1 f Domψ halmazrendszer nyílt befedése az 1 f Domψ nyílt topologikus altérnek, így TOP b alapján a ψ f : f Domψ E ψ folytonos függvény. Ebből alapján következik, hogy f folytonos Állítás. Legyenek M és N sokaságok, és f : M N folytonos függvény. Ekkor minden a M ponthoz, és az a pont minden U könyezetéhez, és minden ψ Ch fa N térképhez létezik olyan ϕ Ch a M térkép, hogy Domϕ U és f Domϕ Domψ. Bizonyítás. A Domψ halmaz környezete fa-nak N-ben a sokaság-topológia szerint, és f folytonos a-ban, ezért 1 f Domψ környezete a-nak M-ben sokaság-topológia szerint. Ezért az U 1 f Domψ halmaz is környezete a-nak M-ben sokaság-topológia szerint. Legyen Ω olyan nyílt halmaz M-ben, amelyre a Ω U 1 f Domψ. A sokaságtopológia definíciója szerint létezik olyan ϕ ChM, hogy a Domϕ Ω. Ha ϕ ilyen térkép, akkor ϕ Ch a M és Domϕ U és f Domϕ Domψ. ϕ A 1.7. Morfizmusok és izomorfizmusok sokaságok között Legyenek M és N sokaságok, valamint f : M N függvény. Az f függvény simasági tulajdonságait a ψ f ϕ 1 alakú, normálható terek között ható függvényekkel tudjuk megfogalmazni, ahol ϕ ChM és ψ ChN Definíció. Legyen M C r -osztályú sokaság, és N C s -osztályú sokaság. Az f : M N függvényt C k -osztályú morfizmusnak nevezzük M és N között, ha k N vagy k =, és k minr, s, és minden ϕ ChM és ψ ChN esetén a ψ f ϕ 1 : E ϕ E ψ függvény C k -osztályú. Az M és N sokaságok között ható C k - osztályú morfizmusok halmazát C k M; N jelöli.