🗊Презентация Множества. Эквивалентные множества

Выполнили: Базуева Анна, Чебанова Елена, Б-4051

Эквивалентное множество, мощность множеств (определение, основные свойства, теоремы, примеры); Эквивалентное множество, мощность множеств (определение, основные свойства, теоремы, примеры); Счетные множества (определение, основные свойства, теоремы, примеры); Несчетные множества (определение, основные свойства, теоремы, примеры); Список источников.

Определение: Два множества, между элементами которых можно установить взаимно однозначное соответствие (биекцию), называются равномощными множествами, или множествами, имеющими одинаковую мощность, или эквивалентными множествами по мощности. Определение: Два множества, между элементами которых можно установить взаимно однозначное соответствие (биекцию), называются равномощными множествами, или множествами, имеющими одинаковую мощность, или эквивалентными множествами по мощности. Обозначение эквивалентных (равномощных) множеств:

Отношение равномощности симметрично: если A равномощном B, то B равномощно A. Отношение равномощности симметрично: если A равномощном B, то B равномощно A. Отношение равномощности рефлексивно: каждое множество равномощно самому себе. Отношение равномощности транзитивно: если A равномощно B и B равномощно C, то A равномощно C.

Возьмём группу студентов из тридцати человек и выдадим экзаменационные билеты по одному билету каждому студенту из стопки, содержащей тридцать билетов, такое попарное соответствие из 30 студентов и 30 билетов будет одно-однозначным. Возьмём группу студентов из тридцати человек и выдадим экзаменационные билеты по одному билету каждому студенту из стопки, содержащей тридцать билетов, такое попарное соответствие из 30 студентов и 30 билетов будет одно-однозначным. Два множества, равномощные с одним и тем же третьим множеством, равномощны. Если множества M  и N равномощны, то и множества всех подмножеств каждого из этих множеств M  и N , также равномощны.

Определение: Множества, эквивалентные по числу элементов множеству N={1, 2, 3, 4, …} называются счетными множествами. Определение: Множества, эквивалентные по числу элементов множеству N={1, 2, 3, 4, …} называются счетными множествами. Например, между множествами N={1, 2, 3, …, n, …} и  A={-1, -2, -3, …, -n, …} можно установить взаимно-однозначное соответствие. Значит А~N и множество целых отрицательных чисел является счетным.

Теорема 1. Для того, чтобы множество А было счетным, необходимо и достаточно, чтобы его можно было представить в виде А={a1, a2, a3,…} (т.е. в так называемой форме последовательности). Теорема 1. Для того, чтобы множество А было счетным, необходимо и достаточно, чтобы его можно было представить в виде А={a1, a2, a3,…} (т.е. в так называемой форме последовательности). Теорема 2. Из всякого бесконечного множества А можно выделить счетное множество.

Теорема 3.Всякое бесконечное подмножество счетного множества тоже счетно. Теорема 3.Всякое бесконечное подмножество счетного множества тоже счетно. Теорема 4. Сумма конечного числа счетных множеств есть также счетное множество. Теорема 5. Сумма счетного числа конечных множеств есть конечное или счетное множество.

Теорема 6. Сумма счетного числа счетных множеств есть также счетное множество. Теорема 6. Сумма счетного числа счетных множеств есть также счетное множество. Теорема 7. Если к бесконечному множеству добавить счетное или конечное множество, то это не изменит его мощности.

Определение. Если множество В является бесконечным и не равномощно множеству N, то его называют несчетным. Определение. Если множество В является бесконечным и не равномощно множеству N, то его называют несчетным.

Теорема 1. Множество [0;1] несчётно. Теорема 1. Множество [0;1] несчётно. Теорема 2. Если множество A бесконечно, а множество B конечно или счетно, то объединение A∪B равномощно A. Теорема 3. Квадрат (со внутренностью) равномощен отрезку.

Теорема 4 (Теорема Кантора-Бернштейна). Если множество A равномощно некоторому подмножеству множества B, а B равномощно некоторому подмножеству множества A, то множества A и B равномощны. Теорема 4 (Теорема Кантора-Бернштейна). Если множество A равномощно некоторому подмножеству множества B, а B равномощно некоторому подмножеству множества A, то множества A и B равномощны. Теорема 5 (Теорема Кантора).Множество бесконечных последовательностей нулей и единиц несчетно. Теорема 6 (обобщенная теорема Кантора). Для любого множества А имеет место неравенство |A| < |P(A)|.(Никакое множество X не равномощно множеству всех своих подмножеств).

Электронные ресурсы: Электронные ресурсы: Режим удаленного доступа: http://math.siomax.ru/Sets; Режим удаленного доступа: http://www.mathprofi.ru/mnozhestva.html; Режим удаленного доступа: http://edu.alnam.ru/book_abmn.php?id=10.