5 votos

¿Qué perdemos en los espacios proyectivos?

Podemos pensar en los Números Complejos como una extensión de los Números Reales, del mismo modo podemos pensar en el Plano Proyectivo naturalmente como una bonita extensión del Plano Euclidiano. Pero, cuando pasamos de los números reales a los complejos perdemos algo de estructura, por ejemplo el ordenamiento total, nos $\textit{can't}$ preguntar por los pedidos más.

$\textbf{Question:}$ ¿Qué perdemos al trabajar en el plano proyectivo? En otras palabras, ¿qué cuestiones "euclidianas" no tienen sentido en el contexto proyectivo?

0 votos

Bueno, se pierde el hecho de que dos líneas paralelas distintas nunca se cruzan

3 votos

@AlexH. No, tú ganar ¡el hecho de que todas las líneas distintas ahora se cruzan! :)

12voto

Nir Puntos 136

Se pierde la estructura de espacio vectorial e incluso la estructura afín e incluso la estructura de grupo aditivo cuando se pasa de $\mathbb C$ a $\mathbb P^1_\mathbb C$ .
Más concretamente, dados dos puntos en $\mathbb P^1_\mathbb C$ no tiene sentido hablar de su diferencia como un vector.
El contexto general es que $\mathbb C$ tiene características tanto algebraicas como geométricas mientras que $\mathbb P^1_\mathbb C$ no tiene ninguna estructura algebraica, pero tiene muchas estructuras geométricas:

Como espacio topológico, colector, colector riemanniano, superficie de Riemann [ ¡no es sinónimo de lo anterior!], espacio conforme, curva algebraica,...

1 votos

Soy muy ingenuo en este tema así que me disculpo si esto es estúpido pero es "... $\mathbb P^1_\mathbb C$ no tiene ninguna estructura algebraica..." ¿se debe tomar literalmente? ¿Ni siquiera está cerrado bajo algún operador, por ejemplo, el magma?

1 votos

Estimado @John, por supuesto que se puede imponer artificialmente una estructura algebraica a $\mathbb P^1_\mathbb C$ como se puede en cualquier conjunto!, pero hasta donde se sabe no hay ninguno interesante.

2 votos

@John Smith Supongo que lo operativo es que no hay ningún estatuto algebraico en la línea proyectiva que juegue bien con la estructura subyacente de la variedad. En otras palabras, la recta proyectiva no puede convertirse en una variedad de grupo, como puede hacerlo la recta afín.

3voto

Steven Lu Puntos 866

Perdido: la estructura métrica: distancias, ángulos, áreas. Conservado: las incidencias. Véase http://www.nct.anth.org.uk/basics.htm .

2 votos

Existe una estructura métrica perfectamente válida en el espacio proyectivo: la Métrica de estudio de Fubini .

1 votos

@GeorgesElencwajg: por supuesto que tienes razón. Pero quizás lo que Martín-Blas está diciendo es que la métrica habitual sobre el espacio euclidiano no ampliar a una métrica en un espacio proyectivo.

0 votos

@AsalBeagDubh, correcto

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X