En géométrie, une construction de Wythoff, nommée en l'honneur du mathématicien Willem Abraham Wythoff, est une méthode pour construire un polyèdre uniforme ou un pavage plan. On l'appelle souvent construction kaléidoscopique de Wythoff.
Elle repose sur le pavage d'une sphère, avec des triangles sphériques. Si trois miroirs sont placés de telle manière que leurs plans se coupent en un point unique, alors les miroirs entourent un triangle sphérique sur la surface d'une sphère quelconque centrée en ce point et par réflexions répétées, on obtient une multitude de copies du triangle. Si les angles du triangle sphérique sont choisis de manière appropriée, les triangles paveront la sphère, une ou plusieurs fois.
En plaçant un sommet à un point convenable dans le triangle sphérique entouré par les miroirs, on peut faire en sorte que les images de ce point par réflexions répétées forment un polyèdre uniforme. Pour un triangle sphérique ABC, il y a quatre façon d'obtenir ainsi un polyèdre uniforme :
le sommet est placé au point A. Ceci produit un polyèdre dont le symbole de Wythoff est a|b c, où a égale π divisé par l'angle du triangle en A, et de même pour b et c ;
le sommet est placé sur le point du segment AB qui bissecte l'angle en C. Ceci produit un polyèdre dont le symbole de Wythoff est a b|c ;
le sommet bissecte les trois angles. Ceci produit un polyèdre dont le symbole de Wythoff est a b c| ;
le sommet est sur un point tel que, lorsqu'il subit une rotation de deux fois l'angle au sommet autour d'un des trois sommets du triangle, sa distance à son image ne dépend pas de celui des trois qu'on choisit. On ne considère que les images du sommet initial par un nombre pair de réflexions. Le polyèdre a pour symbole de Wythoff |a b c.
Le procédé général s'applique aussi pour des polytopes réguliers de dimensions plus élevées, incluant les polychores uniformes quadri-dimensionnels.
symbole de Wythoff
Coxeter Regular Polytopes, Third edition, (1973), Dover edition, (Chapter V: The Kaleidoscope, Section: 5.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
En géométrie, un diagramme de Coxeter-Dynkin est un graphe représentant un ensemble relationnel de miroirs (ou d'hyperplans de réflexion) dans l'espace pour une construction kaléidoscopique. En tant que graphe lui-même, le diagramme représente les groupes de Coxeter, chaque nœud du graphe représente un miroir (facette du domaine) et chaque branche du graphe représente l'ordre de l'angle diédral entre deux miroirs (sur une arête du domaine). En plus, les graphes ont des anneaux (cercles) autour des nœuds pour les miroirs actifs représentant un polytope précis.
En géométrie, un symbole de Wythoff est une notation courte, créée par le mathématicien Willem Abraham Wythoff, pour nommer les polyèdres réguliers et semi-réguliers utilisant une construction kaléidoscopique, en les représentant comme des pavages sur la surface d'une sphère, sur un plan euclidien ou un plan hyperbolique. Le symbole de Wythoff donne 3 nombres p,q,r et une barre verticale positionnelle (|) qui sépare les nombres avant et après elle. Chaque nombre représente l'ordre des miroirs à un sommet du triangle fondamental.
Le pavage carré est, en géométrie, un pavage du plan euclidien constitué de carrés. C'est l'un des trois pavages réguliers du plan euclidien, avec le pavage triangulaire et le pavage hexagonal. Le pavage carré possède un symbole de Schläfli de {4,4}, signifiant que chaque sommet est entouré par 4 carrés. Les symétries du pavage carré sont les symétries du carré, les translations, et leurs combinaisons. Elles forment un groupe de symétrie dénommé p4m. Les symétries du carré forment un sous-groupe, dénommé Groupe diédral d'ordre 8.
Given a transitive permutation group, a fundamental object for studying its higher transitivity properties is the permutation action of its isotropy subgroup. We reverse this relationship and introduce a universal construction of infinite permutation group ...