7
« en: 14 Enero, 2023, 07:32 pm »
Tengo que demostrar la siguiente proposición \( P: \)"Cuatro puntos p', p, q, q' distintos de \( \mathbb{P}^3 \) están contenidos en un plano \( \Leftrightarrow{} \)p\( + \)p' y q\( + \)q' se cortan".
Comenzamos demostrando:
\( \Leftarrow{} \)
\( dim((p+p')+(q+q'))=dim(p+p') + dim(q+q') - dim((p+p')\cap{(q+q')}) \)
Como la rectas \( p+p' \) y \( q+q' \) se cortan, quiere decir que la intersección es no vacía, entonces, \( dim((p+p')\cap{(q+q')} \geq{0} \). Por otro lado \( dim(p+p')=dim(q+q')=1 \) ya que son rectas. Pero no consigo concluir la demostración.
El otro sentido, es decir, \( \Rightarrow{} \) no consigo sacar nada, partiría desde esta fórmula pero ni siquiera sé si está bien:
\( dim(V) = dim(p)+dim(p')+dim(q)+dim(q')-dim(p\cap{p'}\cap{q}\cap{q'}) \)
Si alguien pudiera darme alguna indicación, lo agradecería.
Por otra parte, ¿Podríais decirme si la proposición dual la tengo correcta?
\( P': \) "En un espacio proyectivo de dimensión 3, cuatro planos \( \Pi_{1}, \Pi_{2}, \Pi_{3}, \Pi_{4} \) contienen a un punto \( p \) \( \Leftrightarrow{} \) dos rectas generan un subespacio distinto del total"
Gracias de antemano.