1. Если мы рассматриваем просто числовую прямую
то в ней предел
не существует. (Для вас это произносят как "не существует конечный предел".)
Э-э-э, ну, так можно сказать, только если мы запретим себе все базы кроме
,
. А то ведь есть
, не соответствующие никакому числу ровно настолько же, насколько
!
Если не сложно, объясните, пожалуйста, что это значит, я не совсем понял. То есть: почему нельзя вычислять?
Возможно, имелось в виду упомянутое (и выше) следующее:
Хорошо, мы сделали компактификацию
, получили из него добавлением точек и поправкой топологии компакт. Но
— не только топологическое пространство! На нём как минимум ещё и метрика есть. Ладно — представим, что расстояние может быть бесконечным, и доопределим. Вроде, концы с концами сойдутся. Но
— ещё и линейно упорядоченное множество! Тут с компактификацией в проективную прямую у нас будет пролёт, она гомеоморфна окружности, и порядок доопределить не выйдет. С
порядок прекрасно дополняется, но мы ещё не закончили!
— поле! И тут приходит конец уже в обоих случаях. Доопределённые операции, как ни ухищряйся, поля не дадут. Т. е. все дорогие сердцу «числовые» свойства у нас так и остались не доопределёнными.