|
Введение
До второй половины XIX века понятие "множества" не рассматривалось в качестве математического ("множество книг на полке", "множество человеческих добродетелей" и т. д. - всё это чисто бытовые обороты речи). Положение изменилось, когда немецкий математик Георг Кантор разработал свою программу стандартизации математики, в рамках которой любой математический объект должен был оказываться тем или иным "множеством". Например, натуральное число, по Кантору, следовало рассматривать как множество, состоящее из единственного элемента другого множества, называемого "натуральным рядом" - который, в свою очередь, сам представляет собой множество, удовлетворяющее так называемым аксиомам Пеано. При этом общему понятию "множества", рассматривавшемуся им в качестве центрального для математики, Кантор давал мало, что определяющие определения вроде "множество есть многое, мыслимое как единое", и т. д. Это вполне соответствовало умонастроению самого Кантора, подчёркнуто называвшего свою программу не "теорией множеств" (этот термин появился много позднее), а учением о множествах.
Программа Кантора вызвала резкие протесты со стороны многих современных ему крупных математиков. Особенно выделялся своим непримиримым к ней отношением Леопольд Кронекер, полагавший, что математическими объектами могут считаться лишь натуральные числа и то, что к ним непосредственно сводится (известна его фраза о том, что "бог создал натуральные числа, а всё прочее - дело рук человеческих"). Тем не менее, некоторые другие математики - в частности, Готлоб Фреге и Давид Гильберт - поддержали Кантора в его намерении перевести всю математику на теоретико-множественный язык.
Однако вскоре выяснилось, что установка Кантора на неограниченный произвол при оперировании с множествами (выраженный им самим в принципе "сущность математики состоит в её свободе") является изначально порочной. А именно, был обнаружен ряд теоретико-множественных антиномий: оказалось, что при использовании теоретико-множественных представлений некоторые утверждения могут быть доказаны вместе со своими отрицаниями (а тогда, согласно правилам классической логики высказываний, может быть "доказано" абсолютно любое утверждение). Антиномии ознаменовали собой полный провал программы Кантора.
В начале XX века Бертран Рассел, изучая наивную теорию множеств, пришел к парадоксу (с тех пор известному как парадокс Рассела). Таким образом, была продемонстрирована несостоятельность наивной теории множеств и, связанной с ней, канторовской программы стандартизации математики.
После обнаружения антиномии Рассела часть математиков (например, Л. Э. Я. Брауэр и его школа) решила полностью отказаться от использования теоретико-множественных представлений. Другая же часть математиков, возглавленная Д. Гильбертом, предприняла ряд попыток обосновать ту часть теоретико-множественных представлений, которая казалась им наименее ответственной за возникновение антиномий, на основе заведомо надёжной финитной математики. С этой целью были разработаны различные аксиоматизации теории множеств.
Особенностью аксиоматического подхода является отказ от, лежащего в основе программы Кантора, представления о действительном существовании множеств в некотором идеальном мире. В рамках аксиоматических теорий множества "существуют" исключительно формальным образом, и их "свойства" могут существенно зависеть от выбора аксиоматики. Этот факт всегда являлся мишенью для критики со стороны тех математиков, которые не соглашались (как на том настаивал Гильберт) признать математику, лишённой всякого содержания, игрой в символы. В частности, Н. Н. Лузин писал, что "мощность континуума, если только мыслить его как множество точек, есть единая некая реальность", место которой в ряду кардинальных чисел не может зависеть от того, признаётся ли в качестве аксиомы континуум-гипотеза, или же её отрицание.
В настоящее время наиболее распространённой аксиоматической теорией множеств является ZFC - теория Цермело - Френкеля с аксиомой выбора. Вопрос о непротиворечивости этой теории (а тем более - о существовании модели для неё) остаётся нерешенным.
Цель данной работы - рассмотреть множества и операции над ними.
Задачи:
выявить понятие множества и элемента множества;
рассмотреть способы задания множества;
выявить отношения между множествами;
рассмотреть законы пересечения и объединения множеств;
выявить парадоксы теории множеств.
Глава I. Понятие множества
1.1. Понятие множества и элемента множества
В современной математике понятие множества является одним из основных. Универсальность этого понятия в том, что под него можно подвести любую совокупность явлений, предметов и объе
|
|
Список литературы
1. Алгебра и начала анализа, 8-11 кл.: Справочник. / Под ред. Мартковича. - М., 1999
2. Генденштейн Л.Э. и др. Наглядный справочник по алгебре и начала анализа с примерами для 7-11 классов. - М.: Илекса, 1997
3. Колмогоров А. Н., Драгалин А. Г. Математическая логика. - М.: УРСС, 2005. - 240с.
4. Королева Т.А. Методическая разработка для спецкурса по математике в 9-м классе на тему: "Использование элементов теории множеств в решении задач". // Первое сентября. - 2006. - №19
5. Повторяем и систематизируем курс алгебры и начал анализа. / Под ред. Крамора В.С.. - М.: Просвещение, 1995
6. Мерзляк А.Г., Полонский В.Б., Якир М.С. Алгебраический тренажёр. - М.: Илекса, 2001
7. Секей Г. Парадоксы в теории вероятностей и математической статистике. Пер. с англ. - Москва-Ижевск: ИКИ, 2003. - 272с.
8. Френкель А. А., Бар-Хиллел И. Основания теории множеств. - М.: Мир, 1966. - 556с.
9. Ященко И.В. Парадоксы теории множеств. - М.: МЦНМО, 2002. - 40с.
|
На уровень вверх
Купить