Слайд 2
![Содержание: Эквивалентное множество, мощность множеств (определение, основные свойства, теоремы, примеры);](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-1.jpg)
Содержание:
Эквивалентное множество, мощность множеств (определение, основные свойства, теоремы, примеры);
Счетные множества (определение,
основные свойства, теоремы, примеры);
Несчетные множества (определение, основные свойства, теоремы, примеры);
Список источников.
Слайд 3
![Мощность множеств](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-2.jpg)
Слайд 4
![Эквивалентные множества Определение: Два множества, между элементами которых можно установить](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-3.jpg)
Эквивалентные множества
Определение: Два множества, между элементами которых можно установить взаимно
однозначное соответствие (биекцию), называются равномощными множествами, или множествами, имеющими одинаковую мощность, или эквивалентными множествами по мощности.
Обозначение эквивалентных (равномощных) множеств:
Слайд 5
![Свойства эквивалентности множеств Отношение равномощности симметрично: если A равномощном B,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-4.jpg)
Свойства эквивалентности множеств
Отношение равномощности симметрично: если A равномощном B, то
B равномощно A.
Отношение равномощности рефлексивно: каждое множество равномощно самому себе.
Отношение равномощности транзитивно: если A равномощно B и B равномощно C, то A равномощно C.
Слайд 6
![Примеры Возьмём группу студентов из тридцати человек и выдадим экзаменационные](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-5.jpg)
Примеры
Возьмём группу студентов из тридцати человек и выдадим экзаменационные билеты по
одному билету каждому студенту из стопки, содержащей тридцать билетов, такое попарное соответствие из 30 студентов и 30 билетов будет одно-однозначным.
Два множества, равномощные с одним и тем же третьим множеством, равномощны.
Если множества M и N равномощны, то и множества всех подмножеств каждого из этих множеств M и N , также равномощны.
Слайд 7
![Примеры](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-6.jpg)
Слайд 8
![Примеры](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-7.jpg)
Слайд 9
![Примеры](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-8.jpg)
Слайд 10
![Счетные множества Определение: Множества, эквивалентные по числу элементов множеству N={1,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-9.jpg)
Счетные множества
Определение: Множества, эквивалентные по числу элементов множеству N={1, 2, 3,
4, …} называются счетными множествами.
Например, между множествами N={1, 2, 3, …, n, …} и A={-1, -2, -3, …, -n, …} можно установить взаимно-однозначное соответствие. Значит А~N и множество целых отрицательных чисел является счетным.
Слайд 11
![Теоремы Теорема 1. Для того, чтобы множество А было счетным,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-10.jpg)
Теоремы
Теорема 1. Для того, чтобы множество А было счетным, необходимо и
достаточно, чтобы его можно было представить в виде А={a1, a2, a3,…} (т.е. в так называемой форме последовательности).
Теорема 2. Из всякого бесконечного множества А можно выделить счетное множество.
Слайд 12
![Теоремы Теорема 3.Всякое бесконечное подмножество счетного множества тоже счетно. Теорема](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-11.jpg)
Теоремы
Теорема 3.Всякое бесконечное подмножество счетного множества тоже счетно.
Теорема 4. Сумма
конечного числа счетных множеств есть также счетное множество.
Теорема 5. Сумма счетного числа конечных множеств есть конечное или счетное множество.
Слайд 13
![Теоремы Теорема 6. Сумма счетного числа счетных множеств есть также](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-12.jpg)
Теоремы
Теорема 6. Сумма счетного числа счетных множеств есть также счетное множество.
Теорема
7. Если к бесконечному множеству добавить счетное или конечное множество, то это не изменит его мощности.
Слайд 14
![Примеры](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-13.jpg)
Слайд 15
![](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-14.jpg)
Слайд 16
![](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-15.jpg)
Слайд 17
![](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-16.jpg)
Слайд 18
![Несчетное множество Определение. Если множество В является бесконечным и не](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-17.jpg)
Несчетное множество
Определение. Если множество В является бесконечным и не равномощно множеству
N, то его называют несчетным.
Слайд 19
![Теоремы Теорема 1. Множество [0;1] несчётно. Теорема 2. Если множество](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-18.jpg)
Теоремы
Теорема 1. Множество [0;1] несчётно.
Теорема 2. Если множество A бесконечно,
а множество B конечно или счетно, то объединение A∪B равномощно A.
Теорема 3. Квадрат (со внутренностью) равномощен отрезку.
Слайд 20
![Теоремы Теорема 4 (Теорема Кантора-Бернштейна). Если множество A равномощно некоторому](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-19.jpg)
Теоремы
Теорема 4 (Теорема Кантора-Бернштейна). Если множество A равномощно некоторому подмножеству множества
B, а B равномощно некоторому подмножеству множества A, то множества A и B равномощны.
Теорема 5 (Теорема Кантора).Множество бесконечных последовательностей нулей и единиц несчетно.
Теорема 6 (обобщенная теорема Кантора). Для любого множества А имеет место неравенство |A| < |P(A)|.(Никакое множество X не равномощно множеству всех своих подмножеств).
Слайд 21
![Пример](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-20.jpg)
Слайд 22
![Пример](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-21.jpg)
Слайд 23
![Пример](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/276271/slide-22.jpg)