Summary
In mathematics, a homogeneous relation (also called endorelation) on a set X is a binary relation between X and itself, i.e. it is a subset of the Cartesian product X × X. This is commonly phrased as "a relation on X" or "a (binary) relation over X". An example of a homogeneous relation is the relation of kinship, where the relation is between people. Common types of endorelations include orders, graphs, and equivalences. Specialized studies of order theory and graph theory have developed understanding of endorelations. Terminology particular for graph theory is used for description, with an ordinary (undirected) graph presumed to correspond to a symmetric relation, and a general endorelation corresponding to a directed graph. An endorelation R corresponds to a logical matrix of 0s and 1s, where the expression xRy corresponds to an edge between x and y in the graph, and to a 1 in the square matrix of R. It is called an adjacency matrix in graph terminology. Some particular homogeneous relations over a set X (with arbitrary elements x_1, x_2) are: Empty relation E = ∅; that is, x_1Ex_2 holds never; Universal relation U = X × X; that is, x_1Ux_2 holds always; Identity relation (see also identity function) I = {(x, x) x ∈ X}; that is, x_1Ix_2 holds if and only if x_1 = x_2. Fifteen large tectonic plates of the Earth's crust contact each other in a homogeneous relation. The relation can be expressed as a logical matrix with 1 indicating contact and 0 no contact. This example expresses a symmetric relation. Category:Binary relations Some important properties that a homogeneous relation R over a set X may have are: for all x ∈ X, xRx. For example, ≥ is a reflexive relation but > is not. (or ) for all x ∈ X, not xRx. For example, > is an irreflexive relation, but ≥ is not. for all x, y ∈ X, if xRy then x = y. For example, the relation over the integers in which each odd number is related to itself is a coreflexive relation. The equality relation is the only example of a both reflexive and coreflexive relation, and any coreflexive relation is a subset of the identity relation.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Related courses (36)
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
PHYS-100: Advanced physics I (mechanics)
La Physique Générale I (avancée) couvre la mécanique du point et du solide indéformable. Apprendre la mécanique, c'est apprendre à mettre sous forme mathématique un phénomène physique, en modélisant l
MATH-681: Reading group in applied topology II
In this reading group, we will work together through recent important papers in applied topology. Participants will take turns presenting articles, then leading a discussion of the contents.
Show more
Related publications (104)