Курсовая работа: Элементы теории множеств 2

1,2, 3,4, 5, 6, 7…

· Теорема Кантора гарантирует существование более мощного множества для любого данного: Множество всех подмножеств множества A мощнее A, или | 2^A | > | A | .

· С помощью канторова квадрата можно также доказать следующее полезное утверждение: Декартово произведение бесконечного множества A с самим собой равномощно A.

Следуя Кантору, мощность множества называется кардинальным числом и обозначается мощность такого множества A через | A | (сам Кантор использовал обозначение ). Иногда встречается обозначение .

Мощность множества натуральных чисел обозначается символом («алеф-нуль»). Множество называется бесконечным, если его мощность , таким образом, счётные множества — это «самые маленькие» из бесконечных множеств. Следующие кардинальные числа в порядке возрастания обозначаются .

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

Для мощностей, как и в случае конечных множеств, имеются понятия: равенство, больше, меньше. Т.е. для любых множеств A и B возможно только одно из трёх:

1. | A | = | B | или A и B равномощны;

2. | A | > | B | или A мощнее B, т. е. A содержит подмножество, равномощное B, но A и B не равномощны;

3. | A | < | B | или B мощнее A, в этом случае B содержит подмножество, равномощное A, но A и B не равномощны.

Ситуация, в которой A и B не равномощны и ни в одном из них нет части, равномощной другому, невозможна. Это следует из теоремы Цермело. Иначе это означало бы существование несравнимых между собой мощностей (что в принципе возможно, если не принимать аксиому выбора).

Ситуация, в которой | A | > | B | и | A | < | B | , невозможна по теореме Кантора — Бернштейна.

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

Множество правильных положительных дробей содержит столько же элементов, сколько и натуральных чисел.

Глава 2. Операции над множествами

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

2.1 Сравнение множеств

множество элемент аксиоматический принадлежность

Множество A содержится во множестве B (множество B включает множество A), если каждый элемент A есть элемент B:

.

Если и , то A называется собственным подмножеством В. Заметим, что . По определению .

Два множества называются равными, если они являются подмножествами друг друга:

Теорема о сравнении множеств . Для любых множеств A и B существует одна и только одна из следующих возможностей: |A| = |B|, |A|<|B|, |A|>|B|.

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

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

· объединение:

· пересечение: