En matemáticas , un polígono cercano es un concepto en geometría de incidencia introducido por Ernest E. Shult y Arthur Yanushka en 1980. [1] Shult y Yanushka mostraron la conexión entre los llamados sistemas de líneas tetraédricos cerrados en espacios euclidianos y una clase de geometrías de línea-punto que llamaron polígonos cercanos. Estas estructuras generalizan la noción de polígono generalizado ya que cada 2 n -gono generalizado es un 2 n -gono cercano de un tipo particular. Los polígonos cercanos fueron ampliamente estudiados y la conexión entre ellos y los espacios polares duales [2] se demostró en la década de 1980 y principios de la de 1990. Algunos grupos simples esporádicos , por ejemplo el grupo Hall-Janko y los grupos Mathieu , actúan como grupos de automorfismos de polígonos cercanos.
La distancia máxima entre dos puntos (el llamado diámetro) es d .
Para cada punto y cada línea existe un único punto que está más próximo a .
Nótese que la distancia se mide en el gráfico de colinealidad de puntos, es decir, el gráfico formado al tomar puntos como vértices y unir un par de vértices si son incidentes con una línea común. También podemos dar una definición teórica de grafos alternativa , un 2 d -gono cercano es un grafo conexo de diámetro finito d con la propiedad de que para cada vértice x y cada camarilla máxima M existe un único vértice x' en M más cercano a x . Las camarillas máximas de un grafo de este tipo corresponden a las líneas en la definición de la estructura de incidencia. Un 0-gono cercano ( d = 0) es un único punto mientras que un 2-gono cercano ( d = 1) es solo una única línea, es decir, un grafo completo . Un cuadrángulo cercano ( d = 2) es lo mismo que un cuadrángulo generalizado (posiblemente degenerado) . De hecho, se puede demostrar que cada 2 d -gono generalizado es un 2 d -gono cercano que satisface las siguientes dos condiciones adicionales:
Cada punto incide con al menos dos líneas.
Para cada dos puntos x , y a una distancia i < d , existe un vecino único de y a una distancia i − 1 de x .
Un polígono denso se denomina denso si cada línea incide con al menos tres puntos y si cada dos puntos a una distancia de dos tienen al menos dos vecinos comunes. Se dice que tiene orden ( s , t ) si cada línea incide con exactamente s + 1 puntos y cada punto incide con exactamente t + 1 líneas. Los polígonos densos tienen una rica teoría y varias clases de ellos (como los polígonos delgados densos densos) han sido completamente clasificados. [3]
Ejemplos
Todos los grafos bipartitos conexos son polígonos cercanos. De hecho, cualquier polígono cercano que tenga exactamente dos puntos por línea debe ser un grafo bipartito conexo.
El octágono cercano de Hall-Janko, también conocido como octágono cercano de Cohen- Tits [4] asociado con el grupo de Hall-Janko . Se puede construir eligiendo la clase de conjugación de 315 involuciones centrales del grupo de Hall-Janko como puntos y líneas como subconjuntos de tres elementos {x, y, xy} siempre que x e y conmuten.
El hexágono cercano M 24 relacionado con el grupo de Mathieu M24 y el código binario extendido de Golay . Se construye tomando las 759 octadas (bloques) en el diseño de Witt S (5, 8, 24) correspondientes al código de Golay como puntos y un triple de tres octadas disjuntas por pares como líneas. [5]
Tomemos las particiones de {1, 2, ..., 2 n + 2} en n + 1 2-subconjuntos como puntos y las particiones en n − 1 2-subconjuntos y un 4-subconjunto como líneas. Un punto es incidente a una línea si como partición es un refinamiento de la línea. Esto nos da un 2 n -gono cercano con tres puntos en cada línea, usualmente denotado H n . Su grupo de automorfismos completo es el grupo simétrico S 2 n +2 . [6] [7]
Polígonos regulares cercanos
Un cuasi -gono finito S se llama regular si tiene un orden y si existen constantes , tales que por cada dos puntos y a una distancia , existen precisamente líneas que pasan por él y que contienen un punto (necesariamente único) a una distancia de . Resulta que los cuasi -gonos regulares son precisamente aquellos cuasi -gonos cuyo gráfico de puntos (también conocido como gráfico de colinealidad ) es un gráfico regular de distancia . Un cuasi-gono generalizado de orden es un cuasi -gono regular con parámetros
Cameron, Peter J. (1991), Espacios proyectivos y polares, QMW Maths Notes, vol. 13, Londres: Queen Mary and Westfield College School of Mathematical Sciences, MR 1153019.
De Bruyn, Bart (2006), Cerca de polígonos , fronteras en las matemáticas, Birkhäuser Verlag, doi :10.1007/978-3-7643-7553-9, ISBN 3-7643-7552-3, Sr. 2227553.
De Clerck, F.; Van Maldeghem, H. (1995), "Algunas clases de geometrías de rango 2", Manual de geometría de incidencia , Ámsterdam: Holanda Septentrional, págs..
Shult, Ernest E. (2011), Puntos y líneas , Universitext, Springer, doi :10.1007/978-3-642-15627-4, ISBN 978-3-642-15626-7.
Shult, Ernesto; Yanushka, Arthur (1980), "Cerca de n-gons y sistemas de líneas", Geometriae Dedicata , 9 : 1–72, doi : 10.1007/BF00156473 , MR 0566437.