Autor Tema: Espacios topológicos con relación de equivalencia

0 Usuarios y 1 Visitante están viendo este tema.

15 Diciembre, 2012, 07:33 am
Leído 6505 veces

lemaxpd

  • otsirc ne odeup ol odot
  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 127
  • Karma: +0/-0
  • Sexo: Femenino
Busco sugerencias para demostrar lo siguiente:

1. Let R be an equivalence relation in X. For each \( A\subset{X} \) define \( C(A)= \left\{{x\in{X}: \exists{a}\in{A} : x R a}\right\} \). Show that p(U) is open in if and only if C(U) is open in X.
Spoiler
Sea R una relacion de equivalencia en el espacio topológico X. Para cada \( A\subset{X} \) defina \( C(A)= \left\{{x\in{X}: \exists{a}\in{A} : x R a}\right\} \).Demostrar que \( p(U) \) es abierto en X/R sí y solo sí C(U) es abierto en X.
[cerrar]

2. Let 0 be the origin in \( E^3 \). In \( E^3 - 0  \) , define \(  x R y  \) if \( x \) and \( y \) lie on line through the origin. Show that \( R \) is a equivalence relation; \(  (E^3 -0) / R  \) is called the projective plane \( P^2 \). Call line in \( P^2 \) any set a such that \(  p^{\(-1}(A) \) is a plane in \( E^3 - 0  \) going through the origin. Show that a line in \( P^2 \) is homeomorphic to \( S^1 \).

Spoiler
Sea 0 el origen en \( E^3 \). In \( E^3 - 0  \) , defina \(  x R y  \) si \( x \) y \( y \) se encuentran en linea a traves del origen. Demostrar que \( R \) es una relación de equivalencia; \(  (E^3 -0) / R  \) es llamado el plano proyectivo \( P^2 \). Llame a la linea en \( P^2 \) cualquier conjunto A tal que \(  p^{\(-1} (A) \) es un plano en  \( E^3 - 0  \) que pasa por el origen. Demostrar que una línea en \( P^2 \) es homeomorfo a \( S^1 \)
[cerrar]


Título corregido
topologicos --> topológicos
relacion --> relación

15 Diciembre, 2012, 03:20 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

 1) Ten en cuenta que por definición de topología cociente \( p(U) \) es abierto en \( X/R \) si y sólo si \( p^{-1}p(U) \) es abierto en \( X \).

 Entonces sólo tienes que comprobar que \( p^{-1}p(U)=C(U) \).

 2) Supón que el plano es \( z=0 \).

 Entonces considera la aplicación:
 
\(  f:p^{-1}(A)\longrightarrow{}S^1 \)

\(  f(x,y,0)=\dfrac{(x,y)}{\|(x,y)\|} \)

 y

\(  g:S^1\longrightarrow{}S^1 \) \( g(\theta)=2\theta \) (en polares)

 Entonces comprueba que \( g\circ f \) pasa al cociente por \( R  \) y es un homeomorfismo.

 Luego extiende la idea a cualquier plano.

Saludos.

22 Diciembre, 2012, 07:49 am
Respuesta #2

lemaxpd

  • otsirc ne odeup ol odot
  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 127
  • Karma: +0/-0
  • Sexo: Femenino
En archivo adjunto envio la redacción de la demostración del ejercicio 1. Solicito comedidamente la revisión de mis argumentos.

Mil gracias de antemano.

22 Diciembre, 2012, 04:00 pm
Respuesta #3

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

 Está bien, aunque una vez que has probado que \( p^{-1}(p(U))=C(U) \) el final es más directo.

 Simplemente por definición de topología cociente:

 \( p(U) \) abierto en \( X/R \) si y sólo si \( p^{-1}p(U))=C(U) \) es abierto en \( X \)

Saludos.

24 Diciembre, 2012, 02:02 am
Respuesta #4

lemaxpd

  • otsirc ne odeup ol odot
  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 127
  • Karma: +0/-0
  • Sexo: Femenino
Hola. En archivo adjunto envio lo que escribí despues de ver tu sugerencia. Podrías decirme si estaría mejor de esa manera?

24 Diciembre, 2012, 03:42 pm
Respuesta #5

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

 Está bien. Puedes incluir lo que está en rojo; no es imprescindible pero aporta más claridad.

Saludos.

03 Enero, 2013, 05:13 pm
Respuesta #6

lemaxpd

  • otsirc ne odeup ol odot
  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 127
  • Karma: +0/-0
  • Sexo: Femenino
Citar
Busco sugerencias para demostrar lo siguiente:

 2. Let 0 be the origin in \( E^3 \). In \( E^3 - 0  \)  , define \(  x R y  \) if \( x \) and \( y \)  lie on line through the origin. Show that R is a equivalence relation; \(  (E^3 -0) / R  \) is called the projective plane . Call line in \( P^2 \) any set A such that \(  p^{\(-1} (A) \) is a plane in \( E^3 - 0  \) going through the origin. Show that a line in \( P^2 \) is homeomorphic to \( S^1 \).
[/spoiler] Sea 0 el origen en \( E^3 \) . In \( E^3 - 0  \)  , defina  \(  x R y  \) si \( x \) y \( y \) se encuentran en linea a traves del origen. Demostrar que R es una relación de equivalencia; \(  (E^3 -0) / R  \) es llamado el plano proyectivo \( P^2 \). Llame a la linea en \( P^2 \) cualquier conjunto A tal que \(  p^{\(-1} (A) \) es un plano en \( E^3 - 0  \)  que pasa por el origen. Demostrar que una línea en  \( P^2 \) es homeomorfo a \( S^1 \)
Spoiler
[cerrar]
.

Dado que los intentos por entender (y resolver) este problema, han sido fallidos. Escribo en esta ocasión para solicitarles comedidamente, una explicación o material que me ayude a entender el problema, pues la verdad no he podido usar la sugerencia enviada, debido a que tengo muchos obstáculos epistemológicos, las investigaciones que he realizado aún no me permiten avanzar. A continuación escribo los link, con los  que he intentado trabajar el problema, para conocer sus opiniones y sugerencias.


http://gaussianos.com/la-proyeccion-estereografica/

http://tiopetrus.blogia.com/2003/120901-la-proyeccion-estereografica-de-riemann.php

http://en.wikipedia.org/wiki/Stereographic_projection

http://www.uam.es/personal_pdi/ciencias/lguijarr/docencia/geometria_3_0910/superficies.pdf


 

03 Enero, 2013, 05:20 pm
Respuesta #7

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

 Yo creo que es mejor que partiendo de la idea que te comenté, vayas detallando punto por punto tus dudas.

 Es difícil darte indicaciones si no sé que cosas sabes y cuáles no. No sé donde apoyarme.

Saludos.

08 Enero, 2013, 04:05 am
Respuesta #8

lemaxpd

  • otsirc ne odeup ol odot
  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 127
  • Karma: +0/-0
  • Sexo: Femenino
Citar
Hola.  Yo creo que es mejor que partiendo de la idea que te comenté, vayas detallando punto por punto tus dudas.
 Es difícil darte indicaciones si no sé que cosas sabes y cuáles no. No sé donde apoyarme.

ok. En primer lugar, entiendo que la relación de equivalencia considerada en el problema me indica que \( xRy \Leftrightarrow{} x, y \in{L} \), donde L es la recta que pasa por el origen, es decir \( L:\left\{{x\in\mathbb{R}^3:x=tD, con\ t\in\mathbb{R},D\in\mathbb{R}^3}\right\} \). ¿es esto correcto?

En segundo lugar, presento las siguientes inquietudes:

I. Respecto a la prueba de que R es una relación de equivalencia. Podrías decirme si esta bien los siguientes argumentos?


Si \( xRy \), entonces \( x,y \) se encuentran sobre la misma linea que pasa por el origen, entonces \( y,x \) se encuentran sobre la misma línea que pasa por el origen. Así que \( xRy \).

Si \( xRy \) y \( yRz \), entonces \( x,y \in{L_0}  \) y \( y,z \in{L_1}  \) respectivamente. Entonces existen, \( t_1, t_2 \in\mathbb{R}: x=t_1D, y=t_2D  \), también \( y=s_1D_1, z=s_2D_1  \). Pero se tiene que \(  t_2D=y=s_1D_1  \), luego \( D_1 \) es múltiplo de D, es decir son paralelos. Por tanto \( L_0 y L_1 \) coinciden, luego x y z están sobre la misma recta, es decir \( xRz \).

II. Para probar la simetria (\( xRx \Longleftrightarrow{} \) x y x se encuentran en linea a traves del origen).
 
     Realmente no se cómo garantizar esta condición.

III. Entiendo que para probar que \( p^2 \) es homeomorfo a \( s^1 \) me sugieren probar que \( h= g\circ f \) es un homeomorfismo (osea que debo probar que \( h=g\circ f \) es biyectiva y bicontinua (es decir h y \( h^{-1} \) son continuas) ).

IV. En lo que investigue, lo que entendí es que el plano proyectivo al que se refiere el problema se trata de lo siguiente:

...El “plano proyectivo” es a grosso modo una superficie (no necesariamente plana) sobre la que se proyectan los rayos que salen de un foco puntual. La definición precisa es independiente de la superficie sobre la que proyectemos:
P^ 2 = {rectas de R^3 que pasan por el origen (0,0,0)}.

V. Entiendo que cuando se hace uso de coordenadas polares en la funión g sugerida, lo hacen por que \( x=rcos(\theta) \) en coordenadas cartesianas, entonces \(  \theta=cos^{-1}(\displaystyle\frac{x}{r}) \). Pero no sé prque debemos trabajar en polares. O si estoy equivocada en la interpretación.


14 Enero, 2013, 06:02 pm
Respuesta #9

lemaxpd

  • otsirc ne odeup ol odot
  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 127
  • Karma: +0/-0
  • Sexo: Femenino
Buenos días. Solicito su colaboración para la revisión de parte de la demostración del problema anterior, así como también si es posible que porfavor puedan enviarme un link sobre algun libro que pueda ayudarme a resolver la otra parte de la demostración.

Muchas gracias