А к чему стремится интервал
?
Что значит - "интервал стремится"? Дайте точное определение.
стремится к бесконечности, т.е. принимает любые, скольугодно большие значения.
В рядах мы же заменяем
нулем, почему здесь не можем?
В конце концов, это только вопрос договоренности - входит ли в бесконечный ряд его предельная точка или нет.
Ни в коем случае не предмет договорённости.
Если Вы утверждаете, что среди интервалов
,
, содержится отрезок
, то Вы тем самым берёте на себя обязательство указать конкретное натуральное число
, при подстановке которого получается
.
Так при каком натуральном
выполняется последнее равенство?
Указать нельзя, но это только потому, что принято считать, что бесконечно большого числа не существует.
Однако, в проективной геометрии существует точка, соответствующая проекции - бесконечность.
Как это так?
Проекция от несуществующей точки?
А если я буду работать не с натуральными числами, а с их проекциями?
И в моей проекции будет точка соответствующая бесконечности (Тут уж я смогу указать конкретные координаты).
Точно также как с точками, я могу работать и с проекциями интервалов и вновь смогу получить проекцию интервала соответствующего бесконечно удаленному интервалу.
И этот интервал будет замкнут.
А ведь есть ,кажется, теорема что проекции открытых множеств - открыты, а замкнутых - замкнуты.
Следовательно можно считать (без потери общности) что всякий ряд содержит свою предельную точку.
Зато сколько полезных свойств сразу возникнет - например то что и бесконечное пересечение открытых множеств будет открытым.