numero crom atico de borelxamanek.izt.uam.mx/coloquio/2013/platicas/pelayo.pdf · sea kv el...

122
umero Crom´ atico de Borel Fernando Hern´ andez Jos´ e de Jes´ us Pelayo G´ omez Posgrado Conjunto en Ciencias Matem´ aticas 7 de Marzo de 2013 Pelayo y Fernando (UMSNH-UNAM) umero Crom´ atico de Borel 7 de Marzo de 2013 1 / 28

Upload: others

Post on 10-May-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Numero Cromatico de Borel

Fernando Hernandez Jose de Jesus Pelayo Gomez

Posgrado Conjunto en Ciencias Matematicas

7 de Marzo de 2013

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 1 / 28

Page 2: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Contenido

1 PreliminaresMotivacionTeorema de Erdos-BruijnUn ejemplo

2 Juguemos a las escondidas¿Que ocupamos?Contemos, pero solo hasta el 3Uno dos tres por todos mis companeros!!

3 Algunos otros resultadosTodos los valores son posiblesGrado maximo

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 2 / 28

Page 3: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

La grafica de la distancia unitaria

Sea G la grafica dada por:

V (G ) = R2

x , y son adyacentes si d(x , y) = 1.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 3 / 28

Page 4: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

La grafica de la distancia unitaria

Sea G la grafica dada por:

V (G ) = R2

x , y son adyacentes si d(x , y) = 1.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 3 / 28

Page 5: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Surgen algunas preguntas

Podemos preguntarnos algunas cosas sobre esta grafica.

¿Por que la definimos ası?

¿Tiene algo interesante esta grafica?

¿Por que estudiar graficas infinitas?

¿Cual es el numero cromatico de G?

Bueno, como no soy filosofo, solo respondere (en parte) la ultimapregunta.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 4 / 28

Page 6: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Surgen algunas preguntas

Podemos preguntarnos algunas cosas sobre esta grafica.

¿Por que la definimos ası?

¿Tiene algo interesante esta grafica?

¿Por que estudiar graficas infinitas?

¿Cual es el numero cromatico de G?

Bueno, como no soy filosofo, solo respondere (en parte) la ultimapregunta.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 4 / 28

Page 7: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Surgen algunas preguntas

Podemos preguntarnos algunas cosas sobre esta grafica.

¿Por que la definimos ası?

¿Tiene algo interesante esta grafica?

¿Por que estudiar graficas infinitas?

¿Cual es el numero cromatico de G?

Bueno, como no soy filosofo, solo respondere (en parte) la ultimapregunta.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 4 / 28

Page 8: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Surgen algunas preguntas

Podemos preguntarnos algunas cosas sobre esta grafica.

¿Por que la definimos ası?

¿Tiene algo interesante esta grafica?

¿Por que estudiar graficas infinitas?

¿Cual es el numero cromatico de G?

Bueno, como no soy filosofo, solo respondere (en parte) la ultimapregunta.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 4 / 28

Page 9: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Surgen algunas preguntas

Podemos preguntarnos algunas cosas sobre esta grafica.

¿Por que la definimos ası?

¿Tiene algo interesante esta grafica?

¿Por que estudiar graficas infinitas?

¿Cual es el numero cromatico de G?

Bueno, como no soy filosofo, solo respondere (en parte) la ultimapregunta.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 4 / 28

Page 10: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Surgen algunas preguntas

Podemos preguntarnos algunas cosas sobre esta grafica.

¿Por que la definimos ası?

¿Tiene algo interesante esta grafica?

¿Por que estudiar graficas infinitas?

¿Cual es el numero cromatico de G?

Bueno, como no soy filosofo, solo respondere (en parte) la ultimapregunta.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 4 / 28

Page 11: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Un dibujito

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 5 / 28

Page 12: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Otro dibujo

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 6 / 28

Page 13: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Parte de la respuesta

De estas dos observaciones se sigue que χ(G ) ∈ {4, 5, 6, 7}.

No es muydifıcil probar que toda subgrafica finita de G tiene numero cromatico 4. Sisoponemos Axioma de Eleccion resutla que χ(G ) = 4. Si todos los subcon-juntos de R2 son medibles segun Lebesgue, entonces χ(G ) ∈ {5, 6, 7}.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 7 / 28

Page 14: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Parte de la respuesta

De estas dos observaciones se sigue que χ(G ) ∈ {4, 5, 6, 7}. No es muydifıcil probar que toda subgrafica finita de G tiene numero cromatico 4.

Sisoponemos Axioma de Eleccion resutla que χ(G ) = 4. Si todos los subcon-juntos de R2 son medibles segun Lebesgue, entonces χ(G ) ∈ {5, 6, 7}.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 7 / 28

Page 15: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Parte de la respuesta

De estas dos observaciones se sigue que χ(G ) ∈ {4, 5, 6, 7}. No es muydifıcil probar que toda subgrafica finita de G tiene numero cromatico 4. Sisoponemos Axioma de Eleccion resutla que χ(G ) = 4.

Si todos los subcon-juntos de R2 son medibles segun Lebesgue, entonces χ(G ) ∈ {5, 6, 7}.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 7 / 28

Page 16: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Parte de la respuesta

De estas dos observaciones se sigue que χ(G ) ∈ {4, 5, 6, 7}. No es muydifıcil probar que toda subgrafica finita de G tiene numero cromatico 4. Sisoponemos Axioma de Eleccion resutla que χ(G ) = 4. Si todos los subcon-juntos de R2 son medibles segun Lebesgue, entonces χ(G ) ∈ {5, 6, 7}.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 7 / 28

Page 17: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema de Erdos-Bruijn

Sea G una grafica. Entonces χ(G ) ≤ k si y solo si χ(H) ≤ k para toda Hsubgrafica finita de G .

Demostracion:

Una implicacion es obvia. Para la otra, consideremos ak = {0, 1, ..., k − 1} con la topologıa discreta.

Sea kV el conjunto de funciones de V en k con la topologıa producto.

Claro que k es compacto, pues es finito. Por teorema de TychonoffkV es compacto.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 8 / 28

Page 18: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema de Erdos-Bruijn

Sea G una grafica. Entonces χ(G ) ≤ k si y solo si χ(H) ≤ k para toda Hsubgrafica finita de G . Demostracion:

Una implicacion es obvia. Para la otra, consideremos ak = {0, 1, ..., k − 1} con la topologıa discreta.

Sea kV el conjunto de funciones de V en k con la topologıa producto.

Claro que k es compacto, pues es finito. Por teorema de TychonoffkV es compacto.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 8 / 28

Page 19: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema de Erdos-Bruijn

Sea G una grafica. Entonces χ(G ) ≤ k si y solo si χ(H) ≤ k para toda Hsubgrafica finita de G . Demostracion:

Una implicacion es obvia.

Para la otra, consideremos ak = {0, 1, ..., k − 1} con la topologıa discreta.

Sea kV el conjunto de funciones de V en k con la topologıa producto.

Claro que k es compacto, pues es finito. Por teorema de TychonoffkV es compacto.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 8 / 28

Page 20: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema de Erdos-Bruijn

Sea G una grafica. Entonces χ(G ) ≤ k si y solo si χ(H) ≤ k para toda Hsubgrafica finita de G . Demostracion:

Una implicacion es obvia. Para la otra, consideremos ak = {0, 1, ..., k − 1} con la topologıa discreta.

Sea kV el conjunto de funciones de V en k con la topologıa producto.

Claro que k es compacto, pues es finito. Por teorema de TychonoffkV es compacto.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 8 / 28

Page 21: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema de Erdos-Bruijn

Sea G una grafica. Entonces χ(G ) ≤ k si y solo si χ(H) ≤ k para toda Hsubgrafica finita de G . Demostracion:

Una implicacion es obvia. Para la otra, consideremos ak = {0, 1, ..., k − 1} con la topologıa discreta.

Sea kV el conjunto de funciones de V en k con la topologıa producto.

Claro que k es compacto, pues es finito. Por teorema de TychonoffkV es compacto.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 8 / 28

Page 22: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema de Erdos-Bruijn

Sea G una grafica. Entonces χ(G ) ≤ k si y solo si χ(H) ≤ k para toda Hsubgrafica finita de G . Demostracion:

Una implicacion es obvia. Para la otra, consideremos ak = {0, 1, ..., k − 1} con la topologıa discreta.

Sea kV el conjunto de funciones de V en k con la topologıa producto.

Claro que k es compacto, pues es finito. Por teorema de TychonoffkV es compacto.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 8 / 28

Page 23: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Demostracion

Sea FH = {f ∈ kV : f |H es buena coloracion de H}.

Claramente {FH}H≤G y H finita, tiene la PIF.

Sea f /∈ FH , entonces existen u, v ∈ V (H) tales que a = f (u) = f (v)con u y v adyacentes en H. Ası U = {g ∈ kV : g(u) = g(v) = a} esabierto basico de la topologıa producto que contiene a f y nointersecta a FH .

De este modo f es punto interior de kV \ FH por lo que kV \ FH esabierto y entonces FH es cerrado.

Por compacidad,⋂

H FH 6= ∅ y cualquier funcion en la interseccion esuna buena coloracion para G . �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 9 / 28

Page 24: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Demostracion

Sea FH = {f ∈ kV : f |H es buena coloracion de H}.Claramente {FH}H≤G y H finita, tiene la PIF.

Sea f /∈ FH , entonces existen u, v ∈ V (H) tales que a = f (u) = f (v)con u y v adyacentes en H. Ası U = {g ∈ kV : g(u) = g(v) = a} esabierto basico de la topologıa producto que contiene a f y nointersecta a FH .

De este modo f es punto interior de kV \ FH por lo que kV \ FH esabierto y entonces FH es cerrado.

Por compacidad,⋂

H FH 6= ∅ y cualquier funcion en la interseccion esuna buena coloracion para G . �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 9 / 28

Page 25: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Demostracion

Sea FH = {f ∈ kV : f |H es buena coloracion de H}.Claramente {FH}H≤G y H finita, tiene la PIF.

Sea f /∈ FH , entonces existen u, v ∈ V (H) tales que a = f (u) = f (v)con u y v adyacentes en H. Ası U = {g ∈ kV : g(u) = g(v) = a} esabierto basico de la topologıa producto que contiene a f y nointersecta a FH .

De este modo f es punto interior de kV \ FH por lo que kV \ FH esabierto y entonces FH es cerrado.

Por compacidad,⋂

H FH 6= ∅ y cualquier funcion en la interseccion esuna buena coloracion para G . �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 9 / 28

Page 26: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Demostracion

Sea FH = {f ∈ kV : f |H es buena coloracion de H}.Claramente {FH}H≤G y H finita, tiene la PIF.

Sea f /∈ FH , entonces existen u, v ∈ V (H) tales que a = f (u) = f (v)con u y v adyacentes en H. Ası U = {g ∈ kV : g(u) = g(v) = a} esabierto basico de la topologıa producto que contiene a f y nointersecta a FH .

De este modo f es punto interior de kV \ FH por lo que kV \ FH esabierto y entonces FH es cerrado.

Por compacidad,⋂

H FH 6= ∅ y cualquier funcion en la interseccion esuna buena coloracion para G . �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 9 / 28

Page 27: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Demostracion

Sea FH = {f ∈ kV : f |H es buena coloracion de H}.Claramente {FH}H≤G y H finita, tiene la PIF.

Sea f /∈ FH , entonces existen u, v ∈ V (H) tales que a = f (u) = f (v)con u y v adyacentes en H. Ası U = {g ∈ kV : g(u) = g(v) = a} esabierto basico de la topologıa producto que contiene a f y nointersecta a FH .

De este modo f es punto interior de kV \ FH por lo que kV \ FH esabierto y entonces FH es cerrado.

Por compacidad,⋂

H FH 6= ∅ y cualquier funcion en la interseccion esuna buena coloracion para G . �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 9 / 28

Page 28: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 29: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 30: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R,

Rn, Cn, I, IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 31: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn,

Cn, I, IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 32: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn,

I, IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 33: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I,

IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 34: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN,

P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 35: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN, P,

2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 36: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN, P, 2N,

NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 37: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN, P, 2N, NN,

SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 38: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 39: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 40: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 41: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Definiciones

Antes de continuar, unas pocas definiciones.

I Un espacio topologico se dira que es polaco si es completamentemetrizable y separable.

I R, Rn, Cn, I, IN, P, 2N, NN, SN son polacos.

I La σ-algebra de Borel es la generada por los abiertos (o cerrados).

I Una funcion se llam Borel si regresa conjuntos abiertos en conjuntosBorel (por ejemplo, las funciones continuas).

I Se define una coloracion Borel como una buena coloracion y tal que lafuncion es Borel (pensando el conjunto de colores con la topologıadiscreta).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 10 / 28

Page 42: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

Sea H la grafica tal que los vertices son los reales y dos vertices son adya-centes si su distancia es una potencia (entera) de 3. Entonces:

I χ(H) = 2 con Axioma de Eleccion.

I χ(H) > ℵ0 si asumimos que todos los subconjuntos de R sonmedibles.

I χB(H) > ℵ0

I χB(H) = c con Hipotesis del Continuo o con Axioma de Martin.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 11 / 28

Page 43: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

Sea H la grafica tal que los vertices son los reales y dos vertices son adya-centes si su distancia es una potencia (entera) de 3. Entonces:

I χ(H) = 2 con Axioma de Eleccion.

I χ(H) > ℵ0 si asumimos que todos los subconjuntos de R sonmedibles.

I χB(H) > ℵ0

I χB(H) = c con Hipotesis del Continuo o con Axioma de Martin.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 11 / 28

Page 44: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

Sea H la grafica tal que los vertices son los reales y dos vertices son adya-centes si su distancia es una potencia (entera) de 3. Entonces:

I χ(H) = 2 con Axioma de Eleccion.

I χ(H) > ℵ0 si asumimos que todos los subconjuntos de R sonmedibles.

I χB(H) > ℵ0

I χB(H) = c con Hipotesis del Continuo o con Axioma de Martin.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 11 / 28

Page 45: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

Sea H la grafica tal que los vertices son los reales y dos vertices son adya-centes si su distancia es una potencia (entera) de 3. Entonces:

I χ(H) = 2 con Axioma de Eleccion.

I χ(H) > ℵ0 si asumimos que todos los subconjuntos de R sonmedibles.

I χB(H) > ℵ0

I χB(H) = c con Hipotesis del Continuo o con Axioma de Martin.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 11 / 28

Page 46: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

Sea H la grafica tal que los vertices son los reales y dos vertices son adya-centes si su distancia es una potencia (entera) de 3. Entonces:

I χ(H) = 2 con Axioma de Eleccion.

I χ(H) > ℵ0 si asumimos que todos los subconjuntos de R sonmedibles.

I χB(H) > ℵ0

I χB(H) = c con Hipotesis del Continuo o con Axioma de Martin.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 11 / 28

Page 47: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Sea (x0, x1, ..., xn−1) un ciclo de H. Entonces |xi − xi+1| = 3ni , parai ∈ Zn.

I Ademas∑

ı∈Zn

±(xi − xi+1) = 0.

I Sea n = min{ni |i ∈ Zn}. De aquı que 3n∑

ı∈Zn

±3ni−n = 0.

I Los sumandos son todos impares y la suma da 0, ası en particular hayuna cantidad par de ellos y por lo tanto H no tiene ciclos de longitudimpar.

I Por teorema de Erdos-Bruijn χB(H) = 2 (aquı usamos eleccion).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 12 / 28

Page 48: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Sea (x0, x1, ..., xn−1) un ciclo de H. Entonces |xi − xi+1| = 3ni , parai ∈ Zn.

I Ademas∑

ı∈Zn

±(xi − xi+1) = 0.

I Sea n = min{ni |i ∈ Zn}. De aquı que 3n∑

ı∈Zn

±3ni−n = 0.

I Los sumandos son todos impares y la suma da 0, ası en particular hayuna cantidad par de ellos y por lo tanto H no tiene ciclos de longitudimpar.

I Por teorema de Erdos-Bruijn χB(H) = 2 (aquı usamos eleccion).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 12 / 28

Page 49: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Sea (x0, x1, ..., xn−1) un ciclo de H. Entonces |xi − xi+1| = 3ni , parai ∈ Zn.

I Ademas∑

ı∈Zn

±(xi − xi+1) = 0.

I Sea n = min{ni |i ∈ Zn}.

De aquı que 3n∑

ı∈Zn

±3ni−n = 0.

I Los sumandos son todos impares y la suma da 0, ası en particular hayuna cantidad par de ellos y por lo tanto H no tiene ciclos de longitudimpar.

I Por teorema de Erdos-Bruijn χB(H) = 2 (aquı usamos eleccion).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 12 / 28

Page 50: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Sea (x0, x1, ..., xn−1) un ciclo de H. Entonces |xi − xi+1| = 3ni , parai ∈ Zn.

I Ademas∑

ı∈Zn

±(xi − xi+1) = 0.

I Sea n = min{ni |i ∈ Zn}. De aquı que 3n∑

ı∈Zn

±3ni−n = 0.

I Los sumandos son todos impares y la suma da 0, ası en particular hayuna cantidad par de ellos y por lo tanto H no tiene ciclos de longitudimpar.

I Por teorema de Erdos-Bruijn χB(H) = 2 (aquı usamos eleccion).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 12 / 28

Page 51: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Sea (x0, x1, ..., xn−1) un ciclo de H. Entonces |xi − xi+1| = 3ni , parai ∈ Zn.

I Ademas∑

ı∈Zn

±(xi − xi+1) = 0.

I Sea n = min{ni |i ∈ Zn}. De aquı que 3n∑

ı∈Zn

±3ni−n = 0.

I Los sumandos son todos impares y la suma da 0, ası en particular hayuna cantidad par de ellos y por lo tanto H no tiene ciclos de longitudimpar.

I Por teorema de Erdos-Bruijn χB(H) = 2 (aquı usamos eleccion).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 12 / 28

Page 52: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Sea (x0, x1, ..., xn−1) un ciclo de H. Entonces |xi − xi+1| = 3ni , parai ∈ Zn.

I Ademas∑

ı∈Zn

±(xi − xi+1) = 0.

I Sea n = min{ni |i ∈ Zn}. De aquı que 3n∑

ı∈Zn

±3ni−n = 0.

I Los sumandos son todos impares y la suma da 0, ası en particular hayuna cantidad par de ellos y por lo tanto H no tiene ciclos de longitudimpar.

I Por teorema de Erdos-Bruijn χB(H) = 2 (aquı usamos eleccion).

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 12 / 28

Page 53: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Supongamos que tenemos una coloracion con ℵ0 colores, y seanA0,A1, ... Las clases cromaticas.

I Si todos los A′ns son medibles entonces existe Ak de medida postivia.

I Es un ejercicio clasico de medida probar que existe ε > 0 tal que(−ε, ε) ⊆ Ak − Ak (teorema de Steinhaus).

I Tomemos N ∈ Z suficientemente chico de modo que 3N ∈ (−ε, ε).

I Entonces en Ak hay dos puntos a distancia 3N y esos dos puntos sonadyacentes.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 13 / 28

Page 54: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Supongamos que tenemos una coloracion con ℵ0 colores, y seanA0,A1, ... Las clases cromaticas.

I Si todos los A′ns son medibles entonces existe Ak de medida postivia.

I Es un ejercicio clasico de medida probar que existe ε > 0 tal que(−ε, ε) ⊆ Ak − Ak (teorema de Steinhaus).

I Tomemos N ∈ Z suficientemente chico de modo que 3N ∈ (−ε, ε).

I Entonces en Ak hay dos puntos a distancia 3N y esos dos puntos sonadyacentes.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 13 / 28

Page 55: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Supongamos que tenemos una coloracion con ℵ0 colores, y seanA0,A1, ... Las clases cromaticas.

I Si todos los A′ns son medibles entonces existe Ak de medida postivia.

I Es un ejercicio clasico de medida probar que existe ε > 0 tal que(−ε, ε) ⊆ Ak − Ak (teorema de Steinhaus).

I Tomemos N ∈ Z suficientemente chico de modo que 3N ∈ (−ε, ε).

I Entonces en Ak hay dos puntos a distancia 3N y esos dos puntos sonadyacentes.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 13 / 28

Page 56: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Supongamos que tenemos una coloracion con ℵ0 colores, y seanA0,A1, ... Las clases cromaticas.

I Si todos los A′ns son medibles entonces existe Ak de medida postivia.

I Es un ejercicio clasico de medida probar que existe ε > 0 tal que(−ε, ε) ⊆ Ak − Ak (teorema de Steinhaus).

I Tomemos N ∈ Z suficientemente chico de modo que 3N ∈ (−ε, ε).

I Entonces en Ak hay dos puntos a distancia 3N y esos dos puntos sonadyacentes.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 13 / 28

Page 57: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

I Supongamos que tenemos una coloracion con ℵ0 colores, y seanA0,A1, ... Las clases cromaticas.

I Si todos los A′ns son medibles entonces existe Ak de medida postivia.

I Es un ejercicio clasico de medida probar que existe ε > 0 tal que(−ε, ε) ⊆ Ak − Ak (teorema de Steinhaus).

I Tomemos N ∈ Z suficientemente chico de modo que 3N ∈ (−ε, ε).

I Entonces en Ak hay dos puntos a distancia 3N y esos dos puntos sonadyacentes.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 13 / 28

Page 58: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

Hasta aquı hemos probado las afirmaciones 1 a 3 porque los conjuntos Borelson medibles.

La ultima afirmacion es obvia con hipotesis del continuo. Parala ultima parte de la demostracion basta recordar que union de κ conjuntosde medida 0 es medible y de medida 0, asumiendo axioma de Martin.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 14 / 28

Page 59: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

Hasta aquı hemos probado las afirmaciones 1 a 3 porque los conjuntos Borelson medibles. La ultima afirmacion es obvia con hipotesis del continuo.

Parala ultima parte de la demostracion basta recordar que union de κ conjuntosde medida 0 es medible y de medida 0, asumiendo axioma de Martin.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 14 / 28

Page 60: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ahora sı, el ejemplo

Hasta aquı hemos probado las afirmaciones 1 a 3 porque los conjuntos Borelson medibles. La ultima afirmacion es obvia con hipotesis del continuo. Parala ultima parte de la demostracion basta recordar que union de κ conjuntosde medida 0 es medible y de medida 0, asumiendo axioma de Martin.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 14 / 28

Page 61: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 1

Sean (X , τ) un espacio polaco y f : X → N una funcion Borel. Entonces,existe topologıa polaca σ tal que f es continua con esa topologıa.Demostracion:

I Sea (X , τ) polaco y sea A ⊂ X cerrado. Entonces existe τ ⊂ τAtopologıa polaca tal que A es clopen.

I Si τ1 ⊂ τ2 ⊂ . . . son topologıas polacas sobre X , entonces 〈⋃

n∈N τn〉es polaca.

I Sea A = {A ⊂ X | existe τ ⊂ τA topologıa polaca en donde A esclopen}.

I B ⊂ A porque A es σ-algebra y contine a los cerrados.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 15 / 28

Page 62: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 1

Sean (X , τ) un espacio polaco y f : X → N una funcion Borel. Entonces,existe topologıa polaca σ tal que f es continua con esa topologıa.Demostracion:

I Sea (X , τ) polaco y sea A ⊂ X cerrado. Entonces existe τ ⊂ τAtopologıa polaca tal que A es clopen.

I Si τ1 ⊂ τ2 ⊂ . . . son topologıas polacas sobre X , entonces 〈⋃

n∈N τn〉es polaca.

I Sea A = {A ⊂ X | existe τ ⊂ τA topologıa polaca en donde A esclopen}.

I B ⊂ A porque A es σ-algebra y contine a los cerrados.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 15 / 28

Page 63: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 1

Sean (X , τ) un espacio polaco y f : X → N una funcion Borel. Entonces,existe topologıa polaca σ tal que f es continua con esa topologıa.Demostracion:

I Sea (X , τ) polaco y sea A ⊂ X cerrado. Entonces existe τ ⊂ τAtopologıa polaca tal que A es clopen.

I Si τ1 ⊂ τ2 ⊂ . . . son topologıas polacas sobre X , entonces 〈⋃

n∈N τn〉es polaca.

I Sea A = {A ⊂ X | existe τ ⊂ τA topologıa polaca en donde A esclopen}.

I B ⊂ A porque A es σ-algebra y contine a los cerrados.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 15 / 28

Page 64: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 1

Sean (X , τ) un espacio polaco y f : X → N una funcion Borel. Entonces,existe topologıa polaca σ tal que f es continua con esa topologıa.Demostracion:

I Sea (X , τ) polaco y sea A ⊂ X cerrado. Entonces existe τ ⊂ τAtopologıa polaca tal que A es clopen.

I Si τ1 ⊂ τ2 ⊂ . . . son topologıas polacas sobre X , entonces 〈⋃

n∈N τn〉es polaca.

I Sea A = {A ⊂ X | existe τ ⊂ τA topologıa polaca en donde A esclopen}.

I B ⊂ A porque A es σ-algebra y contine a los cerrados.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 15 / 28

Page 65: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 1

Sean (X , τ) un espacio polaco y f : X → N una funcion Borel. Entonces,existe topologıa polaca σ tal que f es continua con esa topologıa.Demostracion:

I Sea (X , τ) polaco y sea A ⊂ X cerrado. Entonces existe τ ⊂ τAtopologıa polaca tal que A es clopen.

I Si τ1 ⊂ τ2 ⊂ . . . son topologıas polacas sobre X , entonces 〈⋃

n∈N τn〉es polaca.

I Sea A = {A ⊂ X | existe τ ⊂ τA topologıa polaca en donde A esclopen}.

I B ⊂ A porque A es σ-algebra y contine a los cerrados.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 15 / 28

Page 66: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 1

I Consideremos An = f −1[{n}] y τn topologıa en la cual A1,A2, . . . ,An

son clopen.

I Entonces en la topologıa 〈⋃

n∈N τn〉 cada An es abierto y de estemodo f es continua. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 16 / 28

Page 67: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 1

I Consideremos An = f −1[{n}] y τn topologıa en la cual A1,A2, . . . ,An

son clopen.

I Entonces en la topologıa 〈⋃

n∈N τn〉 cada An es abierto y de estemodo f es continua. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 16 / 28

Page 68: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 2

Sean X polaco y D = (X ,A) una grafica dirigida. Sea G la graficacorrespondiente a D. Supongamos que para cada conjunto Borel Y ⊂ X elconjunto A−1(Y ) es Borel. Entonces χB(G) ≤ ℵ0 si y solo si existetopologıa τ ⊂ σ tal que x /∈ clσ(A(x)). Demotracion:

I ⇐: Sea {Un} una base para σ. Sea c(x) = el menor n tal que x ∈ Un

y Un ∩ A(x) = ∅. Entonces c es Borel y buena coloracion.

I ⇒: Si c : X → N es una coloracion Borel, entonces sea σ topologıaPolaca tal que c es continua. Cada An = f −1[{n}] es σ-clopen.Ası que An ∩ A(x) = ∅. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 17 / 28

Page 69: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 2

Sean X polaco y D = (X ,A) una grafica dirigida. Sea G la graficacorrespondiente a D. Supongamos que para cada conjunto Borel Y ⊂ X elconjunto A−1(Y ) es Borel. Entonces χB(G) ≤ ℵ0 si y solo si existetopologıa τ ⊂ σ tal que x /∈ clσ(A(x)). Demotracion:

I ⇐: Sea {Un} una base para σ.

Sea c(x) = el menor n tal que x ∈ Un

y Un ∩ A(x) = ∅. Entonces c es Borel y buena coloracion.

I ⇒: Si c : X → N es una coloracion Borel, entonces sea σ topologıaPolaca tal que c es continua. Cada An = f −1[{n}] es σ-clopen.Ası que An ∩ A(x) = ∅. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 17 / 28

Page 70: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 2

Sean X polaco y D = (X ,A) una grafica dirigida. Sea G la graficacorrespondiente a D. Supongamos que para cada conjunto Borel Y ⊂ X elconjunto A−1(Y ) es Borel. Entonces χB(G) ≤ ℵ0 si y solo si existetopologıa τ ⊂ σ tal que x /∈ clσ(A(x)). Demotracion:

I ⇐: Sea {Un} una base para σ. Sea c(x) = el menor n tal que x ∈ Un

y Un ∩ A(x) = ∅.

Entonces c es Borel y buena coloracion.

I ⇒: Si c : X → N es una coloracion Borel, entonces sea σ topologıaPolaca tal que c es continua. Cada An = f −1[{n}] es σ-clopen.Ası que An ∩ A(x) = ∅. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 17 / 28

Page 71: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 2

Sean X polaco y D = (X ,A) una grafica dirigida. Sea G la graficacorrespondiente a D. Supongamos que para cada conjunto Borel Y ⊂ X elconjunto A−1(Y ) es Borel. Entonces χB(G) ≤ ℵ0 si y solo si existetopologıa τ ⊂ σ tal que x /∈ clσ(A(x)). Demotracion:

I ⇐: Sea {Un} una base para σ. Sea c(x) = el menor n tal que x ∈ Un

y Un ∩ A(x) = ∅. Entonces c es Borel y buena coloracion.

I ⇒: Si c : X → N es una coloracion Borel, entonces sea σ topologıaPolaca tal que c es continua. Cada An = f −1[{n}] es σ-clopen.Ası que An ∩ A(x) = ∅. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 17 / 28

Page 72: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion 2

Sean X polaco y D = (X ,A) una grafica dirigida. Sea G la graficacorrespondiente a D. Supongamos que para cada conjunto Borel Y ⊂ X elconjunto A−1(Y ) es Borel. Entonces χB(G) ≤ ℵ0 si y solo si existetopologıa τ ⊂ σ tal que x /∈ clσ(A(x)). Demotracion:

I ⇐: Sea {Un} una base para σ. Sea c(x) = el menor n tal que x ∈ Un

y Un ∩ A(x) = ∅. Entonces c es Borel y buena coloracion.

I ⇒: Si c : X → N es una coloracion Borel, entonces sea σ topologıaPolaca tal que c es continua. Cada An = f −1[{n}] es σ-clopen.Ası que An ∩ A(x) = ∅. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 17 / 28

Page 73: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 1

Sean X Polaco y D = (X ,A) una grafica dirigida. Sea G la graficacorrespondiente a D. Supongamos que para cada conjunto Borel Y ⊂ X elconjunto A−1(Y ) es Borel. Entonces χB(G) ≤ ℵ0 si cada vertice tieneexgrado finito. En particular si G esta generada por una cantidad finita defunciones Borel entonces χB(G) ≤ ℵ0. Demotracion:

I En Proposicon 2 tome σ = τ .

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 18 / 28

Page 74: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 1

Sean X Polaco y D = (X ,A) una grafica dirigida. Sea G la graficacorrespondiente a D. Supongamos que para cada conjunto Borel Y ⊂ X elconjunto A−1(Y ) es Borel. Entonces χB(G) ≤ ℵ0 si cada vertice tieneexgrado finito. En particular si G esta generada por una cantidad finita defunciones Borel entonces χB(G) ≤ ℵ0. Demotracion:

I En Proposicon 2 tome σ = τ .

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 18 / 28

Page 75: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

Sea sn : nN → nN dada por sn(x)i = xi+1. Entonces χB(Gsn) ≤ 3.Demotracion por induccion sobre n:n=2:

I Partimos 2N como sigue:

I A0 = {x ∈ 2N : x comienza con un numero impar de ceros }I A1 = {x ∈ 2ω : x comienza con un numero impar de unos }I A2 = 2N\(A0 ∪ A1)

Esta es una coloracion Borel de Gs2

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 19 / 28

Page 76: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

Sea sn : nN → nN dada por sn(x)i = xi+1. Entonces χB(Gsn) ≤ 3.Demotracion por induccion sobre n:n=2:

I Partimos 2N como sigue:

I A0 = {x ∈ 2N : x comienza con un numero impar de ceros }I A1 = {x ∈ 2ω : x comienza con un numero impar de unos }I A2 = 2N\(A0 ∪ A1)

Esta es una coloracion Borel de Gs2

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 19 / 28

Page 77: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

Sea sn : nN → nN dada por sn(x)i = xi+1. Entonces χB(Gsn) ≤ 3.Demotracion por induccion sobre n:n=2:

I Partimos 2N como sigue:

I A0 = {x ∈ 2N : x comienza con un numero impar de ceros }

I A1 = {x ∈ 2ω : x comienza con un numero impar de unos }I A2 = 2N\(A0 ∪ A1)

Esta es una coloracion Borel de Gs2

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 19 / 28

Page 78: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

Sea sn : nN → nN dada por sn(x)i = xi+1. Entonces χB(Gsn) ≤ 3.Demotracion por induccion sobre n:n=2:

I Partimos 2N como sigue:

I A0 = {x ∈ 2N : x comienza con un numero impar de ceros }I A1 = {x ∈ 2ω : x comienza con un numero impar de unos }

I A2 = 2N\(A0 ∪ A1)Esta es una coloracion Borel de Gs2

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 19 / 28

Page 79: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

Sea sn : nN → nN dada por sn(x)i = xi+1. Entonces χB(Gsn) ≤ 3.Demotracion por induccion sobre n:n=2:

I Partimos 2N como sigue:

I A0 = {x ∈ 2N : x comienza con un numero impar de ceros }I A1 = {x ∈ 2ω : x comienza con un numero impar de unos }I A2 = 2N\(A0 ∪ A1)

Esta es una coloracion Borel de Gs2

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 19 / 28

Page 80: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

n→ n + 1:

I Sea c : nN → 3 una coloracion Borel de Gsn . Ahora encontremosc∗ : (n + 1)N → 3 coloracion Borel. Para x ∈ (n + 1)N consideremoslos siguientes casos:

I Si existe una infinidad de i ’s tales que xi = n y una infinidad tal quexi ∈ n. Al conjunto de estos x ’s llamemoslo X1

c∗(x) = 0 si x comienza con un numero impar de n’sc∗(x) = 1 si x comienza con un numero impar de elementos de nc∗(x) = 2 en otro caso

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 20 / 28

Page 81: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

n→ n + 1:

I Sea c : nN → 3 una coloracion Borel de Gsn . Ahora encontremosc∗ : (n + 1)N → 3 coloracion Borel.

Para x ∈ (n + 1)N consideremoslos siguientes casos:

I Si existe una infinidad de i ’s tales que xi = n y una infinidad tal quexi ∈ n. Al conjunto de estos x ’s llamemoslo X1

c∗(x) = 0 si x comienza con un numero impar de n’sc∗(x) = 1 si x comienza con un numero impar de elementos de nc∗(x) = 2 en otro caso

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 20 / 28

Page 82: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

n→ n + 1:

I Sea c : nN → 3 una coloracion Borel de Gsn . Ahora encontremosc∗ : (n + 1)N → 3 coloracion Borel. Para x ∈ (n + 1)N consideremoslos siguientes casos:

I Si existe una infinidad de i ’s tales que xi = n y una infinidad tal quexi ∈ n. Al conjunto de estos x ’s llamemoslo X1

c∗(x) = 0 si x comienza con un numero impar de n’sc∗(x) = 1 si x comienza con un numero impar de elementos de nc∗(x) = 2 en otro caso

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 20 / 28

Page 83: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

n→ n + 1:

I Sea c : nN → 3 una coloracion Borel de Gsn . Ahora encontremosc∗ : (n + 1)N → 3 coloracion Borel. Para x ∈ (n + 1)N consideremoslos siguientes casos:

I Si existe una infinidad de i ’s tales que xi = n y una infinidad tal quexi ∈ n. Al conjunto de estos x ’s llamemoslo X1

c∗(x) = 0 si x comienza con un numero impar de n’sc∗(x) = 1 si x comienza con un numero impar de elementos de nc∗(x) = 2 en otro caso

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 20 / 28

Page 84: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

n→ n + 1:

I Sea c : nN → 3 una coloracion Borel de Gsn . Ahora encontremosc∗ : (n + 1)N → 3 coloracion Borel. Para x ∈ (n + 1)N consideremoslos siguientes casos:

I Si existe una infinidad de i ’s tales que xi = n y una infinidad tal quexi ∈ n. Al conjunto de estos x ’s llamemoslo X1

c∗(x) = 0 si x comienza con un numero impar de n’s

c∗(x) = 1 si x comienza con un numero impar de elementos de nc∗(x) = 2 en otro caso

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 20 / 28

Page 85: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

n→ n + 1:

I Sea c : nN → 3 una coloracion Borel de Gsn . Ahora encontremosc∗ : (n + 1)N → 3 coloracion Borel. Para x ∈ (n + 1)N consideremoslos siguientes casos:

I Si existe una infinidad de i ’s tales que xi = n y una infinidad tal quexi ∈ n. Al conjunto de estos x ’s llamemoslo X1

c∗(x) = 0 si x comienza con un numero impar de n’sc∗(x) = 1 si x comienza con un numero impar de elementos de n

c∗(x) = 2 en otro caso

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 20 / 28

Page 86: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

n→ n + 1:

I Sea c : nN → 3 una coloracion Borel de Gsn . Ahora encontremosc∗ : (n + 1)N → 3 coloracion Borel. Para x ∈ (n + 1)N consideremoslos siguientes casos:

I Si existe una infinidad de i ’s tales que xi = n y una infinidad tal quexi ∈ n. Al conjunto de estos x ’s llamemoslo X1

c∗(x) = 0 si x comienza con un numero impar de n’sc∗(x) = 1 si x comienza con un numero impar de elementos de nc∗(x) = 2 en otro caso

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 20 / 28

Page 87: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas distintas de n.

Atales x ’s los agrupamos en un conjunto X2

I c∗(x) = 0 si x comienza con un numero impar de elementos menoresque n.

I c∗(x) = 1 si x comienza con un numero impar de n’s.

I c∗(x) = 2 en otro caso.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 21 / 28

Page 88: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas distintas de n. Atales x ’s los agrupamos en un conjunto X2

I c∗(x) = 0 si x comienza con un numero impar de elementos menoresque n.

I c∗(x) = 1 si x comienza con un numero impar de n’s.

I c∗(x) = 2 en otro caso.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 21 / 28

Page 89: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas distintas de n. Atales x ’s los agrupamos en un conjunto X2

I c∗(x) = 0 si x comienza con un numero impar de elementos menoresque n.

I c∗(x) = 1 si x comienza con un numero impar de n’s.

I c∗(x) = 2 en otro caso.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 21 / 28

Page 90: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas distintas de n. Atales x ’s los agrupamos en un conjunto X2

I c∗(x) = 0 si x comienza con un numero impar de elementos menoresque n.

I c∗(x) = 1 si x comienza con un numero impar de n’s.

I c∗(x) = 2 en otro caso.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 21 / 28

Page 91: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas distintas de n. Atales x ’s los agrupamos en un conjunto X2

I c∗(x) = 0 si x comienza con un numero impar de elementos menoresque n.

I c∗(x) = 1 si x comienza con un numero impar de n’s.

I c∗(x) = 2 en otro caso.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 21 / 28

Page 92: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas iguales a n. Este esnuestro conjunto X3.

I Para x ∈ X3 podemos escribir de manera unica x = s_y dondes ∈ (n + 1)k para algun k , sk−1 = n (si x > 0) y y ∈ nN. Entonces:c∗(x) = (c(y) + k)mod3

I Cada coloracion en Xi es coloracion Borel, ademas no hay arista entrex y y si x ∈ Xi y y ∈ Xj para i 6= j .

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 22 / 28

Page 93: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas iguales a n.

Este esnuestro conjunto X3.

I Para x ∈ X3 podemos escribir de manera unica x = s_y dondes ∈ (n + 1)k para algun k , sk−1 = n (si x > 0) y y ∈ nN. Entonces:c∗(x) = (c(y) + k)mod3

I Cada coloracion en Xi es coloracion Borel, ademas no hay arista entrex y y si x ∈ Xi y y ∈ Xj para i 6= j .

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 22 / 28

Page 94: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas iguales a n. Este esnuestro conjunto X3.

I Para x ∈ X3 podemos escribir de manera unica x = s_y dondes ∈ (n + 1)k para algun k , sk−1 = n (si x > 0) y y ∈ nN. Entonces:c∗(x) = (c(y) + k)mod3

I Cada coloracion en Xi es coloracion Borel, ademas no hay arista entrex y y si x ∈ Xi y y ∈ Xj para i 6= j .

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 22 / 28

Page 95: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas iguales a n. Este esnuestro conjunto X3.

I Para x ∈ X3 podemos escribir de manera unica x = s_y dondes ∈ (n + 1)k para algun k , sk−1 = n (si x > 0) y y ∈ nN.

Entonces:c∗(x) = (c(y) + k)mod3

I Cada coloracion en Xi es coloracion Borel, ademas no hay arista entrex y y si x ∈ Xi y y ∈ Xj para i 6= j .

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 22 / 28

Page 96: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas iguales a n. Este esnuestro conjunto X3.

I Para x ∈ X3 podemos escribir de manera unica x = s_y dondes ∈ (n + 1)k para algun k , sk−1 = n (si x > 0) y y ∈ nN. Entonces:c∗(x) = (c(y) + k)mod3

I Cada coloracion en Xi es coloracion Borel, ademas no hay arista entrex y y si x ∈ Xi y y ∈ Xj para i 6= j .

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 22 / 28

Page 97: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Lema 2

I En x solo hay una contidad finita de coordenadas iguales a n. Este esnuestro conjunto X3.

I Para x ∈ X3 podemos escribir de manera unica x = s_y dondes ∈ (n + 1)k para algun k , sk−1 = n (si x > 0) y y ∈ nN. Entonces:c∗(x) = (c(y) + k)mod3

I Cada coloracion en Xi es coloracion Borel, ademas no hay arista entrex y y si x ∈ Xi y y ∈ Xj para i 6= j .

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 22 / 28

Page 98: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sean X un espacio polaco y F : X → X una funcion Borel. EntoncesχB(GF ) ∈ {1, 2, 3,ℵ0}.

I Por Lema 1 χB(GF ) ≤ ℵ0.

I Supongamos que χB(GF ) ≤ n y sea c : X → n una buena coloracionBorel.

I Definimos p : X → nN por p(x)i = c(F i (x)).

I Sea c ′ : nN → 3 una buena coloracion (por Lema 2)

I Entonces c = c ′ ◦ p es una coloracion Borel. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 23 / 28

Page 99: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sean X un espacio polaco y F : X → X una funcion Borel. EntoncesχB(GF ) ∈ {1, 2, 3,ℵ0}.I Por Lema 1 χB(GF ) ≤ ℵ0.

I Supongamos que χB(GF ) ≤ n y sea c : X → n una buena coloracionBorel.

I Definimos p : X → nN por p(x)i = c(F i (x)).

I Sea c ′ : nN → 3 una buena coloracion (por Lema 2)

I Entonces c = c ′ ◦ p es una coloracion Borel. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 23 / 28

Page 100: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sean X un espacio polaco y F : X → X una funcion Borel. EntoncesχB(GF ) ∈ {1, 2, 3,ℵ0}.I Por Lema 1 χB(GF ) ≤ ℵ0.

I Supongamos que χB(GF ) ≤ n y sea c : X → n una buena coloracionBorel.

I Definimos p : X → nN por p(x)i = c(F i (x)).

I Sea c ′ : nN → 3 una buena coloracion (por Lema 2)

I Entonces c = c ′ ◦ p es una coloracion Borel. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 23 / 28

Page 101: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sean X un espacio polaco y F : X → X una funcion Borel. EntoncesχB(GF ) ∈ {1, 2, 3,ℵ0}.I Por Lema 1 χB(GF ) ≤ ℵ0.

I Supongamos que χB(GF ) ≤ n y sea c : X → n una buena coloracionBorel.

I Definimos p : X → nN por p(x)i = c(F i (x)).

I Sea c ′ : nN → 3 una buena coloracion (por Lema 2)

I Entonces c = c ′ ◦ p es una coloracion Borel. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 23 / 28

Page 102: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sean X un espacio polaco y F : X → X una funcion Borel. EntoncesχB(GF ) ∈ {1, 2, 3,ℵ0}.I Por Lema 1 χB(GF ) ≤ ℵ0.

I Supongamos que χB(GF ) ≤ n y sea c : X → n una buena coloracionBorel.

I Definimos p : X → nN por p(x)i = c(F i (x)).

I Sea c ′ : nN → 3 una buena coloracion (por Lema 2)

I Entonces c = c ′ ◦ p es una coloracion Borel. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 23 / 28

Page 103: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sean X un espacio polaco y F : X → X una funcion Borel. EntoncesχB(GF ) ∈ {1, 2, 3,ℵ0}.I Por Lema 1 χB(GF ) ≤ ℵ0.

I Supongamos que χB(GF ) ≤ n y sea c : X → n una buena coloracionBorel.

I Definimos p : X → nN por p(x)i = c(F i (x)).

I Sea c ′ : nN → 3 una buena coloracion (por Lema 2)

I Entonces c = c ′ ◦ p es una coloracion Borel. �

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 23 / 28

Page 104: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ejemplos

Resulta que todos los valores son posibles.

I Si por ejemplo tomados F : R→ R como la identidad entonces comoGF no tiene aristas y ası χB(GF ) = 1.

I Tomando F : R→ R como F (x) = −x se tiene que χB(GF ) = 2.

I Para cualquier n resutla que χB(Gsn) = 3 pues Gsn tiene triangulos.

I Si tomamos F : [N]N → [N]N, entonces χ(GF ) = 2, peroχB(GF ) = ℵ0.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 24 / 28

Page 105: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ejemplos

Resulta que todos los valores son posibles.

I Si por ejemplo tomados F : R→ R como la identidad entonces comoGF no tiene aristas y ası χB(GF ) = 1.

I Tomando F : R→ R como F (x) = −x se tiene que χB(GF ) = 2.

I Para cualquier n resutla que χB(Gsn) = 3 pues Gsn tiene triangulos.

I Si tomamos F : [N]N → [N]N, entonces χ(GF ) = 2, peroχB(GF ) = ℵ0.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 24 / 28

Page 106: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ejemplos

Resulta que todos los valores son posibles.

I Si por ejemplo tomados F : R→ R como la identidad entonces comoGF no tiene aristas y ası χB(GF ) = 1.

I Tomando F : R→ R como F (x) = −x se tiene que χB(GF ) = 2.

I Para cualquier n resutla que χB(Gsn) = 3 pues Gsn tiene triangulos.

I Si tomamos F : [N]N → [N]N, entonces χ(GF ) = 2, peroχB(GF ) = ℵ0.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 24 / 28

Page 107: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ejemplos

Resulta que todos los valores son posibles.

I Si por ejemplo tomados F : R→ R como la identidad entonces comoGF no tiene aristas y ası χB(GF ) = 1.

I Tomando F : R→ R como F (x) = −x se tiene que χB(GF ) = 2.

I Para cualquier n resutla que χB(Gsn) = 3 pues Gsn tiene triangulos.

I Si tomamos F : [N]N → [N]N, entonces χ(GF ) = 2, peroχB(GF ) = ℵ0.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 24 / 28

Page 108: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Ejemplos

Resulta que todos los valores son posibles.

I Si por ejemplo tomados F : R→ R como la identidad entonces comoGF no tiene aristas y ası χB(GF ) = 1.

I Tomando F : R→ R como F (x) = −x se tiene que χB(GF ) = 2.

I Para cualquier n resutla que χB(Gsn) = 3 pues Gsn tiene triangulos.

I Si tomamos F : [N]N → [N]N, entonces χ(GF ) = 2, peroχB(GF ) = ℵ0.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 24 / 28

Page 109: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion

Sea f : N → N una funcion cualquiera. Entonces χB(Gf ) ≤ 3.

De-mostracion:

I Es facil probar que toda subgrafica finita tiene una coloracion propiacon 3 colores.

I Por teorema de Erdos el numero cromatico es menor o igual que 3

I Toda coloracion es coloracion Borel en N porque N es discreto.

I ¡¡Esto es cierto incluso si cada vertice tiene grado infinito!!

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 25 / 28

Page 110: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion

Sea f : N → N una funcion cualquiera. Entonces χB(Gf ) ≤ 3. De-mostracion:

I Es facil probar que toda subgrafica finita tiene una coloracion propiacon 3 colores.

I Por teorema de Erdos el numero cromatico es menor o igual que 3

I Toda coloracion es coloracion Borel en N porque N es discreto.

I ¡¡Esto es cierto incluso si cada vertice tiene grado infinito!!

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 25 / 28

Page 111: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion

Sea f : N → N una funcion cualquiera. Entonces χB(Gf ) ≤ 3. De-mostracion:

I Es facil probar que toda subgrafica finita tiene una coloracion propiacon 3 colores.

I Por teorema de Erdos el numero cromatico es menor o igual que 3

I Toda coloracion es coloracion Borel en N porque N es discreto.

I ¡¡Esto es cierto incluso si cada vertice tiene grado infinito!!

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 25 / 28

Page 112: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion

Sea f : N → N una funcion cualquiera. Entonces χB(Gf ) ≤ 3. De-mostracion:

I Es facil probar que toda subgrafica finita tiene una coloracion propiacon 3 colores.

I Por teorema de Erdos el numero cromatico es menor o igual que 3

I Toda coloracion es coloracion Borel en N porque N es discreto.

I ¡¡Esto es cierto incluso si cada vertice tiene grado infinito!!

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 25 / 28

Page 113: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion

Sea f : N → N una funcion cualquiera. Entonces χB(Gf ) ≤ 3. De-mostracion:

I Es facil probar que toda subgrafica finita tiene una coloracion propiacon 3 colores.

I Por teorema de Erdos el numero cromatico es menor o igual que 3

I Toda coloracion es coloracion Borel en N porque N es discreto.

I ¡¡Esto es cierto incluso si cada vertice tiene grado infinito!!

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 25 / 28

Page 114: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Proposicion

Sea f : N → N una funcion cualquiera. Entonces χB(Gf ) ≤ 3. De-mostracion:

I Es facil probar que toda subgrafica finita tiene una coloracion propiacon 3 colores.

I Por teorema de Erdos el numero cromatico es menor o igual que 3

I Toda coloracion es coloracion Borel en N porque N es discreto.

I ¡¡Esto es cierto incluso si cada vertice tiene grado infinito!!

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 25 / 28

Page 115: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sea G una grafica sobre un espacio polaco X y tal que N(Y ) es Borel paracada Y Borel (Esto es cierto por ejemplo si cada vertice tiene grado finito osi G esta generada por una cantidad numerable de funciones).

Si ∆(G ) = k,entonces χB(G ) ≤ k + 1. Demostracion:

I Primero probamos que G tiene nucleo Borel.

I El resto de la prueba es por induccion y se hace identica que engraficas finitas.

Un “corolario” de esto es que si G esta generada por n funciones todas ellas≤ k a 1, entonces χB(G ) ≤ k(n + 1) + 1

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 26 / 28

Page 116: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sea G una grafica sobre un espacio polaco X y tal que N(Y ) es Borel paracada Y Borel (Esto es cierto por ejemplo si cada vertice tiene grado finito osi G esta generada por una cantidad numerable de funciones). Si ∆(G ) = k,entonces χB(G ) ≤ k + 1. Demostracion:

I Primero probamos que G tiene nucleo Borel.

I El resto de la prueba es por induccion y se hace identica que engraficas finitas.

Un “corolario” de esto es que si G esta generada por n funciones todas ellas≤ k a 1, entonces χB(G ) ≤ k(n + 1) + 1

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 26 / 28

Page 117: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sea G una grafica sobre un espacio polaco X y tal que N(Y ) es Borel paracada Y Borel (Esto es cierto por ejemplo si cada vertice tiene grado finito osi G esta generada por una cantidad numerable de funciones). Si ∆(G ) = k,entonces χB(G ) ≤ k + 1. Demostracion:

I Primero probamos que G tiene nucleo Borel.

I El resto de la prueba es por induccion y se hace identica que engraficas finitas.

Un “corolario” de esto es que si G esta generada por n funciones todas ellas≤ k a 1, entonces χB(G ) ≤ k(n + 1) + 1

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 26 / 28

Page 118: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sea G una grafica sobre un espacio polaco X y tal que N(Y ) es Borel paracada Y Borel (Esto es cierto por ejemplo si cada vertice tiene grado finito osi G esta generada por una cantidad numerable de funciones). Si ∆(G ) = k,entonces χB(G ) ≤ k + 1. Demostracion:

I Primero probamos que G tiene nucleo Borel.

I El resto de la prueba es por induccion y se hace identica que engraficas finitas.

Un “corolario” de esto es que si G esta generada por n funciones todas ellas≤ k a 1, entonces χB(G ) ≤ k(n + 1) + 1

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 26 / 28

Page 119: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Teorema

Sea G una grafica sobre un espacio polaco X y tal que N(Y ) es Borel paracada Y Borel (Esto es cierto por ejemplo si cada vertice tiene grado finito osi G esta generada por una cantidad numerable de funciones). Si ∆(G ) = k,entonces χB(G ) ≤ k + 1. Demostracion:

I Primero probamos que G tiene nucleo Borel.

I El resto de la prueba es por induccion y se hace identica que engraficas finitas.

Un “corolario” de esto es que si G esta generada por n funciones todas ellas≤ k a 1, entonces χB(G ) ≤ k(n + 1) + 1

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 26 / 28

Page 120: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Datos curiosos

Realmente lo que se hizo en la prueba de 1, 2, 3 fue encajar con una funcionBorel a cualquier grafica generada por una funcion en otra grafica de la cualya sabıamos datos.

Resulta que hay graficas isomorfas pero de modo queno se pueden encajar la primera en la segunda ni viceversa con funcionesBorel, aunque eso ya sera tema de otra platica.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 27 / 28

Page 121: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Datos curiosos

Realmente lo que se hizo en la prueba de 1, 2, 3 fue encajar con una funcionBorel a cualquier grafica generada por una funcion en otra grafica de la cualya sabıamos datos. Resulta que hay graficas isomorfas pero de modo queno se pueden encajar la primera en la segunda ni viceversa con funcionesBorel, aunque eso ya sera tema de otra platica.

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 27 / 28

Page 122: Numero Crom atico de Borelxamanek.izt.uam.mx/coloquio/2013/Platicas/Pelayo.pdf · Sea kV el conjunto de funciones de V en k con la topolog a producto. Claro que k es compacto, pues

Fin

G R A C I A S ! ! !

Pelayo y Fernando (UMSNH-UNAM) Numero Cromatico de Borel 7 de Marzo de 2013 28 / 28