Synthetic geometry of the real projective plane Updated +Created
It good to think about how Euclid's postulates look like in the real projective plane:
Unlike the real projective line which is homotopic to the circle, the real projective plane is not homotopic to the sphere.
The topological difference bewteen the sphere and the real projective space is that for the sphere all those points in the x-y circle are identified to a single point.
One more generalized argument of this is the classification of closed surfaces, in which the real projective plane is a sphere with a hole cut and one Möbius strip glued in.
The orthogonal group is the group of all matrices that preserve the dot product Updated +Created
When viewed as matrices, it is the group of all matrices that preserve the dot product, i.e.:
This implies that it also preserves important geometric notions such as norm (intuitively: distance between two points) and angles.
This is perhaps the best "default definition".