Перечитал еще раз. Ответ дан совершенно не на тот вопрос, который был задан. Слово _естественный_ в формулировке вопроса подразумевает естественное определение, которое так и не было дано. Правда построен некий явный теоретико-множественный изоморфизм с RP^2\pt, но никаким доказательством изоморфизма в смысле топологии даже и не пахнет - что неудивительно, так как определение естественной топологии на множестве прямых так и не было дано.