Plano afín

De testwiki
Revisión del 21:57 15 ago 2024 de imported>Akusmatico (→growthexperiments-addlink-summary-summary:1|2|0)
(difs.) ← Revisión anterior | Revisión actual (difs.) | Revisión siguiente → (difs.)
Ir a la navegación Ir a la búsqueda

En geometría, un plano afín es un sistema de puntos y rectas que satisfacen los siguientes axiomas:[1]

  • Dos puntos distintos se encuentran en una única recta.
  • Cada recta tiene al menos dos puntos.
  • Dada cualquier recta y cualquier punto no perteneciente a la misma, existe una única recta que contiene al punto y no se corta con la recta dada (axioma de Playfair).
  • Existen tres puntos no-colineares (puntos no situados en una sola recta).

En un plano afín, dos rectas se llaman "paralelas" si son iguales (todos sus puntos coinciden) o disjuntas (no tienen ningún punto en común). Utilizando esta definición, el axioma de Playfair puede ser reemplazado por la expresión:[2]

  • Dados un punto y una recta, existe una única recta que contiene al punto y es paralela a la recta dada.

El paralelismo es un relación de equivalencia entre las rectas de un plano afín.

Dado que en los axiomas no intervienen conceptos distintos de los que implican la relación entre puntos y rectas, un plano afín es un objeto de estudio perteneciente a la geometría de incidencia. Son espacios lineales no degenerados que satisfacen el axioma de Playfair.

El familiar espacio euclídeo bidimensional es un plano afín. Hay muchos planos afines finitos e infinitos. Además de planos afines sobre cuerpos (y anillos de división), también existen muchos planos no Desarguesianos, no derivados de coordenadas en un anillo de división, satisfaciendo estos axiomas. El plano de Moulton es uno de estos ejemplos.[3]

Planos afines finitos

Plano afín de orden 3
9 puntos, 12 líneas

Si el número de puntos en un plano afín es finito, entonces si una línea del plano contiene Plantilla:Math puntos, se tiene que:

El número Plantilla:Math se llama el orden del plano afín.

Todos los planos afines finitos conocidos tienen órdenes que son números enteros primos o potencias de números primos. El plano afín más pequeño (de orden 2) se obtiene quitando una línea y los tres puntos en esa línea al plano de Fano. Una construcción similar, a partir del plano proyectivo de orden tres, produce el plano afín de orden tres (en ocasiones denominado configuración de Hesse). Un plano afín de orden Plantilla:Math existe si y solo si, también existe un plano proyectivo de orden Plantilla:Math (sin embargo, la definición de orden en estos dos casos no es la misma). Por lo tanto, no existen planos afines de orden 6 o de orden 10, ya que no hay planos proyectivos de estos órdenes. El teorema de Bruck–Ryser–Chowla proporciona otras limitaciones en el orden de un plano proyectivo y, por lo tanto, en el orden de un plano afín.

Las Plantilla:Math líneas de un plano afín de orden Plantilla:Math se agrupan en Plantilla:Math clases de equivalencia de Plantilla:Math líneas cada una bajo la relación de equivalencia del paralelismo. Estas clases se llaman "clases paralelas" de líneas. Las líneas de cualquier clase paralela forman una partición de los puntos del plano afín. Cada una de las Plantilla:Math líneas que pasan a través de un único punto se encuentra en una clase paralela diferente.

La estructura de clases paralelas de un plano afín de orden Plantilla:Math se puede utilizar para construir un conjunto de Plantilla:Math cuadrados greco-latinos. Solo las relaciones de incidencia son necesarias para definir esta construcción.

Relación con planos proyectivos

Plantilla:AP

Un plano afín se puede obtener de cualquier plano proyectivo mediante la eliminación de una línea y todos los puntos en ella, y por el contrario cualquier plano afín se puede utilizar para construir un plano proyectivo mediante la adición de un línea del infinito, en la que cada uno de sus puntos es un punto del infinito, donde coinciden las líneas paralelas de una clase de equivalencia.

Si el plano proyectivo es no Desarguesiano, la eliminación de diferentes líneas podría resultar en planos afines no isomorfos. Por ejemplo, hay exactamente cuatro planos proyectivos de orden nueve y siete planos afines de orden nueve. Solo hay un plano afín correspondiente al de orden nueve,[4] ya que el plano proyectivo actúa como un grupo colinear sobre las líneas del plano transitivamente. Cada uno de los tres planos no-Desarguesianos de orden nueve tiene grupos de colineación que poseen dos órbitas en las líneas, produciendo dos planos afines no isomórficos de orden nueve, dependiendo de la órbita en la que se seleccione la línea a ser eliminada.

Planos de traslación afines

Una línea Plantilla:Math en un plano proyectivo Plantilla:Math es una línea de traslación si el grupo de elaciones con eje Plantilla:Math actúa transitivamente sobre los puntos del plano afín obtenido quitando Plantilla:Math del plano Plantilla:Math. Un plano proyectivo con una línea de traslación se denomina "plano de traslación" y el plano afín obtenido al extraer la línea de traslación se denomina "plano de traslación afín". Mientras que en general es a menudo más fácil trabajar con los planos proyectivos, en este contexto los planos afines se prefieren y varios autores utilizan simplemente el término plano de la traslación para referirse al plano de la traslación afín.[5]

Una visión alternativa de los planos de traslación afines se puede obtener de la siguiente manera: Sea Plantilla:Math un espacio vectorial Plantilla:Math-dimensional sobre un cuerpo Plantilla:Math. Una extensión de Plantilla:Math es un conjunto Plantilla:Math de subespacios Plantilla:Math-dimensionales de Plantilla:Math que establecen una partición de los vectores no-nulos de Plantilla:Math. Los miembros de Plantilla:Math son llamados los componentes de la extensión, y si Plantilla:Math y Plantilla:Math son componentes distintos, entonces Plantilla:Math. Sea Plantilla:Math la estructura de incidencia cuyos puntos son los vectores de Plantilla:Math y cuyas líneas son los conjuntos de componentes, es decir, conjuntos de la forma Plantilla:Math donde Plantilla:Math es un vector de Plantilla:Math y Plantilla:Math es un componente de la extensión Plantilla:Math. Entonces:[6]

Plantilla:Math es un plano afín y el grupo de traslaciones Plantilla:Math para un vector Plantilla:Math es un grupo de automorfismos actuando regularmente en los puntos de este plano.

Generalización: Plantilla:Math-redes

Una estructura de incidencia más general que un plano afín finito es una Plantilla:Math-red de orden Plantilla:Math. Esto consiste en un conjunto de puntos Plantilla:Math y líneas Plantilla:Math tales que:

  • El paralelismo (como se define en los planos afines) es una relación de equivalencia en el conjunto de líneas.
  • Cada línea tiene exactamente Plantilla:Math puntos, y cada clase paralela tiene Plantilla:Math líneas (por lo que cada clase paralela de líneas divide el conjunto de puntos).
  • Hay Plantilla:Math clases paralelas de líneas. Cada punto se encuentra exactamente en las líneas Plantilla:Math, una de cada clase paralela.

Una Plantilla:Math-red de orden Plantilla:Math es precisamente un plano afín de orden Plantilla:Math.

Una Plantilla:Math-red de orden Plantilla:Math es equivalente a un conjunto de Plantilla:Math cuadrados latinos ortogonales mutuamente de orden Plantilla:Math.

Ejemplo: redes de traslación

Para un cuerpo arbitrario Plantilla:Math, se define Plantilla:Math como un conjunto de subespacios Plantilla:Math-dimensionales del espacio vectorial Plantilla:Math, tales que dos cualquiera de ellos se intersecan solo en {0} (denominado extensión parcial). Los miembros de Plantilla:Math, y sus conjuntos asociados en Plantilla:Math, forman las líneas de una red de traslación sobre los puntos de Plantilla:Math. Si Plantilla:Math entonces es una Plantilla:Math-net de orden Plantilla:Math. Comenzando con un plano de traslación afín, cualquier subconjunto de las clases paralelas formará una red de traslación.

Dada una red de traslación, no siempre es posible añadir clases paralelas a la red para formar un plano afín. Sin embargo, si Plantilla:Math es un campo infinito, cualquier propagación parcial Plantilla:Math con menos de Plantilla:Math miembros puede ser extendida y la red de traslación puede ser completada a un plano de traslación afín.[7]

Los códigos geométricos

Dada la matriz de incidencia "líneas/puntos" de cualquier estructura de incidencia finita, Plantilla:Math, y cualquier cuerpo Plantilla:Math, el espacio fila de Plantilla:Math sobre Plantilla:Math es un código lineal que puede denotarse por Plantilla:Math. Otro código relacionado que contiene información sobre la estructura de incidencia es el recubrimiento de Plantilla:Math que se define como:[8] Recubrimiento⁡(C)=C∩C⊥, donde Plantilla:Math es el código ortogonal de Plantilla:Math.

No se puede decir mucho acerca de estos códigos en este nivel de generalidad, pero si la estructura de incidencia tiene cierta "regularidad", los códigos producidos de esta manera pueden ser analizados y la información sobre los códigos y las estructuras de incidencia pueden ser obtenidas entre sí. Cuando la estructura de incidencia es un plano afín finito, los códigos pertenecen a una clase de códigos conocidos como "códigos geométricos". La cantidad de información que el código lleva sobre el plano afín depende en parte de la elección del campo. Si la característica del campo no es divisor del orden del plano, el código generado es el espacio completo y no lleva ninguna información. Por otro lado,[9]

Además,[10]

Cuando Plantilla:Math, el código geométrico generado es un código de Reed-Muller Plantilla:Math-ario.

Espacios afines

Los espacios afines pueden definirse de manera análoga a la construcción de planos afines a partir de planos proyectivos. También es posible proporcionar un sistema de axiomas para los espacios afines de dimensiones superiores que no se refieren a los correspondientes espacios proyectivos.[11]

Referencias

Plantilla:Listaref

Referencias

Lecturas relacionadas

Plantilla:Control de autoridades

  1. ↑ Plantilla:Harvnb
  2. ↑ Plantilla:Harvnb
  3. ↑ Plantilla:Citation
  4. ↑ Plantilla:Harvnb
  5. ↑ Plantilla:Harvnb
  6. ↑ Plantilla:Harvnb
  7. ↑ Plantilla:Harvnb
  8. ↑ Plantilla:Harvnb
  9. ↑ Plantilla:Harvnb
  10. ↑ Plantilla:Harvnb
  11. ↑ Plantilla:Harvnb, pero véase también Plantilla:Harvnb
Obtenido de «https://es.wiki.beta.math.wmflabs.org/w/index.php?title=Plano_afín&oldid=10035»