- Solénoïde (mathématiques)
-
- Cette page traite d'une classe de groupe topologique. Pour bobine électromagnétique, voir Solénoïde.
En mathématiques, pour un nombre premier donné p, le solénoïde p-adique est le groupe topologique défini comme la limite projective du système
où i parcourt les entiers naturels, et chaque Si est un cercle, et qi enroule le cercle p fois autour du cercle .
Le solénoïde est l'exemple standard d'un espace ayant un mauvais comportement vis-à-vis des diverses théories homologiques, contrairement aux complexes simpliciaux. Par exemple, en homologie de Čech (en), on peut construire une longue suite homologique non exacte en utilisant le solénoïde. Dans les théories homologiques à la Steenrod (en), le 0-ème groupe d'homologie du solénoïde peut avoir une structure assez compliquée, bien que le solénoïde soit un espace connexe.
Plongement dans R3
Un plongement du solénoïde p-adique dans R3 peut être construit de la manière suivante. Prendre un tore solide T dans R3 et choisir un plongement α: T → T tel que l'action de α sur le groupe fondamental de T soit la multiplication par p; autrement dit, α envoie le tore solide T sur son intérieur de sorte que lorqu'on tourne une fois autour de l'axe de T à la source, on tourne p fois autour de l'axe de T au but. Alors, l'ensemble limite ω de α, c’est-à-dire,
l'intersection (dans R3) des tores de plus en plus petits T, αT, α(αT), etc., est un solénoïde p-adique à l'intérieur de T, par conséquent dans R3.
Une manière de voir que ceci est vrai implique de voir que cet ensemble est la limite inverse du système inverse constitué d'une infinité de copies de T avec les applications α entre elles, et ce système est topologiquement équivalent au système inverse (Si, q i) défini ci-dessus.
Cette construction montre comment le solénoïde p-adique apparaît dans l'étude des systèmes dynamiques sur R3 (puisque α peut apparaître comme la restriction d'une application continue de R3 dans R3). C'est un exemple d'un continu indécomposable non trivial.
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Solenoid (mathematics » (voir la liste des auteurs)
Catégories :- Groupe remarquable
- Espace topologique remarquable
- Systèmes dynamiques
- Groupe topologique
Wikimedia Foundation. 2010.