Consultas, comentarios y ejercitación de curso: Topología (Munkres)

[argentinator]

Ejercicio 16.9. Pruebe que la topología del orden del diccionario sobre el conjunto es la misma que la topología producto , donde denota a con la topología discreta. compare esta topología con lla topología usual sobre .

Solución.

Creo que en este ejercicio también se debe trabajar con las bases, intuyo que se tiene que probar que las bases sean iguales, y por ende sus topologías, pero también tengo problemas con esto.

Basta probar que todo elemento de la base de una de las topologías es "abierto" en la otra topología.
Creo que ese es el enfoque que hay que darle.

O sea, pretender demostrar que un elemento de la base de una topología es "también" eleemtno de la base de la otra, puede que no resulte.
Lo que yo te sugiero es más sencillo. Una vez de que te convenzas de que ese método es correcto, la prueba es automática, creo yo.

No cuesta nada mirar un poco cuando hago el producto cartesiano de un punto y un intervalo.
Con esos objetos en mente la prueba sale sola.

¿Un esfuercito más? 

[argentinator]

Ejercicio 16.10 Sea . Compare la topología producto sobre , y la topología que hereda como subespacio de en la topología del orden del diccionario.

Solución

¿Qué esto no se deduce el ejemplo 3 de la sección 16?
hummmmmmmmmmmmmmmmmm

P.d:Estos últimos ejercicios me dan dolor de cabeza

No se deduce todo del ejemplo 3, porque en ese ejemplo se comparan dos topologias diferentes relacionadas con el orden de diccionario.
Ahora se pide comparar con la topología producto típica, o sea, la usual del plano, que viene por ejemplo del producto de intervalos abiertos.

Además, "comparar" significa establecer claramente cuál topología es más fina que la otra, si es que eso es posible, y si no es posible decir por qué.

El capítulo 16 aún te necesita...


Si me aceptás un consejo, te digo que no dejes a la ligera los ejercicios que involucra propiedades de los números reales. Te dan experiencia topológica en ejemplos y contraejemplos típicos de la topología general. Son importantes.

Venís muy bien, no me dejes los ejercicios que parecen difíciles sin pelea.
Justamente, hay que hacerlos porque cuestan.

No hay que "deshacerse lo antes posible" de un ejercicio, sino tratar de comprender lo que está ocurriendo, la esencia de cada situación problemática.


Por otro lado, te estoy muy agradecido por tu enorme esfuerzo en este curso.

Saludos

[enloalto]

El capítulo 16 aún te necesita...


Si me aceptás un consejo, te digo que no dejes a la ligera los ejercicios que involucra propiedades de los números reales. Te dan experiencia topológica en ejemplos y contraejemplos típicos de la topología general. Son importantes.

Venís muy bien, no me dejes los ejercicios que parecen difíciles sin pelea.
Justamente, hay que hacerlos porque cuestan.

No hay que "deshacerse lo antes posible" de un ejercicio, sino tratar de comprender lo que está ocurriendo, la esencia de cada situación problemática.


Por otro lado, te estoy muy agradecido por tu enorme esfuerzo en este curso.

Saludos

Tienes mucha razón, no me van a ganar unos ejercicios, a darle duro, voy a pensar en ellos. Muchas gracias por tu preocupación y motivación.

[enloalto]

 

Ejercicio 16.7. Sea un conjunto ordenado. Si es un subconjunto propio de que es convexo en , ¿se deduce que es un intervalo o un rayo de X?

Me parece que esto tiene que ver con la estructura de X.

Tomemos a X como el sistema de los racionales.
Sea la sucesión creciente de aproximaciones racionales decimales del número .
Entonces la unión de los intervalos es un conjunto convexo en X, pero no hay forma de expresar eso como un intervalo (0, q) en X, porque q tiene que ser racional, y siempre se le va a "escapar" un elemento de la sucesión.

"Intuitivamente", X está sumergido en R, y el conjunto Y sería pues el intervalo (Q = racionales).
Pero no es racional, así que eso impide que Y sea un intervalo.

Tampoco es un rayo.
Se aprecia intuitivamente bien esto, porque entendemos cómo funciona R.
Pero faltaría escribir con detalles más técnicos la prueba, o los puntos más importantes de ella:

* Que el conjunto Y definido arriba es convexo. ¿Cómo se argumenta?

Sea . Tomemos , con a<b elementos arbitrarios, probemos que . Como , entonces  existen n y m tales que y , de donde
y .

Sea , entonces , luego , es decir , por tanto c pertence a Y. Luego , es decir, Y es convexo.

* Que el conjunto Y no es un intervalo en X.

Tomo un elemento arbitrario de la unión que conforma a Y, sea , Pero entre 0 y siempre hay un irracional, por tanto no es un intervalo de números racionales(o sea no es un intervalo en Q). En consecuencia Y no es un intervalo en Q.

* Que el conjunto Y no es un rayo en X.
Saludos

Si Y es un rayo, entonces debo ver que Y es de una de las siguientes formas:
1) , .
2) , .
3) , .
4) , .

Puesto que Y no tiene negativos, descarto (2) y (4)

****
Pensando esto, se me viene a la cabeza una duda,
Pero si Y ni siquiera es intervalo entonces mucho menos es rayo
****

¿Están bien?

[argentinator]

* Que el conjunto Y no es un intervalo en X.

Tomo un elemento arbitrario de la unión que conforma a Y, sea , Pero entre 0 y siempre hay un irracional, por tanto no es un intervalo de números racionales(o sea no es un intervalo en Q). En consecuencia Y no es un intervalo en Q.

¿Están bien?

No, no está bien, pero yo también tengo culpa por la notación que usé.

Tengamos en cuenta que ahora nuestro "espacio" consta sólo de números racionales.
Así que un "intervalo" como (a, b), quiere decir que sus extremos son racionales... y también todos sus elementos son racionales.
Esto es correcto, si repasamos las definiciones de intervalos en conjuntos ordenados cualesquiera...

La confusión viene porque cuando hablamos de números, estamos acostumbrados a pensar siempre en intervalos de números reales.
Habría que aclarar en alguna parte que no sólo es un intervalo con extremos racionales, sino que sus elementos también son racionales.
Estamos pensando, entonces, en algo como , con Q conjunto de racionales.

Estas cuestiones de notación ambigua... son un problema, claro, pero son parte de las cosas que tenemos que aprender.

¿Cuál es el espacio X y sus elementos? ¿Cuál es el orden en X? ¿Cómo son sus "intervalos" abiertos, o lo que fuere? ¿Cómo difieren de intervalos de sistemas más amplios, o más pequeños?
Quizá convenga decir en la misma demostración del ejercicio, o en el enunciado de lo que te pedí probar, que los intervalos son "racionales" y no contienen puntos "irracionales".

Dicho de ese modo, "no es la existencia de irracionales en el interior del intervalo la fuente del problema". ¿Entonces dónde está el problema? Obviamente, cerca del punto . ¿Pero cómo es?

[argentinator]

****
Pensando esto, se me viene a la cabeza una duda,
Pero si Y ni siquiera es intervalo entonces mucho menos es rayo
****

¿Están bien?

Hay que ajustarse estrictamente a las definiciones que estamos manejando en el curso.
Los intervalos y los rayos son definiciones que corresponden a nociones de "conjuntos totalmente ordenados", y puede que no coincidan con las nociones de cálculo que estamos acostumbrados a usar.

Así que en la recta real por ejemplo, un intervalo no sería un rayo, y un rayo tampoco sería un intervalo.
Los rayos abiertos son "conjuntos abiertos", pero no "intervalos abiertos".

En cada "juego" tenemos que tener claras las reglas con las que estamos jugando.

Ahora bien, si en un X hay máximos o mínimos, un intervalo semiabierto puede ser abierto, e incluso un rayo, y viceversa...

Todo depende de cada espacio considerado.


Así que hay que pensar de otra manera por qué razón Y no es un rayo.

Pero es fácil... basta pensar cuánto fastidia cualquier elemento de X mayor que , o menor que 0.
El número NO EXISTE en X, pero es válido usarlo, porque X es un subespacio de R.
Por otro lado, abrevia comentarios. Y si no te convence, usar el racional 7/2, que es mayor que .

[enloalto]

Ejercicio 16.9. Pruebe que la topología del orden del diccionario sobre el conjunto es la misma que la topología producto , donde denota a con la topología discreta. compare esta topología con lla topología usual sobre .

Solución.

Recordemos que la colección B de intervalos de la forma

también forma una base de la topología del orden sobre .
Entonces, sea un elemento básico de la la base B, luego , pero
 , y como
, es un abierto básico de la topología discreta, y es un intervalo abierto, es un abierto básico de la topología usual tenemos que
es un elemento básico de la topología producto sobre .

Por tanto, la base topología del orden del diccionario sobre está contenida  en la base de la topología producto sobre .

Ahora, sea un elemento básico de la topología producto sobre . Tomemos
, entonces y , luego y tomando tenemos que
. Por tanto es un abierto de la topología del orden del diccionario sobre .

Luego ambas bases son iguales, de donde sus topologías generadas también lo son.
¿Es correcto?
Saludos

[argentinator]

Ejercicio 16.9. Pruebe que la topología del orden del diccionario sobre el conjunto es la misma que la topología producto , donde denota a con la topología discreta. compare esta topología con lla topología usual sobre .

Solución.

Recordemos que la colección B de intervalos de la forma

también forma una base de la topología del orden sobre .
Entonces, sea un elemento básico de la la base B, luego , pero
 , y como
, es un abierto básico de la topología discreta, y es un intervalo abierto, es un abierto básico de la topología usual tenemos que
es un elemento básico de la topología producto sobre .

Por tanto, la base topología del orden del diccionario sobre está contenida  en la base de la topología producto sobre .

Ahora, sea un elemento básico de la topología producto sobre . Tomemos
, entonces y , luego y tomando tenemos que
. Por tanto es un abierto de la topología del orden del diccionario sobre .

Luego ambas bases son iguales, de donde sus topologías generadas también lo son.
¿Es correcto?
Saludos

Yo diría que está bastante bien.
Pero detecto algunas "debilidades".
Por ejemplo, empezaste razonando "si B es elemento de la 1er topología entonces es de la 2da", esa parecía la intención.
En ese caso, faltaría agregar un razonamiento parecido del tipo "si B es un elemento de la 2da, entonces también está en la 1era."

Eso sería lo correcto...
Pero también hay una tendencia natural a saltearse ese ida y vuelta porque en verdad sería mera repetición de palabras con contenido lógico muy similar.
La solución a situaciones como esta podría ser escribir en borrador la prueba de "ida" y verificar si la "vuelta" sigue siendo válida, yendo con los mismos pasos de atrás hacia adelante.
Entonces, en todos los pasos de la prueba se reemplazan los "entonces" por los "si y solo si", y las flechas por las .

Cuando las pruebas son sencillas está bien trabajar así.

Modificado: Veo que has corregio esto, o bien yo no me di cuenta de que lo habías escrito bien. mmmm
En todo caso lo que has puesto está bien estructurado.

Otro detallito por ahí es lo de la "base" de la topología discreta.
La topología discreta no se "define" a través de una base, sino que se la define dando todos sus elementos: "la familia de todos los subconjuntos de X".
Y de hecho, una "topologia" es una "base trivial para sí misma", así que hay que "demostrar" o al menos dejar "indicado" con cierta claridad que "la topologia discreta tiene como base a los conjuntos de un solo punto".

A lo mejor ya lo hemos dicho en la teoría o en algun ejercicio, y la verdad es que no me acuerdo.
Repetir demasiado lo mismo es algo pesado a veces.
Asi que esto de la base de la topologia discreta lo apunto como algo que me llamó la atención.
Si querés lo cambiás, y si no, da igual, porque la prueba está bien.

No detecto errores en la prueba. No es de extrañar que sea sencilla.
Saludos

Modificado: He releído tu prueba, y creo que malinterpreté el tratamiento de la "base" que diste a la topología discreta. Así que así como está iría bien. Pero tengo dudas en la parte final. Ahora te digo bien.

[argentinator]

(...) Por tanto es un abierto de la topología del orden del diccionario sobre .

Luego ambas bases son iguales, de donde sus topologías generadas también lo son.

Creo que esa frase hacia el final me confundió bastante, porque estás concluyendo algo correcto, pero que no sirve.
Estás concluyendo que V es un abierto en la top. del diccionario.
Eso está bien, pero después estás queriendo decir que las "bases" y no las "topologías" son iguales.
O sea que hubiera sido bueno concluir que V es, más que un abierto, un elemento de la base.

O bien cambiar la intención final donde pretendes llegar a la igualdad de topologías a través de las bases.

Quedémenos conque V es un abierto en top. diccionario.
Eso alcanza ya para concluir que ambas topologías son iguales.
O sea, si un elemento de la base de la 1er topologia es abierto en la 2da, y si un elemento de la base de la 2da es abierto en la 1era, sin necesidad de que vuelvan a ser "básicos", entonces las topologías son iguales.

Si lo que te interesa es demostrar algo más fuerte: "que las bases son inclusive iguales", me parece que vas a tener que elegir una base adecuada para la topología discreta, como por ejemplo, la formada por todos los conjuntos de un solo punto.

Son detalles menores todos esto, porque el ejercicio ya lo tenés "contra las cuerdas". Pero trato de detectar fuentes de errores o dificultades a través de "pequeños síntomas", que ojalá te sirvan.

Saludos

[enloalto]

Hola argentinator, mil disculpas, si lo corregí, lo que pasa es que en mi pc, exáctamente en el programa de internet, utilizo el google chrome, y ahí no sé por qué, pero no se puede visualizar, intenté con el internet explorer, ahí sí se puede visualizar, pero no se puede escribir, creo que algo anda mal con mi pc, jejeje. Así, que me quedé con el google chrome, y por eso cuando mando un mensaje, lo publico y después lo corrijo, mil disculpas.

Sobre los detalles, muchas gracias, me gusta eso.

 

(...) Por tanto es un abierto de la topología del orden del diccionario sobre .

Luego ambas bases son iguales, de donde sus topologías generadas también lo son.

Creo que esa frase hacia el final me confundió bastante, porque estás concluyendo algo correcto, pero que no sirve.
Estás concluyendo que V es un abierto en la top. del diccionario.
Eso está bien, pero después estás queriendo decir que las "bases" y no las "topologías" son iguales.
O sea que hubiera sido bueno concluir que V es, más que un abierto, un elemento de la base.

O bien cambiar la intención final donde pretendes llegar a la igualdad de topologías a través de las bases.

Yo también tenía mis dudas, pero lo lanzé pues no sabía como expresar mi duda y esperaba que tú la puedas expresar mejor, jijiji  .

Voy a revisarla, ahorita tengo que salir, cuidate mucho, estamos en contacto.

[argentinator]

Lo del google chrome es así para todo el mundo.

Saludos

[enloalto]

Hola argentinator, bueno siguiendo con el ejercicio 16.9

Me quedé en que si es un elemento básico de la topología producto sobre entonces, es un abierto de la topología del orden del diccionario sobre

Sea ahora, V un abierto cualquiera de la topología producto sobre , entonces es la unión de elementos básicos de la topología producto sobre , es decir, existe básicos tales que
, pero ya sé que cada básico es un abierto de la topología del orden del diccionario sobre , luego V es unión de abiertos de la topología del orden del diccionario sobre , entonces es un abierto en esta topología, luego

La topología producto sobre está incluida en la topología del orden del diccionario sobre .

También en el primer post de este ejercicio, a saber la respuesta 166 se probó que, la base topología del orden del diccionario sobre está contenida  en la base de la topología producto sobre . Luego
La topología del orden del diccionario sobre está incluida en la topología producto sobre .

De donde tengo que las topologías son iguales.

[enloalto]

Pasando a limpio.

Ejercicio 16.9. Pruebe que la topología del orden del diccionario sobre el conjunto es la misma que la topología producto , donde denota a con la topología discreta. Compare esta topología con la topología usual sobre .

Solución.
Recordemos que la colección B de intervalos de la forma

también forma una base de la topología del orden sobre .
Entonces, sea un elemento básico de la la base B, luego , pero
 , y como
, es un abierto básico de la topología discreta, y es un intervalo abierto, es un abierto básico de la topología usual tenemos que
es un elemento básico de la topología producto sobre .

Por tanto, la base topología del orden del diccionario sobre está contenida  en la base de la topología producto sobre . De donde concluimos que la topología del orden del diccionario sobre está incluida en la topología producto sobre ....(1)

Ahora, sea un elemento básico de la topología producto sobre . Tomemos
, entonces y , luego y tomando tenemos que
. Por tanto es un abierto de la topología del orden del diccionario sobre .

Sea ahora, V un abierto cualquiera de la topología producto sobre , entonces es la unión de elementos básicos de la topología producto sobre , es decir, existe básicos tales que
, pero ya sé que cada básico es un abierto de la topología del orden del diccionario sobre , luego V es unión de abiertos de la topología del orden del diccionario sobre , entonces es un abierto en esta topología, luego

La topología producto sobre está incluida en la topología del orden del diccionario sobre ....(2)

De (1) y (2) tengo que las topologías son iguales.

Para terminar el ejercicio, me piden que compare esta topología con la topología usual sobre . Para eso tengo que ver si una es más fina que otra, y en caso de no serlo , tendría que encontrar un abierto que esté solo en una, pero no se me ocurre. 

[enloalto]

Los ejercicios 16.7 y 16.8 sí creo que las puedo hacer, pero el 16.10 me está derrotando, es como el policía que se derrite en Terminator II y se ha disfrazado de ejercicio fácil al que me acerqué y ahora me quiere destruir............necesito la ayuda de argentinator!!!!!!!!!!!!!

[argentinator]

La clave está en prestar atención a lo que ocurre con los puntos que están en los bordes del cuadrado . O sea, cuando termina un "palito" o cuando comienza un nuevo "palito".
Hay que analizar qué ocurre allí con los elementos de una cierta base que contenga a esos puntos.
Los demás puntos son más fáciles de analizar.

Por ahora no tengo más tiempo, si no, te podría explicar mejor.

Fijate si con esa guía el ejercicio sale. Hacer un dibujito también ayuda.
Hay que hacer razonamientos geométricos, y apenas después traducirlos a lenguaje formal.

Saludos

[enloalto]

Hola argentinator, disculpa por la ausencia, estuve estudiando otras cosas y haciendo un trabajito.

Para serte sincero no he intentado los últimos ejercicios de la sección 16, pero no me quiero atrazar y deseo seguir con el resto, te prometo que los haré y los publicaré aca. Espero no decepcionarte.

[enloalto]

Ejercicio 17.5. Sea un conjunto ordenado con la topología del orden. Muestre que . ¿Bajo qué condiciones se cumple la igualdad?
Solución.
¿Es necesario saber si X tiene elemento máximo o mínimo? hummmm, profe deme una pista como empezar.

con la topología del orden tiene tres tipos de elementos básicos, a saber,
, donde es el mínimo de X y , donde  es el máximo de X, en caso los haya.

Por definición, .

Como , entonces es un cerrado, y claramente contiene a , entonces .

Por otra parte, también sabemos que
, para tener la igualdad se tiene que cumplir que
.

¿Es correcto?

[enloalto]

17.6 Denotemos por y a subconjuntos del espacio . Pruebe lo siguiente:
(a) Si , entonces .
(b) .
(c) ; dé un ejemplo donde no se cumpla la igualdad.

Solución:
(a) Por definición y

Como y es cerrado, entonces, es un cerrado que contiene a , y por definición se tiene ..

Otra forma:

(*)Si tomemos , entonces , para todo cerrado con .

Tomemos un cerrado arbitrario con . Como , entonces , con G cerrado, luego por (*) . Por tanto, , para todo cerrado con , es decir . En consecuencia .

(b)


........(*)
Como son cerrados, entonces también es cerrado, y también , por tanto en (*)



(c)

Como es cerrado, y sabemos que la unión arbitraria de cerrados no necesariamente es cerrado, se tiene que


Respecto al ejemplo, sea , luego .

Por otra parte, se tiene que , es decir es un conjunto abierto, y no se cumple la igualdad pues es cerrado.

[enloalto]

17.7 Discuta la siguiente "prueba" de que : si es una colección de conjuntos de y si , entonces cada entorno de interseca a . Así, debe intersecar a algún , por lo que debe pertenecer a la clausura de algún . Por consiguiente, .
Solución

Estoy utilizando la famila de conjuntos del ejercicio 17.6.c para ver si hay una falla, pero todavía no la encuentro

[enloalto]

Hola Debor, una consulta, ¿ese ejercicio pertenece al libro de Munkres o a alguno de los ejercicios anexos dejados por argentinator?, si es así, ¿puedes poner en que sección está?, y sino te aconsejaría ponerlo en el Post de Teoría de conjuntos.

Saludos