Diffeomorfisme

In verschillende deelgebieden van de wiskunde, zoals de wiskundige analyse, de differentiaalmeetkunde en de differentiaaltopologie, is een diffeomorfisme een onbeperkt continu differentieerbare bijectie met een eveneens onbeperkt continu differentieerbare inverse. Als men de voorwaarde verzwakt en bijecties beschouwt, die in beide richtingen slechts 1 of een eindig aantal keer continu differentieerbaar moeten zijn, spreekt men van -, respectievelijk -diffeomorfismen.

Diffeomorfisme toegepast op een vierkant

Diffeomorfismen fungeren als isomorfismen in de categorie der gladde variëteiten. Twee diffeomorfe variëteiten (variëteiten, waartussen een diffeomorfisme bestaat) worden als gelijkwaardig beschouwd. De studie van gladde variëteiten zonder aanvullende structuur, op diffeomorfisme na, heet differentiaaltopologie.

Het woord diffeomorfisme is een samentrekking van differentiaal en homeomorfisme. Elk diffeomorfisme is een homeomorfisme, maar niet omgekeerd.

DefinitieBewerken

Zij   en   gladde variëteiten met dimensie   respectievelijk   Een diffeomorfisme van   naar   is een bijectie

 

die in beide richtingen onbeperkt continu differentieerbaar is. Dat betekent dat voor elk punt   van   en voor elke keuze van kaarten (lokale coördinaten) rond   en  

 

de samengestelde afbeeldingen

 

onbeperkt continu differentieerbaar zijn op hun domein.

Dit is slechts mogelijk als de variëteiten dezelfde dimensie hebben, dus  

Een onbeperkt continu differentieerbare bijectie is een dan en slechts dan een diffeomorfisme als haar afgeleide nergens singulier is, dat wil zeggen als de vierkante matrix der partiële afgeleiden ten opzichte van een willekeurig coördinatenstelsel, nergens determinant nul heeft.

VoorbeeldenBewerken

Een lineaire transformatie van het vlak is dan en slechts dan een bijectie als de determinant van haar matrix ten opzichte van een willekeurige basis verschillend is van 0. Dergelijke reguliere lineaire transformaties zijn homeomorfismen van het vlak naar zichzelf.

De afbeelding die elk reëel getal op zijn derde macht afbeeldt

 

is een onbeperkt differentieerbare bijectie, en tevens een homeomorfisme, maar geen diffeomorfisme. De omgekeerde bijectie is namelijk niet differentieerbaar in 0.

Alle open intervallen zijn diffeomorf met elkaar door lineaire transformatie. Ze zijn echter ook diffeomorf met de hele getallenas, bijvoorbeeld via de tangensfunctie

 

Er bestaat geen diffeomorfisme tussen een cirkelomtrek en een rechte, omdat deze twee ruimten zelfs niet homeomorf zijn.

Er bestaan paren van gladde variëteiten die onderling niet diffeomorf zijn, maar waarvan de onderliggende topologische variëteiten wel homeomorf zijn. Dergelijke voorbeelden hebben als dimensie minstens 4. Ze gaan in tegen de intuïtie van de meeste wiskundigen en heten daarom exotische differentiaalstructuren.

AutomorfismenBewerken

De verzameling van alle diffeomorfismen van een gegeven variëteit   naar zichzelf vormt een groep voor de samenstelling. Dit is de groep   der automorfismen in de categorie der gladde variëteiten. In verscheidene opzichten is dit een "grote" groep. Hij kan worden opgevat als een oneindig-dimensionale Liegroep. Als de variëteit wegsamenhangend is, bestaat er voor elke twee punten   en   een automorfisme dat   op   afbeeldt.