Transversaliteit

Van Wikipedia

Transversaliteit is een begrip uit de differentiaaltopologie, de tak van de wiskunde die gladde vervormingen van gekromde ruimten bestudeert. Intuïtief beschrijft het de "meest algemene" onderlinge ligging van twee deelruimten.

Inhoud 1 Definitie 2 Voorbeelden 3 Doorsnede van twee deelvariëteiten 4 Transversaliteit van afbeeldingen 5 Algemene ligging

[bewerk] Definitie

Zij M een gladde variëteit, en X en Y twee deelvariëteiten van M. We zeggen dat de variëteit X de variëteit Y transversaal snijdt in een gegeven punt als aan één van de volgende twee voorwaarden voldaan is:

• p behoort niet tot Y, of
• p behoort tot , en de raakruimten T_pX en T_pY brengen samen T_pM voort.

Als X Y transversaal snijdt in alle punten van X, dan geldt ook omgekeerd dat Y X transversaal snijdt in alle punten van Y, en we zeggen kortweg dat X en Y elkaar transversaal snijden.

Merk op dat twee disjuncte deelvariëteiten van M elkaar per definitie "transversaal snijden'.

[bewerk] Voorbeelden

Zij het Euclidische vlak, en X en Y twee gladde krommen. Ze zijn transversaal in alle punten behalve hun eventuele raakpunten. Krommen die elkaar niet raken (wel eventueel snijden), zijn transversaal.

Zij de Euclidische ruimte, en X en Y twee gladde krommen. De raakruimten van X en Y zijn overal ééndimensionaal, en kunnen dus nooit samen de driedimensionale raakruimte van M voortbrengen. X en Y kunnen dus alleen maar transversaal zijn als ze disjunct zijn.

We kunnen dit veralgemenen: als , dan zijn X en Y slechts transversaal als ze disjunct zijn.

Zij de Euclidische ruimte, X een gladde kromme en Y een glad oppervlak. Dan zijn X en Y transversaal als en slechts als in elk van hun snijpunten, de raaklijn aan X het raakvlak aan Y snijdt.

Als X of Y dezelfde dimensie heeft als M, dan zijn X en Y steeds transversaal.

[bewerk] Doorsnede van twee deelvariëteiten

De belangrijkste motivatie van deze definitie ligt in de volgende eigenschap:

De doorsnede van twee transversale deelvariëteiten is opnieuw een deelvariëteit, en in dat geval is

Met codimV bedoelen we de codimensie, dit is het verschil .

In het algemeen geval is de doorsnede van twee deelvariëteiten een erg ingewikkelde verzameling, en zeker niet altijd een variëteit.

[bewerk] Transversaliteit van afbeeldingen

Een immersie is een gladde afbeelding waarvan de rakende afbeelding overal injectief is.

Twee gladde immersies en heten transversaal als in ieder snijpunt van f(V) met g(W) de twee bereiken van de rakende afbeeldingen de raakruimte aan M voortbrengen:

Deze definitie is een veralgemening van de oorspronkelijke, door iedere deelvariëteit van M te identificeren met zijn eigen inclusie-afbeelding

[bewerk] Algemene ligging

Transversaliteit moet beschouwd worden als het algemene geval, en niet-transversaliteit als de uitzondering. De volgende stelling maakt dit precies:

Zij M een compacte gladde variëteit, dan is de topologie van M afkomstig van een metriek. Het heeft dan zin om te spreken over uniforme convergentie van een rij continue afbeeldingen van M naar zichzelf. Als X en Y niet-transversale deelvariëteiten zijn van M, dan bestaan er diffeomorfismen van M met zichzelf, die uniform convergeren naar de identieke transformatie van M, en die X afbeelden op een deelvariëteit van M die transversaal is met Y.

Informeler gezegd, een niet-transversale stand kan door een willekeurig kleine vervorming in een transversale stand worden gebracht. Dit is intuïtief duidelijk voor het geval van rakende krommen in de tweedimensionale sfeer: door een willekeurig kleine vervorming van één van de krommen gaan de twee krommen ofwel uit elkaar liggen (disjunct, dus transversaal), ofwel snijden (eveneens transversaal).

Het begrip "willekeurig klein" kan hier bijvoorbeeld geïnterpreteerd worden als volgt: de topologie van M is metriseerbaar, en de diffeomorfismen convergeren uniform naar de identiekte transformatie.