Projetividades preservam colinearidade, i.e. se dois
pontos A e B são colineares, então as suas imagens por uma projetividade também serão colineares; esta projetividade leva a reta AB na reta definida pelas suas imagens.
MA620 - Aula 17 – p. 1/?
Incidência e colinearidade
Projetividades preservam colinearidade, i.e. se dois
pontos A e B são colineares, então as suas imagens por uma projetividade também serão colineares; esta projetividade leva a reta AB na reta definida pelas suas imagens. Projetividades preservam concorrência, i.e. se duas retas são concorrentes no ponto P , então as suas imagens por uma projetividade também serão concorrentes; esta projetividade leva o ponto P no ponto comum das imagens das retas.
MA620 - Aula 17 – p. 1/?
Projetividades Uma projetividade é
MA620 - Aula 17 – p. 2/?
Projetividades Uma projetividade é
elíptica, se não possuir pontos fixos;
MA620 - Aula 17 – p. 2/?
Projetividades Uma projetividade é
elíptica, se não possuir pontos fixos;
parabólica, se possuir exatamente um ponto fixo;
MA620 - Aula 17 – p. 2/?
Projetividades Uma projetividade é
elíptica, se não possuir pontos fixos;
parabólica, se possuir exatamente um ponto fixo; hiperbólica, se possuir exatamente dois pontos fixos;
MA620 - Aula 17 – p. 2/?
Projetividades Uma projetividade é
elíptica, se não possuir pontos fixos;
parabólica, se possuir exatamente um ponto fixo; hiperbólica, se possuir exatamente dois pontos fixos; uma involução, se para to ponto X do plano projetivo vale XX ′ ∧ X ′ X .
MA620 - Aula 17 – p. 2/?
Existência A projetividade hiperbólica (dois pontos invariantes) AECF ∧ BDCF é equivalente ao conjunto quadrangular (AB)(CD)(EF ).
MA620 - Aula 17 – p. 3/?
Existência A projetividade hiperbólica (dois pontos invariantes) AECF ∧ BDCF é equivalente ao conjunto quadrangular (AB)(CD)(EF ). Esta projetividade será parabólica (um ponto invariante) se C = F for um ponto diagonal.
MA620 - Aula 17 – p. 3/?
Existência A projetividade hiperbólica (dois pontos invariantes) AECF ∧ BDCF é equivalente ao conjunto quadrangular (AB)(CD)(EF ). Esta projetividade será parabólica (um ponto invariante) se C = F for um ponto diagonal. Uma projetividade hiperbólica fica determinada quando são dados quatro pontos A, B , C e F colineares, sendo A e B correspondentes e C e F invariantes.
MA620 - Aula 17 – p. 3/?
Existência A projetividade hiperbólica (dois pontos invariantes) AECF ∧ BDCF é equivalente ao conjunto quadrangular (AB)(CD)(EF ). Esta projetividade será parabólica (um ponto invariante) se C = F for um ponto diagonal. Uma projetividade hiperbólica fica determinada quando são dados quatro pontos A, B , C e F colineares, sendo A e B correspondentes e C e F invariantes.
Uma projetividade parabólica ACB ∧ F AB é definida se
o conjunto ABCF for harmônico.
MA620 - Aula 17 – p. 3/?
Existência A projetividade hiperbólica (dois pontos invariantes) AECF ∧ BDCF é equivalente ao conjunto quadrangular (AB)(CD)(EF ). Esta projetividade será parabólica (um ponto invariante) se C = F for um ponto diagonal. Uma projetividade hiperbólica fica determinada quando são dados quatro pontos A, B , C e F colineares, sendo A e B correspondentes e C e F invariantes.
Uma projetividade parabólica ACB ∧ F AB é definida se
o conjunto ABCF for harmônico. Não existem projetividades elípticas no conjuntos de retas no espaço passando pela origem!
MA620 - Aula 17 – p. 3/?
Involuções Teorema: Uma projetividade que satisfaz ABC ∧ BAC ′ é uma involução; ou seja, toda involução é determinada por dois pares de pontos correspondentes.
MA620 - Aula 17 – p. 4/?
Involuções Teorema: Uma projetividade que satisfaz ABC ∧ BAC ′ é uma involução; ou seja, toda involução é determinada por dois pares de pontos correspondentes.
Teorema: Toda involução que tem um ponto invariante, tem
dois pontos invariantes. Portanto, não existem involuções parabólicas, toda involução é ou elíptica ou hiperbólica.