Ax:: closedUnitNormals

Аксиома закрытых модульных нормалей

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.

Описание

Ax::closedUnitNormals утверждает, что модульные нормали интегральной области закрываются при умножении, т.е. что dom::equal(x, dom::unitNormal(a) * dom::unitNormal(b)) = TRUE подразумевает dom::equal(x, dom::unitNormal(x)) = TRUE для всех элементов x, a и b доменного dom.

Эта аксиома может использоваться только в сочетании с аксиомой Ax::canonicalUnitNormal. Если интегральная область не имеет никаких уникальных модульных нормалей, эта аксиома не может быть утверждена.

Для просмотра документации необходимо авторизоваться на сайте