Infinite-dimensional real projective space