Intro

Ejemplos concretos
Construcción de AG (n, q ).
Construcción de PG (n, q ).
Aplicaciones

¾Geometría Finita?

Christian Rubio Montiel

División de Matemáticas e Ingeniería

FES Acatlán-UNAM

Combinatorics and Related Topics

05 de agosto de 2018

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos
Construcción de AG (n, q ). Deniciones
Construcción de PG (n, q ).
Aplicaciones

Geometría Finita (GF)

Es un sistema de incidencia en el cual, a partir de una

determinada axiomática, se dene una cierta familia de
subconjuntos de un conjunto nito de elementos llamados
puntos.

Por ejemplo, existe las GF

Casi-lineales,
Cuadrángulos generalizados,
Lineales,
Hexágonos generalizados,
Proyectivas,
Octágonos generalizados, etc.
Anes,
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos
Construcción de AG (n, q ). Deniciones
Construcción de PG (n, q ).
Aplicaciones

Geometría Finita (GF)

Es un sistema de incidencia en el cual, a partir de una

determinada axiomática, se dene una cierta familia de
subconjuntos de un conjunto nito de elementos llamados
puntos.

Por ejemplo, existe las GF

Casi-lineales,
Cuadrángulos generalizados,
Lineales,
Hexágonos generalizados,
Proyectivas,
Octágonos generalizados, etc.
Anes,
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos
Construcción de AG (n, q ). Deniciones
Construcción de PG (n, q ).
Aplicaciones

Geometría Finita (GF)

Es un sistema de incidencia en el cual, a partir de una

determinada axiomática, se dene una cierta familia de
subconjuntos de un conjunto nito de elementos llamados
puntos.

Por ejemplo, existe las GF

Casi-lineales,
Cuadrángulos generalizados,
Lineales,
Hexágonos generalizados,
Proyectivas,
Octágonos generalizados, etc.
Anes,
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos
Construcción de AG (n, q ). Deniciones
Construcción de PG (n, q ).
Aplicaciones

Geometría Finita (GF)

Es un sistema de incidencia en el cual, a partir de una

determinada axiomática, se dene una cierta familia de
subconjuntos de un conjunto nito de elementos llamados
puntos.

Por ejemplo, existe las GF

Casi-lineales,
Cuadrángulos generalizados,
Lineales,
Hexágonos generalizados,
Proyectivas,
Octágonos generalizados, etc.
Anes,
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos
Construcción de AG (n, q ). Deniciones
Construcción de PG (n, q ).
Aplicaciones

Geometría Finita (GF)

Es un sistema de incidencia en el cual, a partir de una

determinada axiomática, se dene una cierta familia de
subconjuntos de un conjunto nito de elementos llamados
puntos.

Por ejemplo, existe las GF

Casi-lineales,
Cuadrángulos generalizados,
Lineales,
Hexágonos generalizados,
Proyectivas,
Octágonos generalizados, etc.
Anes,
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos
Construcción de AG (n, q ). Deniciones
Construcción de PG (n, q ).
Aplicaciones

Geometría Finita (GF)

Es un sistema de incidencia en el cual, a partir de una

determinada axiomática, se dene una cierta familia de
subconjuntos de un conjunto nito de elementos llamados
puntos.

Por ejemplo, existe las GF

Casi-lineales,
Cuadrángulos generalizados,
Lineales,
Hexágonos generalizados,
Proyectivas,
Octágonos generalizados, etc.
Anes,
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos
Construcción de AG (n, q ). Deniciones
Construcción de PG (n, q ).
Aplicaciones

Geometría Finita (GF)

Es un sistema de incidencia en el cual, a partir de una

determinada axiomática, se dene una cierta familia de
subconjuntos de un conjunto nito de elementos llamados
puntos.

Por ejemplo, existe las GF

Casi-lineales,
Cuadrángulos generalizados,
Lineales,
Hexágonos generalizados,
Proyectivas,
Octágonos generalizados, etc.
Anes,
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos
Construcción de AG (n, q ). Deniciones
Construcción de PG (n, q ).
Aplicaciones

Geometría Finita (GF)

Es un sistema de incidencia en el cual, a partir de una

determinada axiomática, se dene una cierta familia de
subconjuntos de un conjunto nito de elementos llamados
puntos.

Por ejemplo, existe las GF

Casi-lineales,
Cuadrángulos generalizados,
Lineales,
Hexágonos generalizados,
Proyectivas,
Octágonos generalizados, etc.
Anes,
beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Planos proyectivos nitos

Es una terna (P , L, I ) donde P es una conjunto no vacío de

puntos, L son subconjuntos de puntos llamados líneas, e I es
P y L, tal que
la relación de incidencia natural entre

1 Cada dos puntos inciden en exactamente una línea,

2 Cada dos líneas inciden en exactamente un punto, y

3 Existen 4 puntos en posición general.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Planos proyectivos nitos

Es una terna (P , L, I ) donde P es una conjunto no vacío de

puntos, L son subconjuntos de puntos llamados líneas, e I es
P y L, tal que
la relación de incidencia natural entre

1 Cada dos puntos inciden en exactamente una línea,

2 Cada dos líneas inciden en exactamente un punto, y

3 Existen 4 puntos en posición general.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Planos proyectivos nitos

Es una terna (P , L, I ) donde P es una conjunto no vacío de

puntos, L son subconjuntos de puntos llamados líneas, e I es
P y L, tal que
la relación de incidencia natural entre

1 Cada dos puntos inciden en exactamente una línea,

2 Cada dos líneas inciden en exactamente un punto, y

3 Existen 4 puntos en posición general.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Planos proyectivos nitos

Es una terna (P , L, I ) donde P es una conjunto no vacío de

puntos, L son subconjuntos de puntos llamados líneas, e I es
P y L, tal que
la relación de incidencia natural entre

1 Cada dos puntos inciden en exactamente una línea,

2 Cada dos líneas inciden en exactamente un punto, y

3 Existen 4 puntos en posición general.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Fano es el plano proyectivo más pequeño.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Principio de dualidad

Los axiomas 1 y 2 de los planos proyectivos nitos hacen que

cualquier resultados tenga su dual (intercambiando puntos por
líneas).

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Teorema

En un plano proyetivo hay al menos 4 líneas tales que 3

cualesquiera no contienen un mismo punto.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Teorema

En un plano proyectivo, todas las líneas contienen el mismo

número de puntos p + 1 y cada punto pertenece al mismo
número de líneas q + 1.
De hecho p = q.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Teorema

En un plano proyectivo, todas las líneas contienen el mismo

número de puntos p + 1 y cada punto pertenece al mismo
número de líneas q + 1.
De hecho p = q.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Teorema

En un plano proyectivo, si el número de puntos en una línea es

q + 1, entonces tiene q 2
+q +1 puntos en total (y el mismo
número de líneas en total).

Notación

El número q se dice el orden del plano proyectivo y un plano se

denota como Πq .

El plano de Fano se denota como Π2 .

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Teorema

En un plano proyectivo, si el número de puntos en una línea es

q + 1, entonces tiene q 2
+q +1 puntos en total (y el mismo
número de líneas en total).

Notación

El número q se dice el orden del plano proyectivo y un plano se

denota como Πq .

El plano de Fano se denota como Π2 .

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Teorema

En un plano proyectivo, si el número de puntos en una línea es

q + 1, entonces tiene q 2
+q +1 puntos en total (y el mismo
número de líneas en total).

Notación

El número q se dice el orden del plano proyectivo y un plano se

denota como Πq .

El plano de Fano se denota como Π2 .

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Π3

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Π4

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Π4

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

No existencia de planos

Si q ≡ 1, 2 mod 4 tal que q 6= a 2

+ b2 para todo a, b ∈ Z,
entonces Πq no puede existir.

En particular no existe planos proyectivos de ordenes

6, 14, 21, 22, ...

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

No existencia de planos

Si q ≡ 1, 2 mod 4 tal que q 6= a 2

+ b2 para todo a, b ∈ Z,
entonces Πq no puede existir.

En particular no existe planos proyectivos de ordenes

6, 14, 21, 22, ...

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

10 − 2 = 2x 4 y 10 = 1 + 32
La no existencia del plano proyectivo de orden 10 fue probada
computacionalmente en 1991.

El caso q = 12
Es un problema abierto.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

10 − 2 = 2x 4 y 10 = 1 + 32
La no existencia del plano proyectivo de orden 10 fue probada
computacionalmente en 1991.

El caso q = 12
Es un problema abierto.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Existencia de planos

Si q es potencia de primo, entonces existe Πq , cuya

construcción se basa en los campos de Galois, tales planos de
denotan como PG (2, q ).

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Π9
Hay 4 planos proyectivos no isomorfos de orden 9: PG (2, 9) y
3 más (No-Desarguesianos).

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

¾Cómo se reparten la chamba de manera justa?

7 amigos (Fer, Luis, Val, Ray, Ana, Pepe y Malu) ponen un

negocio que para que funcione necesita ser atendido por 3 de
ellos los 7 días a la semana.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Una posible solución es la siguiente

Malu

lu ma mi

Pepe Ana

do Val

ju vi
sa
Fer Luis Ray beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Planos anes nitos

Es una terna (P , L, I ) donde P es una conjunto no vacío de

puntos, L son subconjuntos de puntos llamados líneas, e I es
la relación de incidencia natural entre P y L, tal que

1 Cada dos puntos inciden en exactamente una línea,

2 Para cada l ∈ L y para cada p ∈ P \ l , existe una única línea l 0

tal que p ∈ l y l ∩ l = 0
0 0 /.
3 Existen 4 puntos no colineales.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Planos anes nitos

Es una terna (P , L, I ) donde P es una conjunto no vacío de

puntos, L son subconjuntos de puntos llamados líneas, e I es
la relación de incidencia natural entre P y L, tal que

1 Cada dos puntos inciden en exactamente una línea,

2 Para cada l ∈ L y para cada p ∈ P \ l , existe una única línea l 0

tal que p ∈ l y l ∩ l = 0
0 0 /.
3 Existen 4 puntos no colineales.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Planos anes nitos

Es una terna (P , L, I ) donde P es una conjunto no vacío de

puntos, L son subconjuntos de puntos llamados líneas, e I es
la relación de incidencia natural entre P y L, tal que

1 Cada dos puntos inciden en exactamente una línea,

2 Para cada l ∈ L y para cada p ∈ P \ l , existe una única línea l 0

tal que p ∈ l y l ∩ l = 0
0 0 /.
3 Existen 4 puntos no colineales.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Planos anes nitos

Es una terna (P , L, I ) donde P es una conjunto no vacío de

puntos, L son subconjuntos de puntos llamados líneas, e I es
la relación de incidencia natural entre P y L, tal que

1 Cada dos puntos inciden en exactamente una línea,

2 Para cada l ∈ L y para cada p ∈ P \ l , existe una única línea l 0

tal que p ∈ l y l ∩ l = 0
0 0 /.
3 Existen 4 puntos no colineales.

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Teorema

La geometría nita residual de un plano Πq menos una de sus

líneas l ∗ es un plano afín.
Teorema

Más aún, un plano afín existe si y sólo si existe Πq .

Πq \ l ∗ := Aq y PG (2, q ) \ l ∗ := AG (2, q ).

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Teorema

La geometría nita residual de un plano Πq menos una de sus

líneas l ∗ es un plano afín.
Teorema

Más aún, un plano afín existe si y sólo si existe Πq .

Πq \ l ∗ := Aq y PG (2, q ) \ l ∗ := AG (2, q ).

beamer-icsi-l

Christian Rubio
 Intro Planos proyectivos nitos
Ejemplos concretos De la pobreza de enunciados a su riqueza
Construcción de AG (n, q ). ¾Existe Πq para cualquier valor de q ?
Construcción de PG (n, q ). Una pequeña aplicación
Aplicaciones Planos anes nitos

Teorema

La geometría nita residual de un plano Πq menos una de sus

líneas l ∗ es un plano afín.
Teorema

Más aún, un plano afín existe si y sólo si existe Πq .

Πq \ l ∗ := Aq y PG (2, q ) \ l ∗ := AG (2, q ).

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (2, q)

Construcción

Tomamos un espacio vectorial V := V (2, q ) de dimensión 2

sobre un campo nito F de orden q .

Cada punto es una pareja (a, b ) con a, b ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

2

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (2, q)

Construcción

Tomamos un espacio vectorial V := V (2, q ) de dimensión 2

sobre un campo nito F de orden q .

Cada punto es una pareja (a, b ) con a, b ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

2

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (2, q)

Construcción

Tomamos un espacio vectorial V := V (2, q ) de dimensión 2

sobre un campo nito F de orden q .

Cada punto es una pareja (a, b ) con a, b ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

2

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (2, q)

Construcción

Tomamos un espacio vectorial V := V (2, q ) de dimensión 2

sobre un campo nito F de orden q .

Cada punto es una pareja (a, b ) con a, b ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

2

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (2, q)

Construcción

Tomamos un espacio vectorial V := V (2, q ) de dimensión 2

sobre un campo nito F de orden q .

Cada punto es una pareja (a, b ) con a, b ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

2

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

(0,1)
(0,1) (1,1)

(1,1)

(0,0) (1,0)

(0,0) (1,0)
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (3, q)

Construcción

Tomamos un espacio vectorial V := V (3, q ) de dimensión 3

sobre un campo nito F de orden q .

Cada punto es una terna (a, b , c ) con a, b , c ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

3

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (3, q)

Construcción

Tomamos un espacio vectorial V := V (3, q ) de dimensión 3

sobre un campo nito F de orden q .

Cada punto es una terna (a, b , c ) con a, b , c ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

3

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (3, q)

Construcción

Tomamos un espacio vectorial V := V (3, q ) de dimensión 3

sobre un campo nito F de orden q .

Cada punto es una terna (a, b , c ) con a, b , c ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

3

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (3, q)

Construcción

Tomamos un espacio vectorial V := V (3, q ) de dimensión 3

sobre un campo nito F de orden q .

Cada punto es una terna (a, b , c ) con a, b , c ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

3

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (3, q)

Construcción

Tomamos un espacio vectorial V := V (3, q ) de dimensión 3

sobre un campo nito F de orden q .

Cada punto es una terna (a, b , c ) con a, b , c ∈ F .

Si F tiene q elementos, entonces V tiene q puntos.

3

Las líneas a través del origen son los espacios 1-dimensionales

que son los conjuntos {α v : α ∈ F } donde v es un vector jo
en V \ 0.
Cada línea tiene q puntos.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

(0,1,0) (1,1,0)

(0,1,1) (1,1,1)
(0,0,0)
(1,0,0)

(0,0,1) (1,0,1)

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (3, q)

Construcción

Los planos a través del origen son los espacios 2-dimensionales

que son los conjuntos {α v + β w : α, β ∈ F } donde v yw son
vectores jos linealmente independientes en V \ 0.
Cada plano tiene q 2
puntos.

Cada plano a través del origen contiene q + 1 líneas a través

del origen.

Cada dos planos por el origen, se intersectan en una línea por

el origen.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (3, q)

Construcción

Los planos a través del origen son los espacios 2-dimensionales

que son los conjuntos {α v + β w : α, β ∈ F } donde v yw son
vectores jos linealmente independientes en V \ 0.
Cada plano tiene q 2
puntos.

Cada plano a través del origen contiene q + 1 líneas a través

del origen.

Cada dos planos por el origen, se intersectan en una línea por

el origen.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (3, q)

Construcción

Los planos a través del origen son los espacios 2-dimensionales

que son los conjuntos {α v + β w : α, β ∈ F } donde v yw son
vectores jos linealmente independientes en V \ 0.
Cada plano tiene q 2
puntos.

Cada plano a través del origen contiene q + 1 líneas a través

del origen.

Cada dos planos por el origen, se intersectan en una línea por

el origen.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (3, q)

Construcción

Los planos a través del origen son los espacios 2-dimensionales

que son los conjuntos {α v + β w : α, β ∈ F } donde v yw son
vectores jos linealmente independientes en V \ 0.
Cada plano tiene q 2
puntos.

Cada plano a través del origen contiene q + 1 líneas a través

del origen.

Cada dos planos por el origen, se intersectan en una línea por

el origen.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primero construyamos a AG (2, q )
Construcción de AG (n, q ). Luego construyamos a AG (3, q )
Construcción de PG (n, q ). Caso general
Aplicaciones

AG (n, q)

En general,
AG (n, q ) = V (n, q ).

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Línea al innito en PG (2, q)

P1

(0,1) (1,1) (0,1) (1,1)

l∞

P∞ P0

(0,0) (1,0) (0,0) (1,0)

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Plano al innito en PG (3, q)

P G(3, 2)

AG(3, 2)

H∞ = P G(2, 2)

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

PG (n, q)

En general, PG (n, q ) \ H∞ =
∼ AG (n, q ) tal que H∞ es un
hiperplano PG (n − 1, q ).

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Sea V el espacio vectorial (n + 1)-dimensional sobre un campo

nito F q elementos.
de

El espacio proyectivo n -dimensional PG (n , q ) es la geometría

cuyos subespacios k -dimensionales (k ∈ {0, ..., n }) son los
subespacios (k + 1)-dimensionales de V con el 0 borrado,

es decir, PG (n , q ) = V\0/∼ donde la relación ∼ se dene como

sigue:
x ∼ y ⇔ ∃ α ∈ F \ 0 : x = αy
∼ es una relación de equivalencia en los elementos de V \0
cuyas clases de equivalencia son los puntos de PG (n , q ).

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Sea V el espacio vectorial (n + 1)-dimensional sobre un campo

nito F q elementos.
de

El espacio proyectivo n -dimensional PG (n , q ) es la geometría

cuyos subespacios k -dimensionales (k ∈ {0, ..., n }) son los
subespacios (k + 1)-dimensionales de V con el 0 borrado,

es decir, PG (n , q ) = V\0/∼ donde la relación ∼ se dene como

sigue:
x ∼ y ⇔ ∃ α ∈ F \ 0 : x = αy
∼ es una relación de equivalencia en los elementos de V \0
cuyas clases de equivalencia son los puntos de PG (n , q ).

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Sea V el espacio vectorial (n + 1)-dimensional sobre un campo

nito F q elementos.
de

El espacio proyectivo n -dimensional PG (n , q ) es la geometría

cuyos subespacios k -dimensionales (k ∈ {0, ..., n }) son los
subespacios (k + 1)-dimensionales de V con el 0 borrado,

es decir, PG (n , q ) = V\0/∼ donde la relación ∼ se dene como

sigue:
x ∼ y ⇔ ∃ α ∈ F \ 0 : x = αy
∼ es una relación de equivalencia en los elementos de V \0
cuyas clases de equivalencia son los puntos de PG (n , q ).

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Sea V el espacio vectorial (n + 1)-dimensional sobre un campo

nito F q elementos.
de

El espacio proyectivo n -dimensional PG (n , q ) es la geometría

cuyos subespacios k -dimensionales (k ∈ {0, ..., n }) son los
subespacios (k + 1)-dimensionales de V con el 0 borrado,

es decir, PG (n , q ) = V\0/∼ donde la relación ∼ se dene como

sigue:
x ∼ y ⇔ ∃ α ∈ F \ 0 : x = αy
∼ es una relación de equivalencia en los elementos de V \0
cuyas clases de equivalencia son los puntos de PG (n , q ).

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Sea v = (v 0 , ..., vn ) un vector en V \ 0. La clase de

equivalencia se denota como v. Las coordenadas homogéneas
del punto representado por v son (v0 : ... : vn ).
Entonces, dos (n + 1)-tuplas (x0 : ... : xn ) y (y0 : ... : yn )
representan el mismo punto si y sólo si existe α ∈ F \0 tal que
xi = α yi i ∈ {0, 1, ..., n}.
para todo

Un subespacio k -dimensional en PG (n , q ) contiene aquellos

puntos representados por x que satisfacen la equación xA = 0
donde A es una matrix de (n + 1) × (n − k ) de rango n − k con
entradas en F .

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Sea v = (v 0 , ..., vn ) un vector en V \ 0. La clase de

equivalencia se denota como v. Las coordenadas homogéneas
del punto representado por v son (v0 : ... : vn ).
Entonces, dos (n + 1)-tuplas (x0 : ... : xn ) y (y0 : ... : yn )
representan el mismo punto si y sólo si existe α ∈ F \0 tal que
xi = α yi i ∈ {0, 1, ..., n}.
para todo

Un subespacio k -dimensional en PG (n , q ) contiene aquellos

puntos representados por x que satisfacen la equación xA = 0
donde A es una matrix de (n + 1) × (n − k ) de rango n − k con
entradas en F .

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Sea v = (v 0 , ..., vn ) un vector en V \ 0. La clase de

equivalencia se denota como v. Las coordenadas homogéneas
del punto representado por v son (v0 : ... : vn ).
Entonces, dos (n + 1)-tuplas (x0 : ... : xn ) y (y0 : ... : yn )
representan el mismo punto si y sólo si existe α ∈ F \0 tal que
xi = α yi i ∈ {0, 1, ..., n}.
para todo

Un subespacio k -dimensional en PG (n , q ) contiene aquellos

puntos representados por x que satisfacen la equación xA = 0
donde A es una matrix de (n + 1) × (n − k ) de rango n − k con
entradas en F .

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Los subespacios 0-dimensionales en PG (n, q ) son los puntos.

Los subespacios 1-dimensionales en PG (n , q ) son las líneas.

Los subespacios (n − 1)-dimensionales en PG (n , q ) son los

hiperplanos.

En particular, los hiperplanos contienen aquellos puntos cuyas

coordenadas homogéneas (x0 : ... : xn ) satisfacen la equación
lineal ux
0 0 + ... + u x
n n = 0 donde ui ∈ F y (u0 , ..., un ) 6= 0.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Los subespacios 0-dimensionales en PG (n, q ) son los puntos.

Los subespacios 1-dimensionales en PG (n , q ) son las líneas.

Los subespacios (n − 1)-dimensionales en PG (n , q ) son los

hiperplanos.

En particular, los hiperplanos contienen aquellos puntos cuyas

coordenadas homogéneas (x0 : ... : xn ) satisfacen la equación
lineal ux
0 0 + ... + u x
n n = 0 donde ui ∈ F y (u0 , ..., un ) 6= 0.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Los subespacios 0-dimensionales en PG (n, q ) son los puntos.

Los subespacios 1-dimensionales en PG (n , q ) son las líneas.

Los subespacios (n − 1)-dimensionales en PG (n , q ) son los

hiperplanos.

En particular, los hiperplanos contienen aquellos puntos cuyas

coordenadas homogéneas (x0 : ... : xn ) satisfacen la equación
lineal ux
0 0 + ... + u x
n n = 0 donde ui ∈ F y (u0 , ..., un ) 6= 0.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Los subespacios 0-dimensionales en PG (n, q ) son los puntos.

Los subespacios 1-dimensionales en PG (n , q ) son las líneas.

Los subespacios (n − 1)-dimensionales en PG (n , q ) son los

hiperplanos.

En particular, los hiperplanos contienen aquellos puntos cuyas

coordenadas homogéneas (x0 : ... : xn ) satisfacen la equación
lineal ux
0 0 + ... + u x
n n = 0 donde ui ∈ F y (u0 , ..., un ) 6= 0.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

Teorema

Las propiedades básicas combinatorias de PG (n, q ) nos dice

que el número de subespacios k -dimensionales es
n (q n − 1)(q n − q ) . . . (q n − q k −1 )
 
:= .
k q (q k − 1)(q k − q ) . . . (q k − q k −1 )

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

(0,1,0) (1,1,0)

(0,1,1) (1,1,1)
(0,0,0)
(1,0,0)

(0,0,1) (1,0,1)

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Primera construcción de PG (n, q )
Construcción de AG (n, q ). Segunda construcción de PG (n, q )
Construcción de PG (n, q ).
Aplicaciones

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Deniciones de grácas

Grácas

Una gráca G es una pareja (V , E )

V es un conjunto
donde
no vacío de elementos llamados vértices y E es un conjunto de
2-subconjuntos de vértices, cuyos elementos de llaman aristas.

Una gráca es k -regular si cada vértice tiene exactamente

k -vértices adyacentes.
Un g -ciclo es una suceción de vértices adyacentes
{u , ..., ug = u } que no repite vértice salvo el inicial y el nal.
1 1

Al número g en el g -ciclo con el menor número de vértices se

llama el cuello de la gráca.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Deniciones de grácas

Grácas

Una gráca G es una pareja (V , E )

V es un conjunto
donde
no vacío de elementos llamados vértices y E es un conjunto de
2-subconjuntos de vértices, cuyos elementos de llaman aristas.

Una gráca es k -regular si cada vértice tiene exactamente

k -vértices adyacentes.
Un g -ciclo es una suceción de vértices adyacentes
{u , ..., ug = u } que no repite vértice salvo el inicial y el nal.
1 1

Al número g en el g -ciclo con el menor número de vértices se

llama el cuello de la gráca.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Deniciones de grácas

Grácas

Una gráca G es una pareja (V , E )

V es un conjunto
donde
no vacío de elementos llamados vértices y E es un conjunto de
2-subconjuntos de vértices, cuyos elementos de llaman aristas.

Una gráca es k -regular si cada vértice tiene exactamente

k -vértices adyacentes.
Un g -ciclo es una suceción de vértices adyacentes
{u , ..., ug = u } que no repite vértice salvo el inicial y el nal.
1 1

Al número g en el g -ciclo con el menor número de vértices se

llama el cuello de la gráca.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Deniciones de grácas

Grácas

Una gráca G es una pareja (V , E )

V es un conjunto
donde
no vacío de elementos llamados vértices y E es un conjunto de
2-subconjuntos de vértices, cuyos elementos de llaman aristas.

Una gráca es k -regular si cada vértice tiene exactamente

k -vértices adyacentes.
Un g -ciclo es una suceción de vértices adyacentes
{u , ..., ug = u } que no repite vértice salvo el inicial y el nal.
1 1

Al número g en el g -ciclo con el menor número de vértices se

llama el cuello de la gráca.
beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Una (k , g )-gráca es una gráca k -regular de cuello g .

La existencia de las (k , g )-grácas fue probada por Erdös y
Sachs en 1960.

Una (k , g )-jaula es una (k , g )-gráca con el menor número de

vértices.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Una (k , g )-gráca es una gráca k -regular de cuello g .

La existencia de las (k , g )-grácas fue probada por Erdös y
Sachs en 1960.

Una (k , g )-jaula es una (k , g )-gráca con el menor número de

vértices.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Una (k , g )-gráca es una gráca k -regular de cuello g .

La existencia de las (k , g )-grácas fue probada por Erdös y
Sachs en 1960.

Una (k , g )-jaula es una (k , g )-gráca con el menor número de

vértices.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

La gráca de incidencia del plano proyectivo I (Πq ) es la

gráca que tiene por vértices a los puntos y a las líneas de Πq .
Un punto y una línea son adyacente en I (Πq ) si son incidentes
en Πq .

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

La gráca de incidencia de Fano es la gráca de Headwood, la cual

es una (3, 6)-jaula.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Básicamente, la única herramienta para producir jaulas son las

geometrías nitas: planos proyectivos y polígonos
generalizados.

Tienen aplicaciones en el diseño de códigos, redes, etc.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

La (3, 11)-jaula o Balaban 11 cage.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

La (3, 11)-jaula o Balaban 11 cage.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Una coloración en las aristas de una gráca es una función de

las aristas a un conjunto de colores.

Una coloración en las aristas es propia si en cada vértice

inciden colores distintos.

Una coloración en las aristas es completa si para cada par de

colores existe un vértice en dos aristas con estos colores.

El índice acromático ψ 0 (G ) de una gráca G es el máximo

sobre las coloraciones completas en las aristas.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Una coloración en las aristas de una gráca es una función de

las aristas a un conjunto de colores.

Una coloración en las aristas es propia si en cada vértice

inciden colores distintos.

Una coloración en las aristas es completa si para cada par de

colores existe un vértice en dos aristas con estos colores.

El índice acromático ψ 0 (G ) de una gráca G es el máximo

sobre las coloraciones completas en las aristas.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Una coloración en las aristas de una gráca es una función de

las aristas a un conjunto de colores.

Una coloración en las aristas es propia si en cada vértice

inciden colores distintos.

Una coloración en las aristas es completa si para cada par de

colores existe un vértice en dos aristas con estos colores.

El índice acromático ψ 0 (G ) de una gráca G es el máximo

sobre las coloraciones completas en las aristas.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Una coloración en las aristas de una gráca es una función de

las aristas a un conjunto de colores.

Una coloración en las aristas es propia si en cada vértice

inciden colores distintos.

Una coloración en las aristas es completa si para cada par de

colores existe un vértice en dos aristas con estos colores.

El índice acromático ψ 0 (G ) de una gráca G es el máximo

sobre las coloraciones completas en las aristas.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Una gráca se llama completa si cada par de vértices es una

arista y se denota Kn donde n es el número de vértices.
Bouchet, 1978

Sea q un número impar y n = q 2

+ q + 1. Entonces

∃Πq ⇔ ψ 0 (Kn ) = qn.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Una gráca se llama completa si cada par de vértices es una

arista y se denota Kn donde n es el número de vértices.
Bouchet, 1978

Sea q un número impar y n = q 2

+ q + 1. Entonces

∃Πq ⇔ ψ 0 (Kn ) = qn.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

P G(2, 2) K7

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Básicamente, la única herramienta para producir coloraciones

acromáticas son los planos proyectivos.

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Las geometrías nitas se utilizan para producir grácas

extremales, factorizaciones, encriptaciones, etc.

Los planos proyectivos tienen un fuerte vínculo con los

cuadrados latinos.

Hoy en día, la geometría proyectiva nita es un área de la

geometría discreta muy activa, estudiando temas como:
braciones, encajes, ovoides, curvas, variedades (Hermitianas,
Grassmanianas, de Veronese, de Segre),...

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Las geometrías nitas se utilizan para producir grácas

extremales, factorizaciones, encriptaciones, etc.

Los planos proyectivos tienen un fuerte vínculo con los

cuadrados latinos.

Hoy en día, la geometría proyectiva nita es un área de la

geometría discreta muy activa, estudiando temas como:
braciones, encajes, ovoides, curvas, variedades (Hermitianas,
Grassmanianas, de Veronese, de Segre),...

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

Las geometrías nitas se utilizan para producir grácas

extremales, factorizaciones, encriptaciones, etc.

Los planos proyectivos tienen un fuerte vínculo con los

cuadrados latinos.

Hoy en día, la geometría proyectiva nita es un área de la

geometría discreta muy activa, estudiando temas como:
braciones, encajes, ovoides, curvas, variedades (Hermitianas,
Grassmanianas, de Veronese, de Segre),...

beamer-icsi-l

Christian Rubio
 Intro
Ejemplos concretos Jaulas
Construcción de AG (n, q ). Índice acromático
Construcción de PG (n, q ). y más
Aplicaciones

¡Gracias!

beamer-icsi-l

Christian Rubio