Множество – основное понятие математики и поэтому не определяется через другие.
Обычно под множеством понимают совокупность предметов, объединенных по общему признаку. Так, можно говорить о множестве студентов в группе, множестве букв русского алфавита и т.д. В повседневной жизни вместо слова «множество» употребляют слова «набор», «коллекция», «группа» и т.д. Множества принято обозначать прописными буквами латинского алфавита: А, В, С, ..., Z.
Для числовых множеств в математике приняты специальные обозначения:
N– множество натуральных чисел;
N0 –множество целых неотрицательных чисел;
Z– множество целых чисел;
Q – множество рациональных чисел;
R – множество действительных чисел.
Объекты, из которых образовано множество, называют его элементами. Например, сентябрь является элементом множества месяцев в году, число 5 – элемент множества натуральных чисел. Элементы множества принято обозначать строчными буквами латинского алфавита. Элементами множества могут быть множества. Так можно говорить о множестве групп института. Элементы этого множества – группы, являющиеся в свою очередь множествами студентов.
Связь между множеством и его элементом выражают при помощи слова «принадлежит». Высказывание «Элемент а принадлежит множеству А» записывают так: а Î А, причем эта запись может быть прочитана иначе: «а – элемент множества А», «множество А содержит элемент а». Высказывание «Элемент а не принадлежит множеству А» записывают так: а Ï А (иначе: «а не является элементом множества А», «множество А не содержит элемент а»).
Если в обыденной речи слово «множество» связывают с большим числом предметов, то в математике этого не требуется. Множество может содержать один элемент, не содержать ни одного элемента.
Множество, не содержащее ни одного элемента, называют пустым и обозначают символом Æ. Существует лишь одно пустое множество. Примерами пустого множества могут служить множество людей на Солнце, множество натуральных корней уравнения х + 8 = 0.
Множества могут быть конечными и бесконечными.
Множество называется конечным, если существует натуральное число п, такое, что все элементы множества можно перенумеровать числами от 1 до п. в противном случае множество называют бесконечным. Примером конечного множества является множество цифр, бесконечного – множество натуральных чисел.