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
. Если интегральная область не имеет никаких уникальных модульных нормалей, эта аксиома не может быть утверждена.