Понятие множества. Доклад

ФГБОУ ВПО САХАЛИНСКИЙ ГОСУДВРСТВЕННЫЙ УНИВЕРСИТЕТ

ЮЖНО-САХАЛИНСКИЙ ПЕДАГОГИЧЕСКИЙ КОЛЛЕДЖ

Кафедра математики

и информатики

Доклад:

«Понятия множества»

Бурлакова Татьяна Евгеньевна

специальность 050146.52

преподавание

в начальных классах

курс 2,группа 112

Челнокова Ирина Андреевна.

Южно-Сахалинск

2012г.

Мно́жество — одно из ключевых понятий математики, в частности, теории множеств и логики.

Понятие множества обычно принимается за одно из исходных (аксиоматических) понятий, то есть не сводимое к другим понятиям, а значит, и не имеющее определения. Однако, можно дать описание множества, например, в формулировке Георга Кантора:

Другая формулировка принадлежит Бертрану Расселлу: «Множество есть совокупность различных элементов, мыслимая как единое целое». Также возможно косвенное определение через аксиомы теории множеств.

В математической логике и дискретной математике часто употребляемый синониммножества — алфавит.

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

До XIX века математиками рассматривались в основном конечные множества.

Основы теории конечных и бесконечных множеств были заложены Бернардом Больцано, который сформулировал некоторые из её принципов.

С 1872 г. по 1897 г. (главным образом в 1872—1884 гг.) Георг Кантор опубликовал ряд работ, в которых были систематически изложены основные разделы теории множеств, включая теорию точечных множеств и теорию трансфинитных чисел (кардинальных и порядковых). В этих работах он не только ввёл основные понятия теории множеств, но и обогатил математику рассуждениями нового типа, которые применил для доказательства теорем теории множеств, в частности впервые к бесконечным множествам. Поэтому общепризнано, что теорию множеств создал Георг Кантор.

В частности Георг Кантор определил множество как «единое имя для совокупности всех объектов, обладающих данным свойством». Эти объекты назвал элементами множества. Множество объектов, обладающих свойством  , обозначил  . Если некоторое множество  , то   назвал характеристическим свойством множества  .

Эта концепция привела к парадоксам, в частности, к парадоксу Рассела.

Так как теория множеств фактически используется как основание и язык всех современных математических теорий в 1908 г. теория множеств былааксиоматизирована независимо Бертраном Расселем и Эрнстом Цермело. В дальнейшем многие исследователи пересматривали и изменяли обе системы, в основном сохранив их характер. До сих пор они всё ещё известны как теория типов Рассела и теория множеств Цермело. В настоящее время, теорию множеств Кантора принято называть наивной теорией множеств, а вновь построенную аксиоматической теорией множеств.

На сегодняшний день множество определяется как модель, удовлетворяющая аксиомам ZFC (аксиомы Цермело — Френкеля саксиомой выбора). При таком подходе в некоторых математических теориях возникают совокупности объектов, которые не являются множествами. Такие совокупности называются классами (различных порядков).

[править]Элемент множества

Объекты, из которых состоит множество, называют элементами множества или точками множества. Множества чаще всего обозначают заглавными буквами латинского алфавита, его элементы — строчными. Если а — элемент множества А, то записывают а ∈ А (а принадлежит А). Если а не является элементом множества А, то записывают а ∉ А (а не принадлежит А). В отличие от мультимножества каждый элемент множества уникален, и в множестве не может быть двух идентичных элементов. Иначе говоря, добавление к множеству элементов, идентичных уже принадлежащим множеству, не меняет его: {6, 11} = {11, 6} = {11, 11, 6, 11, 6}.