Множество — понятие математики¶

Множество — это понятие, обозначающее совокупность объектов, рассматриваемых как единое целое. В математике множество является одним из фундаментальных понятий, на котором строится вся современная теоретико-множественная основа математики. Элементы множества называются элементами множества, а сами элементы могут быть чем угодно: числами, точками, функциями, другими множествами. Множество, не содержащее ни одного элемента, называется пустым множеством и обозначается символом ∅.

¶История понятия

Понятие множества в современном виде было введено немецким математиком Георгом Кантором в 1870-х годах. Кантор разработал теорию множеств для исследования бесконечных множеств, прежде всего множества действительных чисел. Он показал, что бесконечные множества могут различаться по «размеру», введя понятие мощности множества и доказав, что множество действительных чисел имеет бо́льшую мощность, чем множество натуральных чисел.

До Кантора понятие множества использовалось неформально, например, в работах Бернарда Больцано и Рихарда Дедекинда. Развитие теории множеств привело к возникновению парадоксов, таких как парадокс Рассела, обнаруженный в 1901 году. Это побудило математиков к созданию аксиоматических систем, наиболее известной из которых является система Цермело — Френкеля (ZFC).

¶Основные понятия

¶Обозначения и операции

Множество записывают, перечисляя его элементы в фигурных скобках, например: A = {1, 2, 3}. Если элемент a принадлежит множеству A, записывают a ∈ A. Множество B является подмножеством A, если каждый элемент B принадлежит A, что обозначается B ⊆ A.

Основные операции над множествами:

• Объединение (A ∪ B) — множество, состоящее из всех элементов, принадлежащих хотя бы одному из множеств.
• Пересечение (A ∩ B) — множество общих элементов.
• Разность (A \ B) — элементы A, не принадлежащие B.
• Дополнение — элементы универсального множества, не входящие в данное множество.

¶Мощность множества

Мощность (кардинальность) множества — это характеристика, определяющая «число» его элементов. Конечные множества характеризуются натуральным числом. Для бесконечных множеств Кантор ввёл понятие трансфинитных кардиналов: мощность множества натуральных чисел обозначается ℵ₀ (ноль-алеф), а мощность множества действительных чисел — 2^ℵ₀. Гипотеза континуума, одна из известных нерешённых проблем математики, утверждает, что между этими мощностями нет других.

¶Аксиоматика

Современная теория множеств основана на аксиоматической системе, разработанной Эрнестом Цермело и Авраамом Френкелем. Ключевые аксиомы включают:

• Аксиома выделения — позволяет формировать подмножества по свойству.
• Аксиома объединения — гарантирует существование объединения семейства множеств.
• Аксиома замены — позволяет строить множества, образованные заменой элементов.
• Аксиома регулярности — исключает «самосодержащиеся» множества.
• Аксиома выбора — утверждает существование выборочного множества для произвольного семейства непустых множеств.

Аксиома выбора эквивалентна лемме о выборе и теореме о трансфинитной индукции, а также имеет важные следствия, такие как теорема Цермело о хорошо упорядоченных множествах.

¶Множества в математике

Теория множеств лежит в основе практически всех разделов современной математики. Множества используются для определения:

• Чисел — натуральные числа строятся как классы эквивалентных конечных множеств.
• Пространств — топологические, метрические и алгебраические пространства определяются как множества с дополнительной структурой.
• Функций — функция определяется как отношение, удовлетворяющее определённому условию.

¶Множества за пределами математики

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

¶Критика и альтернативы

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

¶Источники

• Кантор Г. Об обосновании теории множеств трансфинитных чисел
• Цермело Э., Френкель А. Аксиоматика теории множеств
• Куратовский К., Мостовский А. Теория множеств
• Делачур И. Введение в теорию множеств