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

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

Отношения между множествами. Графическая иллюстрация множеств

Отношения между множествами. Графическая иллюстрация множеств - Лекция, раздел Математика, Глава 1. Высказывания   Определение. Если Множества А И В Имеют ...

 

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

Например, множества А = {1, 2, 3, 4} и В = {0, 3, 5} пересекаются, т.к. имеют общий
элемент 3.

На диаграмме пересекающиеся множества изображают следующим образом:

А В

 

 

Определение. Множества А и В не пересекаются, если не имеют общих элементов.

Множества А = {1, 2, 3, 4} и В = {0, 8, 5} не пересекаются.

Если множества не пересекаются, то их изображают следующим образом:

       
   
 

 


А В

Определение. Множества А и В называются равными, если они состоят из одних и тех же элементов. Обозначают: А = В.

Например, множества А = {1, 2, 3} и В = {2, 3, 1} равны, т.к. состоят из одинаковых элементов. Таким образом, множество не изменится, если переставить его элементы. С понятием равных множеств связано следующее положение: одно и то же множество может быть задано с помощью различных характеристических свойств.

Определение. Множество В называется подмножеством множества А, если каждый элемент множества В принадлежит множеству А (обозначают В Ì А).

Согласно данному определению, каждое множество является подмножеством самого себя. Кроме этого считают, что пустое множество есть подмножество любого множества. Само множество и пустое множество называют несобственными подмножествами; все остальные подмножества множества А, если они существуют, – собственные подмножества.

Например, множество А = {1, 2, 3} имеет шесть собственных подмножеств А1 = {1}, А2 = {2}, А3 = {3}, А4 = {1, 2}, А5 = {1, 3}, А6 = {2, 3} и два несобственных подмножества А7 = {1, 2, 3} и А8 = Æ.

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

Если В Ì А и А Ì В, то А = В. Отсюда вытекает один из способов доказательства равенства множеств: если доказано, что любой элемент из множества А является элементом множества В и, в свою очередь, любой элемент из множества В является элементом множества А, то делают вывод, что А = В.

Часто случается, что все множества, рассматриваемые в задаче, являются подмножествами одного и того же множества. Такое множество называют универсальным (обозначают I).

Условимся изображать универсальное множество прямоугольником, а его подмножества – кругами в этом прямоугольнике.

Описанный способ изображения множеств носит названия кругов Эйлера или диаграмм Венна. Мы будем подобные изображения называть диаграммами Эйлера-Венна.

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги