OliForum Matematico

salve a tutti, l'esame di metodi numerici per la grafica si avvicina e la tensione aumenta!
ho davanti questo problema di geometria proiettiva davanti al quale mi sono bloccato al secondo punto; me lo potreste risolvere spiegando passo per passo quello che avete fatto se non vi dispiace? grazie 1000 in anticipo!

Nello spazio proiettivo RP^3 siano fissate coordinate omogenee [x1 : x2 : x3 : x4]
1) determinare il piano proiettivo α che contiene il punto [1 : 0 : 1 : 1] e la retta proiettiva data da x1 = x2, 2x1 - x2 = x3.


e questo piano α se non sbaglio è x1 - x3 = 0;
poi chiede

2) Determinare tutte le proiettività di RP^3 che fissano puntualmente il piano α

e qui mi sono bloccato...
Come si fa??
grazie

Caro Buolayo, ti consiglio di leggere le regole di utilizzo del forum che puoi trovare qui e le regole della sezione Matematica non elementare che puoi trovare qui. Questo forum è dedicato alle Olimpiadi di Matematica, non alla matematica in generale o ad aiutare studenti in difficoltà.
Puoi provare a cercare aiuto su altri siti come questo.
Buona Navigazione

Trova una sorpastante della proiettività che fissa il piano, o in altre parole trova una $ ~\phi : \mathbb{R}^4 \to \mathbb{R}^4 $ che induca un'omotetia sul piano che hai trovato...

Si tratta di imporre (detto $ ~\mathcal{R}=\{v_1,v_2,v_3,v_u\} $ un riferimento sul piano, con $ ~v_u $ intendo il punto unità)
$ ~\phi(v_j)=a_j v_j \qquad per\qquad ~j=1,2,3 $
$ \phi(v_u) = \phi(v_1+v_2+v_3)=\lambda (v_1+v_2+v_3)~ $

Ora si risolve il sistema in$ \lambda $ e si trovano tutte le matrici che, a meno di proporzionalità, sono della soparastante alla tua proiettività.

in effetti ora ho notato che stai cercando semplicemente la matrice dell'omologia di asse il piano... dovrebbe bastare dire che tutte le proiettività che fissano il piano sono quelle di sopsrastante \phi tale che esista una base in cui la sua matrice si scriva
$ \left(\begin{array}{cccc} \alpha & 0 & 0&0\\ 1&\alpha&0&0\\ 0&0&\alpha&0\\ 0&0&0&\alpha \end{array}\right) $ (eventualmente l'uno può essere tolto, ma in questo modo ottieni l'identità su tutto $ ~\mathbb{P}^3 $...)
oppure
$ \left(\begin{array}{cccc} \beta&0&0&0\\ 0&\alpha&0&0\\ 0&0&\alpha&0\\ 0&0&0&\alpha \end{array}\right) $