Topología Algebraica:
umbo a la Teoría de Nudos
Karla Roció Campos Martínez
Facultad de Ciencias Exactas de la UJED
7mo Semestre
Índice
Espacio métrico
Espacios Topológicos
Aplicaciones continuas
Topología Inducida
Topología Cociente
Espacio Producto
Espacio Compacto
Espacios de Hausdorff
Espacios Conexos
Los problemas del pastel
Variedades y Superficies
Caminos y espacios arco-conexos
Teoría de nudos
Definición de nudo
Nudo trivial
Nudos semejantes
Nudos equivalentes
Nudos dóciles
Nudos salvajes
Tabla de nudos
Aplicaciones
Espacio
Métrico
Definición.
Un conjunto A con una métrica determinada se
llama espacio métrico y se denota por (A,d) o
simplemente M.
EJEMPLO
Los números reales con la función distancia d(x, y) = |
y - x| dada por el valor absoluto, y más generalmente n-
espacio euclídeo con la distancia euclidiana, son espacios
métricos completos.
Más generalmente aun, cualquier espacio vectorial
normado es un espacio métrico definiendo d(x, y) = ||
y - x||. Si tal espacio es completo, lo llamamos espacio de
Banach.
Definición.
Definición.
Ejemplos
Conjuntos abiertos
Bolas abiertas.
El conjunto B(x;r) = { y IIx-yII
G={x:0 x
H = { (x,y) : 0 y }
I = { (x,y,z) : z > 0}
Espacios
Topológicos
Definición.
- Una tal colección de U de subconjuntos de X se llama una
Topología en X.
- El conjunto X, junto con U se llama un espacio topológico y se
denota por (X,U).
- Los miembros u ∈ U se llaman los conjuntos abiertos de (X,U).
- Los elementos de X se llama los puntos de (X,U).
Ejemplo
X = { a,b,c }
1.-
J = { {a,b},X,
2.- T = { U existen a,b R, tales que x (a,b) U }
3.- K = { A ⊆ N : n A todo divisor de n esta en A }
4.- Sea T la clase de los subconjuntos de N formado por y por todos los
subconjuntos de N de la forma donde n N }
- Todo espacio métrico da lugar a un espacio
topológico.
- El espacio resultante posee la topología métrica
o la topología usual.
- Los espacios topológicos que se obtienen a partir de
un espacio métrico se llaman metrizables.
Topología discreta : Conjunto potencia
Topología indiscreta : { X,
Para cualquier subconjunto Y de un espacio
topológico X podemos considerar el mayor
conjunto abierto contenido en Y; lo designaremos
por Y° y se llama el interior de Y. Es decir:
Ejemplo
Sea T la clase de los subconjuntos de N formado por
y por todos los subconjuntos de N de la forma
donde n N }
Y = { { 1,3,4,6,7,8,10},{3,4,5,6,7,8},{5,6,7,8,9,…},
{5,8,9,…},{4,5,6,7,… } }
Y°= { 4,5,6,7,8,9,…}
Definición.
Un subconjunto C de un espacio topológico X
se dice que es cerrado si y sólo si X-C es abierto.
Teorema
Ejemplo
SeaX = { a,b,c } con la topología T = { {a,b},{a},{b},X,
El conjunto {c} es cerrado ya que X-{c}={a,b} es abierto
El conjunto {b,c} es cerrado ya que X-{b,c}={a} es abierto
Por ejemplo, el intervalo unidad [0, 1] es cerrado en los
números reales, y el conjunto [0, 1] ∩ Q
números racionales entre 0 y 1 (inclusivo) es cerrado en el
espacio de los números racionales, pero [0, 1] ∩ Q no es
cerrado en los números reales.
Para cualquier subconjunto Y de un espacio
topológico X podemos considerar el menor
conjunto cerrado que contiene a Y; este conjunto
Se denota por Y y se llama adherencia de Y: Es decir
Ejemplo
X = { a,b,c } con la topología T = { {a,b},{a},{b},X,
Sea
El conjunto {c} es cerrado ya que X-{c}={a,b} es abierto
El conjunto {b,c} es cerrado ya que X-{b,c}={a} es abierto
El conjunto {a,c} es cerrado ya que X-{a,c}={b} es abierto
El conjunto es cerrado ya que X- =X es abierto
El conjunto X es cerrado ya que X-X= es abierto
Sea Y={a,c} entonces
Y = {a,c} X = {a,c}
Definición.
Ejemplo
particular, todo conjunto abierto es un entorno de cada
En
uno de sus puntos. Más generalmente, todo conjunto A
con interior no vacío es un entorno de cada uno de los
puntos del interior de A.
Sea X = {a,b,c,d} con la topología J = { {a,b},{a},{b},X,
N = {a,b,c}, y sea x = a.
Tomamos U = {a,b}
x U⊆N
Entonces N es un entorno de x.
Aplicaciones
Continuas
Definición.
Teorema
Teorema
Definición.
Ejemplo
Topología
Inducida
Definición.
A veces se habla de la topología inducida como de la topología
relativa. Si el subconjunto S está dotado de la topología
inducida se dice que S es un subespacio de X.
Topología
Cociente
Definición.
Teorema
Espacio
Producto
Definición.
Teorema
Teorema
Teorema
Teorema
Definición.
Ejemplo
Nudos:
Conceptos básicos
Definición
A pesar de que todas las figuras son homeomorfas entre sí
(ya que cada uno de ellos es homeomorfo a una circunferencia
por definición), nuestra intuición nos dice que en no son lo
mismo.
Si construimos modelos de nudos usando una cuerda, en nuestro
mundo 3-dimensional no podríamos, por ejemplo, construir el nudo
(C) a partir del (a), salvo que cortemos la cuerda en un punto.
Es razonable decir que un nudo no está anudado (o que es trivial)
si podemos transformarlo con continuidad dentro de nuestro
3-espacio en el nudo (a).
Definición
¿Por qué no definir un nudo como un subespacio de que sea
homeomorfo a ?
Obviamente debe ser mayor o igual que 2.
Corolario 10.3:
Toda aplicación continua de una circunferencia en la recta real
aplica por lo menos un par de puntos diametralmente opuestos en
el mismo punto.
Sin embargo, si ,existe entonces un homeomorfismo
tal que es la circunferencia estándar en .
No demostraremos este resultado; para n=2 constituye el famoso
teorema de Schönflies; para el resultado nos dice que si vivie-
ramos en un mundo 4-(o más)-dimensional, podríamos desanudar
todos los nudos.
Definición
Decimos que dos nudos son semejantes si existe un
homeomorfismo tal que
Por ejemplo:
Los nudos (a) y (b) son semejantes
Los nudos (c), (d) y (g) son semejantes
Los nudos (e) y (f) son semejantes
Hay otra manera de ver que los nudos (e) y (f) son semejantes;
este método esta descrito en la siguiente figura mediante una
sucesión de diagramas.
Nudos dóciles
Sea K un nudo de sobre el plano } dada por
. Decimos que es un punto de cruce
si consta de más de un punto.
Decimos que se trata de un punto doble si consta de dos
puntos .
Un punto doble es impropio si moviendo ligeramente el nudo, el punto
doble desaparece.
Definición
Decimos que un nudo K es dócil si es semejante a un nudo solo con
un número finito de puntos de cruce cada uno de los cuales es un
punto doble propio.
Los nudos que no son dóciles se llaman salvajes.
Tabla de nudos
