Dualidad (geometra proyectiva) - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Dualidad_(geometra_proyectiva)#Dual_...

Dualidad (geometra proyectiva)

La Dualidad en la geometra proyectiva, una caracterstica notable de plano proyectivo, es la "simetra" de
las funciones desempeadas por los puntos y lneas en las definiciones y teoremas. La (plano) dualidad es la
formalizacin de este concepto metamatemtico. Hay dos aproximaciones al tema de la dualidad, uno a
travs del lenguaje (el Principio de Dualidad) mientras que el otro es un enfoque ms funcional. Estos son
completamente equivalentes y cada uno de stos tiene como punto de partida la versin axiomtica de las
geometras que se consideran. En el enfoque funcional hay un mapeado entre geometras relacionadas que se
llama una dualidad. En ejemplos especficos, tal mapa puede construirse de muchas maneras. El concepto
de plano dualidad se extiende fcilmente a la dualidad espacial, y ms an, a la dualidad en cualquier
geometra proyectiva de dimensin finita.

ndice
1 Principio de Dualidad
1.1 Dual Teoremas
2 La dualidad como un mapeo
3 Dualidad de dimensiones superiores
4 Referencias

Principio de Dualidad
Si se define un plano proyectivo axiomticamente como una estructura de incidencia , en trminos de un
conjunto P de puntos, un conjunto L de lneas, y una relacin de incidencia que determina qu puntos se
encuentran en las lneas, entonces uno puede definir una estructura de plano dual .

Intercambiar el papel de los "puntos" y "lneas" en

C = (P, L, I)

para obtener la estructura dual

C * = (L, P, I *),

donde I * es la relacin inversa de I . C * es tambin un plano proyectivo, llamado el doble plano de C.

Si C y C * son isomorfos, entonces C se llama auto-dual . Los planos proyectivos PG (2, K ) para cualquier
campo (o, ms en general, para cada anillo de divisin isomorfo a su doble) K son auto-dual. En particular,
los planos Desargusianos de orden finito son siempre auto-dual. Sin embargo, existen planos no
Desarguesianos que no son auto-dual, como el plano de Hughes .

En un plano proyectivo, una afirmacin que involucre puntos, lneas e incidencias entre ellos que se
obtienen de otro, tal afirmacin, cambiando las palabras "punto" y "lnea" y haciendo cualquier otro ajuste
gramatical que fuera necesario, es llamada la afirmacin de plano dual. La versin dual de "Dos puntos se
encuentran una misma lnea" es "Dos lneas se unen en un mismo punto. El proceso de determinar el doble
plano de una afirmacin es conocido como dualizar la afirmacin.

Si un enunciado es verdadero en un plano proyectivo C, entonces el plano dual de esa declaracin debe ser
verdadera en el doble plano C *. Esto ocurre, dado que dualizar cada sentencia de la prueba "en C" da una
declaracin de la prueba "en C *."

1 de 3 3/8/17 3:14
Dualidad (geometra proyectiva) - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Dualidad_(geometra_proyectiva)#Dual_...

El Principio de Plano Dualidaddice que dualizar cualquier teorema en un plano proyectivo auto-dual C
produce otro teorema vlido en C.

Los conceptos anteriores pueden generalizarse a hablar acerca de la dualidad espacial, donde se
intercambian los trminos "puntos" y "planos" (y las lneas siguen siendo lneas). Esto lleva al Principio de
Espacio Dual . An mayor generalizacin es posible (vase ms adelante).

Estos principios proporcionan una buena razn para preferir usar un trmino "simtrico" para la relacin de
incidencia. As, en lugar de decir "un punto se encuentra en una lnea" se debe decir "un punto es incidente
con una lnea", dado que dualizar este ltimo slo involucra cambiar punto y lnea ("una lnea es incidente
con un punto").

Tradicionalmente, en la geometra proyectiva, el conjunto de puntos de una lnea se considera que incluye la
relacin de armnicos proyectivos conjuados. En esta tradicin, los puntos de una lnea forman un rango
proyectivo, un concepto dual a un lpiz de lneas en un punto.

Dual Teoremas
Dado que el plano real proyectivo, PG (2, 'I' ), es auto-dual existe una serie de pares de resultados bien
conocidos que son duales entre s. Algunos de estos son:

Teorema de Desargues Inverso del teorema de Desargues

Teorema de Pascal Teorema de Brianchon
Teorema de Menelao Teorema de Ceva

La dualidad como un mapeo

Una dualidad (plano) es un mapeo de un plano proyectivo C = (P, L, I) a su plano dual C * = (L, P, I *) (ver
arriba) que conserva la incidencia. Es decir, una (plano) dualidad asignar puntos a lneas y lneas a puntos
(P = L y L = P) de tal manera que si un punto Q est en una lnea m (denotado por QI m), entonces Q I
* m m IQ . Una (plano) dualidad que es un isomorfismo se llama una 'correlacin' 1 La existencia
de una correlacin significa que el plano proyectivo C es auto-dual.

En el caso especial de que el plano proyectivo es del tipo PG (2, K ), con K un anillo de divisin, una
dualidad se llama una reciprocidad2 Por el Teorema fundamental de la geometra proyectiva una
reciprocidad es la composicin de un funcin automorfica de K y un homografa. Si el automorfismo
involucrado es la identidad, la reciprocidad se llama una correlacin proyectiva .

Una correlacin de orden dos (un involucin) se llama un 'polaridad' . Si un correlacin no es una
polaridad entonces 2 es una colineacin no trivial.

Este concepto de mapeo de dualidad tambin se puede extender a espacios de dimensiones superiores por lo
que el modificador "(plano)" puede erradicarse en esas situaciones.

Dualidad de dimensiones superiores

La dualidad en el plano proyectivo es un caso especial de la dualidad de espacio proyectivo,
transformaciones de PG (n, K ) (tambin denotado por K P n ) con K un campo, que intercambia objetos de
dimensin r con objetos de dimensin n - 1 - r (= codimensin r + 1) . Es decir, en un espacio proyectivo de
dimensin n , los puntos (dimensin 0) se hacen corresponder con hiperplano (codimensin 1), las lneas
que unen dos puntos (dimensin 1) se hacen corresponder con la interseccin de dos hiperplanos
codimensin (2), y as sucesivamente.

2 de 3 3/8/17 3:14
Dualidad (geometra proyectiva) - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Dualidad_(geometra_proyectiva)#Dual_...

Los puntos de PG (n, K ) se pueden tomar para ser los vectores no nulos en el ( n + 1) espacio vectorial de
dimensin n+1 sobre K , donde identificamos dos vectores que difieren por un factor escalar. Otra forma de
decirlo es que los puntos de espacios proyectivos n-dimensionales son las lneas pasan por el origen en K n
+ 1 , que son subespacios vectoriales unidimensionales.3

Un vector no nulo u = ( u 0 , u 1 , ..., u n ) en K n + 1 tambin determina un subespacio geomtrico (n - 1)-

dimensional (hiperplano) H u , por

H u = {( x 0 , x 1 , ..., x n ): u 0 x 0 + ... + u n x n = 0}.

Cuando se utiliza un vector u para definir un hiperplano de esta manera, se denota por u H , mientras que si
est designando un punto usaremos u P . En trminos del producto escalar usual, H u = { ' P : u H x P = 0}.
Dado que K es un campo, el producto escalar es simtrico, es decir, u H x P = u 0 x 0 + u 1 x 1 + ... +u n x n
= x 0 u 0 ' + x 1 u 1 + ... + x n u n = x H u P . Una reciprocidad se puede darse por U P H u entre puntos y
hiperplanos. Esto se extiende a una reciprocidad entre la lnea generada por dos puntos y la interseccin de
dos de tales hiperplanos, y as sucesivamente.

En el plano proyectivo, PG (2, K ), con K un campo tenemos la reciprocidad dada por: puntos en
coordenadas homogneas ( a, b, c ) lneas con ecuaciones ax + by + cz = 0 . En el espacio proyectivo
correspondiente, PG (3, K ), una reciprocidad est dada por: puntos en coordenadas homogneas ( a, b, c, d )
planos ecuaciones ax + by + cz + dw = 0 Esta reciprocidad sera tambin asignara lnea determinada por
dos puntos ( a 1 , b 1 , c 1 , d 1 ) y ( a 2 , b 2 , c 2 , d 2 ) a la lnea, que es la interseccin de los dos planos con
ecuaciones a 1 x + b 1 y + c 1 z + d 1 w = 0 y a 2 x + b 2 y + c 2 z + d 2 w = 0.

Referencias
1. Dembowski , 1968. Pg.151
2. . Casse , 2006, p. 94
3. Dimensin se utiliza aqu en dos sentidos diferentes. Cuando se hace referencia a un espacio proyectivo, el
trmino se utiliza en la forma geomtrica comn donde las lneas son 1-dimensional y planos son objetos de 2
dimensiones. Sin embargo, cuando se aplica a un espacio vectorial, la dimensin significa el nmero de vectores
en una base, y una base para un pensamiento subespacio vectorial de como una lnea tiene dos vectores en el
mismo, mientras que una base de un espacio vectorial de pensamiento como un plano tiene tres vectores en el
mismo. Si el significado no es claro por el contexto, los trminos proyectivo o geomtrica se aplica al concepto
de espacio proyectivo mientras o vector algebraica se aplica al espacio vectorial uno. La relacin entre los dos es
simplemente: dimensin algebraica = dimensin geomtrica + 1.

Obtenido de https://es.wikipedia.org/w/index.php?title=Dualidad_(geometra_proyectiva)&
oldid=95100705

Se edit esta pgina por ltima vez el 19 nov 2016 a las 16:00.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

3 de 3 3/8/17 3:14