I've been studying projective space in algebraic geometry for a few days from Perrin's 'Algebraic Geometry: An introduction'. In the first page of chapter III it reads
...projective space $P^n$ contains open sets $U_i=D^+(X_i)$ which are isomorphic to affine spaces.
I know that fixed a hyperplane $\bar H\subset P^n$ one can describe $P^n$ as the disjoint union of $\bar H$ and the affine space $k^n$. To describe this correspondence I take a (!) orthogonal vector $x\in k^n$ and define $\varphi(\bar y):=(x+H)\cap \bar y$, for $\bar y\in P^n\setminus\bar H$.
My question is, in what sense does Perrin talk about isomorphism? Even, what would linear mean to talk about linear maps? I've looking for a while on the web to get an answer to this and then I found this book ('Computational line geometry', H. Pottmann and J. Wallner) that said
...attributes like unith length and orthogonality do not belong to affine geometry.
This made me wonder if my construction of $\varphi$ really makes sense. It feels like it should be an orthogonality concept in $k^n$ (cause one can multiply and sum coordinates) but that made me doubt, are there? If not, there are no better way to define $\varphi$ than picking some $x$ not in $H$?
Thank u in advance, really appreciated!