I just found this definition of the projective space over a vector space: "Given a vector space V of dimension $n+1$, we will denote by $\mathbb{P}^n= \mathbb{P}(V)$ the projective space of all hyperplanes of V"
I tried to prove that this definition is equivalent to the "classic" one i.e. the one where I define $\mathbb{P}^n$ by the set of all the lines of the vector space V, but I couldn't do it. Can you please help me?
There is a bijection between the set of lines and hyperplanes in any vector space, but it is not canonical (it depends on a choice).
Namely, choose a non-degenerate bilinear form (this you can do for instance by choosing a basis and taking the standard non-degenerate bilinear form with respect to it). Then the orthogonal complement of a line is a hyperplane and this gives a bijective correspondence.