Euclidean relation

Euclidean relation

In mathematics, a binary relation "R" over a set "X" is euclidean if it holds for all "a", "b", and "c" in "X", that if "a" is related to "b" and "a" is related to "c", then "b" is related to "c". This is different from the transitive property. However, if a relation is reflexive and symmetric, then it is euclidean if and only if it is transitive.

To write this in predicate logic:

:forall a, b, c in X, a ,R, b and a ,R, c ; Rightarrow b ,R, c

If a relation is euclidean and reflexive, it is also symmetric and transitive, hence an equivalence relation.

"Sibling of" is a euclidean relation.

See also

* Equivalence relation
* Transitive relation


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Euclidean — List of topics named after Euclid (Euclidean or, less commonly, Euclidian) *Euclidean space *Euclidean geometry *Euclid s Elements *Euclidean domain *Euclidean distance *Euclidean ball *Euclidean algorithm *Euclidean distance map *Extended… …   Wikipedia

  • Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… …   Wikipedia

  • Binary relation — Relation (mathematics) redirects here. For a more general notion of relation, see Finitary relation. For a more combinatorial viewpoint, see Theory of relations. In mathematics, a binary relation on a set A is a collection of ordered pairs of… …   Wikipedia

  • Euclidean group — In mathematics, the Euclidean group E ( n ), sometimes called ISO( n ) or similar, is the symmetry group of n dimensional Euclidean space. Its elements, the isometries associated with the Euclidean metric, are called Euclidean moves.These groups… …   Wikipedia

  • Equivalence relation — In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being equivalent in some way. Let a , b , and c be arbitrary elements of some set X . Then a b or a ≡ b denotes that a is… …   Wikipedia

  • Accessibility relation — An accessibility relation is a binary relation R,! between possible worlds which has very powerful uses in both the formal/theoretical aspects of modal logic as well as in its applications to things like epistemology, metaphysics, and value… …   Wikipedia

  • Angular size redshift relation — The angular size redshift relation describes the relation between the angular size observed on the sky of an object of given physical size, and the objects redshift from Earth (which is related to its distance, d , from Earth). In a Euclidean… …   Wikipedia

  • Integer relation algorithm — An integer relation between a set of real numbers x 1, x 2, ..., x n is a set of integers a 1, a 2, ..., a n, not all 0, such that:a 1x 1 + a 2x 2 + cdots + a nx n = 0.,An integer relation algorithm is an algorithm for finding integer relations.… …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”