Difeomorfism

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare

În matematică, un difeomorfism este un izomorfism din categoria mulțimilor netede. Difeomorfismul este o funcție inversabilă care asociază o mulțime diferențiabilă cu alta, astfel încât funcția și inversa ei sunt netede. Un superdifeomorfism (SDiff) este echivalentul unui difeomorfism pentru supermulțimi.

Imaginea unei reţele dreptunghiulare pe un pătrat sub un difeomorfism de la pătrat pe el însuşi.


Definiție[modificare | modificare sursă]

Fiind date două mulțimi M și N, o funcție bijectivă de la M la N este numită difeomorfism dacă:

precum și inversa ei:

sunt diferențiabile. Dacă aceste funcții sunt de n ori continuu diferențiabile, f se numește -difeomorfism.

Două mulțimi M și N sunt difeomorfice, simbolul uzual fiind , dacă există o funcție bijectivă de la M la N cu inversa netedă. Acestea sunt -difeomorfice dacă există o funcție bijectivă diferențiabilă continuu de n ori între ele, și a cărei inversă este de asemenea diferențiabilă continuu de n ori.


Difeomorfismul submulțimilor[modificare | modificare sursă]

Fiind dată o submulțime X a mulțimii M și o submulțime Y a mulțimii N, o funcție este netedă dacă pentru toate elementele există o vecinătate funcție de și o funcție netedă , astfel încât restricțiile corespund cu (de notat ca g este o extensie a funcției f). Spunem că f este un difeomorfism dacă atât funcția cât și inversa ei sunt netede.


Descriere locală[modificare | modificare sursă]

Exemplu: dacă și sunt două submulțimi deschise simplu conexe din , o funcție diferențiabilă de la la este un difeomorfism dacă:

  • Diferențiala este bijectivă în fiecare punct .

Remarcă:

  • Este esențial ca U să fie simplu conexă pentru funcția f, pentru ca aceasta să fie inversabilă global, adică, să fie derivabilă și bijectivă în fiecare punct.

De exemplu, considerăm funcția , în care . Atunci funcția este surjectivă și satisface (astfel este bijectivă în fiecare punct), dar nu este inversabilă, deoarece nu este injectivă, de exemplu, .

  • Deoarece diferențiala într-un punct: este o funcție diferențiabilă, are inversa bine definită dacă și numai dacă este o bijecție. Reprezentarea matricii este o matrice care conține derivatele parțiale de ordinul întâi, astfel încât avem pe linia i și coloana j elementul , matricea numindu-se și matricea Jacobiană.
  • Difeomorfismele există numai între mulțimi care au aceeași dimensiune. Imaginațivă că f merge de la dimensiunea la dimensiunea . Presupunând că n < k, atunci nu poate fi surjectivă, presupunând că n > k, atunci nu poate fi surjectivă. Deci, în ambele cazuri nu este o bijecție.
  • Dacă este o bijecție într-un punct x, atunci spunem că f este un difeomorfism local, deoarece prin continuitate va fi de asemenea bijectivă pentru toate punctele y suficient de apropiate de x. Dacă este o bijecție pentru toate punctele x, atunci spunem că f este un difeomorfism global.
  • Dându-se o funcție netedă de la dimensiune n la dimensiune k, dacă (resp. ) este surjectivă, atunci spunem că f este o submersie ( resp. submersie locală), iar dacă (resp. ) este injectivă spunem că f este o imersie (resp. imersie locală).
  • O bijecție diferențiabilă nu este în mod necesar un difeomorfism. De exemplu nu este un difeomorfism de la pe el însuși deoarece derivatele lui dispar în 0, iar inversa lui nu este diferențiabilă în 0. Acesta este un exemplu de homeomorfism care nu este un difeomorfism.
  • Pentru ca f să fie difeomorfism, trebuie să avem condiții mai puternice decât cele pentru un homeomorfism atunci când f este o funcție între mulțimi diferențiabile. Pentru un difeomorfism trebuie ca f și inversa ei să fie diferențiabile. Pentru un homeomorfism cerem doar ca ele să fie continue. Astfel că, orice difeomorfism este un homeomorfism, dar reciproca este falsă, deci, nu orice homeomorfism este un difeomorfism.


Exemple[modificare | modificare sursă]

Deoarece orice mulțime poate fi local parametrizată, să considerăm câteva funcții explicite din spațiul bidimensional pe el insuși.

  • Fie . Matricea Jacobiană este:

Matricea Jacobiană are determinantul egal cu zero dacă și numai dacă . Constatăm că f este un difeomorfism oriunde pe axa x și axa y.

  • Fie

în care și sunt numere reale arbitrare, iar termenii omiși sunt termeni în x și y de grade superioare. Să calculăm matricea Jacobiană în punctul 0:

Constatăm că g este un difeomorphism local în 0 dacă și numai dacă, , adică,termenii linari din componența lui g sunt liniari independenți ca polinoame.

  • Fie . Matricea Jacobiană este:

Se constată că matricea Jacobiană are peste tot determinatul zero! De fapt vedem că imaginea lui h este cercul unitate.


Grupul difeomorfismelor[modificare | modificare sursă]

Fie M o mulțime diferențiabilă. Grupul difeomorfismelor lui M este grupul tuturor Cn difeomorfismelor lui M pe el însuși și se notează prin , sau când r se subînțelege. Acesta este un grup larg, în sensul că nu este local compact, arătând că M nu este zero-dimensional.


Topologie[modificare | modificare sursă]

Mulțimile difeomeorfice au două topologii naturale, numite topologie slabă și tare (Hirsch 1997). Când mulțimea este compactă, cele două topologii sunt în acord, iar topologia slabă este întotdeauna metrizabilă (adică, are metrică). Când mulțimea nu este compactă, topologia tare ține cont de comportamentul funcției la infinit și nu este metrizabilă, dar încâ rămâne spațiu Baire.

Fixând o metrică Riemanniană pe o mulțime M, topologia slabă este topologia indusă de următoarea familie de metrice:

în care K variază peste subseturile compacte ale lui M. Într-adevăr, deoarece M este σ-compact, există o secvență Kn de sebseturi compacte a căror reuniune este M. Atunci, definim metrica:

Folosind funcția exponențială ca metrică Riemannienă pe M peste un subset compact din M, grupul difeomorfic înzestrat cu topologie slabă este local homeomorfic pe spațiul câmpului vectorial Cr (Leslie 1967). Dacă r este finit și mulțimea este compactă, spațiul câmpului vectorial este un spațiu Banach. Mai mult, funcția de trecere de la o diagramă la alta a acestei mulțimi este netedă, transformând grupul difeomorfic într-o mulțime Banach. Dacă r = ∞ sau dacă mulțimea este σ-compactă, spațiul câmpului vectorial este un spațiu Fréchet. Mai mult, funcția de trecere este netedă, transformând grupul difeomorfic într-o mulțime Fréchet.


Exemple[modificare | modificare sursă]

  • Când M = G avem un grup Lie, existând o includere naturală a lui G în propriul lui grup difeomorfic via translației spre stânga. Fie Diff(G) un grup difeomorfic al lui G, atunci există o decompunere Diff(G) ≃ G × Diff(G,e), în care Diff(G,e) este un subgrup al lui Diff(G) care fixează elementul identitate al grupului.
  • Grupul difeomorfic dintr-un spațiu Euclidian Rn conține două elemente, una păstrând orientarea și cealaltă orientarea inversă a difeomorfismului. De fapt, grupul liniar general este o contracție prin deformație a subgupului difeomorfic Diff(G,0) care fixează originea prin funcția . În particular, grupul liniar general este de asemenea o contractie prin deformare a întregului grup difeomorfic.
  • Pentru un set finit de puncte, grupul difeomorfic este pur și simplu grupul simetric. Similar, dacă M este o mulțime oarecare există un grup extensiv: 0 → Diff0(M) → Diff(M) → Σ(π0M. Aici Diff0(M) este un subgrup a lui care păstrează toate componentele lui M, iar Σ(π0M) este grupul permutărilor setului π0M (componentele lui M). Mai mult, imaginea funcției Diff(M) → Σ(π0M) este o bijecție a lui π0M care păstrează clasa difeomorfică.


Tranzitivitate[modificare | modificare sursă]

Pentru mulțimi conexe M grupul difeomorfic acționează în mod tranzitiv pe M. Mai general, grupul difeomorfic acționează în mod tranzitiv pe spațiul configurațiilor CkM. Dacă M are cel puțin dimensiunea doi, grupul difeomorfic acționează în mod tranzitiv pe spațiul configurațiilor FkM, acțiunea asupra lui M fiind tranzitiv multiplă.[1]


Extensii ale difeomorfismelor[modificare | modificare sursă]

În 1926, Tibor Radó a pus întrebarea dacă extensia armonică a oricărui homeomorfism sau difeomorfism al cercului unitate pe discul unitate duce la obținerea unui difeomorfism pe un disc deschis. O elegantă demonstrație a fost dată de Hellmuth Kneser, iar o alta complet diferită a fost dată de Gustave Choquet în 1945, aparent fără să știe că teorema era deja cunoscută.

Grupul difeomorfic al cercului (care păstreză orientarea) este liniar conex. Acest lucru se poate vedea din faptul că orice astfel de difeomorfism poate fi adus la un difeomorfism f de reali care satisfac relația f(x+1) = f(x) +1, acest spațiu fiind un spațiu convex și deci liniar conex. O constantă eventual netedă cu privire la identitate dă al doilea mod elementar de extindere a unui difeomorfism de la cerc la discul unitate deschis, acesta fiind un caz special al trucului lui Alexander. Mai mult, grupul difeomorfic al cercului are tipul de topologie al grupului ortogonal .

Problemele corespunzătoare de extensie a difeomorfismelor la sfere de dimensiuni înalte Sn−1 au fost mult studiate între anii 1950 și 1960, cu contribuțiile notabile ale lui René Thom, John Milnor și Stephen Smale. O piedică în calea unor astfel de extinderi o reprezintă grupul Abelian finit Γn, de fapt grupul sferelor torsionate, definit drept coeficientul grupului component Abelian al grupului difeomorfic prin subgrupul extinderii claselor la difeomorfismele sferelor Bn.


Tipuri topologice[modificare | modificare sursă]

  • Grupul difeomorfic are tipul topologic al subgrupului . Acest lucru a fost demonstrat de Steve Smale [2].
  • Grupul difeomorfic al torului are tipul topologic al propriului automorfism liniar: .
  • Grupurile difeomorfice ale suprafețelor orientabile de genul au tipul topologic al propriilor grupuri ale claselor de funcții, adică componentele lor se pot contracta.
  • Tipul topologic al grupurilor difeomorfice al mulțimilor 3D sunt bine înțelese datorită lucrărilor lui Ivanov, Hatcher, Gabai și Rubinstein cu toate că există un număr de probleme rămase deschise, precum mulțimile 3D care au grupuri fundamentale finite.
  • Tipul topologic al grupurilor difeomorfice al mulțimilor n-dimensionale, pentru , sunt slab înțelese. De exemplu, este încă o problemă deschisă dacă are sau nu mai mult de două componente. Dar, datorită lucrărilor lui Milnor, Kahn și Antonelli se știe că nu are tipul topologic al complexului CW finit demonstrat pentru .


Homeomorfism și difeomorfism[modificare | modificare sursă]

Este ușor de găsit un homeomorfism care nu este difeomorfism, dar este mai dificil de a găsi o pereche de mulțimi homeomorfe care nu este difeomorfic. În spațiile 1D, 2D și 3D orice pereche de mulțimi netede homeomorfice este difeomorfică. În spații 4D sau mai mari, au fost găsite exemple de perechi homeomorfice care nu sunt difeomorfice. Primul exemplu de acest fel a fost construit de John Milnor în 7D. El a construit o mulțime netedă în 7D, numită acum sfera lui Milnor care este homeomorfă după standardul 7D, dar nu este difeomorfică. Există de fapt 28 de clase de difeomorfisme orientate ale mulțimilor homeomorfice pe sfera 7D, fiecare din ele fiind un spațiu total al spațiului vectorial fibrat peste sferă 4D cu fibraj de sferă 3D.

Mai mult, fenomene exterme apar pentru mulțimi 4D. La începutul anilor `80, o combinație a rezultatelor obținute de Simon Donaldson și Michael Freedman au condus la descoperirea a ceea ce se numește R4 exotic. De asemenea, există multe subseturi liniare deschise ne-difeomorfice pe , fiecare fiind homeomorfică pe , și de asemenea există multe mulțimi liniare diferențiabile ne-difeomorfice dar homeomorfice pe care nu încorporează mulțimile netede din .


Vezi și[modificare | modificare sursă]


Note[modificare | modificare sursă]

  1. ^ Banyaga 1997, p. 29
  2. ^ Smale, Diffeomorphisms of the 2-sphere, Proc. Amer. Math. Soc. 10 (1959) 621--626.


Referințe[modificare | modificare sursă]

Chaudhuri, Shyamoli, Hakuru Kawai and S.-H Henry Tye. "Path-integral formulation of closed strings," Phys. Rev. D, 36: 1148, 1987.

  • Duren, Peter L. (2004), Harmonic Mappings in the Plane, Cambridge Mathematical Tracts, 156, Cambridge University Press, ISBN 0521641217 
  • Kriegl, Andreas; Michor, Peter (1997), The convenient setting of global analysis, Mathematical Surveys and Monographs, 53, American Mathematical Society, ISBN 0-8218-0780-3 
  • Omori, Hideki (1997), Infinite-dimensional Lie groups, Translations of Mathematical Monographs, 158, American Mathematical Society, ISBN 0-8218-4575-6