UNIVERSIDAD PEDAGÓGICA NACIONAL FRANCISCO MORAZÁN

CENTRO UNIVERSITARIO DE EDUCACION A DISTANCIA

SECCIÓN DE MATEMÁTICA
DE LOS DOCUMENTOS DE MAURICIO MONCADA

TEMA: LECTURA BÁSICA SOBRE TOPOLOGÍA

La Topología es una disciplina Matemática 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, entre otros múltiples atributos
donde destacan conectividad, compacidad, metricidad, etcétera. Los matemáticos
usan la palabra topología con dos sentidos: informalmente es el sentido arriba
especificado, y de manera formal se refieren 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 como espacio
topológico.

Idea intuitiva

Generalmente se presenta la Topología como la "Geometría de la página de goma".

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, longitud, área, 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, de agujeros, de 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 por
algún punto). Ésta 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.

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 sólo 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 interpretación de problemas topológicos, o incluso de
algunos conceptos. El intentar visualizar los conceptos es un error frecuente entre
los principiantes en la Topología, que les hace avanzar muy lentamente cuando no
pueden encontrar un ejemplo gráfico, tener una visión parcial de algunos
conceptos, e incluso incurrir en errores. Es frecuente entre los estudiantes
primerizos escuchar que "no entienden la Topología" y que no les gusta esa rama, y
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ógicos.

Una taza transformándose en

una dona (toro)

Un ejemplo muy clarificador, Observemos la

siguiente imagen:

Es un plano del metro de Madrid. Aquí 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
(de hecho, si fuera exacto sería bastante más
difícil de utilizar). Sin embargo, este plano es
exacto en cierto sentido; representa fielmente
cierto tipo de información, la única que
necesitamos para decidir nuestro camino por
la red de metro, a esto se le llama 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 inconmensurables 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 el concepto 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 lo que llevó a 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 trae 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 J. B. 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 fue quien introdujo
el concepto de espacio métrico en 1906.

Algo de 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 X, que será el ambiente en el que nos
moveremos, y al que llamaremos espacio. Tomaremos un elemento cualquiera x de
X. A los elementos del espacio se les llama puntos, así que x será llamado punto,
independientemente de que x sea una función, un vector, un conjunto, un ideal
primo en un anillo conmutativo y unitario, etc. Un subconjunto V de X será un
entorno de x si x es elemento de V y existe un conjunto abierto G de manera que G
esté incluido en V. ¿Qué entenderemos por conjunto abierto? Aquí está el quid de
la cuestión: una colección T de subconjuntos de X se dirá que es una topología
sobre X si X es uno de los elementos de esa colección, si 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 T se les denomina
abiertos de la topología T, y al par (X, T) se le denomina espacio topológico.

Las condiciones para que T sea topología sobre X son entonces estas:

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 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. Una distancia sobre un conjunto X es una aplicación
que verifica las siguientes propiedades:

si y sólo si ;

Cualesquiera que sean .

Si tenemos definida una distancia sobre X, diremos que la pareja es un

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

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

 La Topología General o Topología Conjuntista,

 La Topología Algebraica y
 La Topología Diferencial o Geometrí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 X un conjunto cualquiera y P(X) el conjunto de sus partes. Una topología sobre
X es un conjunto que cumpla que , , si
entonces , y que si entonces . A los elementos
de T se les denomina conjuntos abiertos. Al par (X, T) se le denomina espacio
topológico. A los elementos de X se les suele denominar puntos.

Nótese que desde un primer momento hemos especificado que el conjunto 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 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 o en
o 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 o a trabajar en espacios vectoriales arbitrarios.

En lo que sigue, (X, T) representará siempre un espacio topológico.

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

se dice que es cerrado si su complementario 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 , 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 X como son conjuntos cerrados.

Si , el conjunto es una topología para Z. Se

dirá entonces que el espacio (Z, TZ) es subespacio topológico del (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 se dice que es base (de la topología T) si para cualquiera

que sea el existe un conjunto de manera que .

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 sub-base, 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 un conjunto cualquiera y sea un punto arbitrario. Se dice que A

es entorno de x si existe un conjunto abierto G de manera que . Todo
conjunto abierto es entorno de todos sus puntos. Al conjunto de todos los entornos
de un punto x se le denomina sistema de entornos de 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 de entornos de un mismo punto x se dice que es una base de

entornos (o base local) de x si dado cualquier entorno V de x existe un
de manera que .

Se dice que un espacio topológico cumple el Primer Axioma de Numerabilidad (I

AN) 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

Se dice que es un punto interior de A si A es entorno de x. Así, el conjunto

de los puntos interiores a A es un conjunto abierto, denominado Interior de A, que
se denota por Int(A) o también como . Es el mayor conjunto abierto incluido en
A.
Un punto se dirá que es un punto exterior a A si es entorno de y. Así
mismo, el conjunto de los puntos exteriores a A es otro conjunto abierto,
denominado Exterior de A y denotado por Ext(A).

Un punto se dice que es un punto frontera de A si todo entorno V de z es tal

que y . Al conjunto del punto frontero de A se
le denomina Frontera de A y se denota por Fr(A). La frontera de A es un conjunto
cerrado.

Adherencia, acumulación, puntos aislados

Un punto se dice que es un punto de adherencia de A si todo entorno V de

x es tal que . 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 A se le denomina adherencia o clausura de A, y se denota por Cl(A) o
por . La clausura de un conjunto A es un conjunto cerrado, y es el menor
conjunto cerrado que contiene al conjunto.

Un punto se dice que es un punto de acumulación de A si todo entorno V

de x es tal que . 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 Ad o por A'.

Un punto se dice que es un punto de Ω-acumulación de A si todo entorno

V de x es tal que es un conjunto infinito. 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 o por A'Ω. Todo punto de
Ω-acumulación es punto de acumulación, y todo punto de acumulación es punto
de adherencia del mismo conjunto.

Un punto se dice que es un punto aislado de A si existe algún entorno

perforado V de x (es decir, un conjunto de manera que es un
entorno de x) de manera que . Al conjunto de los puntos aislados de
A se le denomina conjunto de los puntos aislados de A, y se le denota por Aa.
Todo punto aislado es punto frontera y también es punto de acumulación 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 es
una aplicación .

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

Se dice que es un punto límite de la sucesión , o bien que
converge al punto , si se cumple que, cualquiera que sea el entorno de existe
un número natural n0 de tal manera que si n es otro número natural mayor o igual
que n0 (o sea, ) entonces se cumple que .

Hay que hacer dos observaciones sobre esto:

 En primer lugar, no se dice que el punto al que la sucesión converge tenga

por qué existir necesariamente. 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 se le denomina límite
de (y se le denota por , o también por ).
 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 es punto de aglomeración de la sucesión si cualquiera

que sea el entorno V de x se cumple que el conjunto 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 ) 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 entre dos espacios topológicos se dice que
es continua si dado cualquier conjunto abierto en , el conjunto
es un conjunto abierto en .

Con la misma notación, si , diremos que es continua en cuando se

obtiene que es un entorno de , cualquiera que sea el entorno de .

Es inmediato entonces comprobar que es continua cuando y sólo cuando es

continua en , 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 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 se dice que es conexo por caminos (o bien arco conexo) si todo par
de puntos puede unirse mediante un camino, esto es,
continua de tal manera que y
. Todo conjunto conexo por caminos es conexo, pero no todo conjunto
conexo es conexo por caminos.

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.

Compacidad

Los conjuntos compactos son un tipo de conjunto mucho más difíciles de definir.
Basta con decir que un conjunto es compacto si no es posible que sus elementos
"tiendan a escaparse de él". La compacidad es una propiedad muy importante en
Topología, así como en Geometría y en Análisis Matemático.

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 de puntos son ciertas propiedades, cada una un

grado más restrictivo que la anterior, que nos hablan de si una topología permite
tener entornos distintos para puntos distintos, es decir, si dos puntos (o dos
subconjuntos) son distintos, ¿existen siempre entornos de los puntos que no tengan
nada en común?

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 es todo el
espacio. Un conjunto se dice que es separable si tiene algún subconjunto denso y
numerable.

Topología producto

La topología producto de varios espacios topológicos nos proporciona una manera

de dotar de una topología al producto cartesiano de espacio topológicos, de tal
manera que se conserven buenas propiedades. La topología cociente de un espacio
mediante una relación nos dota de topología al conjunto cociente de un espacio
topológico por una relación de equivalencia (es decir, se establece una propiedad
por la cual diremos que dos elementos distintos son equivalentes si cumplen esa
propiedad; en ese caso, el conjunto cociente es aquél en el que los elementos
equivalentes se consideran iguales, y la topología cociente es aquella que respeta
esa relación de equivalencia).

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 "grado 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.

Banda de Möbius

Una cinta de Möbius construida con un trozo de papel y cinta adhesiva.

La banda de Möbius o cinta de Möbius (pronunciado /ˈmøbiʊs/ o en español a

menudo "moebius", pero nunca "mobius") es una superficie con un solo lado y un
solo componente de contorno. Tiene la propiedad matemática de ser un objeto no
orientable. También es una superficie reglada. Fue co-descubierta en forma
independiente por los matemáticos alemanes August Ferdinand Möbius y Johann
Benedict Listing en 1858

El símbolo internacional de Reciclaje es una banda de Möbius.

La banda de Möbius tiene una serie de propiedades curiosas.

Para construirla se parte de una cinta cerrada de dos componentes en la frontera

(un cilindro ), se hace un corte (entre las dos fronteras), se gira 180° uno de
los extremos y se vuelve a pegar. La banda resultante tiene sólo un borde, lo que se
puede comprobar siguiendo el borde con un dedo, por ejemplo, y notando que se
alcanza el punto opuesto sin haber atravesado la superficie; así mismo, si se trata
de pintar un lado de un color y el opuesto de otro, se llegará al momento en que
los dos colores choquen. Si se parte con una díada (pareja) de ejes perpendiculares,
y se desplaza paralelamente a lo largo de la cinta, se llegará al punto de partida con
la orientación invertida. Este objeto se utiliza frecuentemente como ejemplo en
topología.

Geometría y topología

Plot paramétrico de una banda de Möbius

Para transformar un cuadrado en una banda de Möbius, unir las aristas

etiquetadas con A de manera tal que las direcciones en que las flechas apuntan sea
la misma.

Una forma de representar la banda de Möbius (cerrada y con frontera) como un

subconjunto de es mediante la parametrización:

donde y . Esto produce una banda de Möbius de

ancho unitario, cuyo círculo central tiene radio unitario y se encuentra en el plano
coordenado x-y centrada en (0,0,0). El parámetro u recorre la banda -
longitudinalmente, mientras v se desplaza de un punto a otro en el borde cruzando
transversalmente el círculo central.

Con la parametrización anterior podemos obtener su curvatura gaussiana la cual

es:

En coordenadas cilíndricas (r, θ, z), se puede representar una versión sin frontera
(abierta) de la banda de Möbius mediante la ecuación:

Topológicamente, la banda de Möbius puede definirse como el cuadrado

que tiene sus aristas superior e inferior identificadas (topología
cociente) por la relación para , como en el diagrama
que se muestra en la figura de la derecha.

La banda de Möbius es una variedad bidimensional (es decir, una superficie). Es

un ejemplo estándar de una superficie no orientable. La banda de Möbius es un
ejemplo elemental -también- para ilustrar el concepto matemático de fibrado
topológico.

Precisamente, como objeto topológico, la banda de Möbius también es considerada

como el espacio total de un fibrado no trivial teniendo como base el círculo S1
y fibra un intervalo, i.e.

El contraste con el fibrado trivial es agradable pues se sabe que

sólo hay dos de estos fibrados E

Es decir, y son todos los I-fibrados sobre el círculo.

Objetos relacionados
Un análogo de la banda de Möbius es la botella de Klein, que es un objeto cerrado
que tiene solo una superficie, no se puede diferenciar el "afuera" del "adentro".

Esto último significa que mientras la banda se encaja (embedding) en , la botella

no.

Trivia

El 17 de octubre de 1996, se estrena la película Moebius , realizada en Argentina.

Dicha película hace referencia a la teoría de la cinta que lleva el mismo nombre,
aplicada a una supuesta red de subterráneos de la Ciudad de Buenos Aires
ampliada. Se basa en un cuento de A. J. Deutsch, 'A Subway Named Moebius'
(1950).

Botella de Klein

En topología, una botella de Klein es una superficie no orientable cerrada de

característica Euler igual a 0 que no tiene ni interior ni exterior. Fue concebida por
el matemático alemán Christian Felix Klein, de donde se deriva el nombre.

La botella: Se puede obtener una representación tridimensional de una Botella de

Klein introduciendo el extremo delgado de una botella o de un matraz a través de
uno de los lados del recipiente y uniéndolo a la base. Hay que recalcar que dicha
representación no es una Botella de Klein. Físicamente puede ser realizada sólo en
un espacio de cuatro dimensiones, puesto que debe pasar a través de sí misma sin
la presencia de un agujero.

Como fibrado: Esta superficie (simbolizada por K) puede considerarse como el

espacio total de un fibrado (no trivial) sobre el círculo donde la fibra es también un
círculo, i.e. . En contraste el toro también es un fibrado, pero es
trivial, esto es .

Otro concepto con el mismo nombre

En la geometría algebraica, una superficie de Klein, que se diferencia de la botella

de Klein, es el similar de una superficie de Riemann en el sentido de que una
superficie de Klein admite una estructura di-analítica, es decir una estructura
analítica que adiciona una posible función de transición a una estructura analítica,
consistente en la conjugación compleja, determina una que es anti - analítica.

Anécdotas

El nombre original del objeto no fue el de botella de Klein (en alemán Kleins
Flasche), sino el de superficie de Klein (en alemán Kleins Fläche). El traductor de la
primera referencia al objeto del alemán al inglés confundió las palabras. Como la
apariencia de la representación en recuerda a una botella, casi nadie se dio
cuenta del error.

Nudo borromeo

Se llama nudo borromeo o nudo Borromi al constituido por tres aros enlazados de
tal forma que, al cortarse uno cualquiera de los tres, se separan los otros dos. Pero
estrictamente hablando es un enlace.
Por esta característica resulta interesante para la topología combinatoria y para la
Teoría de nudos. La denominación tiene origen en que la familia nobiliaria italiana
apellidada Borromi adoptó los tres círculos unidos en un nudo como principal
emblema heráldico de su blasón.

Suele graficársele como tres circunferencias parcialmente traslapadas o solapadas

que forman una zona central de intersección, tal como si se tratara de tres
diagramas de Venn que se intersectan de tal manera que al "cortar" uno de sus
lazos se liberan los tres.

En psicoanálisis, a partir de la obra de Lacan se utiliza el nudo borromeo para

graficar la relación entre los tres registros psíquicos característicos del hablante-ser:
el Registro de Lo Real, el Registro de Lo Imaginario y el Registro de Lo Simbólico,
nucleados en torno al objeto a.

Aunque aún no está constatado anatómicamente de un modo pleno, es probable

que en el sistema nervioso central del ser humano existan circuitos neuronales
"enlazados" de un modo semejante al del nudo borromeo.

Representado con tres lazos circulares de iguales dimensiones ha sido utilizado

por la cristiandad -al igual que el triángulo equilátero- como alegoría de la
Santísima Trinidad.

Problema de los puentes de Königsberg

El problema de los siete puentes de Königsberg (Prusia oriental en el siglo XVIII -

ciudad natal de Kant- y actualmente, Kaliningrado, en la óblast rusa de
Kaliningrado) es un célebre problema matemático que fue resuelto por Leonhard
Euler en 1736 y dio origen a la Teoría de los grafos.

Consiste en lo siguiente: Dos islas en el río Pregel que cruza Königsberg se unen
entre ellas y con la tierra firme mediante siete puentes. ¿Es posible dar un paseo
empezando por una cualquiera de las cuatro partes de tierra firme, cruzando cada
puente una sola vez y volviendo al punto de partida?
Euler enfocó el problema representando cada parte de tierra por un punto y cada
puente, por una línea, uniendo los puntos que se corresponden. Entonces, el
problema anterior se puede trasladar a la siguiente pregunta: ¿se puede recorrer el
dibujo terminando en el punto de partida sin repetir las líneas?

Euler demostró que no era posible puesto que el número de líneas que inciden en
cada punto no es par (condición necesaria para entrar y salir de cada punto
regresando al punto de partida por caminos distintos en todo momento). En teoría
de los grafos esta idea se corresponde con la posibilidad de encontrar un Ciclo
Euleriano en un grafo.

Mapa de Königsberg
Este mapa de Königsberg de la época de Euler muestra dónde se encontraban los
siete puentes (en verde claro) y las ramas del río (en azul cielo).

Espacio cociente

En matemáticas siempre se busca generar nuevos objetos a partir de los ya

existentes, y topología no es la excepción.

Cuando se tiene un espacio topológico cualquiera y uno quiere "pegar" algunos de

sus puntos y hacer un nuevo espacio topológico uno se pregunta ¿Cómo tengo que
definir mi conjunto y mi topología para que coincida con la idea de "pegar"? la
respuesta fue la Topología cociente que ahora mismo daremos una definición de
ella

Definición:

Sea (X, t) un espacio topológico, Y un conjunto arbitrario y f:X->Y una función

sobreyectiva. Se define a (Y, tf) le llamaremos la
topología inducida por (X, t) y f

Ahora si tomamos Y como una partición de X con y f:X->Y como la función

proyección natural; ie. f(x)=[x] donde [x] es el único elemento de Y tal que .
(Y,tf) se llama la topología cociente de X bajo la partición Y.

Esta definición coincide con la que sigue: Sea (X, t) un espacio topológico, y Y una
partición de X entonces el espacio topológico (Y, tf) donde tf=
coincide con la topología definida anteriormente

Propiedades

 La función f es continua y esta topología es la mas fina topología que hace

esto
 La propiedad universal: La topología cociente es la única topología que
cumple que para cualquier espacio topológico (Z, t) y cualquier función g:(Y,
tf)->(Z, t) se tiene que g es continua ssi es continua

En la matemática, la topología diferencial es una rama de conocimientos que

considera las variedades diferenciables y a las funciones diferenciables entre ellas.
Estudia las posibles estructuras diferenciables que las variedades pueden portar.
Es un ciencia adyacente a la geometría diferencial.
Topología Diferencial: La topología diferencial usa una de las principales
herramientas de la teoría de intersección: transversalidad, para establecer sus
principales resultados.

Algunas de las cuestiones que esta ciencia trata de responder son:

 ¿Cuántas estructuras diferenciables tiene una 2-variedad? ¿Y una 3-

variedad?
 ¿Puede una cierta variedad diferenciable ser encajada (del inglés: embedded)
en otra?
 Si dos variedades diferenciables son homeomorfas ¿son difeomorfas?
 ¿Qué variedades diferenciables son frontera de variedades compactas?

Topología geométrica

La topología geométrica (topología de dimensiones bajas) es el área de la

topología y la topología algebraica que estudia problemas geométricos, topológicos
y algebraicos que surgen en el estudio de variedades de dimensiones menores que
5, espacios localmente homeomorfos a los espacios euclídeos, desde dimensión
cero hasta la cuarta. Sus métodos están inspirados en la geometría y la topología de
fenómenos físicos inclusive relativistas y cuánticos e idealizaciones abstractas
modernas sobre el concepto de dimensiones: destacadamente y prominentemente,
en tres y cuatro dimensiones.

Para ésta ciencia -que estudia las variedades y los encajes y encajes propios entre
ellas-, estos son algunos de los temas representativos de esta ciencia: la teoría de
nudos; clasificación de 3 y 4-variedades; Complementos de nudos en la n-esfera,
Sn; TQFT.

La topología de dimensiones bajas (como también se le conoce) es considerada una

ciencia de una gran interactividad entre todas la ramas de la matemática y con
otras de la física. Una de las cuestiones importantes de esta rama (recién resuelta
por Perelman del 2006) es la célebre Conjetura de Poincaré, tanto como la conjetura
de geometrización de Thruston.

Tópicos

 Curva: Parametrización de un camino diferenciable entre dos puntos en

algún espacio
 Trayectoria: Casi como una curva pero no necesariamente diferenciable,
sólo se pide continuidad
  Círculo o 1-esfera: cualquier trayectoria o camino o curva cerrada simple
 Grupo fundamental: Functor de la topología algebraica que asigna a un
espacio, X, su grupo fundamental π1(X)
 Nudo: En el espacio X, es un subconjunto K de X, que es homeomorfo a la
uno-esfera
 Enlace: Conjunto de componentes conexas, cada componente homeomorfo a
S1
 Trenza (braid): Conjunto unidimensional que tiene el tipo homotópico de
un wedge de círculos
 Grupo de trenzas (braid group)
 Nudo tórico: curva cerrada simple en la superficie del toro

2-variedades

 Superficie: La cáscara de objetos tridimensionales. Objetos localmente

homeomorfos a
 esfera
 Toro (matemáticas):
 Plano proyectivo: Espacio bidimensional construido apartir de identificar la
frontera de una banda de Möbius y la frontera de un disco
 Botella de Klein: Espacio que se crea, al pegar la frontera de dos bandas de
Möbius
 Aro o cilindro: I-bundle trivial sobre la 1-esfera
 Banda de Möbius: Fibrado no trivial por intervalo sobre un círculo (I-bundle
over S¹)
 Característica de Euler: Igual a número de vertices menos número de lados
más número de caras. Es invariante al poner más vertices y por ende lados y
caras
 Plano complejo:
 Plano cartesiano:
 Curvatura de superficies: Concepto de medida de como se curvan las
superficies localmente, teniendo como patrón la esfera de radio r que se
curva localmente 1/r² en cada uno de sus puntos. Observe que entre más
grande el radio, la curvatura tiende a cero (que es la curvatura del plano).
Dicho de otra manera: un plano es como una esfera de radio infinito.

3-variedades
Esquema de simplicidad de una tres-variedad hiperbólica

 3-esfera o bien SU(2)

 espacio proyectivo
 fibrados de Seifert
 Surface Bundle
 esfera homológica
 Conjetura de Poincaré
 SO(3)
 Poliedros [1]
 Politopo regular
 Complemento de un nudo
 género de Heegaard
 espacio hiperbólico

4-variedades

 espacio-tiempo
 Relatividad
 Espacio de Minkowski
 Pentácoron

Variedades en general

 Prisma
 tetraedro
 homeomorfismo
 Homotopía
 Homeotopía
 función circular
 LS-categoría
 Descomposición de Heegaard
 Suma conexa
 Teorema de Jordan-Schönflies
 Teoría de calibración
 Topología PL
 Fibrado (bundle)
 Variedad de Riemann
 Chern-Simons
 Clase característica
 Orbifold
 Twistor
 Spinor
 Tensor de curvatura
 Grupo de Lie
 Cálculo de variaciones
 Mecánica clásica
 cubierta ramificada
 Flujo de Ricci
 Cubo con asas
Celebridades de la topología de dimensiones bajas.
Anexo: Glosario de topología

Esto es un glosario de algunos términos que se usan en la rama de la matemática

conocida como topología. Este glosario estará centrado fundamentalmente en lo
que podemos llamar la topología general y en las definiciones que sean
importantes para varias áreas. Puedes ver el artículo sobre espacios topológicos
para consultar las definiciones básicas y algunos ejemplos, y también el artículo
"Topología" para tener una descripción introductoria de la materia.

Añadimos los siguientes artículos que te pueden también resultar de utilidad,

que contienen vocabulario especializado o bien dan más detalles acerca de lo que
exponemos en este glosario.

 lista de tópicos en topología general.

o espacio compacto
o espacio conexo
o continuidad (topología)
o espacio métrico
o conjuntos separados
o axioma de separación
o espacio uniforme

En este artículo cuando digamos "espacio" queremos decir espacio topológico, a

no ser que digamos otra cosa.

Las entradas del glosario a veces van por el adjetivo, por ejemplo, punto aislado
está en la "a", espacio de Sierpinski en la "s", esto es, cuando a un concepto más
común, como punto, espacio, etc, le añadimos algo, esto último regirá la
correspondiente entrada del diccionario.

 conjunto abierto. Un miembro de la topología. Relacionado con el

concepto de interior de un conjunto

 Aplicación abierta. Una función de un espacio a otro es abierta si la

imagen de cualquier abierto es abierta.

 Accesible. Ver T1.

  adherencia o clausura. La adherencia de un conjunto es la intersección de
todos los conjuntos cerrados que lo contienen. Es el cerrado más pequeño
que contiene al conjunto original.

 punto aislado. Un punto x es un punto aislado si el conjunto singletón {x}

es abierto.

 espacio de Baire. Un espacio es un espacio de Baire si cualquier

intersección enumerable de conjuntos abiertos densos es también densa.

 Base. Un conjunto de conjuntos abiertos es una base (o basis) para una

topología si cada conjunto abierto en la topología es unión de conjuntos de
la base. La topología generada por una base es la menor topología que
contenga los elementos de la base; esta topología está compuesta de todas
las uniones de elementos de la base.

 base de entornos. Ver base local.

 álgebra de Borel. El álgebra de Borel sobre un espacio X es la menor σ-

algebra que contenga todos los conjuntos abiertos.

 Boreliano, o conjunto de Borel. Un conjunto de Borel es un elemento de

un álgebra de Borel.

 Cauchy, sucesión de Cauchy. Una sucesión {xi} en un espacio métrico M

con la métrica d es llamada sucesión de Cauchy (o Cauchy de forma
breve) si para todo número real positivo r, existe un número entero N tal
que para todo par de enteros m y n mayores que N, la distancia d(xm, xn) es
menor que r.

 Clopen, conjunto clopen. Un conjunto es clopen si es abierto y cerrado.

 Cerrado, conjunto cerrado. Un conjunto es cerrado si el complementario

es un miembro de la topología (un abierto).

 función cerrada. Una función de un espacio a otro es cerrada si la imagen

de cada conjunto cerrado es cerrada.
  espacio cociente. Si X e Y son espacios y f : X → Y es cualquier función, el
espacio cociente sobre Y inducido por f es la topología menos fina para la
que f es continua. El ejemplo más común de este espacio es el que se
consigue con una relación de equivalencia en X, siendo Y el conjunto de
las clases de equivalencia y f la aplicación proyección natural.

 Compacto. Un espacio es compacto si todo recubrimiento abierto contiene

un subrecubrimiento finito. Los espacios compactos son siempre Lindelöf
y paracompactos. Los espacios compactos Hausdorff son por tanto
normales.

 Contablemente compacto. Un espacio es contablemente compacto si cada

recubrimiento enumerable abierto tiene un subrecubrimiento finito.

 Topología compacto-abierta Una topología sobre el conjunto de las

aplicaciones continuas C(X, Y) entre dos espacios topológicos X e Y
definida como sigue:

Dado un subconjunto compacto y un subconjunto abierto

denotemos con VK,U al conjunto de todas las funciones tales que
. La topología se obtiene tomando la colección de todos los VK,U como
subbase de la topología.

 Completo. Un espacio métrico es completo si cada sucesión de Cauchy

converge.

 Completamente metrizable. Es un espacio cuya topología es inducida por

una métrica en el.

 Completamente normal. Un espacio es completamente normal si

cualesquiera dos conjuntos separados tienen entornos disjuntos.

 Completamente normal y Hausdorff. Un espacio completamente normal

y Hausdorff (o de tipo T5) es un espacio completamente normal y de tipo
T1. (Un espacio completamente normal es Hausdorff ssi es T1, así que la
terminología es consistente.) También los espacios "completamente
normales" y Hausdorff son siempre normales y Hausdorff.
  Completamente regular. Un espacio es completamente regular si para
cualesquiera C (conjunto cerrado) y p punto que no esté en C, C y {p} están
funcionalmente separados.

 completamente T3. Ver Tychonoff.

 Componente. Ver componente conexa.

 Conexo. Un espacio X es conexo si no es la unión de un par de conjuntos

no vacíos y abiertos. De forma equivalente, un espacio es conexo si los
únicos conjuntos "clopen" son el conjunto vacío y todo el espacio X.

 Conexo por caminos. Un espacio X es conexo por caminos si para cada

dos puntos x, y en X, existe un camino p de x a y, esto es, una aplicación
continua p: [0,1] → X con p(0) = x y p(1) = y. Los espacios de este tipo son
siempre conexos.

 componente conexa. Una componente conexa de un espacio es un

subespacio conexo maximal. Las componentes conexas del espacio forman
una partición del mismo.

 Continua (aplicación o función). Una función de un espacio a otro es

continua si la preimagen de cualquier conjunto abierto es abierta.

 Continuo. Un continuo es un conjunto conexo y compacto.

 Contractible. Un espacio X se dice contractible si la aplicación identidad

sobre X es [[homotopía|homotópica a una aplicación constante. Los
espacios contractibles son siempre simplemente conexos, simple-conexos.

 Cubierta. Ver recubrimiento.

 Cubo con asas, contrucción topológica para estudiar variedades mediante

descomposiciones en subvariedades más sencillas.

 topología débil. La topología débil en un conjunto, con respecto a una

colección de funciones desde ese conjunto a espacios topológicos, es la
topología más débil sobre el conjunto que hace que todas las funciones
sean continuas.
  débilmente hereditaria. Una propiedad de los espacios se dice débilmente
hereditaria si cuando un espacio la tiene, entonces todo subespacio
cerrado también. Por ejemplo, la compacidad y la propiedad Lindelöf son
ambas débilmente hereditarias, aunque ninguna es hereditaria.

 denso. Un conjunto denso es uno que "intersecciona" a todo abierto no

vacío del espacio. De forma equivalente, un conjunto es denso si su
adherencia es todo el espacio (por ejemplo es denso en considernado
en ambos casos la topología inducida por la métrica).

 conjunto denso en ninguna parte. Es un conjunto cuya adherencia tiene

interior vacío.

 topología discreta. Ver espacio discreto.

 espacio discreto. Un espacio X es un espacio discreto si cada subconjunto

de X es abierto. Decimos que X tiene la topología discreta.

 Disco (matemática) cerrado o abierto, figura geométrica, concepto

topológico en espacios métricos. Ver epsilon vecindad.

 Entorno. Un entorno de un conjunto S es un conjunto que contiene a un

abierto que a su vez contiene a S. (Notar que el entorno en sí mismo no
necesita ser abierto.) Un entorno de un punto p es un entorno del conjunto
singletón {p}. Es lo mismo que vecindad. Véase interior de un conjunto.

 Entorno agujereado de "p". Un entorno así, de un punto p es un entorno

de p, menos {p}. Por ejemplo, el intervalo (-1,1) = {x : -1 < x < 1} es un
entorno de 0 en la línea real, y el conjunto (-1,0) ∪ (0,1) = (-1,1) - {0} es un
entorno agujereado del 0.

 "Entourage". Ver espacio uniforme.

 Estructura uniforme. Ver espacio uniforme.

 espacio recubridor. Es un espacio tal que existe homeomorfismo

sobreyectivo y otro espacio al que se dice que recubre.

F
  Fibrado. Manera estandar de construir nuevos espacios a partir desde
otros conocidos. Generaliza la construcción de producto cartesiano.

 Frontera. La frontera de un conjunto es la adherencia del conjunto menos

su interior. O de forma equivalente, la frontera de un conjunto es la
intersección de su adherencia con la adherencia del complementario.

 conjunto Fσ. Un conjunto Fσ es una unión enumerable de cerrados.

 Funcionalmente separados. Dos conjuntos A y B en un espacio X son

funcionalmente separados si existe una función continua desde X al
intervalo [0,1] con la propiedad de que A es llevado al 0 y B al 1.

 conjunto Gδ. Un conjunto Gδ es una intersección enumerable de abiertos.

 Hausdorff. Un espacio es Hausdorff (o T2) si todo par de puntos distintos

tienen entornos disjuntos. Los espacios Hausdorff son siempre T1.

 Hereditario. Una propiedad de espacios es hereditaria si ocurre que

teniéndola un espacio la tienen también todos sus subespacios. Por
ejemplo, la segunda-contabilidad es una propiedad así.

 homeomorfismo. Un homeomorfismo de un espacio X a otro Y es una

aplicación biyectiva f : X → Y tal que f y f -1 son continuas. Los espacios X e
Y se dirían entonces homeomorfos. Desde el punto de vista "geométrico-
topológico", o sea, desde el punto de vista de la topología, dos espacios
homeomorfos son idénticos.

 homogéneo. Un espacio X es homogéneo si para cada x e y en X existe un

homeomorfismo f : X -> X tal que f(x) = y. Intuitivamente significa que el
espacio parece el mismo desde cada punto. Todos los grupos topológicos
son homogéneos.

 Aplicaciones homotópicas, homótopas. Dos aplicaciones continuas f, g : X

-> Y son homótopo si existe una aplicación continua H: X× [0,1] → Y, tal
 que H(x,0) = f(x) y H(x,1) = g(x) para todo x en X. Aquí el espacio X × [0,1]
viene dado por la topologíá producto usual. La función H se llama
homotopía entre f y g.

 espacio indiscreto. Ver topología trivial.

 topología indiscreta. Ver topología trivial.

 Interior (topología). El interior de un conjunto es la unión de todos los

conjuntos abiertos contenidos en él. Es el conjunto abierto más grande
contenido en el original.

 Kolmogorov. Ver T0.

 axiomas de cerrados de Kuratowski. Son un conjunto de axiomas

satisfechos por el operador de adherencia "C":

1. isotonicidad: cada conjunto A está contenido en su adherencia C(A).

2. Idempotencia: la adherencia de un conjunto A (C(A)) es igual a la
adherencia de C(C(A)).
3. Preservación de uniones binarias: la adherencia de una unión de dos
conjuntos es la unión de sus adherencias.
4. Preservación de uniones "nulas": La adherencia del conjunto vacío es
vacía.

 punto límite. Un punto x en X es un límite de un subconjunto S si cada

conjunto abierto que contenga a x también contiene un punto de S distinto
de x. Esto es equivalente a pedir que cada entorno de x contenga un punto
de S distinto del propio x.

 Lindelöf. Un espacio es Lindelöf si cada recubrimiento abierto tiene un

subrecubrimiento contable. Ver recubrimiento abierto.
  base local. Un conjunto B de entornos de un punto x en un espacio X es
una base local (o base de entornos) en un punto x si cada entorno de x
contiene algún miembro de B.

 localmente. Un espacio se dice que cumple la propiedad P localmente si

para cada punto existe un entorno donde la propiedad se cumple.

 Localmente compacto. Un espacio lo es si cada punto tiene una base local

compuesta de entornos compactos. Los espacios localmente compactos
son simempre Tychonoff.

 Localmente conexo. Un espacio lo es si cada punto tiene una base local de

conjuntos conexos.

 Localmente finito. Una colección de subconjuntos de un espacio es

localmente finita si cada punto tiene un entorno que intersecciona sólo un
número finito de tales subconjuntos.

 Localmente metrizable. Un espacio lo es si cada punto tiene un entorno

metrizable.

 Localmente conexo por caminos. Un espacio lo si cada punto tiene una

base local compuesta de conjuntos conexos por caminos. Un espacio
localmente conexo por caminos es conexo ssi es conexo por caminos.

 Meagre. Ver primera categoría.

 métrica. Ver espacio métrico.

 espacio métrico. Es un conjunto M equipado con una función

d : M × M → R que satisface las siguientes condiciones para todo x, y, z en
M:

1. d(x, y) ≥ 0
2. d(x, x) = 0
3. si d(x, y) = 0 entonces x = y (identidad de indiscernibles)
4. d(x, y) = d(y, x) (simetría)
 5. d(x, z) ≤ d(x, y) + d(y, z) (desigualdad triangular)

La función d se llama métrica en M.

 Metrizable. Un espacio lo es si es homeomorfo a un espacio métrico. Estos

espacios son siempre Hausdorff y paracompactos (y por tanto normales y
Tychonoff), y primero-contables.

 espacio normal. Un espacio es normal si cualesquiera dos conjuntos

cerrados disjuntos tienen entornos disjuntos. Los espacios normales
admiten particiones de la unidad.

 Normal Hausdorff. Un espacio normal Hausdorff (o T4) es un espacio

normal y T1. (Un espacio normal es Hausdorff ssi es T1, así que la
terminología es consistente.) Estos espacios son siempre Tychonoff.

 Paracompacto. Un espacio lo es si cada recubrimiento abierto tiene un

refinamiento abierto localmente finito. Los espacios paracompactos
Hausdorff son normales.

 Partición de la unidad. Una partición de la unidad de un espacio X es un

conjunto de funciones continuas de X a [0,1] tal que todo punto tenga un
entorno donde todas las funciones sean cero excepto un número finito de
ellas, y que la suma de todas las funciones sobre todo el espacio sea
idénticamente 1.

 Punto. Este término se usa a menudo para referirse a los elementos del
espacio topológico.

 "Polish". Un espacio se dice "Polish" si es metrizable con métrica separable

y completa.

 Precompacto. Ver relativamente compacto.

 Primera categoría, o "meagre". Si X es un espacio y A es un subconjunto

de X, entonces A es meagre en X (o de primera categoría en X) si es la
 unión contable de conjuntos densos en ninguna parte. Si A no es "meagre"
en X, A se dice a veces de segunda categoría en X.

 Primero-contable. Un espacio es primero-contable si cada punto tiene una

base local enumerable.

 topología producto. Si {Xi} es una colección de espacios y X es el producto

cartesiano de los {Xi}, entonces la topología producto sobre X es la
topología menos fina para la cual todas las aplicaciones proyección son
continuas.

 Recubrimiento. Una colección {Ui} de subconjuntos de un espacio X es un

recubrimiento o cubierta si su unión es todo el espacio X.

 Recubrimiento abierto. Un recubrimiento formado por abiertos. Ver

recubrimiento.

 Red. Una red ("net") en un espacio X es una aplicación desde un conjunto

dirigido A hacia X. Se denota usualmente con (xα), donde α es una
variable de índices que toma valores en A. Cada sucesión es una red si
elegimos que A sea el conjunto dirigido de los números naturales con el
orden usual.

 Refinamiento. Un recubrimiento K es un refinamiento de otro

recubrimiento L si cada miembro de K es un subconjunto de algún
miembro de L.

 espacio regular. Un espacio es regular si para cualesquiera C cerrado y p

un punto en C, entonces C y p tienen entornos disjuntos.

 Regular Hausdorff. Un espacio es regular Hausdorff (o T3) si es T0 y

regular. (Un espacio regular es Hausdorff ssi es T0, así que la terminología
es consistente.)

 relativamente compacto. Un subconjunto Y de un espacio X es

relativamente compacto si la adherencia de Y en X es compacta.
  Residual. Si X es un espacio y A es un subconjunto de X, entonces A es
residual en X si el complemento de A es "meagre", de primera categoría,
en X.

 Segunda categoría. Ver meagre, "primera categoría".

 Segundo-contable. Un espacio es 2º-contable si tiene una base contable

para su topología. Estos espacios son siempre separables, 1º-contables y
Lindelöf.

 Separable. Un espacio es separable si tiene un subconjunto numerable

que sea denso en el espacio.

 Separados. Dos conjuntos A y B son separados si la adherencia de cada

uno es distinta de la del otro.

 espacio de Sierpinski. Sea S = {0,1}. Entonces T = {{},{1},{0,1}} es una

topología en S, y el espacio que resulta se llama de Sierpinski. El el
ejemplo más simple de espacio que no es T1.

 Simple conexo. Un espacio X es simple conexo si es conexo por caminos y

cada aplicación continua f: S¹ → X es homótopo a una aplicación constante.

 Subbase. Un conjunto de conjuntos abiertos es una subbase para una

topología si cada conjunto abierto en la topología es una unión de
intersecciones finitas de conjuntos en la subbase. La topología generada por
una subbase es la topología más pequeña que contiene a los elementos de
la subbase; esta topología consiste de todas las intersecciones finitas de
uniones de elementos de la subbase.

 Subrecubrimiento. Un recubrimiento K es un subrecubrimiento (o

subcubierta) de un recubrimiento L si cada miembro de K es un miembro
de L.

 Subcubierta. Ver Subrecubrimiento.

 Subespacio. Si X es un espacio y A es un subconjunto de X, entonces la

topología en A inducida por X está formada por todas las intersecciones
de conjuntos abiertos en X con A.
T

 T0. Un espacio es T0 (o Kolmogorov) si para cada par de puntos distintos x

e y en el espacio, o bien existe un abierto que contiene a x pero no a y, o
existe un abierto que contiene a y pero no a x.

 T1. Un espacio es T1 (o accessible) si para cada par de puntos distintos x e

y en el espacio, existe un abierto que contiene a x pero no a y. (Comparar
con T0; aquí, permitimos especificar qué punto es el que está contenido en
el abierto.) De forma equivalente, un espacio es T1 si todos sus conjuntos
singletones son cerrados. Los espacios T 1 son siempre T0.

 T2. Ver Hausdorff.

 T3. Ver Regular Hausdorff.

 T3½. Ver Tychonoff.

 T4. Ver Normal Hausdorff.

 T5. Ver Completamente normal Hausdorff.

 Espacio topológico. Un espacio topológico es un conjunto X equipado

con una colección T de subconjuntos de X que satisface las condiciones
siguientes:

1. El conjunto vacío y X están en T.

2. La unión de cualquier colección de conjuntos en T está también en
T.
3. La intersección de cualquier par de conjuntos en T está también en
T.

La colección T se llama topología en X. Decimos que X es un espacio

topológico porque hemos dado una topológia (T) en él.

 Topología. Ver espacio topológico.

  Topológicamente completo. Un espacio topológicamente completo es un
espacio que es homeomorfo a un espacio métrico completo.

 Topología geométrica: estudio de las relaciones y propiedades entre los

espacios topológicos de dimensiones bajas. Véase topología de
dimensiones bajas

 Topología cociente. Es la forma de hacer espacio topológicos desde uno

inicial mediante relaciones de equivalencia

 Totalmente disconexo. Un espacio es totalmente disconexo si no tiene

subconjuntos conexos con más de un punto.

 topología trivial. La topología trivial en un conjunto X se compone del

conjunto vacío y de X, el espacio entero.

 Tychonoff. Un espacio Tychonoff (o completamente regular Hausdorff,

completamente T3, o T3½) es un espacio completamente regular y T 0. (Un
espacio completamente regular es Hausdorff sii es T0, así que la
terminología es consistente.) Los espacios Tychonoff son siempre
regulares Hausdorff.

 espacio uniforme. Un espacio uniforme es un conjunto U equipado con

un sistema no vacío Φ de subconjuntos del producto cartesiano X × X que
satisface:

1. si U está en Φ, entonces U contiene { (x, x) | x en X }.

2. si U está en Φ, entonces { (y, x) | (x, y) en U } está también en Φ
3. si U está en Φ y V es un subconjunto de X × X que contiene a U,
entonces V está en Φ
4. si U y V están en Φ, entonces U ∩ V está en Φ
5. si U está en Φ, entonces existe V en Φ tal que, para cualesquiera (x,
y) y (y, z) que estén en V, entonces (x, z) está en U.

Los elementos de Φ son llamados entourages, y Φ en sí mismo se dice

estructura uniforme en U.
Se han realizado numerosos estudios matemáticos acerca del arte del plegado de
papel papiroflexia u origami. Los aspectos que han despertado interés
matemático incluyen la capacidad de aplastar sin dañar una determinada figura
de papel (problema conocido como flat-foldability, o doblez plana), y el uso de
dobleces de papel para resolver ecuaciones matemáticas.

Se ha demostrado que algunos problemas geométricos de construcción clásicos,

como triseccionar un ángulo cualquiera o doblar el volumen de un cubo
cualquiera, no se pueden resolver utilizando regla y compás, pero se pueden
resolver bastante fácilmente con unos pliegues de papel. Se pueden realizar
pliegues de papel para resolver ecuaciones de hasta cuarto grado y ecuaciones
polinomiales – las cuales sólo contienen términos del tipo anxn– (los aximomas de
Huzita-Hatori son una importante contribución a este campo de estudio).

En tal sentido son interesantes las formalizaciones del origami, entre las cuales
las más utilizadas son las debidas a Humiaki Huzita, tales formalizaciones
contienen 6 axiomas basados en 6 pliegues básicos que permiten analizar la
geometría de cualquier origami:

 Axioma 1: un único pliegue pasa por 2 puntos P y Q específicos.

 Axioma 2: un único pliegue lleva a un punto P sobre un punto Q.
 Axioma 3: un único pliegue superpone dos rectas m y n.
 Axioma 4: un único pliegue pasa por un punto P y éste es ortogonal a una
recta m.
 Axioma 5: siguiendo una recta m y 2 puntos P y Q; un único pliegue pasa
por Q y conlleva a P sobre la recta m.
 Axioma 6: siguiendo dos rectas m y n y dos puntos P y Q; un único
pliegue lleva a P sobre m y a Q sobre n.

Como resultado del estudio del Origami a través de la aplicación de principios

de geometría, métodos como el Teorema de Haga han permitido doblar
precisamente el lado de un cuadrado en tres, cinco, siete y nueve partes. Otros
teoremas y métodos han permitido derivar otras formas a partir de un cuadrado,
tales como triángulos equiláteros, pentágonos, hexágonos, y rectángulos de
características especiales tales como el rectángulo dorado o el rectángulo de plata.

El problema del origami rígido, que trata los pliegues como líneas que unen dos
superficies planas rígidas tales como pletinas, tiene gran importancia práctica.
Por ejemplo, el pliegue de mapa de Miura es un pliegue rígido que se ha
utilizado para desplegar grandes paneles solares de satélites espaciales.
La obtención de un modelo plano a partir de un patrón arrugado es un proceso
que Marshall Bern y Barry Hayes han demostrado que es NP-completo. [1] Se
discuten referencias adicionales y resultados técnicos en la Parte II de Geometric
Folding Algorithms.

La función de pérdida de doblar un papel en dos en una única dirección se ha

determinado como , donde L es la longitud mínima

del papel (u otro material), t es el grosor del material, y n es el número de
pliegues posibles. Esta función fue publicada por Britney Gallivan en 2001 (por
entonces todavía estudiante de secundaria, que logró doblar una hoja de papel
por la mitad 12 veces. Hasta entonces se había creído popularmente que el papel
de cualquier tamaño no podía doblarse más de 8 veces.