Real projective space

Real projective space, denoted as \(\mathbb{RP}^n\), is a fundamental concept in topology and geometry. It is defined as the set of lines through the origin in \(\mathbb{R}^{n+1}\).