Предел последовательности вложенных множеств - пусто или нет

[Виктор Викторов]

(Оффтоп)

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

Виктор Викторов в сообщении #401978 писал(а):

Кстати, мне очень не нравится ставить между множествами минус "-", а "\" не фурычит. Может кто поможет?

Вряд ли. У америкосов превратное представление о внешнем виде сетминуса.

За тридцать лет жизни в Америке я этого не заметил. Полез я в книгу Львовского и нашел: «\setminus». Проверил – работает!

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

Виктор Викторов в сообщении #401978 писал(а):

Что такое «Слишком экзотично» я не понял

Ну, интерпретировать целочисленное множество как метрическое или топологическое -- это, на мой вкус, именно экзотика. Хотя это дело вкуса.

Теперь буду знать, что это называется экзотика.

[ewert]

(Оффтоп)

Виктор Викторов в сообщении #401988 писал(а):

Полез я в книгу Львовского и нашел: «\setminus». Проверил – работает!

Ну это ровно так же и обозначается, как "\backslash" (за миллионными долями градусов я не следил). И выглядит -- ровно настолько же уродливо.

(Оффтоп)

Виктор Викторов в сообщении #401988 писал(а):

Теперь буду знать, что это называется экзотика.

Поясню. Топологии сочинялись вовсе не для применения к $\mathbb N$. И, следовательно, даже если они к нему формально и применимы -- то заведомо экзотичны.

[Gortaur]

Спасибо.

(Оффтоп)

Я не понял, почему Вам не нравится сетминус использовать?

[Виктор Викторов]

(Оффтоп)

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

Виктор Викторов в сообщении #401988 писал(а):

Теперь буду знать, что это называется экзотика.

Поясню. Топологии сочинялись вовсе не для применения к $\mathbb N$. И, следовательно, даже если они к нему формально и применимы -- то заведомо экзотичны.

Мне один слегка угрюмый участник рассказал, что кафедру общей топологии в МГУ называли кафедрой общей патологии. Но мне-то как раз эта «патологичность» и нравится!

[Хорхе]

Не соглашусь с ewertом. На $\mathbb N$ очень даже интересно топологию вводить, особенно если компактифицировать.

[ewert]

Хорхе в сообщении #402017 писал(а):

очень даже интересно топологию вводить,

может и интересно, да тока никому не нужно. Это я так, как дилетант.

-- Чт янв 20, 2011 02:48:19 --

Gortaur в сообщении #401997 писал(а):

Я не понял, почему Вам не нравится сетминус использовать?

Потому что он попросту уродлив.

[Gortaur]

Уродлив по сравнению с тем, что Вы рисуете рукой или Вы даже его в рукописном варианте не используете?