SEDE RANCAGUA

UNIVERSIDAD TECNOLGICA DE CHILE

GEOMETRAS FINITAS

MATEMTICAS DISCRETAS

MATAS VILLARROEL CCERES

PROFESOR: Sr. CRISTIAN ALEJANDRO OSSA

RANCAGUA - CHILE
2015

INDICE

Matemticas Discretas

Introduccin.............................................................................................................3
Geometras finitas....................................................................................................4
Planos proyectivos..................................................................................................5
Planos Afines.........................................................................................................12
Ejercicios resueltos...............................................................................................15
Conclusin.............................................................................................................18
Bibliografa.............................................................................................................19

Matemticas Discretas

Introduccin
La geometra fue, primero, la ciencia de la medida de las extensiones (geo = tierra;
metrn = medida). Lo que se aprendi a medir (con los gemetras griegos) fue la
extensin de una lnea, recta o curva; de una superficie limitada por lneas y de
un volumen limitado por superficies. Pero rpidamente la expresin medir adquiri
entre los griegos un sentido muy general de "establecer relaciones". Estas
relaciones eran de dos clases:

Relaciones de posicin que se enuncian por proposiciones tales como " La

recta D es paralela a la recta D", " la recta D es tangente al crculo C", etc.
Relaciones mtricas, tales como "el segmento AB es triple del segmento
AC", "la relacin entre la longitud de la circunferencia y su dimetro es un
nmero que ninguna fraccin puede definir", etc.

Para establecer estas relaciones tan numerosas y variadas, los gemetras de la

antigedad pusieron a punto un mtodo que se convertira ms adelante en el
mtodo matemtico por excelencia: la demostracin.

Matemticas Discretas

Geometras finitas
Una geometra finita es un sistema particular de incidencia en el cual, a partir de
una determinada axiomtica, se define una cierta familia de subconjuntos de un
conjunto finito de elementos llamados puntos. En particular, una geometra finita
es un diseo combinatorio en el que se consideran las variedades como puntos.
En funcin de la axiomtica definida aparecen diferentes estructuras geomtricas.
Unas de las ms sencillas son las llamadas geometras lineales finitas, en las
cuales la axiomtica se refiere a propiedades que deben cumplir ciertos
subconjuntos de puntos llamados lneas o rectas. As, si P = {p1, p2,, pv}
representa un conjunto de puntos, el conjunto de lneas ser un determinado
subconjunto de las partes de P, L = {l1, l2,., lb}

P (P) y la correspondiente

geometra se representa por

G = (P, L)
El nmero de puntos de una lnea l L lo notaremos por |l| = |{p P, p l}|. Como
veremos a continuacin, es til considerar el conjunto de lneas que contienen un
determinado punto p. Representamos este conjunto por Lp = {l L | p l}.
De hecho son las geometras casi-lineales las que tienen la axiomtica ms
simple:

El primero de estos axiomas no es propio de estas geometras, sino que lo

comparten todas las geometras finitas no triviales. El segundo es por tanto el que
4

Matemticas Discretas

las caracteriza y asegura que dos puntos cualesquiera estn como mximo en una
lnea. Si imponemos que haya exactamente una lnea que los contenga,
obtenemos la axiomtica propia de una geometra lineal finita:

Planos proyectivos
La geometra proyectiva tiene sus orgenes en el siglo IV (Pappus de Alejandra)
pero no fue hasta el siglo XVI, mediante los pintores flamencos, que se le dio
importancia, y an se demor tres siglos ms para hacer sistemtico y riguroso su
estudio (Boole, Cayley, Sylvester, siglo XIX). La versin finita de las geometras
proyectivas tiene mltiples aplicaciones en combinatoria relacionadas con la
construccin de ciertos diseos simtricos y tambin con la obtencin de lo que se
llaman cuadrados latinos, que estudiaremos en la prxima seccin.
Aadiendo condiciones a las descritas anteriormente para geometras lineales, se
obtienen tipos especiales de geometras lineales finitas. En particular si se
considera que dos lneas diferentes siempre tienen un nico punto en comn, y
que existen como mnimo cuatro puntos no colineales tres a tres (esto, como
veremos, evita casos triviales), se obtiene lo que se llama plano proyectivo finito.
As, un plano proyectivo es una geometra lineal finita que cumple los axiomas
siguientes:

Matemticas Discretas

Observar que en un plano proyectivo todas las rectas se cortan, de manera que no
se satisface el axioma de Euclides, que afirma que por un punto exterior a una
recta pasa una nica paralela.
El plano proyectivo ms pequeo es el plano de Fano:

Existen planos proyectivos con cualquier nmero de puntos? Comprobaremos

que la respuesta a esta pregunta es negativa si descartamos los casos llamados
degenerados que se muestran en la siguiente figura.
Ejercicio. Comprobar que no existe ningn plano proyectivo no degenerado de
cuatro puntos.
Es preciso observar en primer lugar que el axioma P3 se impone para eliminar los
casos degenerados. Es preciso observar tambin que P1 y P2 son condiciones
6

Matemticas Discretas

duales, es decir, que se obtienen una de la otra intercambiando puntos por lneas.
En particular, tambin se verifica el dual de P3.

Proposicin. En un plano proyectivo hay al menos cuatro lneas tales que tres
cualesquiera de ellas no contienen un mismo punto.

Demostracin. Sean
tres de las lneas

cuatro puntos no colineales tres a tres. Entonces

no tienen ningn punto en comn. Por ejemplo, si

tuviesen un punto t en comn, las lneas

coincidiran, ya

que las dos primeras y las dos ltimas tendran dos puntos en comn y psr seran
colineales.
Este resultado junto con los tres axiomas P1, P2 y P3 hacen que cualquier
resultado sobre planos proyectivos tenga su dual (intercambiando puntos por
7

Matemticas Discretas

lneas). Se dice por tanto que los planos proyectivos verifican lo que se llama
principio de dualidad.
El comportamiento regular de los planos proyectivos se evidencia mediante los
siguientes resultados que ponen de manifiesto al mismo tiempo este principio de
dualidad.

Teorema. En un plano proyectivo, todas las lneas contienen el mismo nmero de

puntos y cada punto pertenece al mismo nmero de lneas.
Demostracin. Para demostrar que cada lnea contiene el mismo nmero de
puntos, establecemos una biyeccin entre los puntos de dos lneas diferentes l y l.
Para ello, consideremos

tal que no sea un punto de

La proyeccin sobre l de cada punto

respecto al punto x es el punto

que se obtiene como interseccin de la lnea lxp con l:

Observar que si

, entonces

(axioma P2). Por tanto, la

proyeccin es una biyeccin.

Por el principio de dualidad, tambin es cierto que cada punto pertenece al mismo
nmero de lneas.

Matemticas Discretas

Proyeccin respecto a x

Teorema. En un plano proyectivo, el nmero de puntos que contiene cada lnea es

igual al nmero de lneas que pasan por cada punto.

Demostracin. Sea (P, L) un plano proyectivo. Consideremos

Entonces la aplicacin que a cada punto

le asigna la lnea lpx es una

biyeccin entre el conjunto de puntos de l y el conjunto de lneas que pasa por x.

Teorema. Un plano proyectivo con m+1 puntos en cada lnea tiene

puntos.
Demostracin. Si v es el nmero de puntos de un plano proyectivo, entonces

donde (m+1) es
punto

, y m es

, es decir, el nmero de lneas que contienen un determinado

.

Matemticas Discretas

Nmero de puntos de un plano proyectivo

Observemos que stos son efectivamente todos los puntos del plano, ya que, si
existiese algn punto q que no fuese de Lp, tambin tendra que existir (axioma
P1) la lnea

que lo une a p.

El principio de dualidad nos garantiza que el nmero de lneas de un plano

proyectivo es el mismo que el nmero de puntos, es decir,

En particular, no existen planos proyectivos con 5 o 6 puntos. Observar tambin

que para m = 1, el plano que se obtiene es degenerado. Por tanto, tal como se ha
comentado anteriormente, el plano proyectivo ms pequeo es el plano de Fano
con m = 2. Para m = 3 se obtiene un plano proyectivo con 13 puntos, que est
representado en la siguiente figura.

10

Matemticas Discretas

Plano proyectivo de 13 puntos

Al nmero m se le dice orden del plano proyectivo. Un plano proyectivo de orden
m se denota habitualmente por

De momento sabemos que cualquier plano proyectivo debe tener

puntos; sin embargo, existe un plano proyectivo para cualquier valor de m?
Podemos obtener la respuesta identificando los planos proyectivos con unos
ciertos diseos simtricos. Si se consideran los puntos de PG(2,m) como
variedades y las lneas como bloques, se obtiene un 2-diseo simtrico con los
parmetros que figuran a continuacin:

11

Matemticas Discretas

Se puede observar como consecuencia del axioma P1 que = 1, y se puede

comprobar tambin que se cumplen las condiciones de regularidad de todo diseo
simtrico. Por ejemplo, el plano proyectivo de los 13 puntos anterior corresponde
al diseo (13,4,1)-SD, cuyos bloques figuran a continuacin:

Planos Afines
La geometra afn est intrnsecamente relacionada con la geometra proyectiva,
aunque, de hecho, la geometra afn sigue los postulados de la geometra
eucldea, mientras que en la geometra proyectiva, como ya hemos visto, no es
as. La relacin que hay entre las dos se pondr de manifiesto, como veremos, a
travs del diseo residual del diseo simtrico asociado a un plano proyectivo.
Se dice que una geometra finita G = (P,L) es un plano afn si cumple las
condiciones siguientes:

12

Matemticas Discretas

Los axiomas de planos afines y planos proyectivos difieren slo en los dos ltimos
y, de hecho, la diferencia substancial es entre los axiomas P2 y A2. Cabe observar
que son los axiomas P2 y A2 los que contraponen estas geometras lineales
respecto de la geometra eucldea.

Denotamos por
una lnea

el diseo residual que se obtiene suprimiendo

y sus puntos del diseo

Demostraremos que este diseo residual es un plano afn. En primer lugar, los
parmetros del diseo que se obtiene son los siguientes:

Ejercicio. Comprobar que los parmetros del diseo residual de un plano

proyectivo PG(2,m) son efectivamente los que se han descrito.
Teorema. El diseo residual de un plano proyectivo es un plano afn.

13

Matemticas Discretas

Demostracin. Comprobemos que

cumple los axiomas de plano

afn. Los dos primeros se deducen directamente a partir de la definicin de diseo

residual.

A3 este axioma es consecuencia directa de P3, teniendo en cuenta que

suprimiendo una lnea en un plano proyectivo siempre quedan como mnimo tres
puntos no colineales.
Denotamos por AG(2,m) el plano afn de orden m, es decir, el plano afn que tiene
m puntos en cada lnea.
Podemos invertir el proceso que hemos seguido para obtener un plano afn a partir
de un plano proyectivo, aadiendo al plano afn la lnea l*, formada por los puntos
correspondientes a las intersecciones entre lneas que no tienen interseccin en
AG(2,m). As,

14

Matemticas Discretas

15

Matemticas Discretas

Ejercicios resueltos
1.- Demostrar que, dados tres puntos distintos A1, A2, A3 y otros tres puntos
distintos A1, A2, A3, existe una nica proyectividad que aplica los tres primeros
en los tres segundos. Expresarla en sus coordenadas completas al elegir
referencia.
Solucin:
Tomemos una referencia en la que los puntos A1, A2, A3 tengan coordenada finita
y los puntos
Una projectividad

tengan tambin coordenada finita

conserva la razn doble de cualesquiera

cuatro puntos y sus imgenes, y por tanto

Desarrollando esta expresin queda una ecuacin cuadrtica en

como las

que definen las proyectividades.

2.-David (d) y su esposa Mara (m) viajan a Nueva York con sus cinco hijos.
Ricardo (r), Pedro (p), Cristbal (c), Beatriz (b) y Julia (j). Durante la estancia de
una semana reciben tres pases cada da, para visitar el Empire State Building.
Podemos hacer un programa para esta familia de modo que todos visiten esta
atraccin el mismo nmero de veces?
Solucin:
El siguiente programa es una posibilidad
16

Matemticas Discretas

1) b, c, d

2) b, j, r

3) b, m, p

4)c, j, m

5) c, p, r

6)d, j, p

7)d, m, r

3.-Determine cada una de las siguientes rectas:

a) La recta en PA(Z7) paralela a y=4x + 2 y que contiene a (3, 6).
b) La recta en PA(Z11) paralela a 2x+3y+4=0 y que contiene a (10,7).
Solucin:
a) y=4x+1

b) y=3x+10 o 2x+3y+3=0

4.-Consideremos una clase paralela de rectas, dad por y=mx+b, donde m K,

m0.
Muestre que cada recta en esta clase intersecta a cada recta vertical y a cada
recta horizontal en exactamente un punto de PA(K). As, la configuracin
obtenida al etiquetar los puntos de PA(K) es un cuadrado latino.
Solucin:
Recta vertical: x=c. La recta y=mx+b intersecta esta recta vertical en el punto
nico (c, mc +b). Cuando b toma los valores de K, no existen dos entradas de
columna (sobre la recta x=c) que sean iguales.
Recta Horizontal: y=c. La recta y=mx+b intersecta esta recta horizontal en el punto
nico (m^-1(c-b), c). Cuando b toma los valores de K, ningn par de filas (sobre la
recta y=c) son iguales.

17

Matemticas Discretas

5.-Sea V={1, 2, , 9}. Determine los valores de v, b, r, k y para el diseo dado

por los siguientes bloques.
126

147

234

279

378

258

369

459

567

468

13

5
189
Solucin:
v=9,

b=12, r=4,

k=3,

=1

7.-Consideremos un diseo (v, b, r, k, ) sobre el conjunto V de variedades, donde

|V|=v2. Si x, y V, Cuntos bloques del diseo contienen a x o a y?
Respuesta:
Hay bloques que contienen a x y y. Y como r es el nmero de rplica del diseo,
se sigue que r- bloques contienen a x, pero no a y. De la misma forma, hay r-
bloques que contienen a y, pero no a x. En consecuencia, el nmero de bloque en
el diseo que contienen a y o a x es (r- )(r- )1=2r- .
8.-Si un plano proyectivo tiene seis rectas que pasan por cada punto, Cuntos
puntos tiene el plano proyectivo en total?
Respuesta: 31

18

Matemticas Discretas

Conclusin
Se puede entonces decir a travs de los visto en este trabajo que la geometra
finita es una abstraccin de la geometra afn (es decir, un conjunto de puntos,
rectas, planos... con ciertas relaciones de incidencia) pero aplicado a conjuntos
finitos. Es decir, dado un conjunto finito de "puntos" y "rectas" (que no tienen por
qu coincidir con nuestra idea "afn"), definimos axiomticamente cundo un punto
pertenece a una recta, o dos rectas se cortan en un punto, entre muchas otras.
Tambin podemos afirmar con la investigacin que copiando los planos
proyectivos reales o complejos es posible construir planos proyectivos sobre
cuerpos finitos cuyo orden es el cardinal del cuerpo, o sea una potencia de un
primo.

19

Matemticas Discretas

Bibliografa
Matemticas discretas, sexta edicin, editorial Pearson. Richard Johnsonbaugh.

Matemticas discretas, edicin UPC ao 2001, Francesc Comellas Josep Fbrega

Anna Snchez Oriol Serra.

Matemticas discreta y combinatoria, tercera edicin, Ralph P. Grimaldi.

Geometras finitas y sus aplicaciones, R. G. Carranza y L. A. Santal. Buenos aires,

argentina.

20