Infinite real projective space