Mapa regular (teoría de grafos)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f9/Hexagonal_Hosohedron.svg/220px-Hexagonal_Hosohedron.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/63/Regmap-6340.png/220px-Regmap-6340.png)
En matemáticas, un mapa regular es un teselado simétrico de una superficie cerrada. Más precisamente, es una descomposición de una variedad bidimensional (como una esfera, un toro o un plano proyectivo) en discos topológicos de tal manera que cada bandera (una triple incidencia de vértice-arista-cara) se puede transformar en cualquier otra bandera mediante una simetría de la descomposición. Los mapas regulares son, en cierto sentido, generalizaciones topológicas de los sólidos platónicos. La teoría de mapas y su clasificación está relacionada con la teoría de las superficies de Riemann, la geometría hiperbólica y la teoría de Galois. Los mapas regulares se clasifican según: el genus y la orientabilidad de la superficie de apoyo, el grafo subyacente o el grupo de automorfismos.
Resumen
[editar]Los mapas regulares generalmente se definen y estudian de tres maneras: topológicamente, en teoría de grupos y en teoría de grafos.
Enfoque topológico
[editar]Topológicamente, un mapa es una descomposición 2-celdas de una 2-variedad compacta y cerrada.
El genus g de un mapa M viene dado por la relación de Euler que es igual a si el mapa es orientable, y si el mapa no es orientable. Es un hecho crucial que hay un número finito (distinto de cero) de mapas regulares para cada género orientable, excepto el toro.
Enfoque en teoría de grupos
[editar]En teoría de grupos, la representación de permutación de un mapa regular M es un grupo de permutación C transitivo, sobre un conjunto de banderas, generado por tres involuciones libres de puntos fijos r0, r1 y r2, que satisface (r0r2)2= I. En esta definición, las caras son las órbitas de F = <r0, r 1>, las aristas son las órbitas de E = <r0, r2>, y los vértices son las órbitas de V = <r1, r2>.
De manera más abstracta, el grupo de automorfismos de cualquier mapa regular es la imagen homomórfica no degenerada de un <2,m,n>-grupo triangular.
Enfoque en teoría de grafos
[editar]Teóricamente, un mapa es un grafo cúbico con aristas de color azul, amarillo o rojo, tal que: es conexo, cada vértice incide en una arista de cada color, y los ciclos de aristas que no son de color amarillo tienen una longitud de 4. Téngase en cuenta que es el grafo de banderas o mapa de grafo codificado (GEM) del mapa, definido en el conjunto de vértices de banderas y no es el esqueleto G= (V,E) del mapa. En general,||= 4|E|.
Un mapa M es regular si Aut(M) actúa regularmente en las banderas. Aut(M) de un mapa regular es transitivo en los vértices, aristas y caras de M. Se dice que una función M es reflexiva si Aut(M) es regular y contiene un automorfismo que fija tanto un vértice v como una cara f, pero invierte el orden de las aristas. Un mapa que es regular pero no reflexivo se dice que es quiral.
Ejemplos
[editar]![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8d/Hemicube.svg/220px-Hemicube.svg.png)
- El gran dodecaedro es un mapa regular con caras pentagonales en una superficie orientable de género 4.
- El hemicubo es un mapa regular de tipo {4,3} en el plano proyectivo.
- El hemidodecaedro es un mapa regular producido por la incrustación pentagonal del grafo de Petersen en el plano proyectivo.
- El p-hosoedro es un mapa regular de tipo {2,p}.
- El grafo de Dyck es un mapa regular de 12 octágonos en una superficie de género 3. Su grafo subyacente, el grafo de Dyck, también puede formar un mapa regular de 16 hexágonos en un toro.
La siguiente es una lista completa de mapas regulares en superficies de característica de Euler, χ positiva: la esfera y el plano proyectivo.[1]
χ | g | Schläfli | Vértices | Aristas | Caras | Grupo | Orden | Grafo | Notas | |
---|---|---|---|---|---|---|---|---|---|---|
2 | 0 | {p,2} | p | p | 2 | C2 × Diedralp | 4p | Cp | ![]() |
Diedro |
2 | 0 | {2,p} | 2 | p | p | C2 × Dihp | 4p | p-fold K2 | Hosoedro | |
2 | 0 | {3,3} | 4 | 6 | 4 | S4 | 24 | K4 | ![]() |
Tetraedro |
2 | 0 | {4,3} | 8 | 12 | 6 | C2 × S4 | 48 | K4 × K2 | ![]() |
Cubo |
2 | 0 | {3,4} | 6 | 12 | 8 | C2 × S4 | 48 | K2,2,2 | ![]() |
Octaedro |
2 | 0 | {5,3} | 20 | 30 | 12 | C2 × A5 | 120 | ![]() |
Dodecaedro | |
2 | 0 | {3,5} | 12 | 30 | 20 | C2 × A5 | 120 | K6 × K2 | ![]() |
Icosaedro |
1 | n1 | {2p,2}/2 | p | p | 1 | Dih2p | 4p | Cp | ![]() |
Hemi-dihedron[2] |
1 | n1 | {2,2p}/2 | 2 | p | p | Dih2p | 4p | p-fold K2 | Hemi-hosohedron[2] | |
1 | n1 | {4,3}/2 | 4 | 6 | 3 | S4 | 24 | K4 | ![]() |
Hemicubo |
1 | n1 | {3,4}/2 | 3 | 6 | 4 | S4 | 24 | 2-fold K3 | Hemioctaedro | |
1 | n1 | {5,3}/2 | 10 | 15 | 6 | A5 | 60 | Grafo de Petersen | ![]() |
Hemidodecaedro |
1 | n1 | {3,5}/2 | 6 | 15 | 10 | A5 | 60 | K6 | ![]() |
Hemiicosaedro |
Las imágenes a continuación muestran tres de los 20 mapas regulares en el toro triple, etiquetados con sus símbolos de Schläfli.
-
{6,4}
-
{4,8}
-
{8,4}
Poliedros toroidales
[editar]Los mapas regulares existen como poliedros toroédricos como porciones finitas de mosaicos euclídeos, envueltos en la superficie de un duocilindro como un toro. Están etiquetados como {4,4}b,c para aquellas formas relacionadas con el teselado cuadrado, {4,4}.[3] las del tipo {3,6}b,c están relacionadas con el teselado triangular, y las del tipo {3,6} y {6,3}b,c están relacionadas con el teselado hexagonal, {6,3}. Los valores b y c son números naturales.[4] Hay 2 casos especiales (b,0) y (b,b) con simetría reflexiva, mientras que los casos generales existen en pares quirales (b, c) y (c,b).
Los mapas regulares de la forma {4,4}m,0 se pueden representar como el poliedro oblicuo regular finito {4,4|m}, visto como las caras cuadradas de un m×m duoprisma en 4 dimensiones.
Aquí hay un ejemplo {4,4}8,0 generado a partir de un plano configurado como un tablero de ajedrez, transformado primero en cilindro y después en un toro. La proyección de un cilindro a un toro distorsiona la geometría en 3 dimensiones, pero se puede realizar sin distorsión en 4 dimensiones.
![]() |
![]() |
χ | g | Schläfli | Vértices | Aristas | Caras | Grupos | Orden | Notas |
---|---|---|---|---|---|---|---|---|
0 | 1 | {4,4}b,0 n=b2 |
n | 2n | n | [4,4](b,0) | 8n | Poliedros toroidales planos Igual que {4,4 | b} |
0 | 1 | {4,4}b,b n=2b2 |
n | 2n | n | [4,4](b,b) | 8n | Poliedros toroidales planos Igual que rectificado {4,4 | b} |
0 | 1 | {4,4}b,c n=b2+c2 |
n | 2n | n | [4,4]+ (b,c) |
4n | Poliedros toroidales quirales planos |
0 | 1 | {3,6}b,0 t=b2 |
t | 3t | 2t | [3,6](b,0) | 12t | Poliedros toroidales planos |
0 | 1 | {3,6}b,b t=2b2 |
t | 3t | 2t | [3,6](b,b) | 12t | Poliedros toroidales planos |
0 | 1 | {3,6}b,c t=b2+bc+c2 |
t | 3t | 2t | [3,6]+ (b,c) |
6t | Poliedros toroidales quirales planos |
0 | 1 | {6,3}b,0 t=b2 |
2t | 3t | t | [3,6](b,0) | 12t | Poliedros toroidales planos |
0 | 1 | {6,3}b,b t=2b2 |
2t | 3t | t | [3,6](b,b) | 12t | Poliedros toroidales planos |
0 | 1 | {6,3}b,c t=b2+bc+c2 |
2t | 3t | t | [3,6]+ (b,c) |
6t | Poliedros toroidales quirales planos |
En poliedros toroidales generalmente regulares, {p,q}b,c se puede definir si p o q son pares, aunque solo las configuraciones euclídeas anteriores pueden existir como poliedros toroidales en 4-dimensiones. En {2p,q}, los caminos (b,c) se pueden definir como pasos cara-arista-cara en línea recta, mientras que las formas duales {p,2q} verán las secuencias (b,c) como pasos vértice-arista-vértice en líneas rectas.
Véase también
[editar]Referencias
[editar]- ↑ Coxeter (1980)
- ↑ a b Séquin, Carlo. «Symmetrical immersions of low-genus non-orientable regular maps». Berkeley University.
- ↑ Harold Scott MacDonald Coxeter 1980, 8.3 Mapas de tipo {4,4} en un toro.
- ↑ Harold Scott MacDonald Coxeter 1980, 8.4 Mapas de tipo {3,6} o {6,3} en un toro.
- ↑ Harold Scott MacDonald Coxeter y Moser, Generators and Relations for Discrete Groups, 1957, Capítulo 8, Mapas regulares, 8.3 Mapas de tipo {4,4} en un toro, 8.4 Mapas de tipo {3,6} o {6,3} en un toroide
Bibliografía
[editar]- Coxeter, H. S. M.; Moser, W. O. J. (1980), Generators and Relations for Discrete Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete 14 (4th edición), Springer Verlag, ISBN 978-0-387-09212-6..
- van Wijk, Jarke J. (2009), «Symmetric tiling of closed surfaces: visualization of regular maps», Proc. SIGGRAPH (ACM Transactions on Graphics) 28 (3): 12, doi:10.1145/1531326.1531355, archivado desde el original el 9 de junio de 2011..
- Conder, Marston; Dobcsányi, Peter (2001), «Determination of all regular maps of small genus», Journal of Combinatorial Theory, Series B 81 (2): 224-242, doi:10.1006/jctb.2000.2008..
- Nedela, Roman (2007), Maps, Hypermaps, and Related Topics, archivado desde el original el 4 de marzo de 2016, consultado el 8 de septiembre de 2022..
- Vince, Andrew (2004), «Maps», Handbook of Graph Theory..
- Brehm, Ulrich; Schulte, Egon (2004), «Polyhedral Maps», Handbook of Discrete and Computational Geometry..