Partial equivalence relation
A partial equivalence relation (often with PER abbreviated from English partial equivalence relation , in older literature also restricted equivalence relation ) or simplified partial equivalence is a symmetrical and transitive binary relation . In contrast to an equivalence relation , reflexivity is not necessary.
definition
If there is a set, then a two-digit relation to a partial equivalence relation, if for all applies:
(Symmetry) (Transitivity)
Elements with are called reflexive elements . If all elements are reflexive, and thus the relation, then it is a (total) equivalence relation .
Properties and uses
Reflexive elements don't have to exist. In a set- theoretical context, a relation on is a partial equivalence relation on if and only if it is an equivalence relation on the reflexive elements . Therefore, in classical mathematics one rarely deals with partial equivalence relations and instead studies the equivalence relation on the reflexive elements where they occur.
In type theory , the constructive mathematics and its applications in computer science subsets are often problematic. In such contexts, partial equivalence relations are more common and are specifically used to indicate partial extensional sets. A partial extensional set results from a data type and a partial equivalence relation, such as subsets and quotients in classical set-theoretical mathematics.
The algebraic concept of congruence can also be generalized to partial equivalence relations, which leads to the concept of partial congruence, i.e. a homomorphic relation that is symmetric and transitive, but not necessarily reflexive.
Examples
Empty relation
For a non-empty carrier set , the empty relation is a pathological example of a partial equivalence relation that is not an equivalence relation.
Image equality of partial functions
Consider a partial function that is not defined on all elements of . Then the relation is with
- if and only if on and is defined and applies,
a partial equivalence relation, but not reflexive. It is symmetrical and transitive, but not reflexive, because if it is not defined, it must be. For such a thing there is no with at all . The equality can be replaced by any partial equivalence relation on .
Compatible functions
Let be and sets with partial equivalence relations . For functions define as:
- for everyone with .
Then means that is compatible with the partial equivalence relations, i.e. the induced function is well-defined on the equivalence classes.
Equality on floating point numbers
The IEEE 754 standard defines a partial equivalence relation, which is also expressed in most programming languages ==
. It is symmetric and transitive, but not reflexive for undefined values (NaN values).
literature
- John C. Mitchell : Foundations of programming languages . MIT Press, 1996.
- Dana Scott : Data types as lattices . tape 3 . SIAM Journ. Comput., 1976, pp. 523-587 (English).
Individual evidence
- ↑ http://ieeexplore.ieee.org/document/5135/
- ^ Joachim Lambek : The Butterfly and the Serpent . In: Logic and Algebra . Taylor & Francis, 1996, ISBN 978-0-8247-9606-8 (English).