Проективно расширенная числовая прямая