Об определении О большого

[ewert]

kp9r4d в сообщении #1089288 писал(а):

А $+\infty$ является "предельной точкой"?

Это исключительно вопрос терминологии. Если формально не вводится топология на расширенной прямой (а в большинстве случаев не вводится) -- то точкой не является. Однако и мало кому охота впадать в особый пуризм. Поэтому запросто можно обзывать её и точкой, даже если формально точкой она не является. "Если нельзя, но очень хочется, то -- можно" (с)

[kp9r4d]

ewert в сообщении #1089455 писал(а):

Однако и мало кому охота впадать в особый пуризм.

Да никакого пуризма - просто строгое, концептуально правильное, удобное определение охватывающее все случаи. Да и вообще, сперва вы говорили, что: "... ни на йоту не обобщает ...", - а теперь оказывается что всё-таки обобщает, однако является "особым пуризмом". А вообще тема для спора глупая очень.

[ewert]

(Оффтоп)

kp9r4d в сообщении #1089507 писал(а):

Да и вообще, сперва вы говорили, что: "... ни на йоту не обобщает ...",

Не говаривал ни разу. Я даже не знаю, что такое "йота" (в смысле забыл и не хочу вспоминать).

kp9r4d в сообщении #1089507 писал(а):

а теперь оказывается что всё-таки обобщает, однако является "особым пуризмом".

Это с самого начала так и было: ненужное обобщение -- не нужно.

А вообще да.