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

на главную - закладки

Жанры

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

Проиллюстрируем сказанное:

Коммутативный закон: Об'единение (пересечение) отличников и спортсменов равно об'единеию (пересечению) спортсменов и отличников.

Ассоциативный закон: От изменения порядка об'единения (пересечения) спортсменов, отличников и красавцев результат не меняется.

Дистрибутивный закон (только экзотическая версия): Об'единение красавцев с пересечением спортсменов и отличников равно множеству, в котором пересекаются об'единения красавцев и спортсменов с об'единеием красавцев с отличниками. (В условных обозначениях это было бы гораздо короче и нагляднее, но мы зареклись насчет формул).

Сложновато

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

Есть еще закон, название которого почему-то студентов забавляет – он им, видимо, что то-напоминает. А закон этот смело можно отнести к самым важным законам (свойствам). Это закон ИДЕМПОТЕНТНОСТИ. Об'единение (пересечение) множества спортсменов с множеством спортсменов дает множество спортсменов.

Очень по-французски звучит ЗАКОН Де Моргана: Дополнение об'единения отличников со спортсменами равно пересечению дополнения множества спортсменов с дополнением множества отличников. И второй вариант. Дополнение пересечения отличников со спортсменами равно об'единению дополнения множества спортсменов с дополнением множества отличников. За универсум (для дополнения) можно взять множество студентов группы (или университета, или мира – роли не играет). Возьмите реальных спортсменов с отличниками и убедитесь в справедливости закона.

Очень прост закон ДВОЙНОГО ДОПОЛНЕНИЯ. Дополнение дополнения множества спортсменов есть само множество спортсменов. Персонально для тех, кто успешно продирается через всю нашу словесную казуистику, можем сформулировать ближайшее следствие из этого закона. Дополнение дополнения дополнения множества спортсменов есть дополнение множества спортсменов.

Самыми экзотическими являются два закона: ПРОТИВОРЕЧИЯи ИСКЛЮЧЕННОГО ТРЕТЬЕГО.

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

Исключенного третьего: Об'единение множества спортсменов с дополнением множества спортсменов совпадает с рассматриваемым универсумом. Действительно, коль скоро в дополнение множества спортсменов входят все остальные студенты неспортсмены из универсума, то это об'единение как раз и составляет весь универсум.

Остается только высказать сожаление, что не все математики согласны с этими законами. Еще большее сожаление вызывает то, что у них на это есть весьма веские основания… Не менее веские, чем у сторонников законов.

Несогласные себя называют КОНСТРУКТИВИСТАМИили ИНТУИЦИОНИСТАМИ.

Согласным же ничего не осталось, как назвать самих себя КЛАССИКАМИ… С чем не согласны

несогласные.

Лекция 4. СООТВЕТСТВИЯ, ОТОБРАЖЕНИЯ, ОТНОШЕНИЯ

Алгеброй далеко не исчерпывается все то, что можно сделать с множествами…

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

То есть между множествами могут устанавливаться различные СООТВЕТСТВИЯи ОТНОШЕНИЯ. Более того (а серьезные математики может быть даже сказали бы «прежде всего»), множества нередко могут ОТОБРАЖАТЬСЯдруг в друг друга и даже в самих себя…

Человек может соответствовать профессии, зарплата соответствовать должности, наказание – преступлению, оценка – знаниям.

Глядя на многочисленные примеры вокруг мы замечаем, что для определения конкретного соответствия надо определить два множества: множество (область) определения и множество (область) значений. А также определить «пары соответствий». Например, область определения – группа ух-005, сдающая экзамен; область значений – отл, хор, уд, неуд – множество оценок. И множество пар Иванов – отл, Петров – хор, Сидоров – отл. А Хведоров – не явился. Вот вам и готовое соответствие.

Соответствия обладают свойствами.

1. В данном случае соответствие НЕ-ВСЮДУ-ОПРЕДЕЛЕННОЕ, поскольку для Хведорова в этом соответствии нет пары. (Даже если бы мы написали в ведомости Хведоров – н/я, то это все равно бы не попало в соответствие, поскольку «н/я» нет в множестве допустимых значений!). Если бы деканат своевременно исключил из ведомости Хведорова, как отчисленного, то это соответствие стало бы ВСЮДУ-ОПРЕДЕЛЕННЫМ

2. Соответствие ФУНКЦИОНАЛЬНО, поскольку каждому студенту соответствует не более одной оценки. Такое соответствие называют по-простому, ФУНКЦИЕЙ. В данном случае из-за Хведорова это не всюду определенная функция. Никакой разницы со школьной функцией кроме той принципиальной, что здесь аргументами и значениями могут быть не только числа, а любые об'екты. Кстати, не всем математикам нравится такое определение функции, хотя оно абсолютно строгое. Просто сказывается ревность к множествам с позиций некоторых других разделов математики.

Если бы за один экзамен студенты могли получать несколько оценок, то соответствие было бы НЕФУНКЦИОНАЛЬНЫМ. То есть не было бы функцией. (Оно было бы «многозначной [недетерминированной] функцией», но это уже другая математика). Да и в жизни так не бывает.

3. Данное соответствие НЕИН'ЕКТИВНО, поскольку отл получил более, чем один студент. Если бы Сидоров, из-за фатальной предрасположенности к несчастьям, получил не отл, а уд (или неуд), то соответствие было бы ИН'ЕКТИВНЫМ… Получение студентами олимпийских медалей за победу в беге на 100 метров было бы примером ин'ективного соответствия.

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

Скандальный развод, или Хозяйка владений "Драконье сердце"

Милославская Анастасия
Фантастика:
попаданцы
фэнтези
5.00
рейтинг книги
Скандальный развод, или Хозяйка владений Драконье сердце

Кротовский, не начинайте

Парсиев Дмитрий
2. РОС: Изнанка Империи
Фантастика:
городское фэнтези
попаданцы
альтернативная история
5.00
рейтинг книги
Кротовский, не начинайте

Вторая жизнь майора. Цикл

Сухинин Владимир Александрович
Вторая жизнь майора
Фантастика:
героическая фантастика
боевая фантастика
попаданцы
5.00
рейтинг книги
Вторая жизнь майора. Цикл

Стеллар. Заклинатель

Прокофьев Роман Юрьевич
3. Стеллар
Фантастика:
боевая фантастика
8.40
рейтинг книги
Стеллар. Заклинатель

Имя нам Легион. Том 6

Дорничев Дмитрий
6. Меж двух миров
Фантастика:
боевая фантастика
рпг
аниме
5.00
рейтинг книги
Имя нам Легион. Том 6

Сирота

Шмаков Алексей Семенович
1. Светлая Тьма
Фантастика:
юмористическое фэнтези
городское фэнтези
аниме
5.00
рейтинг книги
Сирота

Возвращение Безумного Бога 2

Тесленок Кирилл Геннадьевич
2. Возвращение Безумного Бога
Фантастика:
попаданцы
рпг
аниме
5.00
рейтинг книги
Возвращение Безумного Бога 2

Я снова граф. Книга XI

Дрейк Сириус
11. Дорогой барон!
Фантастика:
боевая фантастика
попаданцы
аниме
5.00
рейтинг книги
Я снова граф. Книга XI

Энфис 6

Кронос Александр
6. Эрра
Фантастика:
героическая фантастика
рпг
аниме
5.00
рейтинг книги
Энфис 6

Отверженный VII: Долг

Опсокополос Алексис
7. Отверженный
Фантастика:
городское фэнтези
альтернативная история
аниме
5.00
рейтинг книги
Отверженный VII: Долг

Мастер 2

Чащин Валерий
2. Мастер
Фантастика:
фэнтези
городское фэнтези
попаданцы
технофэнтези
4.50
рейтинг книги
Мастер 2

Имя нам Легион. Том 2

Дорничев Дмитрий
2. Меж двух миров
Фантастика:
боевая фантастика
рпг
аниме
5.00
рейтинг книги
Имя нам Легион. Том 2

Адаптация

Уленгов Юрий
2. Гардемарин ее величества
Фантастика:
городское фэнтези
попаданцы
альтернативная история
аниме
5.00
рейтинг книги
Адаптация

Месть бывшему. Замуж за босса

Россиус Анна
3. Власть. Страсть. Любовь
Любовные романы:
современные любовные романы
5.00
рейтинг книги
Месть бывшему. Замуж за босса