Maestra en Educacin Matemtica

Tpicos de Topologa

Conexidad

Integrante :
Deudor Gomez Carlos

Mario Vargas Llosa y Karl

Popper, Palacio de la Magdalena,
Santander, Espaa, 1991

Un paseo a travs de las

matemticas!
Una pelcula para todos los pblicos!
Nueve captulos, dos horas de
matemticas, que le llevarn poco a
poco hasta la cuarta dimensin.
Garantizado el vrtigo matemtico!
Informacin bsica sobre cada
captulo

http://www.dimensions-math.org/Dim_ES.htm

http://www.dimensions-math.org/Dim_chap_ES.htm

Heinz Hopf y la topologa

La Topologa es la ciencia que estudia las deformaciones. Por
ejemplo, la taza y el toro representados a la derecha son por
supuesto objetos diferentes, pero se puede pasar del uno al otro
mediante una deformacin continua que no introduce ninguna
rotura: los matemticos dicen que la taza y el toro son
homeomorfos (de la misma forma). Y un toplogo es la persona
que no sabe distinguir su taza de caf de su dona!!
As pues, hubo de pasar un tiempo hasta que esta teora alcanz el
status de disciplina autnoma, con sus propios problemas y sus
mtodos originales, a menudo de naturaleza cualitativa. Aunque
tuvo prestigiosos predecesores (tales como Euler, Riemann,
Listing o Tait[en Ingls]), Henri Poincar es normalmente considerado
como el que estableci los fundamentos slidos de la topologa (a
la que l llam analysis situs).
Nuestro presentador, Heinz Hopf (1894-1971), es uno de sus ms
notables seguidores en la primera mitad del siglo XX.

Heinz Hopf y la topologa

http://www.dimensions-math.org/Dim_ES.htm

Heinz Hopf y la topologa

Crculos, toros... todo rotando en el
espacio de cuatro dimensiones.

http://www.dimensions-math.org/Dim_ES.htm

Moebius - La Pelcula
Moebius es una pelcula divertida,
pero uno de los juegos que hace es
usar los trminos matemticos como
frmulas mgicas. 'Conectividad
infinita' suena a teora de grafos,
'discontinuidades del sistema' parece
anlisis pero con un vocabulario
parecido al que usan los fsicos,
'singularidades', por otro lado, se usa
bastante para los puntos de
discontinuidad de una funcin (por
ejemplo se dice a veces que tiene una
singularidad en 2).
http://youtu.be/NC9kbwnDsPA

Conexidad

Qu es un conexo?
A no ser que usemos la ortografa del noroeste, la notacin
debiera ser autoexplicativa: conexo significa de una pieza,
conectado, no separado. Ha habido varias definiciones
matemticas de este concepto (G. Cantor 1883, C. Jordan 1893, A.
Schoenfliesz 1904) pero el lenguaje introducido hasta ahora nos
lleva indefectiblemente a la universalmente aceptada en la
actualidad (S. Mazurkiewicz 1920).

Conexidad
1. Conjuntos separados
La definicin de conexin para un espacio topolgico es
muy natural. As, se dice que un espacio puede ser separado si
es posible dividirlo en dos conjuntos abiertos con interseccin
trivial. En caso contrario, diremos que el espacio es conexo. En
trminos ms precisos, se tienen las siguientes definiciones.

Definiciones
Dado un espacio topolgico
y dos subconjuntos
diremos que A y B estn separados si
Es evidente que si A y B estn separados, entonces son disjuntos.
Sin embargo, el reciproco no es cierto como queda de manifiesto
en los siguientes ejemplos.

Conexidad
Ejemplos

Conexidad
Definiciones
1) Se dice que un espacio topolgico es conexo si no existen dos
abiertos,
, disjuntos y no vacos tales que
se dice que es conexo si X no
2) Un espacio topolgico
es unin de dos subconjuntos no vacos y separados. En caso
contrario diremos que X es no conexo.

Nota: Cuando un espacio no es conexo, se suele decir que los

dos abiertos
con las propiedades anteriores, forman una
separacin.

Conexidad
Definicin: Se dice que un subconjunto de un espacio topolgico
es conexo, si lo es con la topologa relativa.

Con estas definiciones se sigue que el vaco siempre es conexo,

pero es un caso tan especial que a veces se le excluye, aunque
nosotros no lo haremos. Y es que el miedo a la nada y al vaco,
tan arraigado en el pensamiento anterior (un importantsimo
filsofo y matemtico del siglo XVII dijo: No se sabra
suponer el vaco sin error), se ha perdido hasta tal punto que
estos conceptos son habituales en la Filosofa y Matemticas
contemporneas.
Era impensable: para imaginar la nada, era menester encontrarse all, en pleno
mundo, con los ojos bien abiertos, y vivo; la nada slo era una idea en mi cabeza,
una idea existente que flotaba en esa inmensidad; esa nada no haba venido antes
de la existencia, era una existencia como cualquier otra, y aparecida despus de
muchas otras

Conexidad
Subespacios conexos
Definicin Sea un espacio topolgico
y un subconjunto
Diremos que S es un subespacio conexo si
es conexo.

Proposicin: Un subconjunto S de un espacio topolgico

es
conexo si, y slo si, no existen dos subconjuntos
separados
tales que

Conexidad
Ejemplos de conjuntos conexos
1) Cualquier espacio topolgico con la topologa trivial (o con la
topologa discreta) es conexo.
2) Sea Y el subespacio [1, 0)U(0, 1] de la recta real R. Los
conjuntos [1, 0) y (0, 1] son no vacos y abiertos en Y
(aunque no en R); de esta forma, constituyen una separacin
de Y. Por otra parte, obsrvese que ninguno de estos
conjuntos contiene puntos lmite del otro.
3) Sea X el subespacio [1, 1] de la recta real. Los conjuntos
[1, 0] y (0, 1] son disjuntos y no vacos pero no forman una
separacin de X ya que el primer conjunto no es abierto en X.
Por otro lado, obsrvese que el primer conjunto contiene un
punto lmite, el 0, del segundo. De hecho, probaremos
enseguida que no existe una separacin del espacio [1, 1].

Conexidad
Ejemplos de conjuntos conexos
4) El conjunto de los nmeros racionales Q no es conexo. Es
ms, los nicos subespacios conexos de Q son los conjuntos
unipuntuales: si Y es un subespacio de Q conteniendo dos
puntos p y q, es posible elegir un nmero irracional a entre p
y q y escribir Y como la unin de los abiertos
5)

En cualquier espacio topolgico los puntos son conexos.

6) IR con la topologa cofinita es conexo. Esto es una sencilla

consecuencia de que en esta topologa no hay abiertos
disjuntos no vacos.

Conexidad
Ejemplos de conjuntos No conexos
1)

con la topologa de Sorgenfrey no es conexo. Basta

escribir la separacin

2) A = (2; 3] U [4; 5) no es conexo en IR con la topologa usual

porque se tiene la separacin
3) En IR con la topologa usual, Q no es conexo.

Por la propia forma de la definicin es ms fcil construir

ejemplos de no conexos que de conexos (es ms fcil romper
una cosa que comprobar que no est rota). Por ello, los dos
ltimos ejemplos son un poco triviales.

Conexidad
Lema : El intervalo [0; 1] es conexo con la topologa usual.

Proposicin: Cualquier intervalo (abierto, cerrado,

semiabierto, finito o infinito) es conexo en IR con la
topologa usual.
Observacin: Se considera que IR es un tipo de intervalo
infinito,
La manera de tratar con intervalos
infinitos es considerar dos puntos que pertenezcan a cada uno
de los abiertos de la separacin y que desempeen el papel de
0 y 1 en la demostracin anterior.

Conexidad
Teorema : Con la topologa usual
si
o A es un intervalo.

es conexo si y slo

Una vez que una misma demostracin ms o menos sencilla

ha servido para demostrar varias cosas, se utiliza el viejo
truco en Matemticas, que se podra llamar tener oficio o
experiencia, consistente en inventarse construcciones
abstractas (a veces muy abstractas) donde se pueda aplicar la
misma demostracin conocida que a uno no se le habra
ocurrido.
Esto sirve, al menos, para que las hemerotecas de las
facultades estn llenas de artculos de investigacin
independientemente de los progresos que se hagan.

Conexidad
Profesionales de la experiencia? [...] Todo lo que pasaba a
su alrededor empez y concluy fuera de su vista; largas
formas oscuras, acontecimientos que venan de lejos los
rozaban rpidamente, y cuando quisieron mirar, todo haba
terminado ya. Y a los cuarenta aos bautizan sus pequeas
obstinaciones y algunos proverbios con el nombre de
experiencia; comienzan a actuar como distribuidores
automticos: dos cntimos en la ranura de la derecha y se
obtienen preciosos consejos que se pegan a los dientes como
caramelos blandos.

Conexidad
Aplicaciones
Geometria

Conexidad
Aplicaciones
Grafos