Vektortér projektivizáltja

def

Def.: Legyen $V$ vektortér $\mathbb{F}$ felett, ekkor $P(V)$ jelöli a $V$ vektortér projektivizáltját.
$P(V)=\left(V\setminus \{0\}\right)/\sim$, ahol $u,v\in V\setminus \{0\}:u\sim v$, ha $\exists \lambda \in {\mathbb{F}}^{\ast }:v=\lambda u$

Dependencies: