“inverse”的概念、定义、翻译、参考文献-科学参考

inverse

Computer

1. (converse) (of a binary relation R) A derived relation R⁻¹ such that
$\begin{array}{l} whenever x R y \\ then y R^{- 1} x \end{array}$
where x and y are arbitrary elements of the set to which R applies. The inverse of ‘greater than’ defined on integers is ‘less than’.
The inverse of a function
$f : X \to Y$
(if it exists) is another function, f⁻¹, such that
$f^{- 1} : Y \to X$
and
$f (x) = y implies f^{- 1} (y) = x$
It is not necessary that a function has an inverse function.
Since for each monadic function f a relation R can be introduced such that
$R = {(x, y) | f (x) = y}$
then the inverse relation can be defined as
$R^{- 1} = {(y, x) | f (x) = y}$
and this always exists. When f⁻¹ exists (i.e. R⁻¹ is itself a function) f is said to be invertible and f⁻¹ is the inverse (or converse) function. Then, for all x,
$f^{- 1} (f (x)) = x$
To illustrate, if f is a function that maps each wife to her husband and g maps each husband to his wife, then f and g are inverses of one another.
2. See group.
3. (of a conditional P→Q). The statement Q→P.

单词	inverse
释义	inverse Computer 1. (converse) (of a binary relation R) A derived relation R⁻¹ such that $\begin{array}{l} whenever x R y \\ then y R^{- 1} x \end{array}$ where x and y are arbitrary elements of the set to which R applies. The inverse of ‘greater than’ defined on integers is ‘less than’. The inverse of a function $f : X \to Y$ (if it exists) is another function, f⁻¹, such that $f^{- 1} : Y \to X$ and $f (x) = y implies f^{- 1} (y) = x$ It is not necessary that a function has an inverse function. Since for each monadic function f a relation R can be introduced such that $R = {(x, y) \| f (x) = y}$ then the inverse relation can be defined as $R^{- 1} = {(y, x) \| f (x) = y}$ and this always exists. When f⁻¹ exists (i.e. R⁻¹ is itself a function) f is said to be invertible and f⁻¹ is the inverse (or converse) function. Then, for all x, $f^{- 1} (f (x)) = x$ To illustrate, if f is a function that maps each wife to her husband and g maps each husband to his wife, then f and g are inverses of one another. 2. See group. 3. (of a conditional P→Q). The statement Q→P.
随便看	phase deviation phase diagram phase difference phase discriminator phase distortion phased linear array phased retirement phase-encoded phase II metabolism phase I metabolism phase inverter phase lag phase layering phase-locked loop phase-lock loop phase modulation phase of a complex number phase plane phase problem phase response phase rotator phase rule phase separation phase sequence phase shift