Cтраница 1
Тождественная функция является изоморфизмом из I в I. Пусть ( р2 - изоморфизм из / 2 в / з - Тогда ( р о у2 - изоморфизм из / i в / з - Теорема 10 доказана. [1]
Тождественная функция, очевидно, га-сводит А к А. [2]
Для тождественных функций ни п, ни i не может быть равно нулю. [3]
Пример: тождественная функция 1сЦ: А - А переводит множество А в себя, причем id ( a) а для любого а 6 А. Индекс А в id иногда опускают, если ясно, о каком множестве идет речь. [4]
Если содержит тождественную функцию, то формулировка пункта б) в определении формул и функций, реализуемых формулами, упрощается: нужно предполагать, что все А. [5]
Более того, тождественная функция является единственным изоморфизмом цепи а на себя. [6]
Ясно, что тождественная функция на любом частично упорядоченном множестве есть собственное отображение, и нетрудно проверить, что композиция собственных отображений является собственным отображением. Таким образом, упорядоченные множества вместе с собственными отображениями образуют категорию. Пусть si - подкатегория локально конечных упорядоченных множеств вместе с собственными отображениями. [7]
В силу сказанного выше тождественные функции разных множеств различны. [8]
Очевидно, что класс SR содержит тождественную функцию. [9]
Собранием, на которые возлагались во многом тождественные функции и при которых был образован постоянный секретариат. СССР был членом Л.н. в 1934 - 1939 гг. Распущена в связи с учреждением ООН. [10]
Итак, относительная скорость и относительная температура определены как тождественные функции координат. [11]
Доказать, что каждый предполный в Р2 класс содержит тождественную функцию. [12]
Модель ЭД называется жесткой, если единственный ее автоморфизм есть тождественная функция. Для данной теории Т в языке X определим R ( Т) как класс всех бесконечных кардиналов а, таких, что Т имеет жесткую модель мощности ос. [13]
Он, очевидно, содержит константы О, 1, тождественную функцию х, функции s, xi z2 и не содержит функции xt & xz и xi V xz - Выше было показано, что этот класс также замкнут. [14]
Рефлексивность, и А т / 4, где i есть тождественная функция. [15]