ДИСКРЕТНАЯ МАТЕМАТИКА БЕЗ ФОРМУЛ   ::   Соловьев Александр

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

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

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



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

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

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

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

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

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