Tresses (mathématiques)

Tresses (mathématiques)

En mathématiques, et plus précisément en topologie et théorie des groupes, une tresse est un objet mathématique formalisant ce qu'on appelle tresse (ou natte) dans la vie courante. Les tresses ont une structure de groupe naturelle, et possèdent des liens profonds avec des domaines divers des mathématiques et de la physique : topologie, théorie des noeuds, algèbre, combinatoire algébrique, physique statistique,mécanique quantique[réf. nécessaire]...

Sommaire

Définitions

Les groupes de tresses peuvent être définis de différentes manières équivalentes, illustrant les relations qu'ils entretiennent avec différents domaines des mathématiques.

Tresses géométriques

Exemple de tresse à trois brins

Soit A = \left\{a_1, ..., a_n\right\} un ensemble de n points de \mathbb{D} le disque unité ouvert de \mathbb{C}.

On appelle brin le graphe d'une application b continue de I=\left[0,1\right] dans le disque unité ouvert de \mathbb{C}, dont les extrémités b(0) et b(1) appartiennent à A.

On appelle tresse géométrique à n brins la réunion de n brins disjoints. On considère que deux tresses géométriques représentent la même tresse "abstraite" si elle peuvent être obtenue l'une à partir de l'autre en bougeant les brins continument, sans que les brins ne se traversent ni ne se détachent à leurs extrémités. On dit alors que les deux tresses géométriques sont isotopes.

On définit une loi de composition sur l'ensemble des tresses géométriques, telle que le produit de deux tresses est obtenu simplement en les empilant l'une au-dessus de l'autre. Ce produit est associatif et compatible avec la relation d'isotopie. Le produit d'une tresse avec son image dans un miroir horizontal est isotope à la tresse triviale (sans croisement), dont la classe d'équivalence joue le rôle d'élément neutre. Ceci permet donc également de définir l'inverse d'une tresse. Finalement, l'ensemble des tresses géométriques à n brins quotienté par la relation d'isotopie est un groupe, noté Bn.

Produit de deux tresses

Générateurs et relations

Le groupe de tresses \, B_n est le groupe engendré par les générateurs \, \sigma_1,\dots,\sigma_{n-1} et les relations

  1. \, \sigma_i\sigma_{i+1}\sigma_i=\sigma_{i+1}\sigma_i\sigma_{i+1},
  2. \, \sigma_i\sigma_j=\sigma_j\sigma_i si \, |i\!-\!j| \geq 2.

Groupe fondamental

On définit ce qu'on appelle un espace de configuration E_n=\{(z_1,\dots,z_n) \in \mathbb{C}^n,\ i\neq j \Rightarrow z_i \neq z_j \}. Autrement dit, cet espace est l'ensemble des n-uplets de nombres complexes dont tous les éléments sont distincts. On peut interpreter physiquement cet espace en remarquant qu'un nombre complexe représente les coordonnées d'un point dans un plan, ainsi l'espace de configuration \, E_n peut être vu comme l'ensemble des configurations dans lesquelles peuvent se trouver n particules dans un plan (la condition refletant simplement le fait que deux particules ne peuvent pas se trouver au meme endroit).

On remarque par ailleurs qu'en général, les brins d'une tresse n'arrivent pas dans le meme ordre qu'au départ. Par exemple, sur le premier dessin, le brin qui part d'en haut à gauche arrive en bas à droite. Il existe par contre des tresses dont tous les brins arrivent à la meme position que celle dont ils sont partis. Une telle tresse est appelée tresse pure. L'ensemble des tresses pures forme un sous groupe du groupe de tresses.

Le lien entre ces deux notions est le suivant : le groupe fondamental de \, E_n est le groupe de tresses pures à n brins, noté \, P_n.

Mots de tresse

Diagramme d'une tresse

A isotopie près, une tresse abstraite peut toujours être représentée par une tresse géométrique qui ne contient jamais deux croisement à la même hauteur. Il est donc possible de projeter toute tresse dans le plan, afin d'obtenir un diagramme de tresse. Afin de ne pas perdre d'information vis-à-vis de l'espace en 3 dimensions il faut indiquer, lorsque deux brins se croisent, lequel passe devant l'autre.


Pour que les diagrammes de tresses et leur produit correspondent aux permutations et à leur composition il faut lire les diagrammes de tresses de bas en haut. Par exemple, le diagramme de tresses ci-contre a pour permutation \, (1 4 3).

Tresse1t.png

Ainsi prenons deux diagrammes de tresses \, b_1 et \, b_2 de permutation associée respective \, s_1 et \, s_2. Le produit \, b_1b_2 a pour permutation \, s_1\circ s_2.

Pour étudier les tresses, il faut les comparer vis-à-vis de leur chemin et de leur permutation associée. Dans un diagramme de tresses, certains croisements sont indépendants les uns des autres.

Tresse2b.png

Deux diagrammes de tresses sont dits 'isotopes' si on peut obtenir l'un à partir de l'autre en déplaçant les brins sans les « couper » et sans toucher aux extrémités.

La relation d'isotopie sur \, T_n est une relation d'équivalence.

Deux diagrammes de tresses isotopes représentent la même permutation, mais la réciproque est fausse : deux diagrammes ayant la même permutation associée ne sont pas nécessairement isotopes.

Tresse7.png

Groupes de tresses

En quotientant \, T_n par la relation d'isotopie on obtient une structure de groupe sur l'ensemble des diagrammes de tresses à \, n brins. On note \, B_n et on appelle « groupe de tresses à n brins » le groupe ainsi obtenu. L'élément neutre étant bien évidemment la classe du diagramme trivial, l'inverse d'un diagramme est le diagramme obtenu en prenant son image miroir, comme on le voit sur l'exemple ci-dessous.

Tresse6.png

Tresse6b.png

Par simplification on appelle tresse à \, n brins un élément de \, B_n.

On plonge \, B_n dans \, B_{n+1} en transformant les tresses à \, n brins en tresses à \, n+1 brins de la manière suivante. On ajoute à droite un \, n+1ème brins qui n'en croise aucun autre, comme on le voit dans l'exemple suivant:

Plonge.png

On note \, B_{\infty}, et on appelle « groupe de tresses », le groupe B_{\infty}=\bigcup_{n\geq 0}B_n.

Applications et généralisations

La théorie des tresses est utilisée pour décrire les anyons en physique[1].

Notes

  1. ↑ Michael Freedman, « Topological Quantum Computation », dans Bulletin of the American Mathematical Society, vol. 40, no 1, 20 October 2002, p. 31–38 [lien DOI] 

Références

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Tresses (mathématiques) de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Groupe de tresses — Théorie des tresses La théorie des tresses est l étude des tresses, objet mathématique formalisant ce qu on appelle tresse (ou natte) dans la vie courante. Loin d être une simple distraction mathématique, les tresses ont une structure de groupe… …   Wikipédia en Français

  • Theorie des tresses — Théorie des tresses La théorie des tresses est l étude des tresses, objet mathématique formalisant ce qu on appelle tresse (ou natte) dans la vie courante. Loin d être une simple distraction mathématique, les tresses ont une structure de groupe… …   Wikipédia en Français

  • Théorie des tresses — La théorie des tresses est l étude des tresses, objet mathématique formalisant ce qu on appelle tresse (ou natte) dans la vie courante. Loin d être une simple distraction mathématique, les tresses ont une structure de groupe naturelle, et… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Lemme Des Tresses — Le Lemme des tresses énonce une condition suffisante pour qu une fonction trilinéaire soit la fonction nulle. Énoncé Soit E un espace vectoriel sur un corps K de caractéristique différente de deux. Soit une fonction trilinéaire, antisymétrique… …   Wikipédia en Français

  • Lemme des tresses — Le Lemme des tresses énonce une condition suffisante pour qu une fonction trilinéaire soit la fonction nulle. Énoncé Soit E un espace vectoriel sur un corps commutatif K de caractéristique différente de deux. Soit une fonction trilinéaire,… …   Wikipédia en Français

  • Liste des lemmes (mathematiques) — Liste des lemmes (mathématiques) Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le… …   Wikipédia en Français

  • Liste des lemmes (mathématiques) — Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le premier nom propre cité. Si le nom …   Wikipédia en Français

  • Liste de lemmes (mathématiques) — Liste de lemmes mathématiques par ordre alphabétique. En mathématiques, un lemme est un énoncé prouvé, mais jugé moins important que ce qu on appelle un théorème, qu il sert généralement à établir au cours d une démonstration. Néanmoins cette… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”