Está en la página 1de 8

Idea intuitiva [editar] Particularmente se presenta la Topologa como la "Geometra de la pgina de chicle".

E sto hace referencia a que en la Geometra eucldea dos objetos sern equivalentes mien tras podamos transformar uno en otro mediante isometras (rotaciones, traslaciones , reflexiones, etc), es decir, mediante transformaciones que conservan las medid as de ngulo, longitud, rea, volumen y otras. En Topologa, dos objetos son equivalen tes en un sentido mucho ms amplio. Han de tener el mismo nmero de trozos, de hueco s, de intersecciones, etc. En topologa est permitido doblar, estirar, encoger, ret orcer, etc., los objetos pero siempre que se haga sin romper ni separar lo que e staba unido, ni pegar lo que estaba separado. Por ejemplo, un tringulo es topolgic amente lo mismo que una circunferencia, ya que podemos transformar uno en otra d e forma continua, sin romper ni pegar. Pero una circunferencia no es lo mismo qu e un segmento, ya que habra que partirla 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. Una taza transformndose en una rosquilla (toro). 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 l ado puede llevar a pensar que la Topologa trata slo de objetos y conceptos geomtric os (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 principian tes en la Topologa, que les hace avanzar muy lentamente cuando no pueden encontra r un ejemplo grfico, tener una visin parcial de algunos conceptos, e incluso incur rir en errores. Es frecuente entre los estudiantes primerizos escuchar que "no e ntienden la Topologa" y que no les gusta esa rama, y generalmente se debe a que s e 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. Homeo tasse.png Un ejemplo clarificador [editar] Plano del metro de Madrid. Observemos un antiguo plano del metro de Madrid. En l estn representadas las estac iones y las lneas de metro que las unen, pero no es geomtricamente exacto. La curv atura de las lneas de metro no coincide, ni su longitud a escala, ni la posicin re lativa de las estaciones... Pero aun as es un plano perfectamente til. Sin embargo , este plano es exacto en cierto sentido; representa fielmente cierto tipo de in formacin, la nica que necesitamos para decidir nuestro camino por la red de metro: informacin topolgica. Historia de la Topologa [editar] Histricamente, las primeras ideas topolgicas conciernen al concepto de lmite y al d e 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 rac ionales. El primer acercamiento concreto al concepto de lmite y tambin al de integ ral aparece en el mtodo de exhaucin de Arqumedes. La aparicin del Anlisis Matemtico en el siglo XVII puso en evidencia la necesidad de formalizar el concepto de proxi midad y continuidad, y la incapacidad de la Geometra para tratar este tema. Fue p recisamente la fundamentacin del Clculo Infinitesimal, as como los intentos de form alizar 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 p roblema de los puentes de Knigsberg, en 1735. Ciertamente, la resolucin de Euler d el problema utiliza una forma de pensar totalmente topolgica, y la solucin del pro blema nos lleva a la caracterstica de Euler, el primer invariante de la Topologa A lgebraica, 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 elip se por Arqumedes. El trmino topologa fue usado por primera vez por J. B. Listing, en 1836 ta a su antiguo profesor de la escuela primaria, Mller, y posteriormente bro Vorstudien zur Topologie (Estudios previos a la topologa), publicado Anteriormente se la denominaba analysis situs. Maurice Frchet introdujo pto de espacio mtrico en 1906. Algo de desarrollo formal [editar] en en en el una car su li 1847. conce

En el artculo Glosario de topologa se encuentra una coleccin de trminos topolgicos co n 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 proximi dad", 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 conj unto de referencia X, que ser el ambiente en el que nos moveremos, y al que llama remos espacio. Tomaremos un elemento cualquiera x de X. A los elementos del espa cio se les llama puntos, as que x ser llamado punto, independientemente de que x s ea una funcin, un vector, un conjunto, un ideal maximal en un anillo conmutativo y unitario... Un subconjunto V de X ser un entorno de x si x es elemento de V y e xiste un conjunto abierto G de manera que G est incluido en V. Qu entenderemos por conjunto abierto? Aqu est el quid de la cuestin: una coleccin T de subconjuntos de X se dir que es una topologa sobre X si X es uno de los elementos de esa coleccin, s i \varnothing 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 elemen tos de la coleccin tambin es un elemento de la coleccin. A los elementos de la cole ccin T se les denomina abiertos de la topologa T, y al par (X,T) se le denomina es pacio topolgico. Las condiciones para que T sea topologa sobre X son entonces estas: (1) \quad \varnothing \in T, X \in T (2) \quad (O_1 \in T, O_2 \in T) \Rightarrow (O_1 \cap O_2 \in T) (3) \quad \forall S \subset T, \cup_{O\in S} O \in T Puede parecer extrao que de una definicin tan altamente formal y conjuntista se ob tenga una formulacin precisa del concepto de proximidad. Lo primero que se observ a es que sobre un mismo espacio X se pueden definir distintas topologas, generand o 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 distanc ia o mtrica. Una distancia sobre un conjunto X es una aplicacin d: X \times X \lon grightarrow \mathbb{R} que verifica las siguientes propiedades: d(x,y) d(x,y) d(x,y) d(x,y) \geq 0 ; = d(y,x) \, = 0 \, si y slo si x =y \, ; \leq d(x,z) + d(z,y)

cualesquiera que sean x,y,z \in X.

Si tenemos definida una distancia sobre X, diremos que la pareja (X,d) \, es un espacio mtrico. Dado un espacio mtrico (X,d), queda determinada una topologa sobre X en la que los conjuntos abiertos son los subconjuntos G de X tales que c ualquiera que sea el punto x de G existe un nmero e > 0 de tal manera que el conj unto \{y \in X: d(x,y)< \epsilon \} est totalmente incluido en G. Al conjunto \{y \in X: d(x,y)< \epsilon \} se le denomina bola abierta de centro x y radio e, y ser precisamente un entorno del punto x. Ramas de la Topologa [editar] Se suelen considerar principalmente tres ramas: * la Topologa General o Topologa 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 consider en parte de la Topologa al Anlisis Funcional, la Teora de la Medida, la Teora de Nud os (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 Di ferenciales, Ecuaciones Funcionales, Variable Compleja, Geometra Diferencial, Geo metra Algebraica, lgebra Conmutativa, Estadstica, Teora del Caos, Geometra Fractal... Incluso tiene aplicaciones directas en Biologa, Sociologa, etc. Topologa General o Conjuntista [editar] 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 [editar] Topologa, espacio topolgico, abiertos, cerrados, subespacios [editar] Sea X un conjunto cualquiera y P(X) el conjunto de sus partes. Una topologa sobre X es un conjunto T \subset P(X) que cumpla que X \in T, \varnothing \in T, si A , B \in T entonces A \cap B \in T, y que si S \subset T entonces \cup_{G \in S} G \in T. A los elementos de T se les denomina conjuntos abiertos. Al par (X,T) s e le denomina espacio topolgico. A los elementos de X se les suele denominar punt os. Ntese que desde un primer momento hemos especificado que el conjunto X es cualqui era, no necesariamente un conjunto de naturaleza geomtrica. La denominacin de espa cio (topolgico) y de punto se mantiene aun cuando X sea un conjunto de nmeros, de funciones, de ecuaciones diferenciales, de figuras geomtricas, de vectores, de co njuntos... 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 distint as. As es. Pero de momento, los conceptos de conjunto abierto en \mathbb{R} o en \mathbb{R}^2 o \mathbb{R}^3 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 conjun to de soluciones de una ecuacin diferencial, o el conjunto de los ceros de los po linomios 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 e n \mathbb{R}^2 o \mathbb{R}^3 a trabajar en espacios vectoriales arbitrarios.

En lo que sigue, (X,T) representar siempre un espacio topolgico. Ligado al concepto de conjunto abierto est el de conjunto cerrado. Un conjunto F \subset X se dice que es cerrado si su complementario X \setminus F es un conjun to abierto. Es importante observar que un conjunto que no es abierto no necesari amente 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 \varnothing, 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 q ue tanto X como \varnothing son conjuntos cerrados. Si Z \subset X, el conjunto T_Z := \{ G \cap Z : G \in T \} es una topologa para Z. Se dir entonces que el espacio (Z,TZ) es subespacio topolgico del (X,T). La nocin de subespacio topolgico se presenta de manera natural, y es el concepto a nlogo al de subgrupo en Teora de Grupos o al de subespacio vectorial en lgebra Line al. 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. Base de una topologa, entornos, bases locales, axiomas de numerabilidad [editar] Una familia \mathcal(B) \subset T se dice que es base (de la topologa T) si para cualquiera que sea el G \in T existe un conjunto M \subset \mathcal(B) de manera que G = \cup_{B \in M} B. No siempre es cmodo trabajar con una topologa. A veces resulta ms complicado establ ecer 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 e s establecer una subbase, que es una familia de conjuntos para la que el conjunt o de sus intersecciones finitas forma una base de topologa. Uno de los casos ms im portantes 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 A \subset X un conjunto cualquiera y sea x \in A un punto arbitrario. Se dic e que A es entorno de x si existe un conjunto abierto G de manera que x \in G \s ubset A. Todo conjunto abierto es entorno de todos sus puntos. Al conjunto de to dos los entornos de un punto x se le denomina sistema de entornos de x. Obsrvese que no se ha exigido que un entorno sea un conjunto abierto. Los entorno s abiertos son un tipo de entornos muy tiles (sobre todo en Geometra y Anlisis) y m uy usados, tanto que en muchas ocasiones se omite el calificativo abierto. Esto es un abuso de lenguaje y debe evitarse. Una coleccin \mathcal(V) 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 B \in \mathcal(V) de manera que B \subset V. Se dice que un espacio topolgico cumple el Primer Axioma de Numerabilidad (IAN) s i cada punto del espacio tiene alguna base local de cardinal numerable. Subconjuntos notables asociados a un conjunto [editar] 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 [editar] Se dice que x \in X es un punto interior de A si A es entorno de x. As, el conjun to de los puntos interiores a A es un conjunto abierto, denominado Interior de A , que se denota por Int(A) o tambin como A^{\circ}. Es el mayor conjunto abierto incluido en A. Un punto y \in X se dir que es un punto exterior a A si X \setminus A 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 z \in X se dice que es un punto frontera de A si todo entorno V de z es tal que V \cap A \neq \varnothing y V \cap (X \setminus A) \neq \varnothing. Al conjunto de los punto frontera de A se le denomina Frontera de A y se denota po r Fr(A). La frontera de A es un conjunto cerrado. Adherencia, acumulacin, puntos aislados [editar] Un punto x \in X se dice que es un punto de adherencia de A si todo entorno V de x es tal que A \cap V \neq \varnothing. Se hace pues evidente que todo punto in terior y todo punto frontera es punto de adherencia. Al conjunto de los puntos d e adherencia del conjunto A se le denomina adherencia o clausura de A, y se deno ta por Cl(A) o por \bar{A}. La clausura de un conjunto A es un conjunto cerrado, y es el menor conjunto cerrado que contiene al conjunto. Un punto x \in X se dice que es un punto de acumulacin de A si todo entorno V de x es tal que (V \setminus \{ x \}) \cap A \neq \varnothing . Al conjunto de los puntos de acumulacin de un conjunto se le denomina acumulacin del conjunto, o conj unto derivado, y se le denota por Ad o por A'. Un punto x \in X se dice que es un punto de O-acumulacin de A si todo entorno V d e x es tal que (V \setminus \{ x \}) \cap A es un conjunto infinito. Al conjunto de los puntos de O-acumulacin de un conjunto se le denomina O-acumulacin del conj unto, o conjunto O-derivado, y se le denota por A_{\Omega}^d o por A'O. Todo pun to de O-acumulacin es punto de acumulacin, y todo punto de acumulacin es punto de a dherencia del mismo conjunto. Un punto x \in X se dice que es un punto aislado de A si existe algn entorno perf orado V de x (es decir, un conjunto V \subset X de manera que V \cup \{x\} es un entorno de x) de manera que V \cap A = \varnothing. Al conjunto de los puntos a islados 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 tambin es punto de adherencia del mismo conjunto. En Topologa son de una importancia capital los conjuntos interior y clausura de u n conjunto. Su importancia radica en ser, respectivamente, el mayor abierto cont enido en el conjunto y el menor cerrado que contiene al conjunto. El interior pu ede 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 conjunt o. Sin tanta importancia en Topologa pero de mucha en otras reas de la Matemtica so n los conjuntos de acumulacin, frontera y de los puntos aislados de un conjunto. Conceptos fundamentales referidos a aplicaciones continuas y convergencia [edita r] Convergencia [editar] La idea de la convergencia es la de "aproximar" un objeto por otro, es decir, su stituir un objeto por otro que est prximo a l. Evidentemente, al hacerlo as se est co metiendo 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, aparec en distintos tipos de conjuntos. Se obtiene as un proceso de sucesivas aproximaci

ones 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 suce sin, 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 aproximacion es. Eso entra en el mbito del Anlisis Numrico e incluso del Anlisis Matemtico. La Top ologa lo que hace en este problema es aportar las herramientas bsicas y los concep tos tericos para afrontar correctamente el problema, siempre desde un punto de vi sta 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 (que puede se r un punto, un conjunto, etctera). Convergencia de sucesiones [editar] Una sucesin es una aplicacin en un conjunto cuyo dominio es el conjunto de los nmer os naturales. En particular, una sucesin en un espacio topolgico (X,T) \, es una a plicacin (x_n)_{n \in \mathbb{N}}: \mathbb{N} \longrightarrow X. Una sucesin es el caso ms sencillo de aplicacin de dominio infinito. Se dice que x \in X es un punto lmite de la sucesin (x_n)_{n \in \mathbb{N}}, o bi en que (x_n)_{n \in \mathbb{N}} converge al punto x \,, si se cumple que, cualqu iera que sea el entorno V \, de x \, existe un nmero natural n0 de tal manera que si n es otro nmero natural mayor o igual que n0 (o sea, n \geq n_0) entonces se cumple que x_n \in V. Hay que hacer dos observaciones sobre esto: * En primer lugar, puede darse el caso de que la sucesin no tenga puntos lmite s, o incluso que tenga ms de un punto lmite. Al conjunto de puntos lmites de una su cesin (x_n)_{n \in \mathbb{N}} se le denomina lmite de (x_n)_{n \in \mathbb{N}} (y se le denota por lim_{n \in \mathbb{N}} x_n, o tambin por \, lim_{n \to \infty} x_n). * En segundo lugar, la interpretacin de este concepto es la siguiente: tan ce rca como queramos de un punto lmite podemos encontrar a todos los puntos de la su cesin, 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 x \in X es punto de aglomeracin de la sucesin (x_n)_{n \in \mathbb{N}} si cualquiera que sea el entorno V de x se cumple que el conjunto \{n \in \mathbb{ N}: x_n \in V\} es infinito. Todo punto lmite es punto de aglomeracin, pero el recp roco no es cierto. Por ejemplo, los lmites de oscilacin de una sucesin no convergen te de nmeros reales (como por ejemplo la sucesin (-1)^n+\frac{1}{n} ) son puntos d e aglomeracin, pero no son puntos lmites (no existe lmite para dicha sucesin, mientr as que 1 y -1 son puntos de acumulacin). Continuidad de aplicaciones [editar] Otro concepto totalmente fundamental estudiado en esta rama es el de aplicacin co ntinua. Una aplicacin f :X \longrightarrow Y entre dos espacios topolgicos se dice que es continua si dado cualquier conjunto G \, abierto en Y \,, el conjunto f^ {-1}(G) = \{x \in X : f(x) \in G \} es un conjunto abierto en X \,. Con la misma notacin, si x \in X, diremos que f\, es continua en x\, cuando se ob tiene que \, f^{-1}(V) es un entorno de x \,, cualquiera que sea el entorno V\, de f(x)\,. Es inmediato entonces comprobar que f\, es continua cuando y slo cuando es contin ua en x \in X, cualquiera que 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 ce rca en puntos que estn cerca, es decir, si respeta la "relacin de cercana". Esto ad ems quiere decir que una funcin continua no "rompe" los que est unido y no "pega" l o que est separado. Conjuntos conexos, conexos por caminos y arco-conexos [editar] Un conjunto se dice que es conexo si no puede expresarse como unin de dos abierto s disjuntos no vacos. Un conjunto X\, se dice que es conexo por caminos si todo par de puntos puede un irse mediante un camino, esto es, \,\forall x,y \in X \quad \exist \phi : [0,1] \longrightarrow X continua de tal manera que \,\phi(0)=x y \,\phi(1)=y. Todo con junto conexo por caminos es conexo, pero no todo conjunto conexo es conexo por c aminos. Estos conjuntos estn "hechos de una pieza" (los conexos) o "hechos de manera que no tienen piezas totalmente sueltas" (los conexos por caminos). Naturalmente est o es slo una manera de interpretarlos. Las piezas de un conjunto (los mayores sub conjuntos 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 d e espejo es una componente conexa. Una bola de hierro es un conjunto con una sol a componente conexa, es decir, un conjunto conexo. Una rejilla tambin es un conju nto conexo, formado por una sola componente conexa. Existe otra nocin de conexin, la conexin por arcos o arco conexin ligeramente ms rest rictiva que la conexin por caminos. Se exige que el camino sea un homeomorfismo s obre su imgen. An as, la conexin por arcos y por caminos coinciden sobre los espacio s de Haudorff. Compacidad [editar] Los conjuntos compactos son un tipo de conjunto mucho ms difciles de definir. En e l espacio euclidiano un conjunto es compacto si cumple dos condiciones: es "cerr ado", 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 imp ortante en Topologa, as como en Geometra y en Anlisis Matemtico. Metrizacin [editar] Una topologa sobre un conjunto es metrizable si es posible encontrar una distanci a 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 [editar] Las propiedades de separacin son ciertas propiedades, cada una un grado ms restric tiva 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 cort an). Densidad [editar] Un conjunto es denso en el espacio si est "cerca de todos los puntos" de ese espa cio. 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 numerabl e. Topologa producto y Topologa cociente [editar] La topologa producto nos proporciona una manera de dotar de una topologa al produc

to cartesiano de varios espacios topolgicos, de tal manera que se conserven buena s propiedades, en particular que las proyecciones sobre cada factor sean aplicac iones continuas y abiertas. La topologa cociente nos proporciona una manera de do tar 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 abie rto sea un abierto). Topologa Algebraica [editar] 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 algebra icos, fundamentalmente la Teora de Grupos y el lgebra Homolgica, hasta tal punto qu e su desarrollo es totalmente algebraico. En la Topologa Algebraica se consideran una gran diversidad de problemas incluido s 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 conjun tos 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 mism o "grado de conexin", por expresarlo de alguna manera. Mientras que una bola de h ierro es maciza, una esponja y una rejilla tienen agujeros, e incluso parece cla ro que entre estos hay tambin una cierta diferencia. La Homotopa y la Homologa trat an estas cuestiones.