рефераты конспекты курсовые дипломные лекции шпоры

Раздел Математика
/
Вид работы: Лекции
/
Равномощные множества. Счетные и несчетные множества

Реферат Курсовая Конспект

Выберите учебное заведение

Равномощные множества. Счетные и несчетные множества

Равномощные множества. Счетные и несчетные множества - Лекция, раздел Математика, Глава 1. Высказывания Определение. Два Множества Х И Y Равномощны, Если Сущ...

Определение. Два множества Х и Y равномощны, если существует взаимно однозначное отображение множества Х на множество Y. (Обозначают: Х ~ Y).

Пример. Множество сторон четырехугольника и множество его углов.

Понятие равномощности применимо как к конечным, так и к бесконечным множествам.

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

Рассмотрим примеры равномощных бесконечных множеств: N – множество натуральных чисел, А – множество четных натуральных чисел (А Ì N). Каждому натуральному числу поставим в соответствие число, которое больше его в 2 раза:

1 2 3 4 5…

2 4 6 8 10 …

Установленное соответствие взаимно однозначно, т.к. каждому натуральному числу соответствует единственное число из множества Y и наоборот: каждое число из множества Y соответствует единственному натуральному числу. Следовательно, множество натуральных чисел равномощно множеству четных натуральных чисел.

Определение. Бесконечное множество, равномощное множеству натуральных чисел, называется счетным.

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

Теорема (без доказательства). Множество действительных чисел, заключенных между нулем и единицей, несчетно.

Примеры несчетных множеств: множество всех действительных чисел, множество всех точек на прямой, множество всех точек плоскости.

Контрольные вопросы

1. Дайте определение декартова произведения множеств.

2. Перечислите способы задания декартова произведения множеств.

3. В каком отношении находятся множества X × Y и Y × X?

4. Что называют соответствием между множествами Х и Y?

5. Какое множество называют областью отправления, областью прибытия, областью определения и множеством значений соответствия?

6. Перечислите способы задания соответствий.

7. Какое соответствие называют отображением множества Х в множество Y; отображением множества Х на множество Y?

8. Какое соответствие называют взаимно однозначным соответствием?

9. Какие множества называют равномощными? В каком случае равномощны конечные множества?

10. Какие множества называют счетными? Приведите примеры счетных и несчетных множеств.

Развернуть

Открыть в широком формате

– Конец работы –

Эта тема принадлежит разделу:

Глава 1. Высказывания

Курс лекций по математике...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Равномощные множества. Счетные и несчетные множества

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Законы алгебры высказываний
1. Коммутативные законы А Ù В º В Ù А А Ú В º В Ú А 2. Ассоц

Понятие множества. Элемент множества. Пустое множество
Множество – основное понятие математики и поэтому не определяется через другие. Обычно под множеством понимают совокупность предметов, объединенных по общему признаку. Так, можно говорить

Отношения между множествами. Графическая иллюстрация множеств
Определение. Если множества А и В имеют общие элементы, т.е. элементы, принадлежащие одновременно множествам А и В, то говорят, что эти множества

Законы операций над множествами
1. Коммутативные законы А Ç В = В Ç А А È В = В È А 2. Ассоциативные з

Число элементов объединения двух и трех конечных множеств
В математике часто приходится решать задачи, в которых требуется определить число элементов в множестве, либо в объединении или пересечении множеств. Условимся число элемен

Упорядоченная пара. Декартово произведение двух множеств
Рассмотрим задачу: используя цифры 1, 2, 3, образуйте все возможные двузначные числа. Запись каждого числа состоит из двух цифр, причем существенен порядок их следования (ч

Взаимно однозначное соответствие
Определение. Отображением f множества Х в множество Y называется такое соответствие между множествами Х и Y, при котором каждому элемен

Виды функций
1. Постоянная функция. Определение. Постоянной называется функция, заданная формулой у = b, где b - некоторое число.

Обратная функция
Пусть функция у = f (х) задает инъективное отображение числового множества Х в множество действительных чисел R (т.е. различным значения

Свойства отношений
Отношение, заданное на множестве, может обладать рядом свойств, а именно: 1. Рефлексивность Определение. Отношение R на множестве Х

Отношение порядка. Упорядоченные множества
Определение. Отношение R на множестве Х называется отношением порядка, если оно транзитивно и асимметрично или антисимметрично. Определение. Отн

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

Отношение следование и равносильности между предложениями. Необходимое и достаточное условие
Часто встречаются такие предикаты, что из истинности одного из них следует истинность другого. Например, можно сказать, что из предиката А (х): «число х кратно

Строение и виды теорем
Теорема – это высказывание, истинность которого устанавливается посредством рассуждения (доказательства). С логической точки зрения теорема представляет собой высказывание вида А &T

Определение понятия. Требования к определению понятия
Появление в математике новых понятий, а значит, и новых терминов, обозначающих эти понятия, предполагает их определение. Определением обычно называют предложение, разъясняющее суть нового

Умозаключения и их виды
Умозаключение (рассуждение) – это способ получения нового знания на основе некоторого имеющегося. Умозаключение состоит из посылок и заключения. Посылки – это выск

Схемы дедуктивных умозаключений
Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода, или, как их еще называют, схемы дедуктивных умозаключений. Рассмотрим наиб

Проверка правильности умозаключений
В логике существуют различные способы проверки правильности умозаключений. Один из них – с использованием кругов Эйлера. Данное умозаключение вначале записывают на теоретико-множественном

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