Binary Relation - Wikipedia
Binary Relation - Wikipedia
Definition
Given a pair of sets X, Y, there is the set
called the Cartesian product
,
whose elements are called ordered pairs.
Example
2nd example relation
ball car doll cup
John + − − −
Mary − − + −
Venus − + − −
John + − − −
Mary − − + −
Ian − − − −
Venus − + − −
Uniqueness properties:
Operations on binary
relations
If R, S are binary relations over X and Y,
then each of the following is a binary
relation over X and Y:
Union: R ∪ S ⊆ X × Y, defined as R ∪ S
= { (x, y) | (x, y) ∈ R or (x, y) ∈ S }. The
identity element is the empty relation.
For example, ≥ is the union of > and =.
Intersection: R ∩ S ⊆ X × Y, defined as
R ∩ S = { (x, y) | (x, y) ∈ R and (x, y) ∈
S }. The identity element is the
universal relation.
Complement
Restriction
The restriction of a binary relation on a
set X to a subset S is the set of all pairs
(x, y) in the relation for which x and y are
in S.
Matrix representation
Homogeneous relation
A homogeneous relation on a set X is a
binary relation between a set and itself;
i.e. it is a subset of a Cartesian product
.[5][16][17] It is also called a binary
relation over X or an endorelation over
X.[16] Some types of endorelations are
widely studied in graph theory, where
they are known as simple directed
graphs permitting loops.
Particular homogeneous
relations
Properties
Directed graph →
Undirected graph Irreflexive Symmetric
Equivalence ∼, ≅, ≈,
relation
Reflexive Symmetric Yes
≡ Equality
Proper
Strict partial order Irreflexive Antisymmetric Yes <
subset
0 1 1 1 1 1 1 1
1 2 2 1 1 1 1 1
2 16 13 4 4 3 3 2
3 512 171 64 29 19 13 6
Notes:
Examples of common
homogeneous relations
Other uses of
correspondence
In algebraic geometry, a
correspondence is a binary relation or
correspondence that is defined by a
system of algebraic equations.
In category theory, a correspondence
from to is a functor
. It is the "opposite"
of a profunctor.
In von Neumann algebra theory, a
correspondence is a synonym for a
von Neumann algebra bimodule.
In economics, a correspondence
between two sets and is a map
from the elements of
the set to the power set of .[27]
This is a binary relation relating
with every element of f(x). Usually,
there is the additional property that for
all a in A, f(a) is not empty. In other
words, each element in A maps to a
non-empty subset of B; or in terms of a
relation R as subset of A×B, R projects
to A surjectively. A correspondence
with this additional property is
generally thought of as the
generalization of a function, rather
than as a special case of a relation,
which is referred to in other contexts
as a multivalued function.
An example of a correspondence in
this sense is the best response
correspondence in game theory, which
gives the optimal action for a player as
a function of the strategies of all other
players. If there is always a unique
best action given what the other
players are doing, then this is a
function. If for some opponent's
strategy, there is a set of best
responses that are equally good, then
this is a correspondence.
See also
Abstract rewriting system
Additive relation
Confluence (term rewriting)
Correspondence (algebraic geometry)
Hasse diagram
Incidence structure
Logic of relatives
Order theory
Triadic relation
Notes
1. the set R is also sometimes called
the graph of the relation R.
1. Enderton 1977, Ch 3. pg. 40
2. Jacobson, Nathan (2009), Basic
Algebra II (2nd ed.) § 2.1.
3. Schmidt, Gunther; Ströhlein, Thomas
(2012). Relations and Graphs:
Discrete Mathematics for Computer
Scientists . Definition 4.1.1.: Springer
Science & Business Media.
ISBN 978-3-642-77968-8.
4. Christodoulos A. Floudas; Panos M.
Pardalos (2008). Encyclopedia of
Optimization (2nd ed.). Springer
Science & Business Media. pp. 299–
300. ISBN 978-0-387-74758-3.
5. Michael Winter (2007). Goguen
Categories: A Categorical Approach
to L-fuzzy Relations. Springer. pp. x–
xi. ISBN 978-1-4020-6164-6.
6. Suppes, Patrick (1972) [originally
published by D. van Nostrand
Company in 1960]. Axiomatic Set
Theory. Dover. ISBN 0-486-61630-4.
7. Smullyan, Raymond M.; Fitting,
Melvin (2010) [revised and corrected
republication of the work originally
published in 1996 by Oxford
University Press, New York]. Set
Theory and the Continuum Problem.
Dover. ISBN 978-0-486-47484-7.
8. Levy, Azriel (2002) [republication of
the work published by Springer-
Verlag, Berlin, Heidelberg and New
York in 1979]. Basic Set Theory.
Dover. ISBN 0-486-42079-5.
9. Kilp, Knauer and Mikhalev: p. 3. The
same four definitions appear in the
following:
Peter J. Pahl; Rudolf Damrath
(2001). Mathematical
Foundations of Computational
Engineering: A Handbook.
Springer Science & Business
Media. p. 506. ISBN 978-3-540-
67995-0.
Eike Best (1996). Semantics of
Sequential and Parallel
Programs. Prentice Hall.
pp. 19–21. ISBN 978-0-13-
460643-9.
Robert-Christoph Riemann
(1999). Modelling of Concurrent
Systems: Structural and
Semantical Methods in the High
Level Petri Net Calculus. Herbert
Utz Verlag. pp. 21–22.
ISBN 978-3-89675-629-9.
10. Mäs, Stephan (2007), "Reasoning on
Spatial Semantic Integrity
Constraints", Spatial Information
Theory: 8th International Conference,
COSIT 2007, Melbourne, Australia,
September 19–23, 2007,
Proceedings, Lecture Notes in
Computer Science, 4736, Springer,
pp. 285–302, doi:10.1007/978-3-
540-74788-8_18
11. Gunther Schmidt, 2010. Relational
Mathematics. Cambridge University
Press, ISBN 978-0-521-76268-7,
Chapt. 5
12. Note that the use of
"correspondence" here is narrower
than as general synonym for binary
relation.
13. John C. Baez (6 Nov 2001).
"quantum mechanics over a
commutative rig" .
Newsgroup: sci.physics.research .
Usenet: [email protected]
h.edu . Retrieved November 25,
2018.
14. Droste, M., & Kuich, W. (2009).
Semirings and Formal Power Series.
Handbook of Weighted Automata,
3–28. doi:10.1007/978-3-642-01492-
5_1 , pp. 7-10
15. Tarski, Alfred; Givant, Steven (1987).
A formalization of set theory without
variables. American Mathematical
Society. p. 3. ISBN 0-8218-1041-3.
16. M. E. Müller (2012). Relational
Knowledge Discovery. Cambridge
University Press. p. 22. ISBN 978-0-
521-19021-3.
17. Peter J. Pahl; Rudolf Damrath
(2001). Mathematical Foundations
of Computational Engineering: A
Handbook. Springer Science &
Business Media. p. 496. ISBN 978-3-
540-67995-0.
18. Fonseca de Oliveira, J. N., & Pereira
Cunha Rodrigues, C. D. J. (2004).
Transposing Relations: From Maybe
Functions to Hash Tables . In
Mathematics of Program
Construction (p. 337).
19. Smith, Douglas; Eggen, Maurice; St.
Andre, Richard (2006), A Transition
to Advanced Mathematics (6th ed.),
Brooks/Cole, p. 160, ISBN 0-534-
39900-2
20. Nievergelt, Yves (2002), Foundations
of Logic and Mathematics:
Applications to Computer Science
and Cryptography, Springer-Verlag,
p. 158 .
21. Flaška, V.; Ježek, J.; Kepka, T.;
Kortelainen, J. (2007). Transitive
Closures of Binary Relations I (PDF).
Prague: School of Mathematics –
Physics Charles University. p. 1.
Archived from the original (PDF) on
2013-11-02. Lemma 1.1 (iv). This
source refers to asymmetric
relations as "strictly antisymmetric".
22. Since neither 5 divides 3, nor 3
divides 5, nor 3=5.
23. Yao, Y.Y.; Wong, S.K.M. (1995).
"Generalization of rough sets using
relationships between attribute
values" (PDF). Proceedings of the
2nd Annual Joint Conference on
Information Sciences: 30–33..
24. "Condition for Well-Foundedness" .
ProofWiki. Retrieved 20 February
2019.
25. Fraisse, R. (15 December 2000).
Theory of Relations, Volume 145 -
1st Edition (1st ed.). Elsevier. p. 46.
ISBN 9780444505422. Retrieved
20 February 2019.
26. Joseph G. Rosenstein, Linear
orderings, Academic Press, 1982,
ISBN 0-12-597680-1, p. 4
27. Mas-Colell, Andreu; Whinston,
Michael D.; Green, Jerry R. (1995).
Microeconomic Analysis . New York:
Oxford University Press. pp. 949–
951. ISBN 0-19-507340-1.
References
Enderton, Herbert (1977), Elements of
set theory, Boston, MA: Academic
Press, ISBN 978-0-12-238440-0.
M. Kilp, U. Knauer, A.V. Mikhalev (2000)
Monoids, Acts and Categories: with
Applications to Wreath Products and
Graphs, De Gruyter Expositions in
Mathematics vol. 29, Walter de Gruyter,
ISBN 3-11-015248-7.
Charles Saunders Pierce (1870)
Description of a Notation for the Logic
of Relatives from Google Books
Gunther Schmidt (2010) Relational
Mathematics Cambridge University
Press ISBN 978-0-521-76268-7.
External links
Media related to Binary relations at
Wikimedia Commons
Hazewinkel, Michiel, ed. (2001) [1994],
"Binary relation" , Encyclopedia of
Mathematics, Springer
Science+Business Media B.V. / Kluwer
Academic Publishers, ISBN 978-1-
55608-010-4
Retrieved from
"https://en.wikipedia.org/w/index.php?
title=Binary_relation&oldid=892302657"