Изометрическое Отображение

- рекурсивной эквивалентности тип изолированного (т. Е. Конечного или иммунного) множества натуральных чисел. Множество всех И. Континуально и является полукольцом относительно операций сложения и умножения, определяемых для произвольных типов рекурсивной эквивалентности. Это полукольцо наз. Арифметикой И. Последняя обладает рядом свойств арифметики натуральных чисел, в частности в ней выполнены все универсальные хорновские формулы, элементарные подформулы к-рых представляют собой равенство так ..

- отображение Uметрич. Пространства (X,rX). В метрич. Пространство (Y, rY). Такое, что для любых Если Xи Y - действительные линейные нормированные пространства, U(X)=Y и U(0)=0, то U- линейный оператор. И. О. Uотображает Xна U(X)взаимно однозначно, так что существует обратный оператор U-1, также являющийся И. О. Оператор, сопряженный с линейным И. О., действующим из одного линейного нормированного пространства в другое, также будет изометрическим. Линейный И. О., отображающий Xна все У, наз...

..

- поверхности в евклидовом или римановом пространстве такие, что между ними можно установить взаимно однозначное точечное соответствие, при к-ром каждая спрямляемая кривая одной из поверхностей имеет своим образом тоже спрямляемую кривую и той же длины. Другими словами, И. П. Характеризуются (попарным) изометрич. Соответствием - изометрией (см. Изометрическое отображение )относительно внутренних метрик, индуцированных на них метрикой объемлющего пространства. Важнейший пример И. П.- совокупност..