Обновить

Комментарии 12

Слушайте, ну скучно. Конспект для себя самого? Лучше уж сразу найти "Рассказы о множествах" Виленкина, а еще лучше "Вычислимость и логика" Булоса и Джеффри.

Ради грядущих поколений, не иначе..
Ибо как же наставить отпрысков на "Занимательную физику" Перельмана?

Любой текст покажется бесконечному (счётному) количеству людей (с момента написания до конца света) — скучным. Но этот написан настолько прекрасным слогом, что читается как беллетристика (а еще конечному количеству менее образованных, но оттого не менее прекрасных людей — открывающим горизонты.

Даже не все ролики Трушина на эту тему пересказали, и то плохо.

В том смысле, что если вам интересна тема, то вы решаете задачи, показываете применения. Они есть, потому что никто не придумывает теории просто так.

(Я плохо помню, но принцип кантора о вложенных отрезках вроде как то связан с этой темой)

А если вы просто хотите показать, насколько умный, скажите, что помните первые 12 знаков числа пи

Пи= это я знаю и помню прекрасно пи многие знаки мне лишни напрасны:)

"скажите, что помните первые 12 знаков числа пи"
ребёнку ставил 10 знаков на вход в винду - влёгкую..
другому (раньше) - рамки сессии не более 1,5 часа
входила в биос, переставляла время..
увы и ах (ли?)

Для СДВГшников неплохо, но для серьёзных математиков чересчур

а какой у этого всего практический смысл?

Переход от рациональных чисел к иррациональным будет неполный без упоминания того, что множество алгебраических иррациональных чисел тоже счетное. Мощность континуум множеству иррациональных чисел дают трансцендентные числа.

Почему "алеф", а не Щ? Потому что Щ тоже позаимствована из иврита (почти). Сначала позаимствовали буквы Ш и Ц, но на звук Щ буквы не нашлось даже в иврите, и её получили, добавив в Ш хвостик сбоку.

А, теперь я понял, почему уроженец Питера использовал букву "алеф", а не "шин": он специально сохранил "шин" для будущего автора "Русофобии" :-)

Про неравномощность множества X и множества всех его подмножеств 2^X:

Пусть они равномощны и есть взаимнооднозначное отображение f:X \to 2^X. Построим подмножество S=\{x \in X: x \notin f(x)\}. Тогда S должно лежать в образе f и \exists y \in X \Rightarrow f(y)=S. Но тогда y\in S \Leftrightarrow y\notin f(y)=S. Противоречие.

Очевидно, что мощность X меньше 2^X так как можно построить вложение g(x)=\{x\}\in 2^X.

Зарегистрируйтесь на Хабре, чтобы оставить комментарий

Публикации