Теория множеств Пояснения используемых символов



Скачать 79.83 Kb.
Дата08.11.2012
Размер79.83 Kb.
ТипДокументы
Теория множеств
Пояснения используемых символов:

-символ принадлежности элемента (стоит слева) множеству (стоит справа)

:= по определению равно

  • логическое отрицание

 логическое «И»

 логическое «ИЛИ»

 логическое следование (если … то …)

 -сокращенно «для всех»

{…} – описание множества

  1. {1,3,5,8} – описание множества путем перечисления его элементов

  2. {x|логическое выражение-условие} - описание множества путем задания условия, которому должны удовлетворять элементы.


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

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

A  B := x A x B.
В этом случае A называется подмножеством B, B — надмножеством A. Если A  B и  (A = B), то A называется собственным подмножеством B. Заметим, что M M  M.
Два множества называются равными, если они являются подмножествами друг друга: A = B := A  B  B  A

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

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

пересечение

A  B := {x|x A  x B}

объединение

A  B := {x|x A  x B}

дополнение

A_ := {x|(x A)}

разность

A \ B := {x|x A (x В)}


Операция дополнения подразумевает некоторый универсум (множество U, которое содержит A):

A_ := U \ A
Пример (один из вариантов практического задания на зачете):

А = {2, 3, 4, 7}

B = {3, 4, 5}

A  B = {3, 4}

A  B = {2, 3, 4, 5, 7}

A \ B = {2,7}
Для лучшего понимания смысла этих операций используются диаграммы Эйлера — Венна, на которых представлены результаты операций над геометрическими фигурами как множествами точек.Например:



png" name="graphics1" align=bottom width=255 height=141 border=0>



Диаграмма, иллюстрирующая операцию A  B

Диаграмма, иллюстрирующая операцию A  B



Бинарное отношение

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

ПРИМЕР 1

В истории часто используются так называемые генеалогические древа.


Рис. 1 Древо семьи Павла I

Генеалогическое древо построено на бинарном отношении «Предок-потомок».

ПРИМЕР 2



Формализуем понятие бинарного отношения.

Декартово или прямое произведение:

A X B = {(a,b)|a A  b B}

Частным случаем декартова произведения является Декартов квадрат

A X A = {(a,b)|a A  b A}
Бинарным отношением на множестве A называется подмножество R декартова квадрата A X A (т. е. подмножество множества всех упорядоченных пар элементов из A). В пределах этого текста xRy будет означать, что (x,y)R.
Для наглядного представления отношений используются таблицы (матрицы). Каждый элемент таблицы соответствует упорядоченной паре элементов из A. Элементы таблицы равны 0 или 1, в зависимости от того, входит ли соответствующая пара в отношение(1) или нет (0).
Пример

А={1,2,3} А состоит из натуральных чисел от 1 до 3.
Таблица соответствует парам




1

2

3

1

(1,1)

(1,2)

(1,3)

2

(2,1)

(2,2)

(2,3)

3

(3,1)

(3,2)

(3,3)



Отношение R – строго меньше





1

2

3

1

0

1

1

2

0

0

1

3

0

0

0


Свойства отношений

Бинарные отношения могут обладать различными свойствами, такими как

Рефлексивность:xM (xRx)





1

2

3

1

1

1

1

2

0

1

1

3

0

0

1



Пример рефлексивного отношения (это – пример отношения полного порядка). Красным цветом выделены элементы, обеспечивающие рефлексивность отношения.



Антирефлексивность (иррефлексивность): xM ( xRx)






1

2

3

1

0

1

1

2

0

0

1

3

0

0

0



Пример антирефлексивного отношения (это – пример отношения строго полного порядка). Красным цветом выделены элементы, обеспечивающие антирефлексивность отношения.



Симметричность: x,y M (xRy yRx)





1

2

3

1

0

1

1

2

1

0

1

3

1

1

0



Пример симметричного отношения. Красным цветом выделены элементы, обеспечивающие симметричность отношения.




Антисимметричность: x,y M (xRy yRx x=y)

Транзитивность: x,y,z M (xRy yRz xRz)

Полнота: x,y M (xRy yRx)

Асимметричность x,y M (xRy yRx)
Виды отношений

Рефлексивное симметричное транзитивное отношение называется отношением эквивалентности.

Рефлексивное антисимметричное транзитивное отношение называется отношением (частичного) порядка.

Рефлексивное антисимметричное транзитивное полное отношение называется отношением полного порядка.

Антирефлексивное антисимметричное транзитивное полное отношение называется отношением полного строгого порядка

Элементы теории графов

Графом называется бинарное (2-арное) отношение на множестве элементов, называемых вершинами графа. Вершины соединяются дугой (изображается на рисунках стрелкой), если соответствующая упорядоченная пара входит в отношение.

Граф называется неориентированным, если отношение симметрично. В этом случае дуги называются ребрами графа.

Граф называется ориентированным, если отношение антисимметрично.
Из определения непосредственно следует естественный способ описания графа в виде матрицы (таблицы) смежности. (Таблица есть отношение.) Матрица квадратная, т.е. числа строк и столбцов совпадают. 1 означает наличие отношения, 0 – отсутствие.
Графы применяются для наглядного изображения бинарных отношений.
Пример.
Отношение R – строго меньше на множестве 3 первых натуральных чисел.

Матрица смежности:





1

2

3

1

0

1

1

2

0

0

1

3

0

0

0



Граф:

Другим примером графа может служить дерево, изображенное в примере 2.

Похожие:

Теория множеств Пояснения используемых символов iconЗадачи 1 Теория множеств [36]. №№3, 12, 19, 10. 10
Доказать равенство множеств, преобразуя множества к одинаковому виду помощью основных законов алгебры множеств
Теория множеств Пояснения используемых символов iconЗакон для нечетких множеств Некоторые свойства операций над множествами не выполнены для нечетких множеств. Так, за исключением случая, когда
Цель настоящего приложения глубже изучить свойства нечетких множеств и показать, что теория нечетких множеств в определенном смысле...
Теория множеств Пояснения используемых символов iconВыполнили: Ольшевская Мария, Ульященко Ольга
Теория множеств – это раздел математики, изучающий общие свойства множеств (преимущественно бесконечных)
Теория множеств Пояснения используемых символов iconСписок вопросов по курсу «Дискретная математика» для направления 230102
Диаграммы Венна. Классификация множеств. Пересечение множеств. Объединение множеств. Свойства пересечения и объединения множеств....
Теория множеств Пояснения используемых символов iconН. Э. Баумана теория нечетких множеств: новый виток развития
Л. Заде. Дан краткий обзор нетрадиционных и гибридных нечетких множеств. Рассмотрены варианты описания нечеткости на основе произведений...
Теория множеств Пояснения используемых символов iconТеория: N=2i i=log2n i=K*i n полное количество символов в алфавите I количество информации, которое несет каждый символ k размер текста I размер информации, содержащейся в тексте Задачи
Письмо состояло из 30 строк. В каждой строке вместе с пробелами по 48 символов. Письмо содержало 900 байт информации. Какова мощность...
Теория множеств Пояснения используемых символов iconРегламентации и управления эффективностью
Описание тэгов и символов html, используемых для редактирования формата данных шаблонов отчетов
Теория множеств Пояснения используемых символов iconВведение в теорию множеств
Алгебра множеств. Операции на множествах: объединение, пересечение, дополнение. Декартово произведение двух множеств. Бинарные отношения...
Теория множеств Пояснения используемых символов iconРабочая программа по дисциплине «Дискретная математика»
Охватывает лишь минимальное число необходимых понятий из таких разделов дискретной математики, как теория множеств, теория графов,...
Теория множеств Пояснения используемых символов iconРазрушение символов в том мире культуры, который создан человеком и в котором он живет, особое место занимает мир символов «универсум символов»

Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org