Espacio proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Espacio_proyectivo

Espacio proyectivo
En matemtica, un espacio proyectivo es un conjunto de elementos
similar al conjunto P(V) de lneas que pasan a travs del origen de un
espacio vectorial V. Los casos en los cuales V=R2 o V=R3 son
conocidos como recta proyectiva y plano proyectivo, respectivamente.

La idea de un espacio proyectivo se relaciona con la perspectiva, ms

precisamente con la forma en la que un ojo o una cmara proyecta una
escena 3D sobre una imagen 2D. Todos los puntos que se encuentran
sobre una lnea de proyeccin (i.e., un "lnea de visin"), intersecando
con el punto focal de la cmara, se proyectan en un punto de imagen
comn. En este caso, el espacio vectorial es R3, con el punto focal de la
cmara como origen y el espacio proyectivo corresponde a los puntos
de imagen.

Los espacios proyectivos pueden ser estudiados como campos

separados en matemticas, pero tambin pueden ser usados en varios
campos de aplicacin, en particular, en geometra. Los objetos En perspectiva grfica, las rectas
geomtricos, tales como puntos, rectas, o planos, pueden tener una paralelas en el plano intersecan en un
representacin como elementos en espacios proyectivos basados en punto de fuga en el horizonte.
coordenadas homogneas. Como resultado, varias relaciones entre esos
objetos pueden ser descritas de la manera ms simple posible sin
coordenadas homogneas. Ms an, varios enunciados en geometra pueden hacerse ms consistentes y sin
excepciones. Por ejemplo, en la geometra estndar, para el plano, dos rectas siempre intersecan en un punto
excepto cuando stas son paralelas. En una representacin proyectiva de rectas y puntos, sin embargo, ese
punto de interseccin existe incluso para rectas paraleas, y ste puede ser calculado de la misma manera que
otros puntos de interseccin.

Otros campos matemticos donde los espacios proyectivos juegan un papel importante son la topologa, la
teora de grupos de Lie y los grupos algebraicos, y sus teoras de representacin.

ndice
1 Introduccin
2 Definicin de espacio proyectivo
3 Espacio proyectivo como variedad
4 Espacios proyectivos en geometra algebraica
5 Espacios proyectivos en topologa algebraica
6 Espacio proyectivo y espacio afn
7 Axiomas del espacio proyectivo
7.1 Clasificacin
8 Morfismos
9 Espacio proyectivo dual
10 Generalizaciones
11 Vase tambin

1 de 8 8/8/17 12:42
Espacio proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Espacio_proyectivo

12 Referencias
13 Enlaces externos

Introduccin
Como se mostraba arriba, un espacio proyectivo es un objeto
geomtrico que formaliza enunciados tales como rectas paralelas que
intersecan en el infinito. Concretando, se puede realizar la
construccin del plano proyectivo real P2(R) con cierto detalle. Hay
tres relaciones equivalentes:

1. El conjunto de todas las rectas en R3 que pasan a travs del

origen (0, 0, 0). Cada una de esas rectas se encuentran en la
esfera de radio uno centrada en el origen exactamente dos veces,
digamos, en P = (x, y, z) y en su punto antpodal (-x, -y, -z).
2. P2(R) tambin puede ser descrito por ser los puntos de la esfera
S2, donde cada punto P y su punto antpodal no son distinguibles.
Por ejemplo, el punto (1, 0, 0) (rojo en la imagen) es identificado
Representacin de un plano proyectivo.
con (-1, 0, 0) (punto rojo claro), etc.
3. Finalmente, con todo, otra definicin equivalente es el conjunto
de clases de equivalencias de R3\(0, 0, 0), i.e. 3-espacio sin el
origen, donde dos puntos P = (x, y, z) y P* = (x*, y*, z*) son equivalentes sii hay un nmero real distinto
de cero tal que P = P*, i.e. x = x*, y = y*, z = z*. La forma usual de escribir un elemento del plano
proyectivo, i.e. las clases de equivalencias correspodientes a un punto ntegro (x, y, z) en R3, es: [x : y :
z].

La ltima frmula se conoce con el nombre de coordenadas homogneas.

Ntese que cualquier punto [x : y : z] con z 0 es equivalente a [x/z : y/z : 1]. As que hay dos subconjuntos
disjuntos del plano proyectivo: los que consisten en los puntos [x : y : z] = [x/z : y/z : 1] para z 0, y los que
consisten en los puntos restantes [x : y : 0]. El ltimo conjunto puede subdividirse de manera similar en dos
subconjuntos disjuntos, con puntos [x/y : 1 : 0] y [x : 0 : 0]. En el ltimo caso, x es necesariamente distinto de
cero, porque el origen no forma parte de P2(R). Por lo tanto el punto es equivalente a [1 : 0 : 0].
Geomtricamente, el primer subconjunto, que es isomorfo (no slo como conjunto, sino tambin como
variedad, como se ver despus) a R2, es en la imagen el hemisferio superior amarillo (sin el ecuador), o
equivalentemente el hemisferio inferior. El segundo subconjunto, isomorfo a R1, corresponde a la lnea verde
(sin los dos puntos marcados), o, de nuevo, equivalente a la lnea verde claro. Finalmente se tiene el punto rojo
o el equivalente punto rojo claro. Se tiene as una descomposicin disjunta

P2(R) = R2 R1 punto.

Intuitivamente, y se precisa a continuacin, R1 punto es en s misma la recta proyectiva real

P1(R).Considerado como el subconjunto P2(R), sta es llamada recta en el infinito, donde R2 P2(R) es
llamado plano afn, i.e. slo el plano usual.

Definicin de espacio proyectivo

2 de 8 8/8/17 12:42
Espacio proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Espacio_proyectivo

El espacio proyectivo real, Pn (R), se define por

Pn(R) := (Rn+1 \ {0}) / ~,

con la relacin de equivalencia (x0, ..., xn) ~ (x0, ..., xn), donde es un nmero real arbitrario distinto de cero.
Equivalentemente, es el conjunto de todas las rectas en Rn+1 que pasan a travs del origen 0 := (0, ..., 0).

En lugar de R, se puede tomar cualquier cuerpo, o incluso un anillo de divisin, k. Tomando los nmeros
complejos o los cuaterniones, se obtiene el espacio proyectivo complejo Pn(C) y espacio proyectivo
cuaterninico Pn(H).

Si n es uno o dos, se puede llamar tambin recta proyectiva o plano proyectivo, respectivamente. El plano
proyectivo complejo es tambin llamado esfera de Riemann.

Como en el caso especial de arriba, la notacin (tambin llamada coordenadas homogneas) para un punto en
el espacio proyectivo es

[x0 : ... : xn].

De manera ms general, para un espacio vectorial V (sobre algn cuerpo k, o incluso ms generalmente un
mdulo V sobre algn anillo de divisin), P(V) se define como (V \ {0}) / ~, donde dos vectores distintos de
cero v1, v2 en V son equivalentes si difieren por medio de un escalar distinto de cero, i.e., v1 = v2. El espacio
vectorial no necesita ser de dimensin finita; As, por ejemplo, existen los espacios proyectivos de Hilbert.

Espacio proyectivo como variedad

La definicin anterior de espacio proyectivo porporciona un conjunto. A
efectos de geometra diferencial, que trata con variedades, es til dotar a
este conjunto con una estructura de variedad (real or compleja).

Es decir, considrese los siguientes subconjuntos:

Por la definicin de espacio proyectivo, su unin es el espacio proyectivo

completo. Adems, Ui est en biyeccin con Rn (o Cn) mediante los
siguientes mapeados:
Estructura de la variedad de la recta
proyectiva real.

(el sombrero en la componente significa que falta la i-sima componente).

La imagen del ejemplo muestra que P1(R). (aunque los puntos antpoda estn identificados en P1(R)). Estn
cubiertos por dos copias de la recta real R, cada una de las cuales cubre la recta proyectiva excepto un punto,
que es el (o un) punto en el infinito.

Primero, se define una topologa en un espacio proyectivo mediante declaracin de que esos mapas podrn ser
homeomorfismos, esto es, un subconjunto de Ui es abierto si y slo si su imagen bajo el isomorfismo anterior

3 de 8 8/8/17 12:42
Espacio proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Espacio_proyectivo

es un subconjunto abierto (en el sentido normal) de Rn. Un subconjunto arbitrario A de Pn(R) es abierto si
todas las intersecciones A Ui son abiertas. Esto define un espacio topolgico.

La estructura de la variedad tambin viene dada por esos mapas anteriores.

Otra forma de pensar sobre la recta proyectiva es la siguiente: tmense dos

copias de una recta afn con coordenadas x e y, respectivamente, y
pguense todas juntas a lo largo de los subconjuntos x 0 e y 0 mediante
los mapeados

Visualizacin diferente de la recta

La variedad resultante es la recta proyectiva. Los diagramas dados por esta proyectiva.
construccin son los mismos que los anteriores. Presentaciones similares
existen para espacios proyectivos de mayores dimensiones.

La descomposicin anterior en conjuntos disjuntos se lee en general como:

Pn(R) = Rn Rn-1 R1 R0,

esto, a veces llamado descomposicin en clulas, puede ser usado para calcular la cohomologa singular de un
espacio proyectivo.

Todo lo anterior se cumple para el plano proyectivo complejo tambin. La recta proyectiva compleja P1(C) es
un ejemplo de superficie de Riemann.

Espacios proyectivos en geometra algebraica

La cobertura de los anteriores subconjuntos abiertos tambin muestra que el espacio proyectivo es una variedad
algebraica (o esquema), est cubierta por n + 1 n-espacios afines. La construccin de un esquema proyectivo es
un ejemplo de la construccin Proj.

Espacios proyectivos en topologa algebraica

El n-espacio real proyectivo tiene Real projective n-space tiene una estructura CW-complejo bastante sencilla.
Es decir, cada espacio n-dimensional real proyectivo tiene una nica clula n-dimensional.

Espacio proyectivo y espacio afn

Existen algunas ventajas del espacio proyectivo respecto del espacio afn ( Pn(R) vs. An(R)). Por esas razones
es importante conocer cuando una variedad dada es proyectiva, por ejemplo, se incrusta en (es un subconjunto
cerrado) el espacio proyectivo. Los fibrados de lnea (muy) amplios estn diseados para dar respuesta a esta
pregunta.

Ntese que el espacio proyectivo puede ser formado mediante la proyectivizacin de un espacio vectorial,
como lneas que pasan a travs del origen, pero no puede ser formado de un espacio afn sin escoger un punto
base. Es decir, los espacios afines son subespacios abiertos de los espacios proyectivos, los cuales son cocientes
de los espacios vectoriales.

4 de 8 8/8/17 12:42
Espacio proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Espacio_proyectivo

El espacio proyectivo es un espacio topolgico compacto, el espacio afn

no lo es. Por lo tanto, el teorema de Liouville se puede aplicar para
mostrar que cada funcin holomorfa sobre Pn(C) es constante. Otra
consecuencia es, por ejemplo, que las funciones integrables o formas
diferenciables sobre Pn no causan problemas de convergencia.
Sobre una variedad proyectiva compleja X, grupos cohomolgicos de
haces coherentes son finitamente generados. (El ejemplo anterior es
H0(Pn(C), O), la cero-sima cohomologa del haz de funciones
holomorfas O). En el lenguaje de la geometra algebraica, el espacio
proyectivo es propio. Los anteriores resultados se cumplen en este
contexto, tambin.
Para el espacio proyectivo complejo, cada subvariedad compleja X
Pn(C) (i.e., una variedad cortada por ecuaciones holomorfas) es
necesariamente una variedad algebraica (i.e., dada por ecuaciones
polinmicas). este es el teorema de Chow, que permite el uso directo de
mtodos algebraicos-geomtricos para esos objetos analticamente Ejemplo del teorema de
definidos a propsito. Bzout
2
Como se ha sealado arriba, las lneas en P o ms generalmente los
hiperplanos en Pn deben intersecar siempre. Esto es extensible a los
objetos no lineales, como tal: definiendo adecuadamente el grado de una curva algebraica, que es
aproximadamente el grado de los polinomios necesarios para definir la curva (vase polinomio de
Hilbert), es verdad (sobre un cuerpo algebraicamente cerrado k) que dos curvas proyectivas cualesquiera
C1, C2 Pn(k) de grado e y f intersecan en exactamente ef puntos, contenindolos con sus
multiplicidades (vase teorema de Bzout). Esto se aplica, por ejemplo, en la definicin de una estructura
de grupo sobre los puntos de una curva elptica, como puede ser y2 = x3x+1. el grado de la curva
elptica es 3. Considrese la lnea x = 1, que interseca con la curva (en el interior del espacio afn)
exactamente el doble, es decir, en (1, 1) y (1, 1). Sin embargo, en el interior de P2, la clausura
proyectiva de la curva viene dada por la ecuacin homognea
y2z = x3xz2+z3,
que interseca con la lnea (dada en el interior de P2 por x = z) en tres puntos: [1: 1: 1], [1: 1: 1]
(correspondientes a los dos puntos mencionados antes), y a [0: 1: 0].
Cualquier variedad de grupo proyectiva, i.e. una variedad proyectiva, cuyos puntos formen un grupo
abstracto, es necesariamente una variedad abeliana, i.e. el grupo operacin es conmutativa. Las curvas
elpticas son ejemplos de variedades abelianas. La conmutatividad falla para variedades de de grupo no
proyectivas, como el ejemplo GLn(k) (el grupo general lineal) muestra.

Axiomas del espacio proyectivo

Un espacio proyectivo S puede ser definido abstractamente como un conjunto P (el conjunto de puntos), junto
con el conjunto L de subconjuntos de P (el conjunto de rectas), que satisfacen los siguientes axiomas :

Dos puntos distintos p y q estn exactamente en una recta.

Axioma de Veblen : Si a, b, c, d son puntos distintos y las rectas que forman ab y cd se encuentran,
tambin lo hacen las lneas que forman ac y bd.
Cualquier lnea tiene al menos 3 puntos sobre ella.

El ltimo axioma elimina casos reducibles que se pueden escribir como una unin disjunta de espacios

5 de 8 8/8/17 12:42
Espacio proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Espacio_proyectivo

proyectivos junto con rectas (conformada por dos puntos) que unen dos puntos en distintos espacios
proyectivos. Ms abstractamente, se puede definir como una estructura de incidencia consistiente en
un conjunto de puntos P, un conjunto L de lneas, y una relacin de incidencia I indicando qu puntos se hallan
con qu rectas.

Un subespacio del espacio proyectivo es el subconjunto X, tal que cualquier lnea que contiene dos puntos de X
es un subconjunto de X. El espacio completo y el espacio vaco son subespacios.

La dimensin geomtrica del espacio se dice que es n si ese es el mayor nmero para el cual hay estrictamente
una cadena ascendente de subespacios de la forma:

Clasificacin
Dimensin 0 (sin rectas) El espacio es un simple punto.
Dimensin 1 (Exactamente una lnea) Todos los puntos se
encuentran sobre una lnea.
Dimensin 2 (Hay al menos 2 lneas, y dos lneas cualesquiera se
encuentran) La definicin de un espacio proyectivo para n = 2 es
equivalente a la de un plano proyectivo. Estos son ms difciles
de clasificar, ya que no todos ellos son isomorfos con un
PG(d, K). Los planos desarguesianos que satisfacen el teorema de
Desargues son planos proyectivos sobre anillos de divisin, pero
hay varios planos no desarguesianos.
Dimensin de al menos 3 (Hay 2 rectas que no interseccionan.)
Veblen y Young (1965) demostraron el teorema de Veblen-Young El plano de Fano.
que dice que si la dimensin n 3, cada espacio proyectivo es
isomorfo con un PG(n, K), el espacio proyectivo n-dimensional
sobre algn anillo de divisin K.

Hay

1, 1, 1, 1, 0, 1, 1, 4, 0, (sucesin A001231 (https://oeis.org/A001231) en OEIS)

planos proyectivos de orden 2, 3, 4, , 10. Nmeros superiores a estos son muy difciles de calcular.

El plano proyectivo ms pequeo es el plano de Fano, PG[2,2] con 7 puntos y 7 rectas.

Morfismos
Las aplicaciones lineales inyectivas T L(V,W) entre dos espacios vectoriales V y W sobre el mismo cuerpo k
inducen aplicaciones de los correspondientes espacios proyectivos P(V) P(W) va:

[v] [T(v)],

donde v es un elemento no nulo de V y [...] denota la equivalencia de clases de un vector bajo la definicin de
identificacin de los respectivos espacios proyectivos. Puesto que los miembros de la clase de equivalencia
difieren en un factor escalar, y las aplicaciones lineales preservan los factores escalares, esta aplicacin

6 de 8 8/8/17 12:42
Espacio proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Espacio_proyectivo

inducida est bien definida. (Si T no es inyectiva, se tendr un espacio nulo mayor que {0}; en este caso el
significado de la clase de T(v) es problemtico si v no es cero y est dentro del espacio nulo. En este caso se
obtiene lo que se llama aplicacin racional, vase tambin geometra birracional).

Dos aplicaciones lineales S y T en L(V,W) inducen la misma aplicacin entre P(V) y P(W) si y slo si difieren
en un mltiplo escalar de la identidad, que es si T=S para algn 0. De modo que si se identifican los
mltiplos escalares de la aplicacin identidad con el cuerpo subyacente, el conjunto de morfismos lineales en k
desde P(V) a P(W) es simplemente P(L(V,W)).

Los automorfismos P(V) P(V) pueden ser descritos ms concretamente. (se tratar nicamente con
automorfismos que preservan el cuerpo base k). Usando la nocin de haces generados por secciones globales,
se puede mostrar que cualquier automorfismo algebraico (no necesariamente lineal) tiene que ser lineal, i.e.
procedentes de un automorfismo (lineal) del espacio vectorial V, en ltima forma, el grupo GL(V). Mediante la
identificacin de las aplicaciones que se diferencian por un escalar, se concluye que

Aut(P(V)) = Aut(V)/k = GL(V)/k =: PGL(V),

el grupo cociente de GL(V) mdulo las matrices que son mltiplos escalares de la identidad. (Esas matrices
forman el centro de Aut(V)). Los grupos PGL son llamados grupos lineales proyectivos. Los automorfismos de
la recta proyectiva compleja P1(C) son llamados transformaciones de Mbius.

Espacio proyectivo dual

Cuando la construccin anterior es aplicada al espacio dual V* en vez de a V, se obtiene el espacio proyectivo
dual, que puede ser cannicamente identificado con el espacio de hiperplanos que pasan a travs del origen de
V. Esto es, si V es n dimensional, entonces P(V*) es el grassmanniano de n1 planos en V.

Generalizaciones
Dimensin
El espacio proyectivo, siendo el "espacio" de todos los subespacios lineales unidimensionales de un
determinado espacio vectorial V es generalizado por la variedad grassmanniana, que parametriza
subespacios de mayores dimensiones (para alguna dimensin fijada) de V.
Sucesin de subespacios
Ms generalmente, la variedad bandera es el espacio de banderas, o sea, cadenas de subespacios lineales
de V.
Otras subvariedades
Ms generalmente, los espacios moduli parametrizan objetos tales como curvas elpticas de un tipo dado.
Otros anillos
Generalizado a anillos, (en lugar de cuerpos) se obtiene la geometra de anillo inversa.
Parcheado
Parcheando los espacios proyectivos conjuntamente se obtiene espacios proyectivos fibrados.

Las Variedades de SeveriBrauer son variedades algebraicas sobre un cuerpo k que se vuelven isomorfas a los
espacios proyectivos despus de una extensin del cuerpo base k.

Los espacios proyectivos son casos especiales de variedades tricas. Otra generalizacin son los espacios
proyectivos ponderados.

7 de 8 8/8/17 12:42
Espacio proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Espacio_proyectivo

Vase tambin
Espacio proyectivo complejo

Referencias
Afanas'ev, V.V. (2001), "projective space (http://eom.springer.de/P/p075350.htm)", in Hazewinkel,
Michiel, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Beutelspacher, Albrecht; Rosenbaum, Ute (1998), Projective geometry: from foundations to applications,
Cambridge University Press, ISBN 978-0-521-48277-6; 978-0-521-48364-3 |isbn= incorrecto (ayuda),
MR 1629468 (http://www.ams.org/mathscinet-getitem?mr=1629468)
Coxeter, Harold Scott MacDonald (1974), Projective geometry, Toronto, Ont.: University of Toronto
Press, ISBN 0802021042, OCLC 977732 (https://www.worldcat.org/oclc/977732), MR 0346652 (http://www.ams.org
/mathscinet-getitem?mr=0346652)
Dembowski, P. (1968), Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44,
Berlin, New York: Springer-Verlag, ISBN 3540617868, MR 0233275 (http://www.ams.org/mathscinet-
getitem?mr=0233275)
Greenberg, M.J.; Euclidean and non-Euclidean geometries, 2nd ed. Freeman (1980).
Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag,
ISBN 978-0-387-90244-9, MR 0463157 (http://www.ams.org/mathscinet-getitem?mr=0463157), esp. chapters I.2, I.7, II.5,
and II.7
Hilbert, D. and Cohn-Vossen, S.; Geometry and the imagination, 2nd ed. Chelsea (1999).
Veblen, Oswald; Young, John Wesley (1965), Projective geometry. Vols. 1, 2, Blaisdell Publishing Co.
Ginn and Co. New York-Toronto-London, MR 0179666 (http://www.ams.org/mathscinet-getitem?mr=0179666)
(Reprint of 1910 edition)

Enlaces externos
Weisstein, Eric W. Projective Space (http://mathworld.wolfram.com/ProjectiveSpace.html). En
Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.
http://planetmath.org/encyclopedia/ProjectiveSpace.html
Projective Planes of Small Order (http://www.uwyo.edu/moorhouse/pub/planes/)

Obtenido de https://es.wikipedia.org/w/index.php?title=Espacio_proyectivo&oldid=99092733

Se edit esta pgina por ltima vez el 12 may 2017 a las 18:10.
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.

8 de 8 8/8/17 12:42