Пятница, 01.07.2022, 14:37
Ш  К  О  Л  А     П  И  Ф  А  Г  О  Р  А
      Предмет математики настолько серьезен, что нужно
не упускать случая, сделать его немного занимательным".
                                                                              Блез Паскаль
Главная | Регистрация | Вход Приветствую Вас Гость | RSS
ПАМЯТКИ ПО МАТЕМАТИКЕ   ВЕЛИКИЕ МАТЕМАТИКИ   ТЕОРИЯ ЧИСЕЛ   МАТЕМАТИЧЕСКАЯ ЛОГИКА
УРОКИ МАТЕМАТИКИ В ШКОЛЕ


МАТЕМАТИЧЕСКАЯ КЛАДОВАЯ


В МИРЕ ЗАДАЧ
ЕГЭ ПО МАТЕМАТИКЕ
МАТЕМАТИКА В НАЧАЛЬНОЙ ШКОЛЕ
ВАРИ, КОТЕЛОК!
УДИВИТЕЛЬНАЯ МАТЕМАТИКА
ВЫСШАЯ МАТЕМАТИКА
В МИРЕ ИНТЕРЕСНОГО
Категории раздела
ПРОСТЫЕ ЧИСЛА. ДОЛГАЯ ДОРОГА К БЕСКОНЕЧНОСТИ [37]
КОГДА ПРЯМЫЕ ИСКРИВЛЯЮТСЯ. НЕЕВКЛИДОВЫ ГЕОМЕТРИИ [23]
МУЗЫКА СФЕР. АСТРОНОМИЯ И МАТЕМАТИКА [57]
МАГИЯ ЧИСЕЛ. МАТЕМАТИЧЕСКАЯ МЫСЛЬ ОТ ПИФАГОРА ДО НАШИХ ДНЕЙ [27]
ИНВЕРСИЯ [20]
ИСТИНА В ПРЕДЕЛЕ. АНАЛИЗ БЕСКОНЕЧНО МАЛЫХ [47]
БЕСКОНЕЧНОСТЬ В МАТЕМАТИКЕ [43]
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ЕЕ ПАРАДОКСЫ [6]
ИЗМЕРЕНИЕ МИРА. КАЛЕНДАРИ, МЕРЫ ДЛИНЫ И МАТЕМАТИКА [33]
АБСОЛЮТНАЯ ТОЧНОСТЬ И ДРУГИЕ ИЛЛЮЗИИ. СЕКРЕТЫ СТАТИСТИКИ [31]
КОДИРОВАНИЕ И КРИПТОГРАФИЯ [47]
МАТЕМАТИКА В ЭКОНОМИКЕ [39]
ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ И МАТЕМАТИКА [35]
ЧЕТВЕРТОЕ ИЗМЕРЕНИЕ. ЯВЛЯЕТСЯ ЛИ НАШ МИР ТЕНЬЮ ДРУГОЙ ВСЕЛЕННОЙ? [9]
ТВОРЧЕСТВО В МАТЕМАТИКЕ [44]
ЗАГАДКА ФЕРМА. ТРЕХВЕКОВОЙ ВЫЗОВ МАТЕМАТИКЕ [30]
ТАЙНАЯ ЖИЗНЬ ЧИСЕЛ. ЛЮБОПЫТНЫЕ РАЗДЕЛЫ МАТЕМАТИКИ [95]
АЛГОРИТМЫ И ВЫЧИСЛЕНИЯ [17]
КАРТОГРАФИЯ И МАТЕМАТИКА [38]
ПОЭЗИЯ ЧИСЕЛ. ПРЕКРАСНОЕ И МАТЕМАТИКА [23]
ТЕОРИЯ ГРАФОВ [33]
НАУКА О ПЕРСПЕКТИВЕ [29]
ЧИСЛА - ОСНОВА ГАРМОНИИ. МУЗЫКА И МАТЕМАТИКА [15]
Главная » Файлы » МИР МАТЕМАТИКИ » БЕСКОНЕЧНОСТЬ В МАТЕМАТИКЕ

Счетные множества
27.05.2015, 22:38
.Кантор также сформулировал очень важное понятие счетного множества. По определению, множество А называется счетным, если можно установить взаимно однозначное соответствие между А и подмножеством
N
. В основе этого определения лежит очень простая идея, которую мы часто используем в повседневной жизни.

Когда мы заявляем, что места в зале кинотеатра пронумерованы, мы говорим о взаимно однозначном соответствии между подмножеством натуральных чисел и множеством кресел и сопоставляем каждому креслу число.

Мы уже показали, что множество целых чисел является счетным. Далее Кантор получил поистине удивительный результат: множество рациональных чисел 

Q
также является счетным. Он доказал, что существует столько же рациональных чисел, сколько и натуральных. Чтобы установить соответствие между натуральными и рациональными числами, Кантор использовал настолько простую схему, что остается только удивляться, почему никто не сделал этого раньше. Возможно, причина в том, что никто не считал это возможным, так как это противоречит элементарной интуиции.
Том 18. Открытие без границ. Бесконечность в математике - _76.jpg

Схема, придуманная Кантором, такова. Нужно построить таблицу рациональных чисел (напомним, что речь идет о дробях) следующим образом: в первой строке записываются дроби, числитель которых равен 1, во второй — дроби, числитель которых равен 2, в третьей — 3 и т. д. Вычеркнем из каждой строки повторяющиеся дроби. Например, 2/2 — это то же самое, что 1/1 или 3/3, 2/4 — то же, что и 1/2, и т. д. Построив таблицу, обойдем все числа в порядке, указанном стрелками, начиная с 1/1. Мы обойдем все рациональные числа ровно один раз. Таким образом, взаимно однозначное соответствие между натуральными и рациональными числами устанавливается следующим образом:

1 —> 1/1

2 —> 1/2

3 —> 2/1

4 —> 3/1

5 —> 1/3

Самое удивительное в том, что мы установили взаимно однозначное соответствие между двумя множествами, одно из которых является дискретным (множество натуральных чисел), а другое — плотным (множество рациональных чисел).

Здесь бесконечность начинает понемногу приподнимать завесу тайны над своими удивительными загадками. Интуиция подсказывает, что счетными могут быть только дискретные множества, и тот факт, что плотное множество 

Q
также является счетным, был поистине удивительным. Мы подсознательно ассоциируем счетность с возможностью найти следующий элемент для данного, что невозможно в плотном множестве. Если мы рассмотрим предыдущую таблицу, то увидим, что 1/1 является первым числом, а следующим будет 1/2. Однако множество дробных чисел является плотным, поэтому между 1/1 и 1/2 находится бесконечное множество чисел. Так, нам известно, что 1/4 находится между 1 и 1/2, а в нашем перечне это число занимает шестое место.

* * *

МЫСЛИТЬ — ЭТО БОЛЬШЕ, ЧЕМ ГОВОРИТЬ

Согласно теории множеств Кантора, множество всех возможных слов, как произнесенных, так и записанных на бумаге, является счетным. Если учитывать, что множество знаков (букв, символов и т. д.) в языке конечно, то очевидно, что на его основе можно сформировать счетное множество. Другое дело — множество вещей, о которых мы можем подумать. Оно, очевидно, не является счетным. Мы можем представить, например, множество окружностей на плоскости, имеющее мощность континуум. Таким образом, все, что мы можем сказать, поддается упорядочению, а все, о чем мы можем подумать, не поддается или поддается лишь частично. Следовательно, можно упорядочить лишь часть наших мыслей, а большинство из них принадлежит к миру хаоса.

Том 18. Открытие без границ. Бесконечность в математике - _77.jpg

Буквы алфавита образуют ограниченное и, следовательно, счетное множество.

* * *

По этой причине с открытым Кантором понятием счетности оказалось тесно связано понятие непрерывности. Неизбежно возник вопрос: если расширить множество рациональных чисел иррациональными, будет ли полученное множество счетным?

Иными словами, можно ли говорить, что М — счетное множество?

Нет, это не так, и Кантор это доказал с помощью метода, схожего с тем, который он использовал при доказательстве счетности множества

Q
, но намного более сложного. Также, используя метод доведения до абсурда, он показал, что множество (0, 1) всех вещественных чисел, заключенных между 0 и 1, не является счетным, следовательно, М также не может быть счетным. Таким образом Кантор создал серьезный прецедент, сыгравший определяющую роль в математике XX века. Достаточно сказать, что этот прецедент стал частью доказательства знаменитой теоремы Геделя о неполноте.
Категория: БЕСКОНЕЧНОСТЬ В МАТЕМАТИКЕ | Добавил: admin | Теги: Мир Математики, бесконечность в математике, занимательная математика, непрерывность, дидактический материал по математик, популярная математика
Просмотров: 663 | Загрузок: 0 | Рейтинг: 0.0/0
УЧИТЕЛЮ ИНФОРМАТИКИ
КОНСПЕКТЫ УРОКОВ
ВНЕКЛАССНЫЕ МЕРОПРИЯТИЯ ПО ИНФОРМАТИКЕ
ПОСОБИЯ И МЕТОДИЧКИ ДЛЯ УЧИТЕЛЯ ИНФОРМАТИКИ
ИЗ ОПЫТА РАБОТЫ УЧИТЕЛЯ ИНФОРМАТИКИ
ЗАДАНИЯ ШКОЛЬНОЙ ОЛИМПИАДЫ ПО ИНФОРМАТИКЕ

ИНФОРМАТИКА В ШКОЛЕ

ИНФОРМАТИКА В НАЧАЛЬНЫХ КЛАССАХ
ИНФОРМАТИКА В 3 КЛАССЕ
ИНФОРМАТИКА В 4 КЛАССЕ
КОНТРОЛЬНЫЕ РАБОТЫ ПО ИНФОРМАТИКЕ. 3 КЛАСС
КОНТРОЛЬНЫЕ РАБОТЫ ПО ИНФОРМАТИКЕ. 4 КЛАСС
ПРОГРАММИРОВАНИЕ ДЛЯ ДЕТЕЙ
СКАЗКА "ПРИКЛЮЧЕНИЯ ЭЛЕКТРОШИ"

ИГРОВЫЕ ТЕХНОЛОГИИ НА УРОКАХ ИНФОРМАТИКИ
ИГРОВЫЕ ЗАДАНИЯ ПО ИНФОРМАТИКЕ
ВИКТОРИНЫ ПО ИНФОРМАТИКЕ
КОМПЬЮТЕРНЫЕ ЧАСТУШКИ
ОБРАТНАЯ СВЯЗЬ
Поиск


Друзья сайта
  • Создать сайт
  • Все для веб-мастера
  • Программы для всех
  • Мир развлечений
  • Лучшие сайты Рунета
  • Кулинарные рецепты
  • Статистика

    Онлайн всего: 2
    Гостей: 2
    Пользователей: 0
    Форма входа


    Copyright MyCorp © 2022
    Яндекс.Метрика Top.Mail.Ru