Este documento introduce los conceptos básicos de la topología. Define un espacio topológico como un par (X,T) donde X es un conjunto y T es una topología en X, es decir, una familia de subconjuntos de X que cumple con tres propiedades. Se definen conceptos como conjunto abierto, entorno de un punto y conjunto cerrado. Se proveen ejemplos como los espacios topológicos discretos, indiscretos y euclidianos.
0 calificaciones0% encontró este documento útil (0 votos)
44 vistas3 páginas
Este documento introduce los conceptos básicos de la topología. Define un espacio topológico como un par (X,T) donde X es un conjunto y T es una topología en X, es decir, una familia de subconjuntos de X que cumple con tres propiedades. Se definen conceptos como conjunto abierto, entorno de un punto y conjunto cerrado. Se proveen ejemplos como los espacios topológicos discretos, indiscretos y euclidianos.
Este documento introduce los conceptos básicos de la topología. Define un espacio topológico como un par (X,T) donde X es un conjunto y T es una topología en X, es decir, una familia de subconjuntos de X que cumple con tres propiedades. Se definen conceptos como conjunto abierto, entorno de un punto y conjunto cerrado. Se proveen ejemplos como los espacios topológicos discretos, indiscretos y euclidianos.
Este documento introduce los conceptos básicos de la topología. Define un espacio topológico como un par (X,T) donde X es un conjunto y T es una topología en X, es decir, una familia de subconjuntos de X que cumple con tres propiedades. Se definen conceptos como conjunto abierto, entorno de un punto y conjunto cerrado. Se proveen ejemplos como los espacios topológicos discretos, indiscretos y euclidianos.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 3
TEORÍA – TOPOLOGÍA - # 1 – (14.3.
2016)
JUAN M. ALONSO
Abstract. Se introducen los conceptos de topologı́a, espacio topológico, y
entorno de un punto. Motivación y primeros ejemplos. Corresponde, aproxi- madamente, a la sección 1 del capı́tulo III de Dugundji.
1. Espacios topológicos. 1.1. Motivación. Los espacios topológicos están ı́ntimamente relacionados con la noción de continuidad. Buscamos dar una definición tan general como sea posible, tal que: (i) Si X, Y son espacios topológicos, y f : X −→ Y es una función, entonces deberá tener sentido la afirmación ”f es continua (o no!)”. Obtendremos también, ”por el mismo precio”, una noción muy general de espacio, es decir, de un conjunto donde podemos hacer (un cierto tipo de(†)) Geometrı́a [(†)desarrollo de la noción de espacio en el ni~ no [Piaget]].
1.2. Ejemplos de espacios donde sabemos definir continuidad. Aquı́ ten-
emos una lista de espacios donde sabemos cómo definir continuidad de funciones: (i) R (ii) R2 (iii) C (iv) Rn (v) Espacios de Hilbert (vi) Espacios de Banach (vii) Espacios métricos Observar que se trata de ”bichos” muy diferentes: (i) y (iii) son cuerpos, con una noción de valor absoluto, los primeros seis tienen una estructura de espacio vectorial, y una norma. Los espacios (vii) son mucho más generales: incluyen como ejemplo a todos los demás y, además de la métrica, no presuponen ninguna estruc- tura adicional. ¿Cómo usamos la métrica para definir continuidad? Simplemente, imitando la ”definición ε, δ”. El ”plan” es definir espacio topológico diciendo que es un conjunto con una estructura. En la forma, se parece a la definición de espacio métrico: un espacio métrico es un conjunto con una métrica. En nuestro caso, la estructura se llama topologı́a: diremos que un espacio topológico es un conjunto con una topologı́a. Como pista para llegar a definir topologı́a, observemos la lista de espacios dada. Los seis primeros tienen demasiada estructura que, en este contexto, es irrelevante. Los espacios métricos están más cerca de lo que queremos, pero tienen el problema de necesitar un elemento externo, una ”regla”, dada por el conjunto de los números reales, para poder medir cercanı́a entre puntos y, de esa manera, definir continuidad. 1 2 JUAN M. ALONSO
Puesto ası́, nuestro problema es encontrar una estructura que de alguna manera defina cercanı́a entre puntos, pero usando solamente la teorı́a de conjuntos. Veremos que hay varias formas de hacerlo, todas equivalentes. La definición habitual se basa en la axiomatización del concepto de conjunto abierto.
2. Espacios topológicos Definición 2.0.1. [Definición III.1.1] Sea X un conjunto. Una topologı́a (o también, una estructura topológica) en X es una familia T de subconjuntos de X que satisface: (i) Toda unión de elementos de T, pertenece a T. (ii) Toda intersección finita de elementos de T, pertenece a T. (iii) ∅ y X pertenecen a T. Definición 2.0.2. [Definición III.1.2] Un espacio topológico es un par (X, T), tal que X es un conjunto, y T es una topologı́a en X. En vez de ”(X, T) es un espacio topológico”, decimos también ”T es la topologı́a del espacio X”, o que ”X tiene la topologı́a T”. Cuando la topologı́a se sobreen- tiende, diremos simplemente ”el espacio X”, o ”X es un espacio”. Los elementos de un espacio topológico se llaman puntos. Los elementos de T se llaman conjuntos abiertos. Observar que cuando decimos que A ⊆ X es ”abierto”, lo único que queremos decir es que A ∈ T. Definición 2.0.3. [Definición III.1.3] Sea (X, T) un espacio topológico. Un entorno U de x ∈ X, es cualquier conjunto abierto U (o sea, U ∈ T), que contiene a x, o sea x ∈ U . Usaremos la notación U (x). Más generalmente, si A ⊆ X es un subconjunto, llamamos entorno de A a cualquier abierto U que lo contiene (o sea, U ∈ T, y A ⊆ U ), y lo denotamos U = U (A). Definición 2.0.4. [Definición informal] Sea (X, T) un espacio topológico. De- cimos que dos subconjuntos A, B ⊆ X son separados si existen entornos disjuntos U (A), U (B). Definición 2.0.5. [Definición III.4.1] Sea (X, T) un espacio topológico. Un subconjunto A ⊆ X es cerrado si X \ A es abierto (e.d. pertenece a T). Ejemplo 1. Sea X un conjunto arbitrario, y I = {∅, X}. Esta topologı́a I se llama topologı́a indiscreta. En esta topologı́a los únicos conjuntos separados son X, ∅. Ejemplo 2. Sea X un conjunto, y D = P(X) la topologı́a discreta de X: en ella todo subconjunto de X es abierto. Más aún, dos subconjuntos A, B son separados sii A ∩ B = ∅. Ejemplo 3. Sea X = R o, más generalmente, X = Rn , para n ≥ 1. Como en análisis, digamos que A ⊆ Rn es abierto si para todo x ∈ Rn , existe r ∈ R, r > 0, tal que la bola abierta con centro en x y radio r, B(x, r) := {y ∈ Rn |ky − xk < r}, está contenida en A. Se puede demostrar que T := {A ⊆ Rn |A es abierto (según la definición dada arriba)}, es una topologı́a. Llamamos a T, topologı́a euclidiana y a (Rn , T), espacio euclidiano n-dimensional. Abusando el lenguaje, decimos que Rn es el espacio euclidiano n- dimensional, sobreentendiendo la topologı́a. TEORÍA – TOPOLOGIA - # 1 – 14.3.2016 3
Ejemplo 4. Sea (R, T) la recta real con la topologı́a euclidiana, y (R, D) la recta con D = P(R), la topologı́a discreta de R. Sean A := {0}, y B := {1/n ∈ R : n ∈ N, n 6= 0}. Como A ∩ B = ∅, A y B son separados en la topologı́a discreta, pero como en la topologa euclidiana 1/n → 0, A y B no son separados en la recta. Intuitivamente, 0 está ”lejos” de B en la topologı́a discreta, pero está ”cerca” en la euclidiana. Ejemplo 5. Sea X = {0, 1}. El espacio (X, D) será denotado 2. El mismo conjunto con la topologı́a T := {∅, 0, X} se llama espacio de Sierpinski, denotado S. Cada conjunto tiene, en general, muchas topologı́as; y con cada una es un espacio topológico distinto. El conjunto de todas las topologı́as de un conjunto dado puede ordenarse (parcialmente) por inclusión. Toda topologı́a T está entre la indiscreta y la discreta: I ⊆ T ⊆ D. Cuando T1 ⊆ T2 , decimos que T2 es más grande, o más fina, que T1 . Depto. de Matemáticas, FCFMyN, UN de San Luis, San Luis, Argentina
