Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Articulo Domenica Edward
Articulo Domenica Edward
Escuela de Matemáticas
Topología
Doménica Nathalia Isaza Quintera
Edward Steven Camelo
3 ⇐⇒ 2
Sean B n = {x|x ∈ Rn , kxk 6 1}
S n = {x|x ∈ Rn+1 , kxk = 1}
S n+ = {x|x ∈ Rn+1 , xn+1 ≥ 0, kxk = 1}
Ahora consideremos la proyección π, función del hemisferio superior de S n en B n , definida por
π(x1 , x2 , ....., xn+1 ) := (x1 , x2 , ....., xn ), vamos a ver que π es un homeomorfismo.
Primero debemos ver que π es biyectiva, la proyección
π : S n+ → B n (8)
(x1 , x2 , ....., xn+1 ) 7−→ (x1 , x2 , ....., xn ) (9)
(10)
Ahora, si π(x1 , x2 , ....., xn+1 ) = π(y1 , y2 , ....., yn+1 ) luego podemos decir que:
x1 = y1 (11)
x1 = y1 (12)
: (13)
xn = yn (14)
Ahora tenemos que,
Por lo tanto π es sobre, con lo que podemos concluir que π es una función biyectiva.
Ahora podemos afirma que tanto π como π −1 son funciones continuas ya que están compuestas por funcio-
nes polinomiales y composición de continuas es continua, queda demostrado que π es un homeomorfismo.
Si f : S n → Rn es antipodal, entonces g(x) = f (π −1 (x)) es una función continua de B n en Rn antipodal
en la frontera.
Por otra parte si g : B n → Rn es antipodal en la frontera, entoces la función definida por g(x) = f (π(x))
para x en el hemisferio superior y g(x) = f (π −1 (x)) para x en el hemisferio inferior, está bien definida y
es continua ya que es continua en cada hemisferio y coincide en la intersección de los dos, por lo tanto es
antipodal.
1⇒4
Sean F1 , ......, Fn+1 subconjuntos cerrados de S n , tales que su unión sea todo S n . Considere la función
continua f : S n → Rn definida por:
2.4. Definición 2
Sea a0 , a1 , ...., an un conjunto linealmente independiente en Rn . Se define el n − simplejo σ generado
por a0 , a1 , ...., an como el conjunto de todos los puntos x de Rn que pueden obtenerse a partir de una
combinación convexa de los puntos {a0 , a1 , ...., an } es decir:
n
X
x= ti ai (27)
i=0
donde,
n
X
ti = 1 (28)
i=0
Dado que los ai son linealmente independientes, se puede mostrar que los ti están unívocamente determi-
nados por x. Los puntos a0 , a1 , ...., an que generan a σ se llaman vértices de σ. El número n es la dimensión
de σ.
Cualquier simplejo generado por un subconjunto {a0 , a1 , ...., an } es una cara del simplejo. La unión de las
caras de σ diferentes de σ mismo se denomina la frontera de σ, la cual se denota por Bd(σ). El interios
de σ corresponde a Int(σ) = σ − Bd(σ).
2.5. Definición 3
Un complejo simplicial K en Rn es una colección de simplejos en Rn tales que:
1. Cada cara de un simplejo en K es un simplejo en K.
2. La intersección de cualesquiera dos simplejos de K es una cara de cada uno de ellos.
2.6. Definición 4
Llamaremos triangulación especial de B̄ n a un complejo simplicial T si:
1. T triangula a B̄ n es decir T̃ ≈ B̄ n .
2. T es un refinamiento de la subdivición de B̄ n hecha por hiperplanos coordenados, es decir, Cada simplejo
de T está completamente contenido en uno de los 2n ortantes.
3. T es antipodalmente simétrico respecto al origen, es decir σ ∈ T ⇔ −σ ∈ T
2.8. Definición 6
B n = bola unitaria de dimensión n bajo la norma euclidiana tal que B n = {x|x ∈ Rn , kxk 6 1}
B̄ n = bola unitaria de dimensión n bajo la norma l∞ tal que B̄ = {x|x ∈ Rn , kxk∞ 6 1}
3. APLICACIONES
3.1. APLICACIÓN 1
Si tomamos una pelota de playa que está inflada esta tendra una forma esferica gracias al teorema de
Borsuk-Ulam para el caso de n=1 el cual dice que para toda función continua f : S 1 → R1 existe x ∈ S 1
tal que f (x) = f (−x) este nos permite afirmar que cuando este se desinfla dos puntos antipodales de la
esfera se encuentran en el mismo lugar como se observa en la siguiente imagen.
Podemos generalizar este ejemplo un poco más tamando como función la temperatura y la presión atmos-
férica sobre la Tierra S 2 entonces se puede afirmar que dos puntos tendran la misma presión atmosférica
y temperatura lo que en lenguaje más formal y matemático da lugar al teorema de Borsuk - Ulam para el
caso n=2 que dice que para toda función continua f : S 2 → R2 existe x ∈ S 2 tal que f (x) = f (−x)
3.2. APLICACIÓN 2
En 1953, el matemático aleman Martin Kneser propuso el siguiente problema:
Sea S un conjunto de n elementos. En cuantas clases debemos particionar los nk subconjuntos de S con
k elementos de modo que en cada una de las clases, no se pueda elegir un par de subconjuntos disjuntos.
Él conjeturo que n − 2k + 2 clases son necesarias y suficientes. Una parte de la prueba de dicho enunciado
fue hecha por él y Laszlo Lovász mostro el resto usando el teorema de Borsuk-Ulam.
Para reformular la pregunta de Kneser en terminos de grafos, definimos el grafo de Kneser KG(n, k) como
un conjunto de vértices formados por todos los subconjuntos de S con k elementos.
3.3. Definición 5
Un grafo G se compone por un conjunto de vértices V (G) y un conjunto de aristas E(G), con E(G) ⊆
[V (G)]2 . Dos vértices son adyacentes o vecinos si están relacionados por medio de una arista.
3.4. Definición 7
Una coloración propia de un grafo G es una función de vértices de G, en un conjunto de colores, de tal
forma que dos vecinos no comparten el mismo color.
3.5. Definición 8
El número cromatico de G es el mínimo número de colores con los que G puede colorearse propiamente
y se denomina X(G).
3.6. Teorema
El número cromatico de KG(n,k) es:
Referencias
[1] Garcia.C.(2004).Propiedades de coloración en grafos de Kneser. Universidad de los Andes.