Topología

Ir a la navegaciónIr a la búsqueda
Para otros usos de este término, véase Topología (desambiguación).

Ilustración del teorema de los cuatro colores.

La topología (del griego τόπος, 'lugar', y λόγος, 'estudio') es la rama de las
matemáticas dedicada al estudio de aquellas propiedades de los cuerpos geométricos
que permanecen inalteradas por transformaciones continuas.1 Es una disciplina que
estudia las propiedades de los espacios topológicos y las funciones continuas. La
topología se interesa por conceptos como proximidad, número de agujeros, el tipo de
consistencia (o textura) que presenta un objeto, comparar objetos y clasificar
múltiples atributos donde destacan conectividad, compacidad, metricidad o
metrizabilidad, entre otros.

Los matemáticos usan la palabra topología con dos sentidos: informalmente es el

sentido arriba especificado, y de manera formal es la referencia a una cierta
familia de subconjuntos de un conjunto dado, familia que cumple unas reglas sobre
la unión y la intersección —este segundo sentido puede verse desarrollado en el
artículo espacio topológico—.

Índice
1 Idea intuitiva
1.1 Un ejemplo clarificador
2 Historia de la topología
3 Desarrollo formal
4 Ramas de la topología
5 Topología general o conjuntista
5.1 Conceptos fundamentales referidos a la topología de un conjunto
5.1.1 Topología, espacio topológico, abiertos, cerrados, subespacios
5.1.2 Base de una topología, entornos, bases locales, axiomas de numerabilidad
5.1.3 Subconjuntos notables asociados a un conjunto
5.1.3.1 Interior, exterior, frontera
5.1.3.2 Adherencia, acumulación, puntos aislados
5.2 Conceptos fundamentales referidos a aplicaciones continuas y convergencia
5.2.1 Convergencia
5.2.2 Convergencia de sucesiones
5.2.3 Continuidad de aplicaciones
5.3 Conjuntos conexos, conexos por caminos y arco-conexos
5.4 Compacidad
5.5 Metrización
5.6 Separación
5.7 Densidad
5.8 Topología producto y topología cociente
6 Topología algebraica
7 Véase también
8 Notas
9 Enlaces externos
Idea intuitiva
Coloquialmente, se presenta a la topología como la «geometría de la página de goma
(chicle)». Esto hace referencia a que, en la geometría euclídea, dos objetos serán
equivalentes mientras podamos transformar uno en otro mediante isometrías
(rotaciones, traslaciones, reflexiones, etc.), es decir, mediante transformaciones
que conservan las medidas de ángulo, área, longitud, volumen y otras.

En topología, dos objetos son equivalentes en un sentido mucho más amplio. Han de
tener el mismo número de trozos, huecos, intersecciones, etc. En topología está
permitido doblar, estirar, encoger, retorcer, etc., los objetos, pero siempre que
se haga sin romper ni separar lo que estaba unido, ni pegar lo que estaba separado.
Por ejemplo, un triángulo es topológicamente lo mismo que una circunferencia, ya
que podemos transformar uno en otra de forma continua, sin romper ni pegar. Pero
una circunferencia no es lo mismo que un segmento, ya que habría que partirla (o
pegarla) por algún punto.
Esta es la razón de que se la llame la «geometría de la página de goma», porque es
como si estuviéramos estudiando geometría sobre un papel de goma que pudiera
contraerse, estirarse, etc.

Una taza transformándose en una rosquilla (toro).

Un chiste habitual entre los topólogos (los matemáticos que se dedican a la
topología) es que «un topólogo es una persona incapaz de distinguir una taza de una
rosquilla». Pero esta visión, aunque muy intuitiva e ingeniosa, es sesgada y
parcial. Por un lado, puede llevar a pensar que la topología trata solo de objetos
y conceptos geométricos, siendo más bien al contrario, es la geometría la que trata
con un cierto tipo de objetos topológicos. Por otro lado, en muchos casos es
imposible dar una imagen o interpretación intuitiva de problemas topológicos o
incluso de algunos conceptos. Es frecuente entre los estudiantes primerizos
escuchar que «no entienden la topología» y que no les gusta esa rama; generalmente
se debe a que se mantienen en esta actitud gráfica. Por último, la topología se
nutre también en buena medida de conceptos cuya inspiración se encuentra en el
análisis matemático. Se puede decir que casi la totalidad de los conceptos e ideas
de esta rama son conceptos e ideas topológicas.

Homeo tasse.png
Un ejemplo clarificador

Plano del metro de Madrid.

Observemos un plano del metro de Madrid. En él están representadas las estaciones y
las líneas de metro que las unen, pero no es geométricamente exacto. La curvatura
de las líneas de metro no coincide, ni su longitud a escala, ni la posición
relativa de las estaciones... Pero aun así es un plano perfectamente útil. Sin
embargo, este plano es exacto en cierto sentido, pues representa fielmente cierto
tipo de información, la única que necesitamos para decidir nuestro camino por la
red de metro: información topológica.

Historia de la topología
Históricamente, las primeras ideas topológicas conciernen al concepto de límite y
al de completitud de un espacio métrico, y se manifestaron principalmente en la
crisis de los inconmesurables de los pitagóricos, ante la aparición de números
reales no racionales. El primer acercamiento concreto al concepto de límite y
también al de integral aparece en el método de exhaución de Arquímedes. La
aparición del análisis matemático en el siglo XVII puso en evidencia la necesidad
de formalizar los conceptos de proximidad y continuidad, y la incapacidad de la
geometría para tratar este tema. Fue precisamente la fundamentación del cálculo
infinitesimal, así como los intentos de formalizar el concepto de variedad en
Geometría los que impulsaron la aparición de la topología a finales del siglo XIX y
principios del XX.

Se suele fechar el origen de la topología con la resolución por parte de Euler del
problema de los puentes de Königsberg, en 1735. Ciertamente, la resolución de Euler
del problema utiliza una forma de pensar totalmente topológica, y la solución del
problema nos lleva a la característica de Euler, el primer invariante de la
topología algebraica, pero sería muy arriesgado y arbitrario fechar en ese momento
la aparición de la topología. La situación es exactamente análoga a la del cálculo
del área de la elipse por Arquímedes.

El término topología fue usado por primera vez por Johann Benedict Listing en 1836
en una carta a su antiguo profesor de la escuela primaria, Müller, y posteriormente
en su libro Vorstudien zur Topologie ('Estudios previos a la topología'), publicado
en 1847. Anteriormente se la denominaba analysis situs. Maurice Fréchet introdujo
el concepto de espacio métrico en 1906.

Cronología2
Año Acontecimiento
300 a.C. Euclides define las secciones cónicas y estudia los poliedros
regulares, una de las formas más básicas estudiadas por los topólogos.
250 a.C. Arquímedes investiga las curvas espirales y los poliedros truncados.
1735 d.C. Leonhard Euler resuelve el problema de los puentes de Königsberg.
1858 Los alemanes August Möbius y Johann Benedict Listing descubren en forma
independiente la hoy llamada banda de Möbius.
1890 Giuseppe Peano aplicando la definición de Jordán demuestra que un cuadrado
relleno también es una curva.
Década de 1920 Pável Urysón y Karl Menger definen el concepto de curva a partir
de la topología.
Desarrollo formal
En el artículo Glosario de topología se encuentra una colección de términos
topológicos con su significado. Aquí y ahora nos limitaremos a dar algunas nociones
básicas.

Como hemos dicho, el concepto fundamental de la topología es la "relación de

proximidad", que puede parecer ambigua y subjetiva. El gran logro de la topología
es dar una formulación precisa, objetiva y útil de este concepto. Para ello tomamos
un conjunto de referencia {\displaystyle X}X, que será el ambiente en el que nos
moveremos, y al que llamaremos espacio. Tomaremos un elemento cualquiera
{\displaystyle x}x de {\displaystyle X}X. A los elementos del espacio se les llama
puntos, así que {\displaystyle x}x será llamado punto, independientemente de que
{\displaystyle x}x sea una función, un vector, un conjunto, un ideal maximal en un
anillo conmutativo y unitario... Un subconjunto {\displaystyle V}V de
{\displaystyle X}X será un entorno de {\displaystyle x}x si {\displaystyle V}V
incluye un conjunto abierto {\displaystyle G}G de manera que {\displaystyle x}x es
elemento de {\displaystyle G}G. ¿Qué entenderemos por conjunto abierto? Aquí está
el quid de la cuestión: una colección {\displaystyle T}T de subconjuntos de
{\displaystyle X}X se dirá que es una topología sobre {\displaystyle X}X si
{\displaystyle X}X es uno de los elementos de esa colección, si {\displaystyle
\varnothing }\varnothing es un elemento de la colección, si la unión de elementos
de la colección da como resultado un elemento de la colección y si la intersección
finita de elementos de la colección también es un elemento de la colección. A los
elementos de la colección {\displaystyle T}T se les denomina abiertos de la
topología {\displaystyle T}T, y al par {\displaystyle (X,T)}(X,T) se le denomina
espacio topológico.

Las condiciones para que {\displaystyle T}T sea topología sobre {\displaystyle X}X
son entonces estas:

{\displaystyle (1)\quad \varnothing \in T,X\in T}{\displaystyle (1)\quad

\varnothing \in T,X\in T}
{\displaystyle (2)\quad (O_{1}\in T,O_{2}\in T)\Rightarrow (O_{1}\cap O_{2}\in T)}
{\displaystyle (2)\quad (O_{1}\in T,O_{2}\in T)\Rightarrow (O_{1}\cap O_{2}\in T)}
{\displaystyle (3)\quad \forall S\subset T,\cup _{O\in S}O\in T}{\displaystyle
(3)\quad \forall S\subset T,\cup _{O\in S}O\in T}
Puede parecer extraño que de una definición tan altamente formal y conjuntista se
obtenga una formulación precisa del concepto de proximidad. Lo primero que se
observa es que sobre un mismo espacio {\displaystyle X}X se pueden definir
distintas topologías, generando entonces distintos espacios topológicos. Por otra
parte, precisamente la manera en que quede determinada una topología sobre un
conjunto (es decir, la elección del criterio que nos permita decidir si un conjunto
dado es o no abierto) es lo que va a dar carácter "visualizable" o no a ese espacio
topológico.

Una de las maneras más sencillas de determinar una topología es mediante una
distancia o métrica, método que sólo es aplicable en algunos casos (si bien es
cierto que muchos de los casos más intersantes de topologías en la Geometría y del
Análisis Matemático pueden determinarse mediante alguna distancia). Una distancia
sobre un conjunto {\displaystyle X}X es una aplicación {\displaystyle d:X\times
X\longrightarrow \mathbb {R} }{\displaystyle d:X\times X\longrightarrow \mathbb {R}
} que verifica las siguientes propiedades:

{\displaystyle d(x,y)\geq 0}{\displaystyle d(x,y)\geq 0};

{\displaystyle d(x,y)=d(y,x)\,}{\displaystyle d(x,y)=d(y,x)\,}
{\displaystyle d(x,y)=0\,}{\displaystyle d(x,y)=0\,} si y sólo si {\displaystyle
x=y\,}{\displaystyle x=y\,};
{\displaystyle d(x,y)\leq d(x,z)+d(z,y)}{\displaystyle d(x,y)\leq d(x,z)+d(z,y)}
cualesquiera que sean {\displaystyle x,y,z\in X}{\displaystyle x,y,z\in X}.

Si tenemos definida una distancia sobre {\displaystyle X}X, diremos que la pareja

{\displaystyle (X,d)\,}{\displaystyle (X,d)\,}

es un espacio métrico. Dado un espacio métrico {\displaystyle (X,d)}(X,d), queda
determinada una topología sobre {\displaystyle X}X en la que los conjuntos abiertos
son los subconjuntos {\displaystyle G}G de {\displaystyle X}X tales que cualquiera
que sea el punto {\displaystyle x}x de {\displaystyle G}G existe un número
{\displaystyle \epsilon >0}\epsilon > 0 de tal manera que el conjunto
{\displaystyle \{y\in X:d(x,y)<\epsilon \}}{\displaystyle \{y\in
X:d(x,y)<\epsilon \}} está totalmente incluido en {\displaystyle G}G. Al conjunto
{\displaystyle \{y\in X:d(x,y)<\epsilon \}}{\displaystyle \{y\in
X:d(x,y)<\epsilon \}} se le denomina bola abierta de centro {\displaystyle x}x y
radio {\displaystyle \epsilon }\epsilon , y será precisamente un entorno del punto
{\displaystyle x}x.

Como se ha apuntado antes, por desgracia no toda topología proviene de una

distancia, es decir, existen espacios topológicos que no son espacios métricos.
Cuando un espacio topológico es además espacio métrico (esto es, cuando dada una
topología sobre un conjunto, puede definirse en ese conjunto una distancia de
manera que la topología generada por la distancia coincida con la topología dada)
se dice que el espacio topológico es metrizable. Un problema clásico en topología
es el de determinar qué condiciones debe satisfacer un espacio topológico para que
sea metrizable.

Ramas de la topología
Se suelen considerar principalmente tres ramas:

la topología general o conjuntista,

la topología algebraica y
la topología diferencial.
Además de estas tres ramas, que podríamos decir propiamente topológicas, la
implicación en mayor o menor medida en otras disciplinas matemáticas hacen que
muchos consideren parte de la topología al análisis funcional, la teoría de la
medida, la teoría de nudos (parte de la topología de dimensiones baja), la teoría
de grupos topológicos, etc. Es fundamental su contribución a la teoría de grafos,
análisis matemático, ecuaciones diferenciales, ecuaciones funcionales, variable
compleja, geometría diferencial, geometría algebraica, álgebra conmutativa,
estadística, teoría del caos, geometría fractal... Incluso tiene aplicaciones
directas en biología, sociología, etc.

Topología general o conjuntista

Constituye la base de los estudios en topología. En ella se desarrollan tópicos
como lo que es un espacio topológico o los entornos de un punto.

Conceptos fundamentales referidos a la topología de un conjunto

Topología, espacio topológico, abiertos, cerrados, subespacios
Sea {\displaystyle X}X un conjunto cualquiera y {\displaystyle P(X)}{\displaystyle
P(X)} el conjunto de sus partes. Una topología sobre {\displaystyle X}X es un
conjunto {\displaystyle T\subset P(X)}{\displaystyle T\subset P(X)} que cumpla que
{\displaystyle X\in T}{\displaystyle X\in T}, {\displaystyle \varnothing \in T}
{\displaystyle \varnothing \in T}, si {\displaystyle A,B\in T}{\displaystyle A,B\in
T} entonces {\displaystyle A\cap B\in T}{\displaystyle A\cap B\in T}, y que si
{\displaystyle S\subset T}{\displaystyle S\subset T} entonces {\displaystyle \cup
_{G\in S}G\in T}{\displaystyle \cup _{G\in S}G\in T}. A los elementos de
{\displaystyle T}T se les denomina conjuntos abiertos. Al par {\displaystyle (X,T)}
(X,T) se le denomina espacio topológico. A los elementos de {\displaystyle X}X se
les suele denominar puntos.

Nótese que desde un primer momento hemos especificado que el conjunto

{\displaystyle X}X es cualquiera, no necesariamente un conjunto de naturaleza
geométrica. La denominación de espacio (topológico) y de punto se mantiene aun
cuando {\displaystyle X}X sea un conjunto de números, de funciones, de ecuaciones
diferenciales, de figuras geométricas, de vectores, de conjuntos...

Como puede observarse, la definición es muy formal y general, y lo primero que se

observa es que sobre un mismo conjunto pueden darse multitud de topologías
distintas. Así es. Pero de momento, los conceptos de conjunto abierto en
{\displaystyle \mathbb {R} }\mathbb{R} o en {\displaystyle \mathbb {R} ^{2}}\mathbb
{R} ^{2} o {\displaystyle \mathbb {R} ^{3}}{\mathbb {R}}^{3} cumplen las
condiciones exigibles a una topología. Es precisamente el comprobar que otras
familias de conjuntos en otros conjuntos de naturaleza no geométrica que comparten
estas mismas propiedades (como en el conjunto de soluciones de una ecuación
diferencial, o el conjunto de los ceros de los polinomios con coeficientes en los
ideales en un anillo conmutativo, por ejemplo) lo que motiva esta definición. Así
podremos aplicar a estos conjuntos las mismas (o parecidas) técnicas topológicas
que aplicamos a los abiertos del plano, por ejemplo. La situación es análoga a la
que se da en Álgebra Lineal cuando se pasa de trabajar en {\displaystyle \mathbb
{R} ^{2}}\mathbb {R} ^{2} o {\displaystyle \mathbb {R} ^{3}}{\mathbb {R}}^{3} a
trabajar en espacios vectoriales arbitrarios.

En lo que sigue, {\displaystyle (X,T)}(X,T) representará siempre un espacio

topológico.

Ligado al concepto de conjunto abierto está el de conjunto cerrado. Un conjunto

{\displaystyle F\subset X}{\displaystyle F\subset X} se dice que es cerrado si su
complementario {\displaystyle X\setminus F}{\displaystyle X\setminus F} es un
conjunto abierto. Es importante observar que un conjunto que no es abierto no
necesariamente ha de ser cerrado, y un conjunto que no sea cerrado no
necesariamente ha de ser abierto. Así, existen conjuntos que son abiertos y
cerrados a la vez, como {\displaystyle \varnothing }\varnothing , y pueden existir
conjuntos que no sean ni abiertos ni cerrados.

Es inmediato comprobar que la intersección de cerrados es un conjunto cerrado, que

la unión de una cantidad finita de conjuntos cerrados es un conjunto cerrado, y que
tanto {\displaystyle X}X como {\displaystyle \varnothing }\varnothing son
conjuntos cerrados.

Si {\displaystyle Z\subset X}{\displaystyle Z\subset X}, el conjunto {\displaystyle

T_{Z}:=\{G\cap Z:G\in T\}}{\displaystyle T_{Z}:=\{G\cap Z:G\in T\}} es una
topología para {\displaystyle Z}Z. Se dirá entonces que el espacio {\displaystyle
(Z,T_{Z})}{\displaystyle (Z,T_{Z})} es subespacio topológico del {\displaystyle
(X,T)}(X,T).

La noción de subespacio topológico se presenta de manera natural, y es el concepto

análogo al de subgrupo en Teoría de Grupos o al de subespacio vectorial en Álgebra
Lineal.

Una propiedad relativa a espacios topológicos se dice que es hereditaria cuando si

un espacio la tiene, entonces también la tiene cualquiera de sus subespacios.

Base de una topología, entornos, bases locales, axiomas de numerabilidad

Una familia {\displaystyle {\mathcal {(}}B)\subset T}{\displaystyle {\mathcal
{(}}B)\subset T} se dice que es base (de la topología {\displaystyle T}T) si para
cualquiera que sea el {\displaystyle G\in T}{\displaystyle G\in T} existe un
conjunto {\displaystyle M\subset {\mathcal {(}}B)}{\displaystyle M\subset {\mathcal
{(}}B)} de manera que {\displaystyle G=\cup _{B\in M}B}{\displaystyle G=\cup _{B\in
M}B}.

No siempre es cómodo trabajar con una topología. A veces resulta más complicado
establecer una topología que una base de topología (como en espacios métricos). En
cualquier caso, una base es una manera muy cómoda de establecer una topología. Aún
más sencillo es establecer una subbase, que es una familia de conjuntos para la que
el conjunto de sus intersecciones finitas forma una base de topología. Uno de los
casos más importantes de topología, la de los espacios métricos, viene dado por una
base, la del conjunto de bolas abiertas del espacio.

Un espacio topológico se dice que cumple el Segundo Axioma de Numerabilidad (IIAN)

si existe alguna base de su topología que tenga cardinalidad numerable.

Sea {\displaystyle A\subset X}A\subset X un conjunto cualquiera y sea

{\displaystyle x\in A}x\in A un punto arbitrario. Se dice que {\displaystyle A}A es
entorno de {\displaystyle x}x si existe un conjunto abierto {\displaystyle G}
{\displaystyle G} de manera que {\displaystyle x\in G\subset A}{\displaystyle x\in
G\subset A}. Todo conjunto abierto es entorno de todos sus puntos. Al conjunto de
todos los entornos de un punto {\displaystyle x}x se le denomina sistema de
entornos de {\displaystyle x}x.

Obsérvese que no se ha exigido que un entorno sea un conjunto abierto. Los entornos
abiertos son un tipo de entornos muy útiles (sobre todo en Geometría y Análisis) y
muy usados, tanto que en muchas ocasiones se omite el calificativo abierto. Esto es
un abuso de lenguaje y debe evitarse.

Una colección {\displaystyle {\mathcal {(}}V)}{\displaystyle {\mathcal {(}}V)} de

entornos de un mismo punto x se dice que es una base de entornos (o base local) de
{\displaystyle x}x si dado cualquier entorno {\displaystyle V}V de {\displaystyle
x}x existe un {\displaystyle B\in {\mathcal {(}}V)}{\displaystyle B\in {\mathcal
{(}}V)} de manera que {\displaystyle B\subset V}{\displaystyle B\subset V}.

Se dice que un espacio topológico cumple el Primer Axioma de Numerabilidad (IAN) si

cada punto del espacio tiene alguna base local de cardinal numerable.

Subconjuntos notables asociados a un conjunto

Ahora podemos establecer una serie de definiciones de gran importancia, pues serán
las piezas básicas del estudio de la topología y constituirán la materia prima de
los conceptos posteriores.

Interior, exterior, frontera

Un punto {\displaystyle x\in X}x\in X se dirá que es un punto interior de
{\displaystyle A}A si existe un entorno {\displaystyle N}N de {\displaystyle x}x
tal que {\displaystyle N\subset A}{\displaystyle N\subset A}. Así, el conjunto de
los puntos interiores a {\displaystyle A}A es un conjunto abierto, denominado
Interior de A, denotado por Int (A) o también como {\displaystyle {\stackrel {\
\circ }{A}}}{\displaystyle {\stackrel {\ \circ }{A}}}. Es el mayor conjunto abierto
incluido en A.

Un punto {\displaystyle y\in X}{\displaystyle y\in X} se dirá que es un punto

exterior a {\displaystyle A}A si existe un entorno {\displaystyle N}N de
{\displaystyle y}y tal que {\displaystyle N}N ⊂ {\displaystyle X\setminus A}
{\displaystyle X\setminus A}.3 Asimismo, el conjunto de los puntos exteriores a
{\displaystyle A}A es otro conjunto abierto, denominado Exterior de A y denotado
por Ext (A).

Un punto {\displaystyle z\in X}{\displaystyle z\in X} se dice que es un punto

frontera de {\displaystyle A}A si todo entorno {\displaystyle V}V de {\displaystyle
z}z es tal que {\displaystyle V\cap A\neq \varnothing }{\displaystyle V\cap
A\neq \varnothing } y {\displaystyle V\cap (X\setminus A)\neq \varnothing }
{\displaystyle V\cap (X\setminus A)\neq \varnothing }. Al conjunto de los punto
frontera de {\displaystyle A}A se le denomina Frontera de A y se denota por Fr(A).
En otras palabras, todo entorno con centro en {\displaystyle z}z tendrá elementos
pertenecientes al conjunto {\displaystyle A}A y otros elementos fuera del conjunto
{\displaystyle A}A. La frontera de {\displaystyle A}A es un conjunto cerrado.

Adherencia, acumulación, puntos aislados

Un punto {\displaystyle x\in X}x\in X se dice que es un punto de adherencia de
{\displaystyle A}A si todo entorno {\displaystyle V}V de {\displaystyle x}x es tal
que {\displaystyle A\cap V\neq \varnothing }{\displaystyle A\cap V\neq
\varnothing }. Se hace pues evidente que todo punto interior y todo punto frontera
es punto de adherencia. Al conjunto de los puntos de adherencia del conjunto
{\displaystyle A}A se le denomina adherencia o clausura de {\displaystyle A}A, y se
denota por {\displaystyle Cl(A)}{\displaystyle Cl(A)} o por {\displaystyle {\bar
{A}}}{\displaystyle {\bar {A}}}. La clausura de un conjunto {\displaystyle A}A es
un conjunto cerrado, y es el menor conjunto cerrado que contiene al conjunto.

Un punto {\displaystyle x\in X}x\in X se dice que es un punto de acumulación de

{\displaystyle A}A si todo entorno {\displaystyle V}V de {\displaystyle x}x es tal
que {\displaystyle (V\setminus \{x\})\cap A\neq \varnothing }{\displaystyle
(V\setminus \{x\})\cap A\neq \varnothing }. Al conjunto de los puntos de
acumulación de un conjunto se le denomina acumulación del conjunto, o conjunto
derivado, y se le denota por {\displaystyle A^{d}}{\displaystyle A^{d}} o por
{\displaystyle A'}A'.

Un punto {\displaystyle x\in X}x\in X se dice que es un punto de {\displaystyle

\Omega }{\displaystyle \Omega }-acumulación de {\displaystyle A}A si todo entorno
{\displaystyle V}V de {\displaystyle x}x es tal que {\displaystyle (V\setminus \
{x\})\cap A}{\displaystyle (V\setminus \{x\})\cap A} es un conjunto infinito. Al
conjunto de los puntos de {\displaystyle \Omega }\Omega -acumulación de un conjunto
se le denomina {\displaystyle \Omega }\Omega -acumulación del conjunto, o conjunto
{\displaystyle \Omega }\Omega -derivado, y se le denota por {\displaystyle
A_{\Omega }^{d}}{\displaystyle A_{\Omega }^{d}} o por {\displaystyle A'_{\Omega }}
{\displaystyle A'_{\Omega }}. Todo punto de {\displaystyle \Omega }\Omega
-acumulación es punto de acumulación, y todo punto de acumulación es punto de
adherencia del mismo conjunto.

Un punto {\displaystyle x\in X}x\in X se dice que es un punto aislado de

{\displaystyle A}A si existe algún entorno perforado {\displaystyle V}V de
{\displaystyle x}x (es decir, un conjunto {\displaystyle V\subset X}{\displaystyle
V\subset X} de manera que {\displaystyle V\cup \{x\}}{\displaystyle V\cup \{x\}} es
un entorno de {\displaystyle x}x) de manera que {\displaystyle V\cap
A=\varnothing }{\displaystyle V\cap A=\varnothing }. Al conjunto de los puntos
aislados de {\displaystyle A}A se le denomina conjunto de los puntos aislados de
{\displaystyle A}A, y se le denota por {\displaystyle A^{a}}{\displaystyle A^{a}}.
Todo punto aislado es punto frontera y también es punto de adherencia del mismo
conjunto.

En topología son de una importancia capital los conjuntos interior y clausura de un

conjunto. Su importancia radica en ser, respectivamente, el mayor abierto contenido
en el conjunto y el menor cerrado que contiene al conjunto. El interior puede
obtenerse también como la unión de todos los abiertos contenidos en el conjunto, y
la clausura como la intersección de todos los cerrados que contienen al conjunto.
Sin tanta importancia en topología pero de mucha en otras áreas de la Matemática
son los conjuntos de acumulación, frontera y de los puntos aislados de un conjunto.

Conceptos fundamentales referidos a aplicaciones continuas y convergencia

Convergencia
La idea de la convergencia es la de "aproximar" un objeto por otro, es decir,
sustituir un objeto por otro que está próximo a él. Evidentemente, al hacerlo así
se está cometiendo un error, error que en general dependerá de lo próximo que se
encuentre el objeto sustituido del objeto sustituto. Para hacer esta sustitución de
una manera sistemática, de forma que el error pueda ser elegido arbitrariamente
pequeño, aparecen distintos tipos de conjuntos. Se obtiene así un proceso de
sucesivas aproximaciones que, si todo va bien, terminarían llevándonos al objeto,
aunque fuese después de un número infinito de aproximaciones. El más sencillo de
estos conjuntos es una sucesión, es decir, una colección infinita (numerable) y
ordenada de objetos, aunque con el mismo carácter de orden hay otros conjuntos que
reflejan mejor el concepto de convergencia.

Es importante observar que la topología no trabaja con errores ni con

aproximaciones. Eso entra en el ámbito del Análisis Numérico e incluso del Análisis
Matemático. La topología lo que hace en este problema es aportar las herramientas
básicas y los conceptos teóricos para afrontar correctamente el problema, siempre
desde un punto de vista conceptual y cualitativo. Estudia qué es lo que debe
entenderse cuando decimos que un conjunto (como puede ser una sucesión) se acerca a
un objeto (que puede ser un punto, un conjunto, etcétera).

Convergencia de sucesiones
Una sucesión es una aplicación en un conjunto cuyo dominio es el conjunto de los
números naturales. En particular, una sucesión en un espacio topológico
{\displaystyle (X,T)\,}{\displaystyle (X,T)\,} es una aplicación {\displaystyle
(x_{n})_{n\in \mathbb {N} }:\mathbb {N} \longrightarrow X}{\displaystyle
(x_{n})_{n\in \mathbb {N} }:\mathbb {N} \longrightarrow X}.

Una sucesión es el caso más sencillo de aplicación de dominio infinito.

Se dice que {\displaystyle x\in X}x\in X es un punto límite de la sucesión

{\displaystyle (x_{n})_{n\in \mathbb {N} }}{\displaystyle (x_{n})_{n\in \mathbb {N}
}}, o bien que {\displaystyle (x_{n})_{n\in \mathbb {N} }}{\displaystyle
(x_{n})_{n\in \mathbb {N} }} converge al punto {\displaystyle x\,}x\,, si se cumple
que, cualquiera que sea el entorno {\displaystyle V\,}{\displaystyle V\,} de
{\displaystyle x\,}x\, existe un número natural {\displaystyle n_{0}}n_0 de tal
manera que si {\displaystyle n}n es otro número natural mayor o igual que
{\displaystyle n_{0}}n_0 (o sea, {\displaystyle n\geq n_{0}}{\displaystyle n\geq
n_{0}}) entonces se cumple que {\displaystyle x_{n}\in V}{\displaystyle x_{n}\in
V}.

Hay que hacer dos observaciones sobre esto:

En primer lugar, puede darse el caso de que la sucesión no tenga puntos límites, o
incluso que tenga más de un punto límite. Al conjunto de puntos límites de una
sucesión {\displaystyle (x_{n})_{n\in \mathbb {N} }}{\displaystyle (x_{n})_{n\in
\mathbb {N} }} se le denomina límite de {\displaystyle (x_{n})_{n\in \mathbb {N} }}
{\displaystyle (x_{n})_{n\in \mathbb {N} }} (y se le denota por {\displaystyle \lim
_{n\in \mathbb {N} }x_{n}}{\displaystyle \lim _{n\in \mathbb {N} }x_{n}}, o también
por {\displaystyle \,\lim _{n\to \infty }x_{n}}{\displaystyle \,\lim _{n\to
\infty }x_{n}}).
En segundo lugar, la interpretación de este concepto es la siguiente: tan cerca
como queramos de un punto límite podemos encontrar a todos los puntos de la
sucesión, excepto a lo más a una cantidad finita de ellos (que podrá o no ser muy
grande, pero no deja de ser finita).
Un punto {\displaystyle x\in X}x\in X es punto de aglomeración de la sucesión
{\displaystyle (x_{n})_{n\in \mathbb {N} }}{\displaystyle (x_{n})_{n\in \mathbb {N}
}} si cualquiera que sea el entorno {\displaystyle V}V de {\displaystyle x}x se
cumple que el conjunto {\displaystyle \{n\in \mathbb {N} :x_{n}\in V\}}
{\displaystyle \{n\in \mathbb {N} :x_{n}\in V\}} es infinito. Todo punto límite es
punto de aglomeración, pero el recíproco no es cierto. Por ejemplo, los límites de
oscilación de una sucesión no convergente de números reales (como por ejemplo la
sucesión {\displaystyle (-1)^{n}+{\frac {1}{n}}}{\displaystyle (-1)^{n}+{\frac {1}
{n}}}) son puntos de aglomeración, pero no son puntos límites (no existe límite
para dicha sucesión, mientras que 1 y -1 son puntos de acumulación).

Continuidad de aplicaciones
Otro concepto totalmente fundamental estudiado en esta rama es el de aplicación
continua. Una aplicación {\displaystyle f:X\longrightarrow Y}{\displaystyle
f:X\longrightarrow Y} entre dos espacios topológicos se dice que es continua si
dado cualquier conjunto {\displaystyle G\,}G\, abierto en {\displaystyle Y\,}
{\displaystyle Y\,}, el conjunto {\displaystyle f^{-1}(G)=\{x\in X:f(x)\in G\}}
{\displaystyle f^{-1}(G)=\{x\in X:f(x)\in G\}} es un conjunto abierto en
{\displaystyle X\,}{\displaystyle X\,}.

Con la misma notación, si {\displaystyle x\in X}x\in X, diremos que {\displaystyle

f\,}f\, es continua en {\displaystyle x\,}x\, cuando se obtiene que
{\displaystyle \,f^{-1}(V)}{\displaystyle \,f^{-1}(V)} es un entorno de
{\displaystyle x\,}x\,, cualquiera que sea el entorno {\displaystyle V\,}V\, de
{\displaystyle f(x)\,}f(x)\,.

Es inmediato entonces comprobar que {\displaystyle f\,}f\, es continua cuando y

sólo cuando es continua en {\displaystyle x\in X}x\in X, cualquiera que sea éste,
es decir, cuando y sólo cuando sea continua en cada uno de los puntos de su
dominio.

Informalmente hablando, una aplicación es continua si transforma puntos que están

cerca en puntos que están cerca, es decir, si respeta la "relación de cercanía".
Esto además quiere decir que una función continua no "rompe" los que está unido y
no "pega" lo que está separado.

Conjuntos conexos, conexos por caminos y arco-conexos

Un conjunto se dice que es conexo si no puede expresarse como unión de dos abiertos
disjuntos no vacíos.

Un conjunto {\displaystyle X\,}X\, se dice que es conexo por caminos si todo par de
puntos puede unirse mediante un camino, esto es, {\displaystyle \,\forall x,y\in
X\quad \exists \phi :[0,1]\longrightarrow X}{\displaystyle \,\forall x,y\in
X\quad \exists \phi :[0,1]\longrightarrow X} continua de tal manera que
{\displaystyle \,\phi (0)=x}{\displaystyle \,\phi (0)=x} y {\displaystyle \,\phi
(1)=y}{\displaystyle \,\phi (1)=y}. Todo conjunto conexo por caminos es conexo,
pero no todo conjunto conexo es conexo por caminos (ver, por ejemplo, el seno del
topólogo).
Estos conjuntos están "hechos de una pieza" (los conexos) o "hechos de manera que
no tienen piezas totalmente sueltas" (los conexos por caminos). Naturalmente esto
es sólo una manera de interpretarlos. Las piezas de un conjunto (los mayores
subconjuntos conexos que contiene el conjunto) se denominan "componentes conexas".
Por ejemplo, un puñado de arena sería un conjunto en el que las componentes conexas
son cada granito de arena. Un espejo roto sería un conjunto en el que cada trozo de
espejo es una componente conexa. Una bola de hierro es un conjunto con una sola
componente conexa, es decir, un conjunto conexo. Una rejilla también es un conjunto
conexo, formado por una sola componente conexa.

Existe otra noción de conexión, la conexión por arcos o arco conexión ligeramente
más restrictiva que la conexión por caminos. Se exige que el camino sea un
homeomorfismo sobre su imagen. Aun así, la conexión por arcos y por caminos
coinciden sobre los espacios de Hausdorff.

Compacidad
Los conjuntos compactos son un tipo de conjunto mucho más difíciles de definir. Un
espacio es compacto si para todo recubrimiento por abiertos (familia de abiertos
cuya unión contiene al espacio total X) existe subrecubrimiento finito (familia
finita de abiertos, formada sólo por conjuntos de la familia anterior, cuya unión
contiene a X).

En un espacio métrico, un conjunto compacto cumple dos condiciones: es "cerrado",

es decir contiene a todos sus puntos frontera; y es "acotado", es decir es posible
trazar una bola que lo contenga, aunque la reciproca no es necesariamente cierta.
Es decir, pueden existir conjuntos cerrados y acotados que no sean compactos. La
compacidad es una propiedad muy importante en topología, así como en Geometría y en
Análisis Matemático.

En cualquier espacio topológico, un conjunto cerrado dentro de un compacto, siempre

es compacto. Además, en un espacio topológico de Hausdorff, un compacto siempre es
cerrado.

Metrización
Una topología sobre un conjunto es metrizable si es posible encontrar una distancia
de forma que los abiertos para esa distancia sean exactamente los abiertos de la
topología de partida. La metrizabilidad es también una propiedad muy deseable en un
espacio topológico, pues nos permite dar una caracterización muy sencilla de los
abiertos de la topología, además de implicar otras ciertas propiedades.

Separación
Las propiedades de separación son ciertas propiedades, cada una un grado más
restrictiva que la anterior, que nos indican la "resolución" o "finura del grano"
de una topología. Por ejemplo, la propiedad de separación T2 significa que para dos
puntos distintos siempre pueden encontrarse entornos disjuntos (es decir que no se
cortan).

Densidad
Un conjunto es denso en el espacio si está "cerca de todos los puntos" de ese
espacio. De manera más precisa, un conjunto es denso si su clausura topológica es
todo el espacio. Equivalentemente, un conjunto es denso si su intersección con
cualquier abierto no vacío del espacio es también no vacía. Un conjunto se dice que
es separable si tiene algún subconjunto denso y numerable.

Topología producto y topología cociente

La topología producto nos proporciona una manera de dotar de una topología al
producto cartesiano de varios espacios topológicos, de tal manera que se conserven
buenas propiedades, en particular que las proyecciones sobre cada factor sean
aplicaciones continuas y abiertas. La topología cociente nos proporciona una manera
de dotar de una topología al cociente (espacio de clases) de un espacio por una
relación de equivalencia, de manera que tenga el mayor número posible de conjuntos
abiertos y sin embargo la proyección sea continua (es decir la imagen recíproca de
cada abierto sea un abierto).

Topología algebraica
La topología algebraica estudia ciertas propiedades relacionadas con la conexión de
un espacio, propiedades que podríamos describir como la "porosidad" de un espacio,
la cantidad de boquetes que presenta. Para ello se vale de instrumentos
algebraicos, fundamentalmente la teoría de grupos y el álgebra homológica, hasta
tal punto que su desarrollo es totalmente algebraico.

En la topología algebraica se consideran una gran diversidad de problemas incluidos

en la teoría de nudos por ejemplo, o en la teoría de homotopías y la teoría de
homología.

Para comprender sucintamente estas cuestiones, volvamos a los ejemplos de conjuntos

conexos. Según hemos dicho, una rejilla, una bola de hierro o una esponja son
conjuntos conexos. Sin embargo todos entendemos que parece que no tienen el mismo
«grados de conexión», por expresarlo de alguna manera. Mientras que una bola de
hierro es maciza, una esponja y una rejilla tienen agujeros, e incluso parece claro
que entre estos hay también una cierta diferencia. La homotopía y la homología
tratan estas cuestiones.