Topologa

Topologa
La Topologa (del griego , lugar, y , estudio) es la rama de las matemticas dedicada al estudio de aquellas propiedades de los cuerpos geomtricos que permanecen inalteradas por transformaciones continuas.[1] Es una disciplina que estudia las propiedades de los espacios topolgicos y las funciones continuas. La Topologa se interesa por conceptos como proximidad, nmero de agujeros, el tipo de consistencia (o textura) que presenta un objeto, comparar objetos y clasificar, entre otros mltiples atributos donde destacan conectividad, compacidad, metricidad o metrizabilidad, etctera. Los matemticos usan la palabra topologa 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 unin y la interseccin. Este segundo sentido puede verse desarrollado en el artculo espacio topolgico.
Ilustracin del Teorema de los cuatro colores.

Idea intuitiva
Particularmente se presenta a la Topologa como la "Geometra de la pgina de goma (chicle)". Esto hace referencia a que en la Geometra eucldea dos objetos sern equivalentes mientras podamos transformar uno en otro mediante isometras (rotaciones, traslaciones, reflexiones, etc), es decir, mediante transformaciones que conservan las medidas de ngulo, longitud, rea, volumen y otras. En topologa, dos objetos son equivalentes en un sentido mucho ms amplio. Han de tener el mismo nmero de trozos, huecos, intersecciones, etc. En topologa 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 tringulo es topolgicamente 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 habra que partirla (o pegarla) por algn punto. sta es la razn de que se la llame la "Geometra de la pgina de goma", porque es como si estuviramos estudiando Geometra sobre un papel de goma que pudiera contraerse, estirarse, etc.

Topologa

Un chiste habitual entre los toplogos (los matemticos que se dedican a la topologa) es que un toplogo es una persona incapaz de distinguir una taza de una rosquilla. Pero esta visin, aunque muy intuitiva e ingeniosa, es sesgada y parcial. Por un lado, puede llevar a pensar que la topologa trata slo de objetos y conceptos geomtricos, siendo ms bien al contrario, es la geometra la que trata con un cierto tipo de objetos topolgicos. Por otro lado, en muchos casos es imposible dar una imagen o interpretacin intuitiva de problemas topolgicos o incluso de algunos conceptos. El intentar visualizar los conceptos es un error frecuente entre los principiantes en la topologa (cita requerida), que les hace avanzar muy lentamente cuando no pueden encontrar un ejemplo grfico, tener una visin parcial de Una taza transformndose en una rosquilla (toro). algunos conceptos, e incluso incurrir en errores. Es frecuente entre los estudiantes primerizos escuchar que "no entienden la topologa" y que no les gusta esa rama; generalmente se debe a que se mantienen en esta actitud grfica. Por ltimo, la topologa se nutre tambin en buena medida de conceptos cuya inspiracin se encuentra en el Anlisis matemtico. Se puede decir que casi la totalidad de los conceptos e ideas de esta rama son conceptos e ideas topolgicos.

Un ejemplo clarificador
Observemos un antiguo plano del metro de Madrid. En l estn representadas las estaciones y las lneas de metro que las unen, pero no es geomtricamente exacto. La curvatura de las lneas de metro no coincide, ni su longitud a escala, ni la posicin 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 informacin, la nica que necesitamos para decidir nuestro camino por la red de metro: informacin topolgica.

Historia de la Topologa
Histricamente, las primeras ideas topolgicas conciernen al concepto de lmite y al de completitud de un espacio mtrico, y se manifestaron principalmente en la crisis de los inconmesurables de los pitagricos, ante la aparicin de nmeros reales no racionales. El primer acercamiento concreto al concepto de lmite y tambin al de integral aparece en el mtodo de exhaucin de Arqumedes. La aparicin del

Plano del metro de Madrid.

Topologa Anlisis Matemtico en el siglo XVII puso en evidencia la necesidad de formalizar los conceptos de proximidad y continuidad, y la incapacidad de la Geometra para tratar este tema. Fue precisamente la fundamentacin del Clculo Infinitesimal, as como los intentos de formalizar el concepto de variedad en Geometra lo que llev a la aparicin de la Topologa, a finales del siglo XIX y principios del XX. Se suele fechar el origen de la Topologa con la resolucin por parte de Euler del problema de los puentes de Knigsberg, en 1735. Ciertamente, la resolucin de Euler del problema utiliza una forma de pensar totalmente topolgica, y la solucin del problema nos lleva a la caracterstica de Euler, el primer invariante de la Topologa Algebraica, pero sera muy arriesgado y arbitrario fechar en ese momento la aparicin de la Topologa. La situacin es exactamente anloga a la del clculo del rea de la elipse por Arqumedes. El trmino topologa fue usado por primera vez por J. B. Listing, en 1836 en una carta a su antiguo profesor de la escuela primaria, Mller, y posteriormente en su libro Vorstudien zur Topologie (Estudios previos a la topologa), publicado en 1847. Anteriormente se la denominaba analysis situs. Maurice Frchet introdujo el concepto de espacio mtrico en 1906.

Cronologa
Ao 300 a.C. Acontecimiento Euclides define las secciones cnicas y estudia los poliedros regulares, una de las formas ms bsicas estudiadas por los toplogos. Arqumedes investiga las curvas espirales y los poliedros truncados. Leonhard Euler resuelve el problema de los puentes de Knigsberg. Los alemanes August Mbius y Johann Benedict Listing descubren en forma independiente la hoy llamada banda de Mbius. Giuseppe Peano aplicando la definicin de Jordn demuestra que un cuadrado relleno tambin es una curva. Pvel Urysn y Karl Menger definen el concepto de curva a partir de la topologa.

250 a.C. 1735 d.C. 1858 1890 Dcada de 1920

Desarrollo formal
En el artculo Glosario de topologa se encuentra una coleccin de trminos topolgicos con su significado. Aqu y ahora nos limitaremos a dar algunas nociones bsicas. Como hemos dicho, el concepto fundamental de la Topologa es la "relacin de proximidad", que puede parecer ambigua y subjetiva. El gran logro de la Topologa es dar una formulacin precisa, objetiva y til de este concepto. Para ello tomamos un conjunto de referencia , que ser el ambiente en el que nos moveremos, y al que llamaremos espacio. Tomaremos un elemento cualquiera de . A los elementos del espacio se les llama puntos, as que ser llamado punto, independientemente de que sea una funcin, un vector, un conjunto, un ideal maximal en un anillo conmutativo y unitario... Un subconjunto de ser un entorno de si es elemento de y existe un conjunto abierto de manera que est incluido en de subconjuntos de . Qu entenderemos por conjunto abierto? se dir que es una topologa sobre si Aqu est el quid de la cuestin: una coleccin es uno de los elementos de esa coleccin, si

es un elemento de la coleccin, si la unin de elementos de la

coleccin da como resultado un elemento de la coleccin y si la interseccin finita de elementos de la coleccin tambin es un elemento de la coleccin. A los elementos de la coleccin se les denomina abiertos de la topologa , y al par se le denomina espacio topolgico. sea topologa sobre son entonces estas: Las condiciones para que

Topologa Puede parecer extrao que de una definicin tan altamente formal y conjuntista se obtenga una formulacin precisa del concepto de proximidad. Lo primero que se observa es que sobre un mismo espacio se pueden definir distintas topologas, generando entonces distintos espacios topolgicos. Por otra parte, precisamente la manera en que quede determinada una topologa sobre un conjunto (es decir, la eleccin del criterio que nos permita decidir si un conjunto dado es o no abierto) es lo que va a dar carcter "visualizable" o no a ese espacio topolgico. Una de las maneras ms sencillas de determinar una topologa es mediante una distancia o mtrica, mtodo que slo es aplicable en algunos casos (si bien es cierto que muchos de los casos ms intersantes de topologas en la Geometra y del Anlisis Matemtico pueden determinarse mediante alguna distancia). Una distancia sobre un conjunto es una aplicacin que verifica las siguientes propiedades: ;

si y slo si

cualesquiera que sean

. , diremos que la pareja

Si tenemos definida una distancia sobre

es un espacio mtrico. Dado un espacio mtrico conjuntos abiertos son los subconjuntos de tal manera que el conjunto de

, queda determinada una topologa sobre tales que cualquiera que sea el punto y radio de est totalmente incluido en

en la que los . Al conjunto

existe un nmero

se le denomina bola abierta de centro

, y ser precisamente un entorno del

punto . Como se ha apuntado antes, por desgracia no toda topologa proviene de una distancia, es decir, existen espacios topolgicos que no son espacios mtricos. Cuando un espacio topolgico es adems espacio mtrico (esto es, cuando dada una topologa sobre un conjunto, puede definirse en ese conjunto una distancia de manera que la topologa generada por la distancia coincida con la topologa dada) se dice que el espacio topolgico es metrizable. Un problema clsico en Topologa es el de determinar qu condiciones debe satisfacer un espacio topolgico para que sea metrizable.

Ramas de la Topologa
Se suelen considerar principalmente tres ramas: la Topologa General o Conjuntista, la Topologa Algebraica y la Topologa Diferencial. Adems de estas tres ramas, que podramos decir propiamente topolgicas, la implicacin en mayor o menor medida en otras disciplinas matemticas hacen que muchos consideren parte de la Topologa al Anlisis Funcional, la Teora de la Medida, la Teora de Nudos (parte de la Topologa de dimensiones baja), la Teora de Grupos Topolgicos, etc. Es fundamental su contribucin a la Teora de Grafos, Anlisis Matemtico, Ecuaciones Diferenciales, Ecuaciones Funcionales, Variable Compleja, Geometra Diferencial, Geometra Algebraica, lgebra Conmutativa, Estadstica, Teora del Caos, Geometra Fractal... Incluso tiene aplicaciones directas en Biologa, Sociologa, etc.

Topologa

Topologa General o Conjuntista

Constituye la base de los estudios en Topologa. En ella se desarrollan tpicos como lo que es un espacio topolgico o los entornos de un punto.

Conceptos fundamentales referidos a la topologa de un conjunto

Topologa, espacio topolgico, abiertos, cerrados, subespacios Sea un conjunto cualquiera y que cumpla que entonces , el conjunto de sus partes. Una topologa sobre , si entonces se les denomina conjuntos abiertos. Al par es un conjunto se le denomina

, y que si

. A los elementos de

espacio topolgico. A los elementos de se les suele denominar puntos. Ntese que desde un primer momento hemos especificado que el conjunto

es cualquiera, no necesariamente un

conjunto de naturaleza geomtrica. La denominacin de espacio (topolgico) y de punto se mantiene an cuando sea un conjunto de nmeros, de funciones, de ecuaciones diferenciales, de figuras geomtricas, de vectores, de conjuntos... Como puede observarse, la definicin es muy formal y general, y lo primero que se observa es que sobre un mismo conjunto pueden darse multitud de topologas distintas. As es. Pero de momento, los conceptos de conjunto abierto en o en o cumplen las condiciones exigibles a una topologa. Es precisamente el comprobar que otras familias de conjuntos en otros conjuntos de naturaleza no geomtrica que comparten estas mismas propiedades (como en el conjunto de soluciones de una ecuacin 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 definicin. As podremos aplicar a estos conjuntos las mismas (o parecidas) tcnicas topolgicas que aplicamos a los abiertos del plano, por ejemplo. La situacin es anloga 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, su complementario representar siempre un espacio topolgico. se dice que es cerrado si es un conjunto abierto. Es importante observar que un conjunto que no es abierto no Ligado al concepto de conjunto abierto est el de conjunto cerrado. Un conjunto

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 interseccin de cerrados es un conjunto cerrado, que la unin de una cantidad finita de conjuntos cerrados es un conjunto cerrado, y que tanto como son conjuntos cerrados. Si , el conjunto es una topologa para . Se dir entonces que el espacio

es subespacio topolgico del . La nocin de subespacio topolgico se presenta de manera natural, y es el concepto anlogo al de subgrupo en Teora de Grupos o al de subespacio vectorial en lgebra Lineal. Una propiedad relativa a espacios topolgicos se dice que es hereditaria cuando si un espacio la tiene, entonces tambin la tiene cualquiera de sus subespacios.

Topologa Base de una topologa, entornos, bases locales, axiomas de numerabilidad Una familia se dice que es base (de la topologa ) si para cualquiera que sea el existe un

conjunto de manera que . No siempre es cmodo trabajar con una topologa. A veces resulta ms complicado establecer una topologa que una base de topologa (como en espacios mtricos). En cualquier caso, una base es una manera muy cmoda de establecer una topologa. An ms sencillo es establecer una subbase, que es una familia de conjuntos para la que el conjunto de sus intersecciones finitas forma una base de topologa. Uno de los casos ms importantes de topologa, la de los espacios mtricos, viene dado por una base, la del conjunto de bolas abiertas del espacio. Un espacio topolgico se dice que cumple el Segundo Axioma de Numerabilidad (IIAN) si existe alguna base de su topologa que tenga cardinalidad numerable. Sea un conjunto cualquiera y sea de manera que un punto arbitrario. Se dice que se le denomina sistema de entornos de es entorno de . si existe un conjunto abierto . Todo conjunto abierto es entorno de todos sus puntos. Al

conjunto de todos los entornos de un punto

Obsrvese 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 Geometra y Anlisis) y muy usados, tanto que en muchas ocasiones se omite el calificativo abierto. Esto es un abuso de lenguaje y debe evitarse. Una coleccin de entornos de un mismo punto x se dice que es una base de entornos (o base local) de si

dado cualquier entorno de existe un de manera que . Se dice que un espacio topolgico 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 sern las piezas bsicas del estudio de la topologa y constituirn la materia prima de los conceptos posteriores. Interior, exterior, frontera Un punto se dir que es un punto interior de si es entorno de . As, el conjunto de los puntos . Es el interiores a A es un conjunto abierto, denominado Interior de A, denotado por Int (A) o tambin como mayor conjunto abierto incluido en A. Un punto Un punto se dir que es un punto exterior a se dice que es un punto frontera de si es entorno de si todo entorno de . As mismo, el conjunto de es tal que y y otros los puntos exteriores a es otro conjunto abierto, denominado Exterior de A y denotado por Ext (A). . Al conjunto de los punto frontera de elementos fuera del conjunto . La frontera de se le denomina Frontera de A y se denota por

Fr(A). En otras palabras, todo entorno con centro en z tendr elementos pertenecientes al conjunto es un conjunto cerrado.

Topologa Adherencia, acumulacin, puntos aislados Un punto se dice que es un punto de adherencia de si todo entorno de 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 se le denomina adherencia o clausura de , y se denota por o por . La clausura de un conjunto es un conjunto cerrado, y es el menor conjunto cerrado que contiene al conjunto. Un punto se dice que es un punto de acumulacin de si todo entorno de es tal que . Al conjunto de los puntos de acumulacin de un conjunto se le denomina acumulacin del conjunto, o conjunto derivado, y se le denota por o por . Un punto se dice que es un punto de -acumulacin de es un conjunto infinito. Al conjunto de los puntos de denomina de conjunto. Un punto conjunto -acumulacin del conjunto, o conjunto si todo entorno o por de es tal que . Todo punto

-acumulacin de un conjunto se le

-derivado, y se le denota por

-acumulacin es punto de acumulacin, y todo punto de acumulacin es punto de adherencia del mismo se dice que es un punto aislado de de manera que si existe algn entorno perforado ) de manera que de (es decir, un . Todo

es un entorno de

. Al conjunto de , y se le denota por

los puntos aislados de

se le denomina conjunto de los puntos aislados de

punto aislado es punto frontera y tambin es punto de adherencia del mismo conjunto. En Topologa 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 tambin como la unin de todos los abiertos contenidos en el conjunto, y la clausura como la interseccin de todos los cerrados que contienen al conjunto. Sin tanta importancia en Topologa pero de mucha en otras reas de la Matemtica son los conjuntos de acumulacin, 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 prximo a l. Evidentemente, al hacerlo as se est cometiendo un error, error que en general depender de lo prximo que se encuentre el objeto sustituido del objeto sustituto. Para hacer esta sustitucin de una manera sistemtica, de forma que el error pueda ser elegido arbitrariamente pequeo, aparecen distintos tipos de conjuntos. Se obtiene as un proceso de sucesivas aproximaciones que, si todo va bien, terminaran llevndonos al objeto, aunque fuese despus de un nmero infinito de aproximaciones. El ms sencillo de estos conjuntos es una sucesin, es decir, una coleccin infinita (numerable) y ordenada de objetos, aunque con el mismo carcter de orden hay otros conjuntos que reflejan mejor el concepto de convergencia. Es importante observar que la Topologa no trabaja con errores ni con aproximaciones. Eso entra en el mbito del Anlisis Numrico e incluso del Anlisis Matemtico. La Topologa lo que hace en este problema es aportar las herramientas bsicas y los conceptos tericos 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 sucesin) se acerca a un objeto (z<<puede ser un punto, un conjunto, etctera). zz<<sws

Topologa Convergencia de sucesiones Una sucesin es una aplicacin en un conjunto cuyo dominio es el conjunto de los nmeros naturales. En particular, una sucesin en un espacio topolgico es una aplicacin . Una sucesin es el caso ms sencillo de aplicacin de dominio infinito. Se dice que es un punto lmite de la sucesin de , o bien que converge al punto de tal manera que si . , si se es otro

cumple que, cualquiera que sea el entorno nmero natural mayor o igual que (o sea, Hay que hacer dos observaciones sobre esto:

existe un nmero natural ) entonces se cumple que

En primer lugar, puede darse el caso de que la sucesin no tenga puntos lmites, o incluso que tenga ms de un punto lmite. Al conjunto de puntos lmites de una sucesin se le denomina lmite de (y se le denota por , o tambin por ). En segundo lugar, la interpretacin de este concepto es la siguiente: tan cerca como queramos de un punto lmite podemos encontrar a todos los puntos de la sucesin, excepto a lo ms a una cantidad finita de ellos (que podr o no ser muy grande, pero no deja de ser finita). Un punto es punto de aglomeracin de la sucesin si cualquiera que sea el entorno de se

cumple que el conjunto

es infinito. Todo punto lmite es punto de aglomeracin, pero el

recproco no es cierto. Por ejemplo, los lmites de oscilacin de una sucesin no convergente de nmeros reales (como por ejemplo la sucesin ) son puntos de aglomeracin, pero no son puntos lmites (no existe

lmite para dicha sucesin, mientras que 1 y -1 son puntos de acumulacin). Continuidad de aplicaciones Otro concepto totalmente fundamental estudiado en esta rama es el de aplicacin continua. Una aplicacin entre dos espacios topolgicos se dice que es continua si dado cualquier conjunto abierto en , el conjunto Con la misma notacin, si es un conjunto abierto en , diremos que es continua en . es un , cualquiera que cuando se obtiene que

entorno de , cualquiera que sea el entorno de . Es inmediato entonces comprobar que es continua cuando y slo cuando es continua en sea ste, es decir, cuando y slo cuando sea continua en cada uno de los puntos de su dominio.

Informalmente hablando, una aplicacin es continua si transforma puntos que estn cerca en puntos que estn cerca, es decir, si respeta la "relacin de cercana". Esto adems quiere decir que una funcin 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 unin de dos abiertos disjuntos no vacos. Un conjunto se dice que es conexo por caminos 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 estn "hechos de una pieza" (los conexos) o "hechos de manera que no tienen piezas totalmente sueltas" (los conexos por caminos). Naturalmente esto es slo una manera de interpretarlos. Las piezas de un conjunto (los mayores subconjuntos conexos que contiene el conjunto) se denominan "componentes conexas". Por ejemplo, un puado de arena sera un conjunto en el que las componentes conexas son cada granito de arena. Un espejo roto sera 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 tambin es un conjunto conexo, formado por una sola componente conexa.

Topologa Existe otra nocin de conexin, la conexin por arcos o arco conexin ligeramente ms restrictiva que la conexin por caminos. Se exige que el camino sea un homeomorfismo sobre su imagen. Aun as, la conexin por arcos y por caminos coinciden sobre los espacios de Hausdorff.

Compacidad
Los conjuntos compactos son un tipo de conjunto mucho ms difciles de definir. Un espacio es compacto si para todo recubrimiento por abiertos (familia de abiertos cuya unin contiene al espacio total X) existe subrecubrimiento finito (familia finita de abiertos, formada slo por conjuntos de la familia anterior, cuya unin contiene a X). En un espacio mtrico, un conjunto es compacto si 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. La compacidad es una propiedad muy importante en Topologa, as como en Geometra y en Anlisis Matemtico. En cualquier espacio topolgico, un conjunto cerrado dentro de un compacto, siempre es compacto. Adems, en un espacio topolgico de Hausdorff, un compacto siempre es cerrado.

Metrizacin
Una topologa 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 topologa de partida. La metrizabilidad es tambin una propiedad muy deseable en un espacio topolgico, pues nos permite dar una caracterizacin muy sencilla de los abiertos de la topologa, adems de implicar otras ciertas propiedades.

Separacin
Las propiedades de separacin son ciertas propiedades, cada una un grado ms restrictiva que la anterior, que nos indican la "resolucin" o "finura del grano" de una topologa. Por ejemplo, la propiedad de separacin 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 ms precisa, un conjunto es denso si su clausura es todo el espacio. Un conjunto se dice que es separable si tiene algn subconjunto denso y numerable.

Topologa producto y Topologa cociente

La topologa producto nos proporciona una manera de dotar de una topologa al producto cartesiano de varios espacios topolgicos, de tal manera que se conserven buenas propiedades, en particular que las proyecciones sobre cada factor sean aplicaciones continuas y abiertas. La topologa cociente nos proporciona una manera de dotar de una topologa al cociente (espacio de clases) de un espacio por una relacin de equivalencia, de manera que tenga el mayor nmero posible de conjuntos abiertos y sin embargo la proyeccin sea continua (es decir la imagen recproca de cada abierto sea un abierto).

Topologa

10

Topologa Algebraica
La Topologa Algebraica estudia ciertas propiedades relacionadas con la conexin de un espacio, propiedades que podramos describir como la "porosidad" de un espacio, la cantidad de boquetes que presenta. Para ello se vale de instrumentos algebraicos, fundamentalmente la Teora de Grupos y el lgebra Homolgica, hasta tal punto que su desarrollo es totalmente algebraico. En la Topologa Algebraica se consideran una gran diversidad de problemas incluidos en la Teora de nudos por ejemplo, o en la Teora de Homotopas y la Teora de Homologa. Para comprender sucintamente estas cuestiones, volvamos a los ejemplos de conjuntos conexos. Segn 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 conexin", 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 tambin una cierta diferencia. La Homotopa y la Homologa tratan estas cuestiones.

Notas
[1] Stewart, Ian: Conceptos de matemtica moderna. Alianza Universidad, 1988. p. 171.

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre TopologaCommons. Wikcionario tiene definiciones para topologa.Wikcionario Wikiquote alberga frases clebres de o sobre los Toplogos. Wikiquote Wikiversidad alberga proyectos de aprendizaje sobre Topologa.Wikiversidad http://www.ehu.es/~mtwmastm/sigma20.pdf Macho Stadler, Marta: Qu es la topologa? http://rinconmatematico.com/chamizo/APtopo.pdf La Topologa... no es tan difcil. http://topologia.wordpress.com Juegos topolgicos. http://www.elcorreoelectronico.com/esquemas-topologia/topologia La Topologia en el correo electrnico.

Fuentes y contribuyentes del artculo

11

Fuentes y contribuyentes del artculo

Topologa Fuente: http://es.wikipedia.org/w/index.php?oldid=69714520 Contribuyentes: .Jos, 217-125-87-113.uc.nombres.ttd.es, Acratta, Adrruiz, AldanaN, Alexav8, AlfonsoERomero, Andre Engels, Aracne, Arcibel, Brion VIBBER, Cookie, Daniarmo, Diegusjaimes, Digigalos, Dodo, Drake 81, Fermar, Fibonacci, Fmariluis, Fmercury1980, Furti, Garber, Gato ocioso, GermanX, HUB, Halcn, Helmy oved, HiTe, House, Ingenioso Hidalgo, Ivn, JMCC1, Jarisleif, Javierito92, Jerowiki, Jkbw, Jorge c2010, JorgeGG, Joseaperez, Josetomas2008, Juan Marquez, Kerny65, Kevineitor, KundaliniZero, Leonpolanco, LlamaAl, Lugowii, Lumen, Maldoror, Matdrodes, Maveric149, Mechita korn, Moriel, NicolasAlejandro, Petruss, Proferichardperez, Quetzal02, Roberto Fiadone, Rovnet, RoyFocker, Sanbec, Seraphita, Sergio Andres Segovia, Smontero, Suhagja, SuperBraulio13, Tano4595, Technopat, Tony Rotondas, Tostadora, Tzihue, Veronoa, Wadim, Wewe, Xavigivax, Xtquique, Yeza, conversion script, 195 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Four Colour Map Example.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Four_Colour_Map_Example.svg Licencia: GNU Free Documentation License Contribuyentes: Inductiveload Archivo:Mug and Torus morph.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Mug_and_Torus_morph.gif Licencia: Public Domain Contribuyentes: Abnormaal, Durova, Howcheng, Kri, LucasVB, Manco Capac, Maximaximax, Rovnet, SharkD, Takabeg, 16 ediciones annimas Archivo:Homeo tasse.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Homeo_tasse.png Licencia: Public Domain Contribuyentes: Original uploader was CHW at de.wikipedia Archivo:Madrid-metro-map.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Madrid-metro-map.png Licencia: Creative Commons Attribution-Sharealike 2.5 Contribuyentes: User:Montrealais Archivo:Commons-logo.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Commons-logo.svg Licencia: logo Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by Reidab. Archivo:Wiktionary-logo-es.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Wiktionary-logo-es.png Licencia: logo Contribuyentes: es:Usuario:Pybalo Archivo:Spanish Wikiquote.SVG Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Spanish_Wikiquote.SVG Licencia: logo Contribuyentes: James.mcd.nz

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/