Чтение онлайн

на главную

Жанры

Дискретная математика без формул
Шрифт:

4. Данное соответствие НЕСЮР'ЕКТИВНО, поскольку на экзамене были использованы не все возможные оценки. На реальных экзаменах обычно бывает задействован весь возможный спектр оценок, поэтому это соответствие бывает «по жизни» СЮР'ЕКТИВНЫМ. Естественно, сюр'ективно в даный момент приобретение билетов на Витаса.

5. Соответствие, которое одновременно ВСЮДУ-ОПРЕДЕЛЕНО, ФУНКЦИОНАЛЬНО, ИН'ЕКТИВНОи СЮР'ЕКТИВНОназывается БИЕКТИВНЫМ.

Еще его называют ВЗАИМНО-ОДНОЗНАЧНЫМ, но так звучит менее красиво. Говорят, что самый убедительный пример биективного соответствия головы на плечах. Возьмите множество голов, множество плеч и убедитесь во всех четырех свойствах. Криминальные варианты не предлагать!

Выделение соответствий в отдельную категорию предложили европейцы, а точнее французы, а еще точнее, Николя Бурбаки (это французский Козьма Прутков, состоявший из математиков интеллектуалов). Американская школа считает соответствия частным случаем отношений. А у нас разговор про отношения отдельный – так легче разложить все по полочкам. Так что пришла пора поговорить об отношениях.

В математике, как и в жизни, различные об'екты могут иметь какое-то отношение к другим об'ектам или не иметь.

Родственные отношения, дружеские отношения, дипломатические отношения, равноправные отношения.

Глядя на многочисленные примеры вокруг, мы замечаем, что отношения отличаются от соответствий тем, что определяются на одном множестве. Бессмысленно бы было говорить об отношениях между студентами и оценками. О дипломатических, родственных или любых других отношениях между должностью и зарплатой. Для определения конкретного отношения надо определить множество, и пары, для которых имеет место данное отношение.

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

Отношения, в силу специфики, характеризуются иным перечнем свойств, нежели соответствия.

1. РЕФЛЕКСИВНОСТЬ. Это когда отношение обращено на себя. Ранее уже рассматривалось отношение включения. Поскольку любое множество включено само в себя, то отношение включения обладает свойством рефлексивности. Если верить народной мудрости, то и отношение «спасения» на множестве утопающих – рефлексивно.

2. АНИТИРЕФЛЕКСИВНОСТЬ. Это когда отношение к самому об'екту (всегда) неприменимо. Например, «перпендикулярность» на множестве прямых. Прямая не может быть перпендикулярна самой себе.

3. СИММЕТРИЧНОСТЬ. Если Иванов «учится в одной группе» с Петровым, то и обратное справедливо. Если прямая А «перпендикулярна» прямой B, то и обратное справедливо.

4. АНТИСИММЕТРИЧНОСТЬ. Если тысячу рублей можно «разменять» сотнями, то обратное не под силу даже фокуснику. Мрачноватый, но очень точный пример: «носить траур по кому-то»…

5. ПОЛНОТА. Это самое сложное свойство, поскольку, в отличие от всех остальных, оно прежде всего «направлено» на само множество. Полнотой обладает отношение, которое для любой пары разных элементов данного множества выполнимо хотя бы «в одну сторону». Например, полнотой обладает отношение «больше» для множества действительных чисел, ибо для двух разных действительных чисел одно обязательно больше другого. Но если мы к действительным числам добавим комплексные, то свойство полноты исчезнет. Если хотя бы одно из сравниваемых чисел будет комплексным, сравнение на «больше»-"меньше" теряет смысл.

6. ТРАНЗИТИВНОСТЬ. Если Иванов «учится в одной группе» с Петровым, а Петров с Сидоровым, то Иванов «учится в одной группе» с Сидоровым. Отношение включения тоже транзитивно. Если группа «включена» в множество студентов университета, а это множество «включено» в множество студентов страны. То множество студентов группы «включено» в множество студентов страны. Можно продолжить эту цепочку включений, прихватив галактику. И вот тут опять подводный камень казуистики!

Если студенческую группу рассматривать как элемент университета – множества, состоящего из групп, а университет элемент высшей школы – множества, состоящего из университетов, то группа не является элементом высшей школы (там элементы университеты). То есть отношение «принадлежности» нетранзитивно. «Вассал моего вассала -…»

Вернемся к функциональному соответствию (то есть к функции). Если это соответствие к тому же еще и всюду-определено, то оно называется ОТОБРАЖЕНИЕМ.

Если отобразить множество студентов в группе, на множество фамилий в группе, То это скорее всего будет ОТОБРАЖЕНИЕмножества студентов НАмножество фамилий. То есть сюр'ективное соответствие. Если же отобразить множество студентов группы на множество фамилий студентов университета, то говорят, что имеет место ОТОБРАЖЕНИЕмножества студентов В множество фамилий. То есть в области значений будут и «незадействованные фамилии».

Мы подошли к одному из самых фундаментальных, может потому и неблагозвучных, понятий и теории множеств, и математики вообще, мы подошли к ГОМОМОРФИЗМУ.

Пример. Отобразим множество точек участка земной поверхности на множество точек карты. Сейчас оставим в стороне то, что некое множество точек земной поверхности отобразится в одну точку на карте, в таких случаях неин'ективность – обычное дело. Для нас существенно то что, чем выше точки земной поверхности над уровнем моря, тем в более коричневые точки карты они отображаются.

Таким образом, мы рассматриваем не просто множества элементов. В первом случае здесь между элементами множества существует отношение «выше», а во втором – «коричневее». Где выше в первом – там коричневее во втором. «Выше» и «коричневее» – это отношения заданные на своих множествах.

Отображение земной поверхности НАкарту не просто ставит всем элементам одного множества элементы другого. Но, кроме того, если между двумя элементами первого множества существует отношение «выше», то между их образами во втором множестве имеет место отношение «коричневее». Естественно, если точки земной поверхности лежат на одной высоте, то они отобразятся в точки карты с одинаковой коричневостью.

Поделиться:
Популярные книги

На границе империй. Том 4

INDIGO
4. Фортуна дама переменчивая
Фантастика:
космическая фантастика
6.00
рейтинг книги
На границе империй. Том 4

Варлорд

Астахов Евгений Евгеньевич
3. Сопряжение
Фантастика:
боевая фантастика
постапокалипсис
рпг
5.00
рейтинг книги
Варлорд

Никто и звать никак

Ром Полина
Фантастика:
фэнтези
7.18
рейтинг книги
Никто и звать никак

Расческа для лысого

Зайцева Мария
Любовные романы:
современные любовные романы
эро литература
8.52
рейтинг книги
Расческа для лысого

На границе империй. Том 10. Часть 3

INDIGO
Вселенная EVE Online
Фантастика:
боевая фантастика
космическая фантастика
попаданцы
5.00
рейтинг книги
На границе империй. Том 10. Часть 3

Объединитель

Астахов Евгений Евгеньевич
8. Сопряжение
Фантастика:
боевая фантастика
постапокалипсис
рпг
5.00
рейтинг книги
Объединитель

Сила рода. Том 3

Вяч Павел
2. Претендент
Фантастика:
фэнтези
боевая фантастика
6.17
рейтинг книги
Сила рода. Том 3

Провинциал. Книга 3

Лопарев Игорь Викторович
3. Провинциал
Фантастика:
космическая фантастика
рпг
аниме
5.00
рейтинг книги
Провинциал. Книга 3

Вечный. Книга II

Рокотов Алексей
2. Вечный
Фантастика:
боевая фантастика
попаданцы
рпг
5.00
рейтинг книги
Вечный. Книга II

Решала

Иванов Дмитрий
10. Девяностые
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Решала

Кодекс Охотника. Книга XXII

Винокуров Юрий
22. Кодекс Охотника
Фантастика:
фэнтези
попаданцы
5.00
рейтинг книги
Кодекс Охотника. Книга XXII

Ратник

Ланцов Михаил Алексеевич
3. Помещик
Фантастика:
альтернативная история
7.11
рейтинг книги
Ратник

Приручитель женщин-монстров. Том 4

Дорничев Дмитрий
4. Покемоны? Какие покемоны?
Фантастика:
юмористическое фэнтези
аниме
5.00
рейтинг книги
Приручитель женщин-монстров. Том 4

Сильнейший ученик. Том 2

Ткачев Андрей Юрьевич
2. Пробуждение крови
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Сильнейший ученик. Том 2