f является изоморфизмом, то его

Конечно, если биективное отображение f является изоморфизмом, то его инверсия также является изоморфизмом.

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

Я не думаю, что нам следует различать разные случаи по их идентификационным номерам («случай 3.2» и тому подобное), поскольку для таких идентификационных номеров всегда требуется какое-либо руководство, или ключ, с помощью которого их можно было бы интерпретировать. Конечно, я использовал такие идентификационные номера внутри этой статьи, но это было сделано потому, что я старался в целях анализа наложить на предмет изучения систематическую структуру. Я бы очень удивился, если вы не испытали трудности при запоминании смысла каждого из случаев, особенно, если вы не использовали в качестве ключа копии рис. 1 и 2.
Я не думаю, что нам следует использовать ярлыки типа необязательный и обязательный, поскольку их смысл является, по существу, произвольным (их не стоит использовать, даже если мы сможем придти к согласию относительно их смысла, насчет чего я не питаю особого оптимизма). Замечание: Следует отметить, что в литературе можно обнаружить несколько других подобных терминов: условные (conditional) связи, возможные (contingent) связи, сложные (complex) связи, единичные (singular) связи, исключительные (exclusive) связи и т.д. (приведенный список не является полным). Считаете ли вы, что точный смысл этих терминов очевиден? Или же их смысл является общепризнанным?
Я не думаю, что нам следует использовать математические термины, такие как функция, инжекция, сюръекция или биекция, хотя для этих терминов, по крайней мере, имеются точные определения.

Содержание Назад Вперед