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

0 Usuarios y 3 Visitantes están viendo este tema.

25 Febrero, 2010, 05:34 am
Respuesta #150

enloalto

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 587
  • Karma: +0/-0
  • Sexo: Masculino
Ejercicio 16.9. Pruebe que la topología del orden del diccionario sobre el conjunto \( \mathbb{R}\times{\mathbb{R}} \) es la misma que la topología producto \( \mathbb{R}_d\times{\mathbb{R}} \), donde \( \mathbb{R}_d \) denota a \( \mathbb{R} \) con la topología discreta. Compare esta topología con lla topología usual sobre \( \mathbb{R}^2 \).

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.
Llovizna queriendo ser lluvia de verano

25 Febrero, 2010, 05:38 am
Respuesta #151

enloalto

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 587
  • Karma: +0/-0
  • Sexo: Masculino
Ejercicio 16.10 Sea \( I=[0,1] \). Compare la topología producto sobre \( I\times{I} \), y la topología que \( I\times{I} \) hereda como subespacio de \( \mathbb{R}\times{\mathbb{R}} \) 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
Llovizna queriendo ser lluvia de verano

26 Febrero, 2010, 06:06 pm
Respuesta #152

argentinator

  • Consultar la FIRMAPEDIA
  • Administrador
  • Mensajes: 7,332
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
  • Vean mis posts activos en mi página personal
    • Mis posts activos (click aquí)
Ejercicio 16.6. Pruebe que la colección numerable

\( B=\{(a,b)\times (c,d)\;|\;a< b,\;c< d,\quad a,b,c,d \textsf{\ racionales}\} \)

es una base para \( \mathbb{R}^2 \).

Solución.
Por definición de base, debemos probar que:

1) Para cada \( (x,y)\in{\mathbb{R}^2} \), existe un \( (a,b)\times{(c,d)}\in B \) tal que \( (x,y)\in (a,b)\times{(c,d)} \).

2) Si \( x\in{((a_1,b_2)\times{(c_1,d_1)})\cap{((a_2,b_2)\times{(c_2,d_2)}})} \), entonces existe un \( (a,b)\times{(c,d)}\in B \) tal que \( x\in{(a,b)\times{(c,d)}}\subset {(a_1,b_2)\times{(c_1,d_1)}\cap{(a_2,b_2)\times{(c_2,d_2)}}} \)

En efecto,
1) Sea \( (x,y)\in{\mathbb{R}^2} \) entonces existen \( a,b,c,d\in{\mathbb{Q}} \) tal que \( a<x<b \), \( c<y<d \) y se tiene lo pedido.

2) Utilizando la densidad de los racionales se tiene el resultado.

En la parte (2) ¿por qué sale con la densidad de los racionales?
Hay que decir que entre dos reales siempre hay un racional estrictamente contenido.
Y de ahí se pueden encontrar elementos a, b, c, d...
Es fácil, pero hay que decirlo. O al menos eso me parece a mí.

Es muy sutil la línea entre "una prueba satisfactoria" y una que "no lo es del todo".
Los detalles que son obvios para algunos, no lo son tanto para otros.
Para mi gusto, faltaría un poco más de exactitud en lo dicho ahí.



Yo no sé si el libro sugiere o no que, además, se compruebe que la topología resultante es la estándar.
No sé si en la teoría se dice algo al respecto, no lo recuerdo.
La base topologica definida en este ejercicio es, además, base de la topología estándar, y estaría bueno "chequearlo".
Podríamos agregarlo quizá al enunciado del ejercicio, para mejorarlo un poco, porque justamente la "gracia" de esta base es que genera la topologia estandar.

26 Febrero, 2010, 06:28 pm
Respuesta #153

argentinator

  • Consultar la FIRMAPEDIA
  • Administrador
  • Mensajes: 7,332
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
  • Vean mis posts activos en mi página personal
    • Mis posts activos (click aquí)
Ejercicio 16.7. Sea \( X \) un conjunto ordenado. Si \( Y \) es un subconjunto propio de \( X \) que es convexo en \( X \), ¿se deduce que \( Y \) es un intervalo o un rayo de X?

Solución.
No sé como empezar.


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

Tomemos a X como el sistema de los racionales.
Sea \( \{x_n\} \) la sucesión creciente de aproximaciones racionales decimales del número \( \pi \).
Entonces la unión de los intervalos \( Y=\bigcup_{n=1}^\infty (0,x_n) \) 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 \( (0,\pi)\cap Q \) (Q = racionales).
Pero \( \pi \) 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?
* Que el conjunto Y no es un intervalo en X.
* Que el conjunto Y no es un rayo en X.

Saludos

26 Febrero, 2010, 06:32 pm
Respuesta #154

enloalto

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 587
  • Karma: +0/-0
  • Sexo: Masculino
Ejercicio 17.1. Sea \( \mathcal{C} \) una colección de subconjuntos de \( X \). Supongamos que \( \emptyset \) y \( X \) están en \( \mathcal{C} \), y que las uniones finitas y las intersecciones arbitrarias de elementos de \( \mathcal{C} \) están en \( \mathcal{C} \). Pruebe que la colección

\( \tau=\{X-C|C\in{\mathcal{C}}\} \)

es una topología sobre \( X \).
Solución.

1) \( \emptyset,X\in{\tau} \).
Como por hipótesis \( X,\emptyset\in{\mathcal{C}} \), entonces
\( X=X-\emptyset \), luego \( X\in \tau \)
\( \emptyset=X-X \), luego \( \emptyset\in \tau \)

2) Sean \( \{U_i\} \), tal que \( U_i\in{\tau} \) para todo \( i \), entonces \( U_i=X-C_i \), \( C_i\in{\mathcal{C}} \), para todo \( i \). Luego
\( \displaystyle\bigcup_{i} {U_i}=\displaystyle\bigcup_{i} {X-C_i}=X-\displaystyle\bigcap_{i} {C_i} \)

Por hipótesis \( \displaystyle\bigcap_{i} {C_i}\in{\mathcal{C}} \).

Entonces \( \displaystyle\bigcup_{i} {U_i}\in{\tau} \).

3) Sean \( \{U_i\}_{i=1}^{n} \), tal que \( U_i\in{\tau} \) para todo \( 1\leq{i\leq{n}} \), de aquí \( U_i=X-C_i \), \( C_i\in{\mathcal{C}} \),  para todo \( 1\leq{i\leq{n}} \).
\( \displaystyle\bigcap_{i=1}^n{U_i}=\displaystyle\bigcap_{i=1}^n{X-C_i}=X-\displaystyle\bigcup_{i=1}^n{C_i} \)

Por hipótesis \( \displaystyle\bigcup_{i=1}^n{C_i}\in{\mathcal{C}} \).
Luego \( \displaystyle\bigcap_{i=1}^n{U_i}\in{\tau} \).

De (1), (2) y (3) \( \tau \) es una topología sobre \( X \).
Llovizna queriendo ser lluvia de verano

26 Febrero, 2010, 06:40 pm
Respuesta #155

enloalto

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 587
  • Karma: +0/-0
  • Sexo: Masculino
Ejercicio 17.2. Pruebe que si \( A \) es cerrado en \( Y \) e \( Y \) es cerrado en \( X \), entonces \( A \) es cerrado en \( X \).
Solución.
\( A \) es cerrado en \( Y \), entonces \( A=Y\cap F \), donde \( F \) cerrado en \( X \) y como \( Y \) también es cerrado en \( X \), entonces A es intersección de dos cerrados en X, luego es cerrado en X
Llovizna queriendo ser lluvia de verano

26 Febrero, 2010, 06:56 pm
Respuesta #156

enloalto

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 587
  • Karma: +0/-0
  • Sexo: Masculino
Ejercicio 17.3. Pruebe que si \( A \) es cerrado en \( X \) y \( B \) es cerrado en \( Y \), entonces \( A\times{B} \) es cerrado en \( X\times{Y} \).
Solución.
Como \( A \) es cerrado en \( X \), entonces \( X-A \) es abierto.
Como \( B \) es cerrado en \( Y \), entonces \( Y-B \), es abierto

Luego, \( (X-A)\times{(Y-B)} \) es abierto, pero
\( (X-A)\times{(Y-B)}=(X\times{Y})-(A\times{B}) \), luego
\( (X\times{Y})-(A\times{B}) \) es abierto, de donde \( A\times{B} \) es cerrado.
Llovizna queriendo ser lluvia de verano

26 Febrero, 2010, 07:13 pm
Respuesta #157

enloalto

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 587
  • Karma: +0/-0
  • Sexo: Masculino
Ejercicio 17.4. Pruebe que si \( U \) es abierto en \( X \) y \( A \) es cerrado en \( X \), entonces \( U-A \) es abierto en \( X \) y \( A-U \) es cerrado en \( X \).
Solución.
Como \( U \) es abierto en \( X \), entonces \( X-U \) es cerrado en \( X \).
Como \( A \) es cerrado en \( X \), entonces \( X-A \) es abierto en \( X \).

Luego \( U-A=U\cap{X-A} \) es abierto en \( X \) y
\( A-U=A\cap{X-U} \) es cerrado en \( X \).
Llovizna queriendo ser lluvia de verano

26 Febrero, 2010, 07:28 pm
Respuesta #158

enloalto

  • $$\Large \color{#c88359}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 587
  • Karma: +0/-0
  • Sexo: Masculino
Ejercicio 17.5. Sea \( X \) un conjunto ordenado con la topología del orden. Muestre que \( \overline{(a,b)}\subseteq{[a,b]} \). ¿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.
Llovizna queriendo ser lluvia de verano

26 Febrero, 2010, 09:45 pm
Respuesta #159

argentinator

  • Consultar la FIRMAPEDIA
  • Administrador
  • Mensajes: 7,332
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
  • Vean mis posts activos en mi página personal
    • Mis posts activos (click aquí)
Ejercicio 16.8. Si \( L \) es una recta en el plano, describa la topología que \( L \) hereda como subespacio de \( \mathbb{R}_l\times{\mathbb{R}} \) y como subespacio de \( \mathbb{R}_l\times{\mathbb{R}_l} \). En ambos casos se trata de una topología conocida.

Solución.

No la he resuelto, pero pongo mi intento. Tengo problemas en definir a L, la que se me ocurre es
\( L=\{(x,y)\in{\mathbb{R}^2}|y=mx+n\mbox{, m y n números reales}\} \).
Para estudiar la topología, voy a ver que sucede con la base.

Sea \( U \) un elemento básico de la base del subespacio que L hereda de \( \mathbb{R}_l\times{\mathbb{R}} \), entonces existen \( [a,b)\in{B_{\mathbb{R}_l}} \) y \( (c,d)\in{B_{\mathbb{R}}} \) tal que
\( U=L\cap{([a,b)\times{(c,d)})} \)
Entonces, si \( (w,z)\in{U} \), se tiene que
\( z=mw+n \) y \( a\leq{w}<b \) y \( c<z<d \), de aquí

Aca tendría que estudiar dos casos:
1) \( m>0 \)
entonces \( ma+n\leq{mw+n}<mb+n\Rightarrow{ma+n\leq{z}<mb+n} \) y \( c<z<d \).
Es decir \( z\in{[ma+n,mb+n)\cap{(c,d)}} \).
Ahi me quedo  :banghead: :banghead:



En los ejercicios donde hay "planos", "rectas" y cosas por el estilo, incluso tambien "intervalos" y "rayos", es siempre buena idea hacer el dibujo y tratar de comprender la situación geométrica.

¿Qué aspecto tiene un elemento típico de la base en la topología de \( L \)?

Claro que hay que separar en casos...
Sin embargo, toda recta \( L \) en el plano tiene un orden estándar.
Esto es típico de la geometría plana.

Estableciendo el orden "natural" de la recta \( L \), se puede definir allí la topología de los intervalos semiabiertos por la izquierda, y denotamos con \( L_\ell \) a la recta cuando la miramos con esa topología.

Ahora te pregunto si al considerar \( L \) como subespacio de \( \mathbb{R}_\ell\times \mathbb R \) tiene la topología de \( L_\ell \).

Para trabajar con comodidad, hay que probar que la intersección de dos intervalos da otro intervalo, y conviene tener claro qué tipo de intervalo da en cada caso (abierto, semiabierto, etc.).

Una vez probado eso, la traducción de la geometría a la forma analítica es casi directa.
Aunque se dan varios casos distintos, según como se efectúen las "intersecciones" con distintos elementos de la base de \( \mathbb{R}_\ell\times\mathbb{R} \)

Consideremos primero una recta con pendiente positiva.

La base de la topología de subespacio de \( \mathbb{R}_\ell\times\mathbb{R} \) contiene a todos los elementos de la topología de \( L_\ell \).
También contiene a los "intervalos abiertos" de \( L \) con su "orden natural". Pero estos conjuntos ya son "abiertos" en \( L_\ell \), así que no estamos agregando nada a la topología, aunque sí que la "base" subespacio obtenido es mayor...

¿Hay otros elementos posibles en la base de subespacio para L?
Hay 4 casos tipicos posibles, y la respuesta sería, según veo, que no.
(Se puede disentir, claro está!!! ...)

Así que la topología sería la de \( L_\ell \), aunque la base obtenida sea mayor.

El conjunto vacío pertenece también a la base en este caso.



Supongamos ahora que \( L \) tiene pendiente nula, o sea, \( L \) es horizontal.
La situación que se obtiene es similar al caso anterior, salvo que la base es la misma que la  \( L_\ell \), aunque con el agregado del conjunto vacío.

Así que obtenemos otra vez \( L_\ell \).



Si la recta \( L \) es vertical, se obtiene la base de segmentos "abiertos", o sea, "sin extremos". Esto nos daría la "topología del orden" de la recta L, que difiere claro está de \( L_\ell \).




El último caso a analizar es el de las rectas de pendiente negativa.

La situación es la misma que para las pendientes positivas, aunque con algunas salvedades en el camino.
Por ejemplo, con el orden natural respecto a la orientación del eje x, la recta \( L \) puede considerarse como ordenada "al revés".
Además, la prueba no es exactamente igual, porque los "bordes" de \( R_\ell \) quedan del lado izquierdo siempre, mientras que la inclinación de las rectas ha quedado ahora para el lado opuesto.

Así que podríamos decir que la topología es la de \( L_\ell \), pero teniendo cuidado de decir en qué sentido se toma el orden en \( L \).





Ahora pasemos a las rectas \( L \) como subespacios de \( \mathbb{R}_\ell\times\mathbb{R}_\ell \).

Para las rectas \( L \) de pendiente vertical se obtiene de nuevo \( L_\ell \).

Cuando la recta \( L \) es horizontal, se obtiene de nuevo \( L_\ell \).

Cuando la recta \( L \) es vertical, ahora la cosa cambia, y se obtiene \( L_\ell \).

Finalmente, cuando la recta \( L \) tiene pendiente negativa, se obtiene la topología discreta de \( L \).
¿Por qué? Bastaría probar que cada punto en L es abierto.

¿Y por qué en el resto del ejercicio no se obtuvo la topología discreta?





Lo que no entiendo del ejercicio es por qué dice que lo que se obtiene es una "topología familiar". No sé a qué se refiere.

La cuestión es que si uno le da a la recta \( L \) un sistema de coordenadas, olvidándose de su descripción inicial con coordenadas \( (x,y) \), lo que se obtiene es que \( L \) es ahora "lo mismo" que el sistema de números reales \( \mathbb{R} \), y las topologías obtenidas han sido: \( \mathbb{R}_\ell,\mathbb{R},\mathbb{R}_d \), según los casos.

O sea, 3 de las topologías más familiares.

Esto está bien justificado, si consideramos un isomorfismo algebraico entre el sistema \( \mathbb{R} \) de números reales y los puntos de la recta \( L \), dados en la forma analítica siguiente (que además sirve de isomorfismo): \( t\to (t,mt+b) \), por ejemplo.

Hasta ahora no hemos visto isomorfismos topológicos,
pero lo que estamos describiendo es tan sólo un isomorfismo algebraico,
y sólo cuenta la interacción entre \( \mathbb{R}\times\mathbb{R} \) y \( L \) con su sistema de coordenadas.

Y además, cuando hablamos de \( \mathbb{R} \), nos estamos refiriendo a "cualquier conjunto que satisfaga los axiomas de los números reales".
Fijate que en la sección 4 se dan a los reales sólo como axiomas, y todas las propiedades de los reales son aplicables a cualquier sistema algebraico que verifique esos axiomas.

Parametrizando las rectas en un espacio vectorial, mediante la manera usual del álgebra lineal básica, se obtiene un sistema coordenado sobre dicha recta que satisface los axiomas de números reales, y es isomorfo a cualquier cosa que consideremos como \( \mathbb{R} \).

Ese es el sentido del álgebra lineal, que en cualquier espacio vectorial hay líneas rectas y nociones de paralelismo (suma vectorial).
Hagamos la salvedad de que, si bien una recta en un espacio vectorial cualquiera tiene una topología idéntica a los reales, si así se desea, esto no quiere decir que el espacio completo esté dotado de alguna topología adecuada.





No vislumbro otro sentido de la palabra "familiar" en el enunciado del ejercicio.
Salvo que me esté saltando algún detalle importante.
¿Qué pensás de todo esto?
Antes de pensar cualquier cosa, hay que dibujar, jeje...  ;)

¡Con ejercicios de productos cartesianos siempre hay que dibujar!

Saludos