¿Para demostrar esta solo tengo que demostrar que P2 es Hausdorff y es localmente euclidiana? Puedo mostrar que el espacio es Hausdorff pero tengo un pequeño problemas demostrando que es localmente euclidiano.
Respuesta
¿Demasiados anuncios?El real proyectiva del plano, RP2, es el espacio de líneas a través de la procedencia en R3, así que es natural para el uso homogéneo de las coordenadas, donde (x,y,z)∼(tx,ty,tz) cualquier t∈R∖{0}.
Podemos gestionar para cubrir el plano proyectivo con tres tablas, una para cada coordenada en R3. Aquí está uno de ellos. Deje Ux⊂RP2 denota el subconjunto de puntos en R3 con un valor distinto de cero x-coordinar.
Ux={(x,y,z)∈R3|x≠0}
Considerando estos como coordenadas homogéneas, sin embargo, (x,y,z)∼(1,yx,zx).
Geométricamente, esto proyectos de cualquier línea que atraviesa el plano de x=1 en su punto de intersección con el plano. Listo, este es nuestro primer gráfico.
ψx:Ux→R2(x,y,z)↦(yx,zx)
Aviso que a la inversa, ψ−1x:R2→Ux está dado por (u,v)↦(1,u,v).
En un sentido estrictamente análoga, podemos construir gráficos para abrir conjuntos de UyUz. Para unir estos gráficos juntos en un atlas, tenemos que buscar en las diversas composiciones que surgen en los que los gráficos de superposición, la asignación de abrir los subconjuntos del espacio Euclidiano en sí mismo.
ψx(Ux∩Uy)→Ux∩Uy→ψy(Ux∩Uy)(u,v)↦(1,u,v)↦(1u,vu)
Esta composición es un diffeomorphism, es decir, que su suave y también lo es su inversa. Esto es lo que hace a RP2 en un buen colector. (Puede ser que usted está interesado sólo en el plano proyectivo como topológico, colector, en el que caso de que usted está interesado sólo en estos mapas se homeomorphisms.)