Geometrías finitas

Jesús García López de Lacalle

Departamento de Matemática Aplicada
Escuela Universitaria de Informática
Universidad Politécnica de Madrid

V Seminario de Matemática Discreta

10 de abril de 2003

Contenido
1. Introducción a las geometrías finitas:
- Principio de dualidad.
- Planos afines finitos.
- Planos proyectivos finitos.

2. Existencia de planos proyectivos de orden n.

3. Diseños combinatorios.

4. Cuadrados latinos ortogonales.

5. Bibliografía.

1
 1. Introducción a las geometrías finitas
Origen de las geometrías finitas: Se desarrollaron a finales del
siglo XIX entre otras cosas para estudiar la consistencia,
independencia y completitud de los sistemas axiomáticos.

Ejemplo: Geometría de 4 puntos.

Definición axiomática:
A1. Existen exactamente 4 puntos.
A2. Dos puntos distintos están exactamente sobre una recta.
A3. Cada recta pasa exactamente por dos puntos.

Consistencia: Se prueba construyendo un modelo.

Independencia: La independencia de un axioma A se prueba construyendo un

modelo para el sistema que incluye ¬A en lugar de A.

modelo con ¬A1 modelo con ¬A2 modelo con ¬A3

Completitud: El sistema es completo si no admite ningún axioma independiente.

La completitud se demuestra probando que todos los modelos son isomorfos.

2
Principio de dualidad: (intercambios “punto-recta” y “colineal-concurrente”)

Ejemplo: Geometría de 4 rectas

A1*. Existen exactamente 4 rectas.
A2*. Dos rectas distintas pasan exactamente por un punto.
A3*. Cada punto está exactamente sobre dos rectas.

p1 r 3*

p 1*
r3 r4 r1
r 6* p 4* r 4*
p4 r5 p 3*
r6 p2
p3 r 2* r 1*
r2 r 5* p 2
*

Geometría de 4 puntos Geometría de 4 rectas

Teorema: La geometría de 4 puntos tiene 6 rectas.

Principio de dualidad

Teorema*: La geometría de 4 rectas tiene 6 puntos.

Definición: Una geometría satisface el principio de dualidad si el

dual de todo teorema es a su vez un teorema.

Caracterización: Una geometría satisface el principio de dualidad

si el dual de todo axioma es un teorema.

Ejemplo: La geometría de 4 puntos no satisface el principio

de dualidad.

A1*: Existen exactamente 4 rectas. NO SE CUMPLE

3
Planos afines finitos
A1. Existen al menos 4 puntos distintos, no alineados 3 a 3.
A2. Existe al menos una recta con exactamente n (n>1) puntos distintos.
A3. Dos puntos distintos están exactamente sobre una recta.
A4. Dados una recta r y un punto p que no pertenece a r, existe exactamente
una recta que pasa por p y no corta a r.

Plano afín de orden 2

Planos afines finitos

1. No satisfacen el principio de dualidad.
2. Cada punto pertenece exactamente a n +1 rectas.
3. Cada recta tienen exactamente n puntos.
4. Cada recta tiene exactamente n −1 rectas paralelas.
5. Tienen exactamente n2 puntos y n2 + n rectas.

Plano afín de orden 3

4
Planos proyectivos finitos
A1. Existen al menos 4 puntos distintos, no alineados 3 a 3.
A2. Existe al menos una recta con exactamente n +1 (n>1) puntos distintos.
A3. Dos puntos distintos están exactamente sobre una recta.
A4. Dos rectas distintas se cortan en al menos un punto.

Plano proyectivo de orden 2 (plano de Fano)

Planos proyectivos finitos

1. Satisfacen el principio de dualidad.

2. Cada punto pertenece exactamente a n +1 rectas.
3. Cada recta tiene exactamente n +1 puntos.
4. Tienen exactamente n2 + n +1 puntos y n2 + n +1 rectas.

5
Los planos proyectivos finitos satisfacen el principio de dualidad
A1*. Existen al menos 4 rectas distintas, no concurrentes 3 a 3.

A3*. Dos rectas distintas concurren exactamente en un punto.

A4*. Dos puntos distintos están al menos sobre una recta.

A2*. Existe al menos un punto que está exactamente sobre n +1 rectas distintas.

p1 p2 p3 pn+1

6
2. Cada punto pertenece exactamente a n +1 rectas.
Q

P p2 p3 pn+1

3. Cada recta tiene exactamente n+1 puntos.

4. Tienen exactamente n2 + n +1 puntos y n2 + n +1 rectas.
Np( n+1) = Nr( n+1) ⇒ Np = Nr Np = (n +1) n +1 = n2 + n +1

Configuraciones
de Desargues

A1. Existe al menos 1 punto.

A2. Cada punto tiene al menos una polar.
A3. Cada recta tiene a lo sumo un polo.
A4. Dos puntos distintos están a sumo sobre una recta.
A5. Cada recta tiene exactamente 3 puntos distintos.
A6. Dados una recta r y un punto p que no pertenece a r, existe un punto que está
en r y en todas las polares de p.