Geometrias Lineales

ndice general

1 Geometra Afn y Euclidiana 1

1.1 Espacio afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Denicin de espacio afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2.1 Propiedades elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.2 Traslaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.3 Proposicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Denicin de subespacio afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 Aplicacin entre espacios anes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4.1 Anidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4.2 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4.3 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4.4 Bibliografa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.5 Transformacin afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.5.1 Representacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5.2 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5.3 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 Geometra euclidiana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6.1 Interpretaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6.2 Geometra plana . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6.3 Axiomas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.6.4 Postulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.6.5 Limitaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.6.6 Euclidiano y eucldeo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6.7 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6.8 Notas y referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.6.9 Enlaces externos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.7 Espacio eucldeo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.7.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.7.2 Estructuras sobre el espacio eucldeo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.7.3 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.7.4 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.8 Isometra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

i
ii NDICE GENERAL

1.8.1 Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.8.2 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.8.3 Grupo de isometra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.8.4 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.9 Isometra afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.9.1 Traslacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.9.2 Simetra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.9.3 Composicin de simetras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.9.4 Rotacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.9.5 Enlaces externos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.10 Grupo de isometra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.10.1 Grupo de isometra del espacio eucldeo . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.10.2 Grupo de isometra de guras geomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.10.3 Grupo de isometra de espacios con producto interno . . . . . . . . . . . . . . . . . . . . 16
1.10.4 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

2 Geometra Proyectiva 19
2.1 Espacio proyectivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.2 Denicin de espacio proyectivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.1.3 Espacio proyectivo como variedad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.1.4 Espacios proyectivos en geometra algebraica . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1.5 Espacios proyectivos en topologa algebraica . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.1.6 Espacio proyectivo y espacio afn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.1.7 Axiomas del espacio proyectivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.1.8 Morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.1.9 Espacio proyectivo dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.1.10 Generalizaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.1.11 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.1.12 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.1.13 Enlaces externos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Proyectividad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 Plano proyectivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.1 Empleo en la geometra proyectiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.2 De la pobreza de enunciados a su riqueza . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.3 Los axiomas y teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.4 Vase Tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3.5 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

3 Text and image sources, contributors, and licenses 33

3.1 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
NDICE GENERAL iii

3.3 Content license . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

Captulo 1

Geometra Afn y Euclidiana

1.1 Espacio afn

p4
p1
p2
p0

p5 p6
p3
No hay puntos distinguidos por denicin

Histricamente, la nocin de espacio afn procede del descubrimiento de nuevas geometras perfectamente cohe-
rentes diferentes de la Geometra Euclidiana que revisan los conceptos de longitud, asociadas con el de distancia y
de ngulo propias de la geometra de Euclides. El resultado es una geometra en la que el espacio se presenta como
una estructura matemtica prxima a la del espacio vectorial.

1.2 Denicin de espacio afn

El espacio afn puede denirse de varios modos equivalentes.

1
2 CAPTULO 1. GEOMETRA AFN Y EUCLIDIANA

Nota: las parejas de elementos de E , esto es los elementos de EE son llamados bipuntos[cita requerida] ;
el primer elemento de una de tales parejas recibe el nombre de origen y el segundo el de extremo
del bipunto.

Dado un conjunto no vaco E diremos que es un espacio afn asociado a un espacio vectorial V si se tiene la siguiente
aplicacin:[1]

E V
b
(a,b)

b
(a,b)

a
Visualizacin del orden de los puntos para o como origen y destino de una traslacin.

: EE V
(a, b) 7 (a, b)

tal que se cumplan:

1.2. DEFINICIN DE ESPACIO AFN 3

1) Fijado un punto a la aplicacin a es biyectiva, es decir:

a E, v V, ! b E : (a, b) = v.

E a V
b (a,b)
-1
a
a
2) Se tiene la relacin de Chasles, es decir:

a, b, c E (a, b) + (b, c) = (a, c)

b
(a,b) (b,c)

a c
(a,c)
Los elementos de E se llaman puntos.


Se designa al vector (a, b) por la notacin ab , as la propiedad 2 se escribe como:

a, b, c E ab + bc =
ac

La dimensin de un espacio afn es la dimensin del espacio vectorial asociado.

Observacin:

La aplicacin asocia dos puntos a un nico vector, por lo que se dice que el primer punto es el origen
y el segundo el extremo.
4 CAPTULO 1. GEOMETRA AFN Y EUCLIDIANA

1.2.1 Propiedades elementales

De la denicin del espacio afn resultan las siguientes propiedades:
Dados a, b, c, d y a1 , ..., an puntos cualesquiera en un espacio afn E .
Tenemos:

1.2.2 Traslaciones

b
Tu

a
Dado un espacio afn E sobre V mediante y un vector u V , una traslacin de vector u en E es una aplicacin
dada por:

Tu : E E
a 7 b : (a, b) = u

Observaciones:

Se puede escribir como Tu (a) := 1

a (u) que est bien denida por ser a biyectiva.

Propiedades

Dados los vectores u, v V se tiene:

1.2.3 Proposicin
Un espacio afn E sobre V queda univocamente determinado por el conjunto:[2]

T = {Tu : E E es aplicacin u V }

si cumple:
1.3. DEFINICIN DE SUBESPACIO AFN 5

Tv Tu = Tv+u
a, b E, !u V : Tu (a) = b.
Observacin:

T es el conjunto de todas las traslaciones ya que !b : 1

a (u) = b = Tu (a).

Un espacio afn E se designa por la terna (E, V, ) o (E, V, T ) segn la primera o segunda denicin
respectivamente.

Propiedades

Ejemplos:

Los espacios vectoriales V son espacios anes sobre s mismos.[3]

Dados dos espacios afnes (E, V, T ) y (E , V , T ) , entonces tambin es un espacio afn la terna:[4]

T T(u,v) : E E E E
(E E , V V , T T ) donde .
(a, b) 7 (Tu (a), Tv (b))

Notacin

:[5]
Se usa como notacin algebraica de u = ab

u = b a,

b = u + a,

a = b u.

Con esta notacin las propiedades anteriores son inmediatas.

1.3 Denicin de subespacio afn

Un subespacio afn es un subconjunto de un espacio afn que es a su vez un espacio afn.
Dado E un espacio afn sobre V mediante y U V un subespacio vectorial. Se espera que F sea un espacio afn
sobre U con |F F por tanto est bien denida, adems ha de cumplir las dos condiciones de espacio afn:

2) (a, b) + (b, c) = (a, c) es heredado del espacio afn E

a : F U
b 7 ba =v
b= v+a v

de donde se deduce que F a U y U + a F por tanto solo se ha de vericar que F = a + U para

cualquier a F , es decir, F ha de ser una variedad lineal que se formaliza a continuacin.[7]

Dado un espacio afn E sobre V , a E y U V un subespacio vectorial. Llamaremos variedad lineal por a y
direccin U al conjunto F E tal que:

F := {b E : b a U } = {b E : b = u + a, u U } = {a + u : u U } = a + U.

Dados u, v E diremos que pertenecen a un mismo espacio F de direccin U si u v U .

6 CAPTULO 1. GEOMETRA AFN Y EUCLIDIANA

1.4 Aplicacin entre espacios anes

1.4.1 Anidades

1.4.2 Vase tambin

Transformacin afn

1.4.3 Referencias
[1] Es comn denominar a V como espacio director, tambin se dene como espacio afn sobre V " denotado por la terna
(E, V , ) en Mximo Anzola o espacio afn sobre K " en M. Castellet

[2] En M. Castellet se puede encontrar como proposicin 2.2 pg 187

[3] En Marcel Berger se puede encontrar otra presentacin de este ejemplo 2.2.1 pg 34

[4] En Marcel Berger se puede encotrar como ejemplo 2.2.2 pg 34

[5] En M. Castellet se puede encontrar como parte de la denicin de variedad lineal tema IX.3 pg 187 y tema IX.8 pg 202.

[6] En M. Castellet se puede encontrar en el tema IX.6 pg 194.

[7] En M. Castellet se puede encontrar su equivalente en el tema IX.3 pg 189.

1.4.4 Bibliografa
Antonio Pardo Fraile, Juan-Angel Daz Hernando, Elementos de lgebra lineal y geometra(tomo II), Madrid,
1966.

Manuel Castellet, Irene Llerena, lgebra lineal y geometra, Editorial revert, S.A., 2000.

Mximo Anzola, Jos Caruncho, Geometra afn y eucldea, Pedidos a los Autores,1981.

J.M. Aroca Hernndez-Ros, Problemas de geometra afn y geometra mtrica, uva, 2004.

Berger, Marcel (1987), Geometry I, Berlin: Springer, ISBN 3-540-11658-3

Nomizu, K.; Sasaki, S. (1994), Ane Dierential Geometry (New edicin), Cambridge University Press, ISBN
978-0-521-44177-3

1.5 Transformacin afn

En geometra, una transformacin afn o aplicacin afn (tambin llamada anidad) entre dos espacios anes (en
particular, dos espacios vectoriales) consiste en una transformacin lineal seguida de una traslacin:

x 7 Ax + b

En el caso de dimensin nita, toda transformacin afn puede representarse por una matriz A y un vector b que
satisfacen ciertas propiedades que se especican a continuacin.
Geomtricamente, una transformacin afn en un espacio eucldeo es una transformacin que preserva:

1. Las relaciones de colinealidad (y coplanaridad) entre puntos, es decir, puntos que recaan sobre una misma
lnea (o sobre un mismo plano) antes de la transformacin, son preservadas tras una transformacin afn.
1.5. TRANSFORMACIN AFN 7

Una imagen de un helecho que exhibe autosimilaridad afn.

2. Las razones entre distancias a lo largo de una lnea, es decir, para tres puntos alineados distintos P1 ,P2 ,P3 , las
razones |P2 P1 |/|P3 P2 | antes y despus de la transformacin son iguales.

En general, una transformacin afn est compuesta de transformaciones lineales (rotaciones, homotecias y sesgos)
compuestas con una traslacin o desplazamiento. En el caso 1-dimensional A y b se llaman, respectivamente, la
8 CAPTULO 1. GEOMETRA AFN Y EUCLIDIANA

pendiente y el trmino independiente.

1.5.1 Representacin

El lgebra vectorial ordinaria usa la multiplicacin por matrices para representar transformaciones lineales y la suma
de vectores para representar traslaciones. Mediante matrices ampliadas, resulta posible representar ambos tipos
de transformaciones exclusivamente mediante multiplicacin por matrices. La tcnica para ampliar los vectores
consiste en aadir un vector con una componente extra de valor unitario al resto de las componentes y a todas las
matrices se le aade una columna al nal con el vector que da la traslacin y una la al nal con componentes cero y
un 1 en la ltima posicin, es decir:

x1 a11 ... a1n b1 x1
x1 a11 ... a1n x1 b1 .. .. .. .. ..
.. .. .. .. + .. . = . ..
. = . .. . . .
.
. . . . xn an1 ... ann bn xn
xn an1 ... ann xn bn
1 0 ... 0 1 1

O en forma ms compacta:

( ) ( )( )
y A b x
y = Ax + b =
1 0, . . . , 0 1 1

Esta representacin permite ver rpidamente que el conjunto de todas las transformaciones anes invertibles es el
producto semidirecto KGL(n,K) , el grupo anterior bajo las operacin de composicin de transformaciones es un
grupo llamado, grupo afn de orden n. Como puede verse este grupo es un subgrupo de GL(n+1,K)

Isometras y semejanzas

1.5.2 Propiedades

Una transformacin es invertible si y slo si A es invertible. En la representacin matricial descrita anteriormente, la

inversa tiene la forma:

[ ]
A1 A1b
0, . . . , 0 1

Las tranformaciones anes invertibles (de un espacio afn en s mismo) forman el llamado grupo afn que como se
ha mencionado tiene al grupo lineal de orden n como subgrupo. El propio grupo afn de orden n es a su vez subgrupo
del grupo lineal de orden n+1.

1.5.3 Referencias

Bibliografa

Berger, Marcel (1987), Geometry I, Berlin: Springer, ISBN 3-540-11658-3

Nomizu, Katsumi; Sasaki, S. (1994), Ane Dierential Geometry (New edicin), Cambridge University Press,
ISBN 978-0-521-44177-3

Sharpe, R. W. (1997). Dierential Geometry: Cartans Generalization of Kleins Erlangen Program. New York:
Springer. ISBN 0-387-94732-9.
1.6. GEOMETRA EUCLIDIANA 9

1.6 Geometra euclidiana

La geometra euclidiana,[1] eucldea o parablica[2] es el estudio de las propiedades geomtricas de los espacios
eucldeos. Es aquella que estudia las propiedades geomtricas del plano afn eucldeo real y del espacio afn eucldeo
tridimensional real mediante el mtodo sinttico, introduciendo los cinco postulados de Euclides.
Tambin es comn (abusando del lenguaje) decir que una geometra es euclidiana si no es no euclidiana, es decir,
si en dicha geometra se verica el quinto postulado de Euclides. sta denominacin est cada vez ms en desuso,
debido a la prdida de inters que va teniendo el tema de la posibilidad de trazar paralelas a una recta desde un punto
exterior a la misma.
En ocasiones los matemticos usan las expresiones geometra eucldea o geometra euclidiana para englobar geome-
tras de dimensiones superiores con propiedades similares. Sin embargo, con frecuencia son sinnimos de geometra
plana o de geometra clsica.

Fragmento de Los elementos de Euclides, escrito en papiro, hallado en el yacimiento de Oxirrinco (Egipto).

1.6.1 Interpretaciones
Desde un punto de vista historiogrco, la geometra euclidiana es aquella geometra que postul Euclides, en
su libro Los elementos, dejando al margen las aportaciones que se hicieron posteriormente desde Arqumedes
hasta Jakob Steiner.
Segn la contraposicin entre mtodo sinttico y mtodo algebraico-analtico, la geometra euclidiana sera,
precisamente, el estudio por mtodos sintticos de los invariantes de un espacio vectorial real de dimensin 3
dotado de un producto escalar muy concreto (el frecuentemente denominado producto escalar habitual).
Segn la losofa del programa de Erlangen (propuesto por el matemtico Felix Klein), la geometra eucldea
sera el estudio de los invariantes de las isometras en un espacio eucldeo (espacio vectorial real de dimensin
nita, dotado de un producto escalar), al aplicarles transformaciones ortogonales.[3]

1.6.2 Geometra plana

La geometra plana es una parte de la geometra que trata de aquellos elementos cuyos puntos estn contenidos
en un plano. La geometra plana est considerada parte de la geometra eucldea, pues sta estudia los elementos
geomtricos a partir de dos dimensiones.
10 CAPTULO 1. GEOMETRA AFN Y EUCLIDIANA

1.6.3 Axiomas
La presentacin tradicional de la geometra euclidiana se hace en un formato axiomtico, en el que todos los teoremas
(declaraciones verdaderas) derivan de un pequeo nmero de axiomas.[4] Un sistema axiomtico es aqul que, a
partir de un cierto nmero de proposiciones que se presuponen evidentes (conocidas como axiomas) y mediante
deducciones lgicas, genera nuevas proposiciones cuyo valor de verdad es tambin lgico.

1.6.4 Postulados
Euclides plante cinco postulados en su sistema:

1. Dados dos puntos se puede trazar una recta que los une.

2. Cualquier segmento puede prolongarse de manera continua en cualquier sentido.

3. Se puede trazar una circunferencia con centro en cualquier punto y de cualquier radio.

4. Todos los ngulos rectos son congruentes.

5. Si una recta, al cortar a otras dos, forma ngulos internos menores a dos ngulos rectos, esas dos rectas pro-
longadas indenidamente se cortan del lado en el que estn los ngulos menores que dos rectos (ver quinto
postulado de Euclides).

Este ltimo postulado, que es conocido como el postulado de las paralelas, fue reformulado como:

5. Por un punto exterior a una recta, se puede trazar una nica paralela a la recta dada.

Este postulado parece menos obvio que los otros cuatro, y muchos gemetras, incluido el propio Euclides, han inten-
tado deducirlo de los anteriores. Cuando intentaron reducirlo al absurdo negndolo, surgieron dos nuevas geometras:
la elptica, tambin llamada geometra de Riemann o riemanniana (dada una recta y un punto exterior a ella, no existe
ninguna recta que pase por el punto y sea paralela a la recta dada) y la hiperblica o de Lobachevsky (existen varias
rectas paralelas que pasen por un punto exterior a una dada).

1.6.5 Limitaciones
Euclides asumi que todos sus postulados o axiomas eran autoevidentes y por tanto hechos que no requeran demos-
tracin. Sin embargo, result que el quinto postulado si bien es compatible con los otro cuatro en cierto modo
es independiente. Es decir, tanto el quinto postulado como la negacin del quinto postulado, son compatibles con los
otros cuatro postulados. Las geometras donde el quinto postulado no es vlido se llaman geometras no euclidianas.
Una limitacin del trabajo de Euclides fue no reconocer la posibilidad de sistemas geomtricos perfectamente con-
sistentes donde el quinto axioma no era vlido, es decir, para Euclides y los gemetras posteriores hasta el siglo
XVIII pas inadvertida la posibilidad de geometras no euclidianas, hasta el trabajo de Nikoli Lobachevski, Gauss
y Riemann.
Si bien durante el siglo XIX se consider a las geometras no euclidianas un artefacto matemticamente interesante e
incluso con cierto inters prctico pero limitado, como es el caso de la trigonometra esfrica usada en astronoma, en
cierto modo se admiti que la geometra del espacio fsico era euclidiana y, por tanto, las geometras no euclidianas
eran tan slo un articio abstracto til para ciertos problemas, pero en modo alguno descripciones realistas del mundo.
Sin embargo, el trabajo de Albert Einstein hizo ver que entre las necesidades de la fsica moderna estn las geometras
no euclidianas para describir, por ejemplo, el espacio-tiempo curvo.
Alguno de los errores de Euclides fue omitir al menos dos postulados ms:

Dos circunferencias cuyos centros estn separados por una distancia menor a la suma de sus radios, se cortan
en dos puntos (Euclides lo utiliza en su primera construccin).

Dos tringulos con dos lados iguales y los ngulos comprendidos tambin iguales, son congruentes (armacin
equivalente al concepto de movimiento, que Euclides usa para su teorema cuarto sin denir explcitamente).
1.7. ESPACIO EUCLDEO 11

1.6.6 Euclidiano y eucldeo

En la comunidad matemtica de habla hispana no estn unicados los criterios acerca del uso de los adjetivos eucli-
diano y eucldeo. As, algunos autores asignan signicados especcos a cada uno de estos trminos, sirvindose
de ellos para distinguir entre conceptos matemticos diferentes; mientras que otros hacen uso exclusivo, ya sea de
uno o del otro, en todos sus trabajos. Esta dualidad de criterios no se presenta en el idioma ingls, donde solo existe
el trmino euclidean.
Aunque desde el punto de vista lingstico ambas formas tienen el mismo signicado: hacer referencia a algo perte-
neciente o relativo al matemtico griego Euclides, la Real Academia Espaola solo adopta como correcta la palabra
euclidiano, mientras que no recoge eucldeo.[1]

1.6.7 Vase tambin

Portal:Matemtica. Contenido relacionado con Matemtica.

Portal:Geometra. Contenido relacionado con Geometra.

Geometra clsica

Geometra no euclidiana

1.6.8 Notas y referencias

[1] Vanse las respectivas entradas para eucldeo e euclidiano en el Diccionario de la lengua espaola de la Real Academia
Espaola.

[2] Siguiendo la analoga de las cnicas, una parbola es el caso lmite entre una elipse y una hiprbola; en el mismo sentido
que la geometra parablica o euclidiana es el caso lmite entre la geometra elptica y la geometra hiperblica

[3] Hay que indicar que se puede dotar a un mismo espacio vectorial real de distintos productos escalares, as que, incluso
con esta acepcin, existe una enorme ambigedad, al no quedar claro ni la dimensin del espacio (en principio cualquier
dimensin nita) ni el producto a escalar al que nos referimos. Este trmino puede permitir que cosas que no se parecen
en nada a lo que entendemos por geometra euclidiana pueda llamarse precisamente geometra euclidiana.

[4] Las hiptesis de Euclides se analizan desde una perspectiva moderna en Wolfe, Harold E (2007). Introduction to non-
Euclidean geometry (en ingls). Mill Press. p. 9. ISBN 1-4067-1852-1.

1.6.9 Enlaces externos

Geometra eucldea

Geometra eucldea

1.7 Espacio eucldeo

El espacio eucldeo es un tipo de espacio geomtrico donde se satisfacen los axiomas de Euclides de la geometra.
La recta real, el plano eucldeo y el espacio tridimensional de la geometra euclidiana son casos especiales de espa-
cios eucldeos de dimensiones 1, 2 y 3 respectivamente. El concepto abstracto de espacio eucldeo generaliza esas
construcciones a ms dimensiones. Un espacio eucldeo es un espacio vectorial completo dotado de un producto in-
terno (lo cual lo convierte adems en un espacio normado, un espacio mtrico y una variedad riemanniana al mismo
tiempo).
El trmino eucldeo se utiliza para distinguir estos espacios de los espacios curvos de las geometras no euclidianas
y del espacio de la teora de la relatividad de Einstein. Para resaltar el hecho de que un espacio eucldeo puede poseer
n dimensiones, se suele hablar de espacio eucldeo n-dimensional (denotado En ,E n , o incluso Rn ).
12 CAPTULO 1. GEOMETRA AFN Y EUCLIDIANA

1.7.1 Introduccin
Un espacio eucldeo es un espacio vectorial normado sobre los nmeros reales de dimensin nita, en que la norma es
la asociada al producto escalar ordinario. Para cada nmero entero no negativo n, el espacio eucldeo n-dimensional
se representa por el smbolo Rn y es el conjunto de todas las tuplas ordenadas

(x1 , x2 , . . . , xn )

en donde cada xi es un nmero real, junto con la funcin distancia entre dos puntos (x1 , ..., xn) e (y1 , ..., yn) denida
por la frmula:
n
d(x, y) = x y = i=1 (xi yi )2

Esta funcin distancia es una generalizacin del teorema de Pitgoras y se denomina Distancia euclidiana.

1.7.2 Estructuras sobre el espacio eucldeo

Los espacios euclidianos y sus propiedades han servido de base para generar gran cantidad de conceptos matem-
ticos relacionados con la geometra analtica, la topologa, el lgebra y el clculo. Aunque el espacio eucldeo suele
ser introducido, por razones didcticas, como espacio vectorial, en realidad sobre l se pueden denir muchas ms
estructuras. El espacio eucldeo es adems de un espacio vectorial un caso de:

Un espacio de Hilbert de dimensin nita, con el producto escalar ordinario.

Un espacio de Banach de dimensin nita, con norma inducida por el producto escalar interior.
Un espacio mtrico completo, con distancia inducida por la norma anterior.

Un espacio topolgico, inducido por la mtrica eucldea.

Un grupo de Lie, con la operacin de adicin.
Un lgebra de Lie con el producto vectorial.

El espacio eucldeo como espacio mtrico

Por denicin, E n es un espacio mtrico, y es por tanto tambin un espacio topolgico; es el ejemplo prototpico de
una n-variedad, y es de hecho una n-variedad diferenciable. Para n 4, cualquier n-variedad diferenciable que sea
homeomorfa a E n es tambin difeomorfa a ella. El hecho sorprendente es que esto no es cierto tambin para n = 4, lo
que fue probado por Simon Donaldson en el ao 1982; los contraejemplos se llaman 4-espacios exticos (o falsos).

El espacio eucldeo como espacio topolgico

Se puede decir mucho sobre la topologa de E n . Un resultado importante, la invariancia del dominio de Brouwer, es
el de que cualquier subconjunto de E n que sea homeomorfo a un subconjunto abierto de E n es en s mismo abierto.
Como consecuencia inmediata de esto se tiene que E m no es homeomorfo a E n si m n -- un resultado intuitivamente
obvio que sin embargo no es fcil de demostrar.

El espacio eucldeo como espacio vectorial

El n-espacio eucldeo se puede considerar tambin como un Espacio vectorial n-dimensional real, de hecho un Espacio
de Hilbert, de manera natural. El producto escalar, de x = (x1 ,...,xn) e y = (y1 ,...,yn) est dado por:

n
xy= xi yi = x1 y1 + x2 y2 + + xn yn
i=1
1.8. ISOMETRA 13

1.7.3 Vase tambin

Geometra euclidiana

Geometra analtica

Medida de Lebesgue

1.7.4 Referencias

Kelley, John L. (1975). General Topology. Springer-Verlag. ISBN 0-387-90125-6.

Munkres, James (1999). Topology. Prentice-Hall. ISBN 0-13-181629-2.

1.8 Isometra
Una isometra es una aplicacin matemtica entre dos espacios mtricos que conserva las distancias entre los puntos.
Es decir, las isometras son los morsmos de la categora de espacios mtricos.

1.8.1 Denicin

Formalmente si E 1 y E 2 son dos espacios mtricos una isometra viene denida por lo siguiente:

: E1 E2 (x, y) E1 E1 : d1 (x, y) = d2 ((x), (y))

Siendo d1 (,) y d2 (,) las respectivas funciones de distancia en los dos espacios mtricos E 1 y E 2 .

1.8.2 Ejemplos

Una rotacin en el espacio eucldeo es una isometra del espacio eucldeo tridimensional.

El operador de evolucin temporal Ut : S R3 , que describe el movimiento de un slido rgido S es un

grupo uniparamtrico de isometras del espacio eucldeo tridimensional.

Cada operador unitario U t = exp(iHt/)

que da la evolucin de un sistema cuntico cuyo hamiltoniano es H
es una isometra sobre un espacio de Hilbert de dimensin innita.

1.8.3 Grupo de isometra

El conjunto de todas las aplicaciones que son isometras de un conjunto contenido en un espacio mtrico forma un
grupo conocido como grupo de isometra del conjunto. En un espacio eucldeo de dimensin n el grupo de isometra
Giso de cualquier conjunto es un subgrupo del grupo producto formado a partir del grupo ortogonal y el grupo de
traslaciones:

Giso O(n) Rn

1.8.4 Vase tambin

Isometra afn
14 CAPTULO 1. GEOMETRA AFN Y EUCLIDIANA

1.9 Isometra afn

Las transformaciones isomtricas son transformaciones de guras en el plano que se realizan sin variar las dimen-
siones ni el rea de las mismas; la gura inicial y la nal son semejantes, y geomtricamente congruentes.
La palabra isometra tiene su origen en el griego iso (igual o mismo) y metria (medir), una denicin cercana es igual
medida. Existen tres tipos de isometras: traslacin, simetra y rotacin.

1.9.1 Traslacin

La traslacin es una isometra que realiza un cambio de posicin o lugar en el espacio, manteniendo las direcciones
(medidas angulares) y longitudinales de todos los elementos del espacio, dicha traslacin puede ser determinadas por
un vector o por dos puntos(el origen y el destino).

1.9.2 Simetra

Simetra es la correspondencia exacta en la disposicin regular de las partes o puntos de un cuerpo o gura con
relacin a un punto (centro), una recta (eje) o un plano. Se denominan: central, axial y especular o bilateral.

Simetra central

La simetra central, en geometra, es una transformacin en la que a cada punto se le asocia otro punto, que debe
cumplir las siguientes condiciones:
a) El punto y su imagen estn a igual distancia de un punto llamado centro de simetra.
b) El punto, su imagen y el centro de simetra pertenezcan a una misma recta.
Segn estas deniciones, con una simetra central se obtiene la misma gura con una rotacin de 180 grados.

Simetra axial

La simetra axial, en geometra, es una transformacin respecto de un eje de simetra, en la cual, a cada punto de una
gura se asocia a otro punto llamado imagen, que cumple con las siguientes condiciones:
a) La distancia de un punto y su imagen al eje de simetra, es la misma.
b) El segmento que une un punto con su imagen, es perpendicular al eje de simetra.
En la simetra axial se conservan las distancias pero no la direccin de los ngulos. El eje de simetra es la mediatriz
del segmento AA'.

1.9.3 Composicin de simetras

Si se aplica la misma simetra dos veces, se obtiene una identidad.

Si se aplican dos simetras respecto de ejes paralelos, se obtiene una traslacin cuyo desplazamiento es el doble de la
distancia entre dichos ejes.
Si se aplican dos simetras respecto de ejes que se cortan en O, se obtiene giro con centro en O, cuyo ngulo es el
doble del que forman dichos ejes.

1.9.4 Rotacin

Una rotacin, en geometra, es un movimiento de cambio de orientacin de un cuerpo, de forma que, dado un punto
cualquiera del mismo, este permanece a una distancia constante de un punto jo, y tiene las siguientes caractersticas:

Un punto denominado centro de rotacin.

1.10. GRUPO DE ISOMETRA 15

Un ngulo
Un sentido de rotacin.

estas transformaciones pueden ser positivas o negativas dependiendo del sentido de giro. Para el primer caso debe ser
un giro en sentido contrario a las manecillas del reloj, y ser negativo el giro cuando sea en sentido de las manecillas.

1.9.5 Enlaces externos

Simetras, en Descartes.cnice.mec.es
Simetras, en isftic.mepsyd.es
Funcin simtrica, en Descartes.cnice.mec.es

1.10 Grupo de isometra

El grupo de isometra de un conjunto est formado por todas las transformaciones geomtricas formado por tras-
laciones, rotaciones y reexiones que no alteran las distancias de un conjunto.
En un grupo de isometra, la operacin de grupo viene dada por la composicin de isometras, y el inverso de una
transformacin o operacin de simetra es precisamente la operacin de deshacer dicha operacin.

1.10.1 Grupo de isometra del espacio eucldeo

En el espacio eucldeo Rn podemos denir varias operaciones que no alteran las distancias. As por ejemplo si con-
sideramos un objeto dentro del espacio eucldeo podemos transportarlo a otra posicin y cambiar su orientacin. As
el grupo de isometra est formado por:

Las traslaciones o conjunto de aplicaciones de la forma:

Las rotaciones, que pueden representarse matemticamente el conjunto de aplicaciones de la forma: y = Rx
, donde R es una matriz de determinante 1 que cumple R1 = RT

A estas transformaciones podemos sumarle una transformacin ms abstracta que no podemos realizar con objetos
fsicos reales pero s abstractametne sobre conjuntos del espacio, formada por:

Las reexiones y las composiciones de diversas reexiones. Una reexin puede representarse por una matriz
de determinante 1.

El conjunto de todas las rotaciones y reexiones forma un subgrupo muy importante del grupo de isometras, llamado
grupo ortonormal y designado como O(n) . Matricialmente el grupo de simetra del espacio eucldeo Rn puede
represetnarse por matrices cuadrdas M(n+1)(n+1) del tipo:
[ ]
R vT
TR,v = M(n+1)(n+1)
0 1

donde R O(n) , v Rn .

Subconjunto

Dado un subconjunto del espacio eucldeo de dimensin n, su grupo de isometra Giso es un subgrupo del grupo
producto formado a partir del grupo ortogonal y el grupo de traslaciones:

Giso O(n) Rn

Si el conjunto es acotado entonces se tiene necesariamente:

Giso O(n)
16 CAPTULO 1. GEOMETRA AFN Y EUCLIDIANA

1.10.2 Grupo de isometra de guras geomtricas

Si una gura geomtrica es nita, es decir, forma un conjunto acotado del espacio eucldeo, entonces el grupo de
isometra no incluye ninguna traslacin y por tanto su grupo de isometra es un subgrupo del espacio O(n) . Si la
gura presenta slo un nmero nito de (hiper)planos de simetra entonces el grupo de isometra ser un grupo nito.

Grupo de isometra de un polgono regular

El grupo de isometra de un polgono regular de n lados est formado por n rotaciones y n reexiones, llamado grupo
didrico D2n , formado por 2n elementos expresables en forma matricial como:

[ ( ) ( )][ ][ ( ) ( )]
cos ( n ) sin( n) (1) 0 cos ( n ) sin( n)
sin n cos n 0 +1 sin n cos n

Grupo de isometra de un crculo

El grupo de isometra de un crculo al existir innitos planos de simetra es precisamente O(2, R) y cualquier sime-
tra de un crculo centrado en el origen puede ser representado por una matriz de la forma:

[ ][ ][ ]
(1) 0 cos sin 1 0
M=
0 1 sin cos 0 (1)
Donde , {0, 1} y [0, 2) R .

Grupo de isometra de un rectngulo

El grupo de isometra de un rectngulo, que no sea un cuadrado, se llama grupo de Klein y est formado por cuatro
elementos: rotacin de 180, reexin segn el eje de simetra vertical, reexin el eje de simetra horizontal y la
identidad (rotacin de 0).

1.10.3 Grupo de isometra de espacios con producto interno

La distancia en ciertos espacios mtricos puede denirse a partir de la norma inducida por un producto interno o
forma cuadrtica mtrica. Un ejemplo de esto son las variedades de Riemann.
De ese modo cualquier aplicacin entre variedades de Riemann en s misma que mantenga inalterado el produc-
to interno de dos campos vectoriales es de hecho una isometra. Eso permite generalizar el concepto de isometra
incluso a espacios que no tienen una distancia bien denida, como las variedades pseudoriemannianas. En una varie-
dad pseudoriemanniana una isometra es una transformacin o aplicacin que mantiene el producto interno de dos
vectores.

Grupo de isometra en teora de la relatividad

En la teora de la relatividad un espacio-tiempo se representa por una variedad pseudoriemanniana. Esta variedad en el
caso de la teora especial, puede tener un grupo de isometra continuo dado por un grupo de Lie de dimensin menor
o igual que diez. La dimensin de este grupo de isometra coincide con el nmero de vectores de Killing linealmente
independiente que admite el tensor mtrico de la variedad pseudoriemanniana que dene la forma y propiedades
bsicas del espacio-tiempo.

1.10.4 Vase tambin

Grupo puntual
1.10. GRUPO DE ISOMETRA 17

Portada de Los elementos de Euclides, publicada en 1570 por Sir Henry Billingsley.
18 CAPTULO 1. GEOMETRA AFN Y EUCLIDIANA

La imagen de un objeto reejado en un espejo plano, es un ejemplo de transformacin isomtrica: la simetra.

Transformaciones que forman el grupo didrico D4

Captulo 2

Geometra Proyectiva

2.1 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 geomtricos, tales como puntos,
rectas, o planos, pueden tener una representacin como elementos en espacios proyectivos basados en 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.

2.1.1 Introduccin

Como se mostraba arriba, un espacio proyectivo es un objeto geomtrico que formaliza enunciados tales como rectas
paralelas que intersecan en el innito. 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 S 2 , donde cada punto P y su punto antpodal
no son distinguibles. Por ejemplo, el punto (1, 0, 0) (rojo en la imagen) es identicado con (1, 0, 0) (punto
rojo claro), etc.

3. Finalmente, con todo, otra denicin 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

19
20 CAPTULO 2. GEOMETRA PROYECTIVA

En perspectiva grca, las rectas paralelas en el plano intersecan en un punto de fuga en el horizonte.

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
2.1. ESPACIO PROYECTIVO 21

Representacin de un plano proyectivo.

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 innito, donde R2 P2 (R) es llamado plano afn, i.e. slo el
plano usual.
22 CAPTULO 2. GEOMETRA PROYECTIVA

2.1.2 Denicin de espacio proyectivo

El espacio proyectivo real, Pn (R), se dene 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 dene como (V \ {0}) / ~, donde dos vectores distintos de cero v1 , v2 en V
son equivalentes si dieren por medio de un escalar distinto de cero, i.e., v1 = v2 . El espacio vectorial no necesita
ser de dimensin nita; As, por ejemplo, existen los espacios proyectivos de Hilbert.

2.1.3 Espacio proyectivo como variedad

La denicin 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:

Ui = {[x0 : : xn ], xi = 0}, i = 0, . . . , n

Por la denicin de espacio proyectivo, su unin es el espacio proyectivo completo. Adems, Ui est en biyeccin con
Rn (o Cn ) mediante los siguientes mapeados:

( )
x0 c
xi xn
[x0 : : xn ] 7 ,..., ,...,
xi xi xi

[y0 : : yi1 : 1 : yi+1 : yn ] (y0 , . . . , ybi , . . . yn )

(el sombrero en la componente signica que falta la i-sima componente).
La imagen del ejemplo muestra que P1 (R). (aunque los puntos antpoda estn identicados 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 innito.
Primero, se dene una topologa en un espacio proyectivo mediante declaracin de que esos mapas podrn ser
homeomorsmos, esto es, un subconjunto de Ui es abierto si y slo si su imagen bajo el isomorsmo anterior 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 dene 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

1 1
x 7 , y 7 .
x y
2.1. ESPACIO PROYECTIVO 23

Estructura de la variedad de la recta proyectiva real.

La variedad resultante es la recta proyectiva. Los diagramas dados por esta 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 Rn1 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 supercie de Riemann.

2.1.4 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 anes. La construccin de un esquema proyectivo es un
ejemplo de la construccin Proj.
24 CAPTULO 2. GEOMETRA PROYECTIVA

Visualizacin diferente de la recta proyectiva.

2.1.5 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.

2.1.6 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 brados 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 anes son subespacios abiertos de los espacios proyectivos, los cuales son cocientes de los espacios
vectoriales.

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 conse-
cuencia 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 nitamente genera-
dos. (El ejemplo anterior es H 0 (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 denidos a propsito.

Como se ha sealado arriba, las lneas en P2 o ms generalmente los hiperplanos en Pn deben intersecar
siempre. Esto es extensible a los objetos no lineales, como tal: deniendo adecuadamente el grado de una
2.1. ESPACIO PROYECTIVO 25

curva algebraica, que es aproximadamente el grado de los polinomios necesarios para denir la curva (vase
polinomio de Hilbert), es verdad (sobre un cuerpo algebraicamente cerrado k) que dos curvas proyectivas
cualesquiera C 1 , C 2 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 denicin de una estructura de
grupo sobre los puntos de una curva elptica, como puede ser y2 = x3 x+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

y2 z = x3 xz2 +z3 ,

que interseca con la lnea (dada en el interior de P2 por x = z) en tres puntos: [1: 1: 1], [1: 1: 1] (correspon-
dientes 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 abstrac-
to, 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.

2.1.7 Axiomas del espacio proyectivo

Un espacio proyectivo S puede ser denido 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 proyectivos
junto con rectas (conformada por dos puntos) que unen dos puntos en distintos espacios proyectivos. Ms abstrac-
tamente, se puede denir como una estructura de incidencia (P, L, I), 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:

= X1 X0 Xn = P.

Clasicacin

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 denicin de un espacio
proyectivo para n = 2 es equivalente a la de un plano proyectivo. Estos son ms difciles de clasicar, 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 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.
26 CAPTULO 2. GEOMETRA PROYECTIVA

Hay

1, 1, 1, 1, 0, 1, 1, 4, 0, (sucesin 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.

2.1.8 Morsmos
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 denicin de
identicacin de los respectivos espacios proyectivos. Puesto que los miembros de la clase de equivalencia dieren
en un factor escalar, y las aplicaciones lineales preservan los factores escalares, esta aplicacin inducida est bien
denida. (Si T no es inyectiva, se tendr un espacio nulo mayor que {0}; en este caso el signicado 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 dieren en un
mltiplo escalar de la identidad, que es si T=S para algn 0. De modo que si se identican los mltiplos escalares
de la aplicacin identidad con el cuerpo subyacente, el conjunto de morsmos lineales en k desde P(V) a P(W) es
simplemente P(L(V,W)).
Los automorsmos P(V) P(V) pueden ser descritos ms concretamente. (se tratar nicamente con automorsmos
que preservan el cuerpo base k). Usando la nocin de haces generados por secciones globales, se puede mostrar que
cualquier automorsmo algebraico (no necesariamente lineal) tiene que ser lineal, i.e. procedentes de un automorsmo
(lineal) del espacio vectorial V, en ltima forma, el grupo GL(V). Mediante la identicacin 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 automorsmos de la recta
proyectiva compleja P1 (C) son llamados transformaciones de Mbius.

2.1.9 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 identicado 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.

2.1.10 Generalizaciones
Dimensin El espacio proyectivo, siendo el espacio de todos los subespacios lineales unidimensionales de un de-
terminado espacio vectorial V es generalizado por la variedad grassmanniana, que parametriza subespacios de
mayores dimensiones (para alguna dimensin jada) de V.
Sucesin de subespacios Ms generalmente, la variedad bandera es el espacio de banderas, o sea, cadenas de subes-
pacios 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.
2.2. PROYECTIVIDAD 27

Parcheado Parcheando los espacios proyectivos conjuntamente se obtiene espacios proyectivos brados.

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.

2.1.11 Vase tambin

Espacio proyectivo complejo

2.1.12 Referencias

Afanasev, V.V. (2001), "projective space", 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, MR 1629468, ISBN 978-0-521-48277-6; 978-0-521-48364-3

Coxeter, Harold Scott MacDonald (1974), Projective geometry, Toronto, Ont.: University of Toronto Press, MR
0346652, ISBN 0802021042, OCLC 977732

Dembowski, P. (1968), Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Berlin,
New York: Springer-Verlag, MR 0233275, ISBN 3540617868

Greenberg, M.J.; Euclidean and non-Euclidean geometries, 2nd ed. Freeman (1980).

Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, MR 0463157, ISBN 978-0-
387-90244-9, 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 (Reprint of 1910 edition)

2.1.13 Enlaces externos

Weisstein, Eric W. Projective Space. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.

http://planetmath.org/encyclopedia/ProjectiveSpace.html

Projective Planes of Small Order

2.2 Proyectividad
En matemticas, una proyectividad es una aplicacin inducida entre espacios proyectivos mediante una aplicacin
lineal. Esto es, si f : E E es una aplicacin lineal, la proyectividad que induce es de la forma f : P (E)
P (Ker(f )) P (E ) .
Una proyectividad admite unas ecuaciones, que se expresan sencillamente de manera matricial. Para ello basta elegir
dos referencias proyectivas {U0 , U1 , ..., Un ; U } y {V0 , V1 , ..., Vn ; V } de P (E) y P (E ) , que vendrn referidas por
las bases {u0 , u1 , ..., un } y {v0 , v1 , ..., vn } de E y E respectivamente. As, la ecuacin matricial viene dada por
Y = AX , donde X, Y son las coordenadas de un punto de P (E) y P (E ) respectivamente, y A es la matriz de
coecientes de la aplicacin. es un escalar de proporcionalidad dado por las coordenadas homogneas.
28 CAPTULO 2. GEOMETRA PROYECTIVA

2.3 Plano proyectivo

El plano proyectivo es el conjunto estudiado por la geometra proyectiva. Surge en geometra euclidiana al aadir a
un plano un punto por cada familia de rectas paralelas (es decir, uno por cada par de direcciones opuestas). Los puntos
as aadidos reciben el nombre de puntos del innito, y su introduccin unica y simplica mucho los enunciados
de la geometra. Por ejemplo, la armacin que dice que dos rectas de un plano se cortan en un nico punto o son
paralelas, en el plano proyectivo se enuncia: Dos rectas siempre se cortan en un nico punto.

2.3.1 Empleo en la geometra proyectiva

La geometra proyectiva surge realmente al estudiar solamente las relaciones de incidencia cuando los puntos
ordinarios y los puntos del innito se consideran en pie de igualdad. Una forma de visualizar la geometra proyectiva
es tomar un punto P exterior al plano y denirlo como las proyecciones de los elementos tridimensionales sobre un
plano. Cada punto del plano dene claramente una recta que pasa por P; pero as no obtenemos todas las rectas que
pasan por P: faltan las rectas paralelas al plano dado, que se corresponden precisamente con las direcciones del plano.
Los puntos del plano proyectivo se corresponden naturalmente con las rectas que pasan por P, y las rectas del
plano proyectivo con los planos que pasan por P. Esta correspondencia conserva las relaciones de incidencia, es
un isomorsmo entre sus respectivas estructuras. Podemos denir sin ms el plano proyectivo como la radiacin de
rectas de vrtice un punto dado P. Adems esta perspectiva permite introducir tambin la recta proyectiva, como ra-
diacin de rectas de vrtice dado en un plano, y espacios proyectivos tridimensionales, como radiacin de rectas que
pasan por el origen en un espacio vectorial de dimensin 4, o de cualquier otra dimensin n (sin ms que considerar
espacios vectoriales de dimensin n+1).

2.3.2 De la pobreza de enunciados a su riqueza

Viendo sus dos principios (dos rectas se cortan en un punto y dos puntos denen una recta), la geometra proyectiva
parece la ms pobre de todas las geometras, pues en sus enunciados slo interviene el concepto de incidencia. No
admite los conceptos de paralelismo, de perpendicularidad, distancia o ngulo. Solo permite enunciados de incidencia
tales como:

Por dos puntos pasa una nica recta o bien

Teorema de Desargues: Si las tres rectas que unen los vrtices de dos tringulos concurren en un punto,
entonces los tres puntos de corte de las prolongaciones de los lados correspondientes estn alineados.

Sin embargo, segn hemos visto, los enunciados geomtricos en que adems interviene el concepto de paralelismo (la
llamada geometra afn) pueden reformularse en el plano proyectivo sin ms que jar una recta, recta que entonces
recibe el nombre de recta del innito. As, todo enunciado afn admite un enunciado proyectivo equivalente, y
la geometra afn puede verse como una pequea parte de la geometra proyectiva: es la geometra de un plano
proyectivo con una recta prejada (o un plano en el espacio proyectivo, etc.). Igualmente se vio que la geometra
eucldea se obtiene al jar dos puntos complejos conjugados en la recta del innito (los puntos donde cortan todas
las circunferencias), quedando as englobada en la Geometra proyectiva: es la geometra de un plano proyectivo
donde se han jado dos puntos complejos conjugados de una recta. Incluso la geometra hiperblica, la primera de
las geometras no eucldeas, puede obtenerse jando una cnica: los puntos de la geometra son los puntos interiores
de la cnica, las rectas son las secciones del interior de la cnica con rectas, y la distancia entre dos puntos A, B es
esencialmente su razn doble con los puntos de corte P, Q de la recta AB con la cnica dada:
d(A,B) := | ln(A,B;P,Q) |
De este modo, la geometra proyectiva, la ms humilde de todas, pas a ser la reina de la geometra.

2.3.3 Los axiomas y teoremas

Pero an nos queda abordar la cuestin de la estructura subyacente en la geometra proyectiva, de explicitar sus
axiomas. Los gemetras alemanes del siglo XIX alcanzaron a exponerla considerando el retculo formado por las
subvariedades lineales (puntos, rectas, planos, etc.). Lo caracterizaron como un retculo de dimensin 3 (en el caso
del espacio) con las siguientes propiedades:
2.3. PLANO PROYECTIVO 29

1. dim(A+B) = dim(A) + dim(B) - dim(AB)

2. Hay 5 puntos en posicin general (ningn plano pasa por 4 de ellos).

3. Es vlido el Teorema de Desargues.

La contribucin espaola

Si se desea que el cuerpo de coordenadas sea conmutativo, se ha de imponer la validez del teorema del hexgono de
Pappus. De hecho, el catedrtico de instituto Ventura de los Reyes Prsper (Castuera, 31 de mayo de 1863 - Toledo,
27 de noviembre de 1922) escribi una carta a Pasch explicando cmo en el espacio el teorema de Desargues se sigue
de las otras dos propiedades y es, por tanto, superuo. Pasch, asombrado ante la sencillez del argumento (... auf
denkbar einfachste Art...) que simplicaba notablemente su reciente libro, lo public en 1888 en los Matematische
Annalen. Es la primera contribucin espaola publicada en revista de tal importancia. En el caso del plano proyectivo,
obviamente se ha de exigir que se un retculo de dimensin con 4 puntos en posicin general (ninguna recta pasa por
3 de ellos); pero en tal caso el teorema de Desargues ya no es consecuencia de las otras dos propiedades, sino que
debe seguir mantenindose como un axioma adicional.

En pleno siglo XX

Pero la sencilla recta proyectiva se resiste a ser caracterizada como retculo, pues su relacin de orden es absoluta-
mente trivial. Hasta mediados del siglo XX no se logr un marco conceptual que englobase tanto la estructura de la
recta proyectiva como la del plano y el espacio proyectivo. El concepto de esquema introducido por Grothendieck
permite recogerlos en su seno y, como regalo sobreabundante, tambin todo el lgebra conmutativa y gran parte de
la aritmtica.

2.3.4 Vase Tambin

Portal:Matemtica. Contenido relacionado con Matemtica.

Portal:Geometra. Contenido relacionado con Geometra.

Geometra

Geometra proyectiva (Matemticas)

2.3.5 Referencias
D. Hughes and F. Piper,"Projective Planes, Springer-Verlag, 1973, ISBN 0-387-90044-6

Clement W.H. Lam, The Search for a Finite Projective Plane of Order 10, American Mathematical Monthly
98, (no. 4) 1991, pp.305 - 318.

Lindner, Charles C. and Christopher A. Rodger (eds.) Design Theory, CRC-Press; 1 edition (October 31,
1997). ISBN 0-8493-3986-3.

G. Eric Moorhouse, Projective Planes of Small Order, (2003)

30 CAPTULO 2. GEOMETRA PROYECTIVA

Ejemplo del teorema de Bzout

2.3. PLANO PROYECTIVO 31

El plano de Fano.
32 CAPTULO 2. GEOMETRA PROYECTIVA

El plano de Fano es un ejemplo de plano proyectivo.

Captulo 3

Text and image sources, contributors, and

licenses

3.1 Text
Espacio afn Fuente: http://es.wikipedia.org/wiki/Espacio%20af%C3%ADn?oldid=75967272 Colaboradores: Vivero, Johnbojaen, Ger-
manX, Wewe, ManuelMore, Marianov, Davius, Ingenioso Hidalgo, JAnDbot, Algarabia, SieBot, Bigsus-bot, Alexbot, VanBot, Albambot,
MastiBot, Adelpine, Luckas-bot, ArthurBot, Gusbelluwiki, EmausBot, Allforrous, Grillitus, ChuispastonBot, Invadibot, Legobot, Juan-
Manwell y Annimos: 8
Transformacin afn Fuente: http://es.wikipedia.org/wiki/Transformaci%C3%B3n%20af%C3%ADn?oldid=77558178 Colaboradores:
Marianov, Davius, Juan Mayordomo, Luckas-bot, Jkbw, Gusbelluwiki, Jerowiki, EmausBot, Megazilla77, MerlIwBot, KLBot2, Jjsiete,
Elvisor y Annimos: 3
Geometra euclidiana Fuente: http://es.wikipedia.org/wiki/Geometr%C3%ADa%20euclidiana?oldid=81383452 Colaboradores: Llull~eswiki,
Fibonacci, JorgeGG, Larocka, Lourdes Cardenal, Vivero, Krusher, Rosarino, Cookie, Tano4595, Jsanchezes, El Hoy, Dianai, Cina-
brium, Arrt-932, Dat, Ecemaml, Chewie, Alexan, Boticario, Yrithinnd, Orgullobot~eswiki, Platonides, Alhen, Gerkijel, Davidsevilla,
Euler~eswiki, Echani, GermanX, Wewe, Davidmh, Paintman, Juan Marquez, Tituslenin, BOTpolicia, CEM-bot, JMCC1, Especiales,
Marianov, Davius, Rastrojo, JoulSauron, Fsd141, Tortillovsky, Mahadeva, Gonzalez.K, Isha, Gngora, El loko, Felipe Canales, JAnDbot,
SITOMON, TXiKiBoT, Guirrohl, Gustronico, Fixertool, Pececito, Plux, Technopat, Queninosta, Matdrodes, BlackBeast, MarianoOsso,
Muro Bot, Alejandromenna, SieBot, Danielba894, PaintBot, Arlekean, BOTarate, Mel 23, Tirithel, Gcatalan, JaviMad, Paulienator, Fa-
risori, Estirabot, Eduardosalg, Leonpolanco, Pan con queso, Ener6, Takashi kurita, Juan Mayordomo, Kiut, Daniyyel, Shalbat, Taty2007,
Cesarabad, AVBOT, David0811, Warrior 1955, Louperibot, Anaco2000, Desde el planeta de los simios, Ezarate, Diegusjaimes, Melan-
cholieBot, Arjuno3, Luckas-bot, SuperBraulio13, Almabot, Manuelt15, Xqbot, Jkbw, EmBOTellado, Gusbelluwiki, Halfdrag, Jerowiki,
Euclides, Foundling, GrouchoBot, EmausBot, Savh, Allforrous, WikitanvirBot, Vagobot, Jcuadra2, Travelour, Gins90, MetroBot, Inva-
dibot, Acratta, Helmy oved, YFdyh-bot, Addbot, Mountain Spectre, DavosMat, Jarould, Kevin Ubaldo Campos y Annimos: 163
Espacio eucldeo Fuente: http://es.wikipedia.org/wiki/Espacio%20eucl%C3%ADdeo?oldid=73933159 Colaboradores: AstroNomo, Sab-
but, Moriel, DefLog, Rsg, Santiago Hernndez, Rembiapo pohyiete (bot), Magister Mathematicae, Chobot, Yrbot, GermanX, Wewe,
Gtz, ManuelMore, Paintman, Juan Marquez, CEM-bot, JMCC1, Davius, Ingenioso Hidalgo, JAnDbot, VolkovBot, Urdangaray, Muro
Bot, SieBot, Drinibot, HUB, Estirabot, Botito777, Juan Mayordomo, Raulshc, Agualin, SilvonenBot, SergioN, AVBOT, LucienBOT,
MastiBot, Nallimbot, SuperBraulio13, Xqbot, Jkbw, EmBOTellado, Humbefa, Jorge c2010, GrouchoBot, EmausBot, Kriztoval, Jackie-
Bot, Elas, Quetzal02, Kasirbot, MerlIwBot, Jharni Elmer Neyra Valverde, Acratta, Addbot, Luiguiferninando y Annimos: 29
Isometra Fuente: http://es.wikipedia.org/wiki/Isometr%C3%ADa?oldid=81955744 Colaboradores: SpeedyGonzalez, ManuelGR, Ro-
sarino, Dianai, FAR, Airunp, RobotQuistnix, GermanX, Cheveri, CEM-bot, JMCC1, Baiji, Davius, Gsrdzl, Humberto, Netito777, Rov-
net, VolkovBot, Galandil, Matdrodes, Muro Bot, PaintBot, Ninjask, DragonBot, Eduardosalg, Leonpolanco, Juan Mayordomo, AVBOT,
Are 16, Peti610bot, Diegusjaimes, Xqbot, Jkbw, Chiquilittle, Botarel, KamikazeBot, EmausBot, Savh, Satanesdan, WikitanvirBot, Va-
gobot, Sebrev, Elvisor, 2rombos, Addbot, Jarould y Annimos: 48
Isometra afn Fuente: http://es.wikipedia.org/wiki/Isometr%C3%ADa%20af%C3%ADn?oldid=78258498 Colaboradores: Dodo, Richy,
Petronas, Taichi, Yrbot, BOT-Superzerocool, Maleiva, Vitamine, GermanX, Gtz, BludgerPan, Er Komandante, Cheveri, BOTpolicia,
CEM-bot, Fedaro, JMCC1, Marianov, Retama, Antur, Gafotas, Ggenellina, Srengel, Indarkide, Claudio Ray, Mpeinadopa, Humberto, P-
lux, Rovnet, Manuel Trujillo Berges, Bucephala, Technopat, Raystorm, Matdrodes, AlleborgoBot, Dinopmi, Macarrones, STBot~eswiki,
Manw, Greek, BuenaGente, Relleu, Yonseca, Tirithel, HUB, Petruss, Juan Mayordomo, Camilo, AVBOT, Diegusjaimes, Luckas-bot,
DiegoFb, Vic Fede, Ruy Pugliesi, SuperBraulio13, Jkbw, Ricardogpn, Botarel, Hprmedina, PatruBOT, Foundling, Acht, Axvolution,
Savh, *el*koko0*, Dak000000000, Elvisor, Addbot y Annimos: 112
Grupo de isometra Fuente: http://es.wikipedia.org/wiki/Grupo%20de%20isometr%C3%ADa?oldid=72499058 Colaboradores: BOT-
Superzerocool, Davius, Diosa, Kved, Drinibot, Juan Mayordomo, Armando-Martin, David0811, Rubpe19, UAwiki, Addbot y Annimos:
8
Espacio proyectivo Fuente: http://es.wikipedia.org/wiki/Espacio%20proyectivo?oldid=73976699 Colaboradores: BOT-Superzerocool,
Technopat, Drinibot, Raulshc, Luckas-bot, Jerowiki, Grillitus, UAwiki, Addbot y Annimos: 2
Proyectividad Fuente: http://es.wikipedia.org/wiki/Proyectividad?oldid=75149357 Colaboradores: Sabbut, Dangelin5, Albertocai y Gri-
llitus

33
34 CAPTULO 3. TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

Plano proyectivo Fuente: http://es.wikipedia.org/wiki/Plano%20proyectivo?oldid=74523097 Colaboradores: Oblongo, Sabbut, Sanbec,

Tano4595, Alonso de Celada, Richy, Drini2, Yrbot, YurikBot, GermanX, Heliocrono, Juan Marquez, Tamorlan, BOTpolicia, JMCC1,
Alexiza, JAnDbot, Muro Bot, Prietoquilmes, HUB, Gegege13, Paladium, Yago.salamanca, ChuispastonBot, Rezabot, MerlIwBot, KLBot2,
Acratta, Elvisor, JuanManwell y Annimos: 10

3.2 Images
Archivo:Commons-emblem-question_book_orange.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/1/1f/Commons-emblem-question_
book_orange.svg Licencia: CC BY-SA 3.0 Colaboradores: <a href='//commons.wikimedia.org/wiki/File:Commons-emblem-issue.svg'
class='image'><img alt='Commons-emblem-issue.svg' src='//upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.
svg/25px-Commons-emblem-issue.svg.png' width='25' height='25' srcset='//upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.
svg/38px-Commons-emblem-issue.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/
50px-Commons-emblem-issue.svg.png 2x' data-le-width='48' data-le-height='48' /></a> + <a href='//commons.wikimedia.org/wiki/
File:Question_book.svg' class='image'><img alt='Question book.svg' src='//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_
book.svg/25px-Question_book.svg.png' width='25' height='20' srcset='//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_
book.svg/38px-Question_book.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/50px-Question_
book.svg.png 2x' data-le-width='252' data-le-height='199' /></a> Artista original: GNOME icon artists, Jorge 2701
Archivo:Dihedral4.png Fuente: http://upload.wikimedia.org/wikipedia/commons/b/b6/Dihedral4.png Licencia: CC-BY-SA-3.0 Cola-
boradores: ? Artista original: ?
Archivo:EspacioAfn1.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c6/EspacioAf%C3%ADn1.svg Licencia: CC0
Colaboradores: Trabajo propio Artista original: Marianov
Archivo:EspacioAfn1b.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/2/20/EspacioAf%C3%ADn1b.svg Licencia: CC0
Colaboradores: Trabajo propio Artista original: Marianov
Archivo:EspacioAfn1c.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/1/1a/EspacioAf%C3%ADn1c.svg Licencia: CC0
Colaboradores: Trabajo propio Artista original: Marianov
Archivo:EspacioAfn1cT.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/5/5a/EspacioAf%C3%ADn1cT.svg Licencia:
CC0 Colaboradores: Trabajo propio Artista original: Marianov
Archivo:EspacioAfn2.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/e/ea/EspacioAf%C3%ADn2.svg Licencia: CC0
Colaboradores: Trabajo propio Artista original: Marianov
Archivo:EspacioAfn2T.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c6/EspacioAf%C3%ADn2T.svg Licencia: CC0
Colaboradores: Trabajo propio Artista original: Marianov
Archivo:Fano_plane.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/a/af/Fano_plane.svg Licencia: Public domain Cola-
boradores: created using vi Artista original: de:User:Gunther
Archivo:Fractal_fern_explained.png Fuente: http://upload.wikimedia.org/wikipedia/commons/4/4b/Fractal_fern_explained.png Li-
cencia: Public domain Colaboradores: Trabajo propio Artista original: Antnio Miguel de Campos
Archivo:Mirror.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/5/52/Mirror.jpg Licencia: CC-BY-SA-3.0 Colaborado-
res: English Wikipedia (http://en.wikipedia.org/wiki/Image:Mirror.jpeg) Artista original: Cgs
Archivo:Nuvola_apps_edu_mathematics-p.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_mathematics-p.
svg Licencia: GPL Colaboradores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original: David Vignoni
(original icon); Flamurai (SVG convertion)
Archivo:OrdenInverso.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/b/ba/OrdenInverso.svg Licencia: CC0 Colabora-
dores: Trabajo propio Artista original: Marianov
Archivo:Oxyrhynchus_papyrus_with_Euclid{}s_Elements.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/8/8d/P._Oxy.
_I_29.jpg Licencia: Public domain Colaboradores: http://www.math.ubc.ca/~{}cass/Euclid/papyrus/tha.jpg Artista original: Euclid
Archivo:P1_ako_varieta.png Fuente: http://upload.wikimedia.org/wikipedia/commons/6/62/P1_ako_varieta.png Licencia: CC-BY-SA-
3.0 Colaboradores: Transferred from en.wikipedia Artista original: Jakob.scholbach at en.wikipedia
Archivo:P1_dalsia_predstava.png Fuente: http://upload.wikimedia.org/wikipedia/commons/b/b5/P1_dalsia_predstava.png Licencia:
CC BY-SA 3.0 Colaboradores: Anglick wikipdia Artista original: Jakob.scholbach (http://en.wikipedia.org/wiki/User:Jakob.scholbach)
Archivo:Portal.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c9/Portal.svg Licencia: CC BY 2.5 Colaboradores:
Portal.svg
Artista original: Portal.svg: Pepetps
Archivo:Priklad_pre_Bezoutov_teorem.png Fuente: http://upload.wikimedia.org/wikipedia/commons/4/4c/Priklad_pre_Bezoutov_teorem.
png Licencia: CC BY-SA 3.0 Colaboradores: Anglick wikipdia Artista original: Jakob.scholbach (http://en.wikipedia.org/wiki/User:
Jakob.scholbach)
Archivo:Projektivna_rovina.png Fuente: http://upload.wikimedia.org/wikipedia/commons/4/40/Projektivna_rovina.png Licencia: CC-
BY-SA-3.0 Colaboradores: Transferido desde en.wikipedia a Commons. Artista original: Jakob.scholbach de Wikipedia en ingls
Archivo:PropPrim.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/7/7c/PropPrim.svg Licencia: CC0 Colaboradores: Tra-
bajo propio Artista original: Marianov
Archivo:PuntosAfn.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/d/dc/PuntosAf%C3%ADn.svg Licencia: CC0 Cola-
boradores: Trabajo propio Artista original: Marianov
Archivo:Railroad-Tracks-Perspective.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/2/2a/Railroad-Tracks-Perspective.
jpg Licencia: Public domain Colaboradores: Trabajo propio Artista original: User:MikKBDFJKGeMalak
3.3. CONTENT LICENSE 35

Archivo:ReglaParalelogramo.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/5/55/ReglaParalelogramo.svg Licencia: CC0

Colaboradores: Trabajo propio Artista original: Marianov
Archivo:ReglaParalelogramoDeTraslaciones.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/d/d2/ReglaParalelogramoDeTraslaciones.
svg Licencia: CC0 Colaboradores: Trabajo propio Artista original: Marianov
Archivo:SentidoInverso.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/2/26/SentidoInverso.svg Licencia: CC0 Colabo-
radores: Trabajo propio Artista original: Marianov
Archivo:Simetria_axial.png Fuente: http://upload.wikimedia.org/wikipedia/commons/8/8f/Simetria_axial.png Licencia: CC-BY-SA-
3.0 Colaboradores: Trabajo propio Artista original: Rovnet
Archivo:Simetria_axial_triangulo.png Fuente: http://upload.wikimedia.org/wikipedia/commons/f/ff/Simetria_axial_triangulo.png Li-
cencia: CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: Rovnet
Archivo:Simetria_central.png Fuente: http://upload.wikimedia.org/wikipedia/commons/5/54/Simetria_central.png Licencia: CC-BY-
SA-3.0 Colaboradores: Trabajo propio Artista original: Rovnet
Archivo:Simetria_central_triangulo.png Fuente: http://upload.wikimedia.org/wikipedia/commons/d/de/Simetria_central_triangulo.png
Licencia: CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: Rovnet
Archivo:Title_page_of_Sir_Henry_Billingsley{}s_first_English_version_of_Euclid{}s_Elements,_1570_(560x900).jpg Fuente:
http://upload.wikimedia.org/wikipedia/commons/c/cf/Title_page_of_Sir_Henry_Billingsley%27s_first_English_version_of_Euclid%27s_
Elements%2C_1570_%28560x900%29.jpg Licencia: Public domain Colaboradores: Early editions of Euclids Elements, by Charles
Thomas-Stanford. Plate X. Artista original: Charles Thomas-Stanford
Archivo:Traslacion.png Fuente: http://upload.wikimedia.org/wikipedia/commons/2/2c/Traslacion.png Licencia: CC-BY-SA-3.0 Cola-
boradores: Trabajo propio Artista original: Rovnet
Archivo:Traslacion_triangulo.png Fuente: http://upload.wikimedia.org/wikipedia/commons/9/99/Traslacion_triangulo.png Licencia:
CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: Rovnet
Archivo:VectorNulo.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/f/fb/VectorNulo.svg Licencia: CC0 Colaboradores:
Trabajo propio Artista original: Marianov

3.3 Content license

Creative Commons Attribution-Share Alike 3.0