Inverse relation: Definition from Answers.com

In mathematics, the inverse relation of a binary relation is the relation that occurs when you switch the order of the elements in the relation. For example, the inverse of the relation 'child of' is the relation 'parent of'. In formal terms, if

$L : X \to Y$ is a binary relation with $\operatorname{graph}\,L\subset X\times Y$

then the inverse relation is

$L^{-1} : Y \to X$ defined by $y\,L^{-1}\,x\iff x\,L\,y$ ,

i.e. with $\operatorname{graph}\,L^{-1} = \{(y, x)\in Y\times X\mid (x, y) \in \operatorname{graph}\, L\}$ .

The notation comes by analogy with that for an inverse function.

The inverse relation is also called the converse relation or transpose relation (in view of its similarity with the transpose of a matrix: these are the most familiar examples of dagger categories), and may be written as $L C$ , $L T$ , or $\breve{L}$ .

Note that, despite the notation, the converse relation is not an inverse in the sense of composition of relations: $L \circ L^{-1} \neq \mathrm{id}$ in general.

1 Properties
2 Examples
3 Inverse relation of a function
4 See also

Properties

A relation equal to its inverse is a symmetric relation (in the language of dagger categories, it is self-adjoint).

If a relation is reflexive, irreflexive, symmetric, antisymmetric, asymmetric, transitive, total, trichotomous, a partial order, total order, strict weak order, total preorder (weak order), or an equivalence relation, its inverse is too.

However, if a relation is extendable, this need not be the case for the inverse.

The operation of taking a relation to its inverse gives the category of relations Rel the structure of a dagger category.

The the set of all binary relations B(X) on a set X is a semigroup with involution with the involution being the mapping of a relation to its inverse relation.

Examples

For usual (maybe strict or partial) order relations, the converse is the naively expected "opposite" order, e.g. $(\le)^{-1}=\ \ge ,~ (<)^{-1}=\ >$ , etc. (Parentheses would not be needed here but have been added for clarity.)

Inverse relation of a function

A function is invertible if and only if its inverse relation is a function, in which case the inverse relation is the inverse function.

The inverse relation of a function $f : X \to Y$ is the relation $f^{-1} : Y \to X$ defined by $\operatorname{graph}\, f^{-1} = \{(y, x) \mid y = f(x) \}$ .

This is not necessarily a function: One necessary condition is that f be injective, since else $f - 1$ is multi-valued. This condition is sufficient for $f - 1$ being a partial function, and it is clear that $f - 1$ then is a (total) function if and only if f is surjective. In that case, i.e. if f is bijective, $f - 1$ may be called the inverse function of f.

	Is it always true for an inverse relation that the product of the two inversely related variables is constant? Read answer...
	Is it the case that inflation and unemployment are inversely related? Read answer...
	Why real GDP is inversely related to interest rates in the short run? Read answer...

	Why is pressure and volume are inversely related?
	What mineral is inversely related to calcium?
	Why entropy is inversely related to temprature?

		Sci-Tech Dictionary. McGraw-Hill Dictionary of Scientific and Technical Terms. Copyright © 2003, 1994, 1989, 1984, 1978, 1976, 1974 by McGraw-Hill Companies, Inc. All rights reserved. Read more
		Wikipedia. This article is licensed under the Creative Commons Attribution/Share-Alike License. It uses material from the Wikipedia article "Inverse relation". Read more

	natural splitting (mining engineering)
	resistance
	cross

Inverse relation

Contents

Properties

Examples

Inverse relation of a function

See also