Finitary relation

In mathematics, a finitary relation is a property that assigns truth values to finite tuples of elements. Typically, the property describes a possible connection between the components of a k-tuple. For a given set of k-tuples, a truth value is assigned to each k-tuple according to whether the property does or does not hold. When k = 2, one has the most common version, a binary relation.

Informal introduction

Relation is formally defined in the next section. In this section we introduce the concept of a relation with a familiar everyday example. Consider the relation involving three roles that people might play, expressed in a statement of the form "X thinks that Y likes Z ". The facts of a concrete situation could be organized in a table like the following:

Relation S : X thinks that Y likes Z

Person X	Person Y	Person Z
Alice	Bob	Denise
Charles	Alice	Bob
Charles	Charles	Alice
Denise	Denise	Denise

Each row of the table records a fact or makes an assertion of the form "X thinks that Y likes Z ". For instance, the first row says, in effect, "Alice thinks that Bob likes Denise". The table represents a relation S over the set P of people under discussion:

P = {Alice, Bob, Charles, Denise}.

The data of the table are equivalent to the following set of ordered triples:

S = {(Alice, Bob, Denise), (Charles, Alice, Bob), (Charles, Charles, Alice), (Denise, Denise, Denise)}.

It is usual to write S(Alice, Bob, Denise) to say the same thing as the first row of the table. The relation S is a ternary relation, since there are three items involved in each row. The relation itself is a mathematical object defined in terms of concepts from set theory (i.e., the relation is a subset of the Cartesian product on {Person X, Person Y, Person Z}), that carries all of the information from the table in one neat package. Mathematically, then, a relation is simply an "ordered set".

The table for relation S is an extremely simple example of a relational database. The theoretical aspects of databases are the specialty of one branch of computer science, while their practical impacts have become all too familiar in our everyday lives. Computer scientists, logicians, and mathematicians, however, tend to see different things when they look at these concrete examples and samples of the more general concept of a relation.

For one thing, databases are designed to deal with empirical data, and experience is always finite, whereas mathematics at the very least concerns itself with potential infinity. This difference in perspective brings up a number of ideas that may be usefully introduced at this point, if by no means covered in depth.

Relations with a small number of "places"

The variable $k$ giving the number of "places" in the relation, 3 for the above example, is a non-negative integer, called the relation's arity, adicity, or dimension. A relation with $k$ places is variously called a $k$-ary, a $k$-adic, or a $k$-dimensional relation. Relations with a finite number of places are called finite-place or finitary relations. It is possible to generalize the concept to include infinitary relations between infinitudes of individuals, for example infinite sequences; however, in this article only finitary relations are discussed, which will from now on simply be called relations.

Since there is only one 0-tuple, the so-called empty tuple ( ), there are only two zero-place relations: the one that always holds, and the one that never holds. They are sometimes useful for constructing the base case of an induction argument. One-place relations are called unary relations. For instance, any set (such as the collection of Nobel laureates) can be viewed as a collection of individuals having some property (such as that of having been awarded the Nobel prize). Two-place relations are called binary relations or, in the past, dyadic relations. Binary relations are very common, given the ubiquity of relations such as:

• Equality and inequality, denoted by signs such as '$=$' and '$<$' in statements like '$5<12$';
• Being a divisor of, denoted by the sign '$\mid$' in statements like '$13\mid 143$';
• Set membership, denoted by the sign '$\in$' in statements like '$1\in \mathbb {N}$'.

A $k$-ary relation is a straightforward generalization of a binary relation.

Formal definitions

When two objects, qualities, classes, or attributes, viewed together by the mind, are seen under some connexion, that connexion is called a relation.

— Augustus De Morgan

The simpler of the two definitions of k-place relations encountered in mathematics is:

Definition 1. A relation L over the sets X₁, …, X_k is a subset of their Cartesian product, written L ⊆ X₁ × … × X_k.

Relations are classified according to the number of sets in the defining Cartesian product, in other words, according to the number of terms following L. Hence:

• Lu denotes a unary relation or property;
• Luv or uLv denote a homogeneous relation when X₁ = X₂ and a heterogeneous relation when X₁ ≠ X₂.
• Luvw denotes a ternary relation;
• Luvwx denotes a quaternary relation.

Relations with more than four terms are usually referred to as k-ary or n-ary, for example, "a 5-ary relation". A k-ary relation is simply a set of k-tuples.

The second definition makes use of an idiom that is common in mathematics, stipulating that "such and such is an n-tuple" in order to ensure that such and such a mathematical object is determined by the specification of n component mathematical objects. In the case of a relation L over k sets, there are k + 1 things to specify, namely, the k sets plus a subset of their Cartesian product. In the idiom, this is expressed by saying that L is a (k + 1)-tuple.

Definition 2. A relation L over the sets X₁, …, X_k is a (k + 1)-tuple L = (X₁, …, X_k, G(L)), where G(L) is a subset of the Cartesian product X₁ × … × X_k. G(L) is called the graph of L.

Elements of a relation are more briefly denoted by using boldface characters, for example, the constant element a = (a₁, …, a_k) or the variable element x = (x₁, …, x_k).

A statement of the form "a is in the relation L " or "a satisfies L " is taken to mean that a is in L under the first definition and that a is in G(L) under the second definition.

The following considerations apply under either definition:

• The sets X_j for j = 1 to k are called the domains of the relation. Under the first definition, the relation does not uniquely determine a given sequence of domains.
• If all of the domains X_j are the same set X, then it is simpler to refer to L as a k-ary relation over X.
• If any of the domains X_j is empty, then the defining Cartesian product is empty, and the only relation over such a sequence of domains is the empty relation L = $\varnothing$. Hence it is commonly stipulated that all of the domains be nonempty.

As a rule, whatever definition best fits the application at hand will be chosen for that purpose, and anything that falls under it will be called a relation for the duration of that discussion. If it becomes necessary to distinguish the two definitions, an entity satisfying the second definition may be called an embedded or included relation.

If L is a relation over the domains X₁, …, X_k, it is conventional to consider a sequence of terms called variables, x₁, …, x_k, that are said to range over the respective domains.

Let a Boolean domain B be a two-element set, say, B = {0, 1}, whose elements can be interpreted as logical values, typically 0 = false and 1 = true. The characteristic function of the relation L, written ƒ_L or χ(L), is the Boolean-valued function ƒ_L : X₁ × … × X_k → B, defined in such a way that ƒ_L($\mathbf {x}$) = 1 just in case the k-tuple $\mathbf {x}$ is in the relation L. Such a function can also be called an indicator function, particularly in probability and statistics, to avoid confusion with the notion of a characteristic function in probability theory.

It is conventional in applied mathematics, computer science, and statistics to refer to a Boolean-valued function like ƒ_L as a k-place predicate. From the more abstract viewpoint of formal logic and model theory, the relation L constitutes a logical model or a relational structure that serves as one of many possible interpretations of some k-place predicate symbol.

Because relations arise in many scientific disciplines as well as in many branches of mathematics and logic, there is considerable variation in terminology. This article treats a relation as the set-theoretic extension of a relational concept or term. A variant usage reserves the term "relation" to the corresponding logical entity, either the logical comprehension, which is the totality of intensions or abstract properties that all of the elements of the relation in extension have in common, or else the symbols that are taken to denote these elements and intensions. Further, some writers of the latter persuasion introduce terms with more concrete connotations, like "relational structure", for the set-theoretic extension of a given relational concept.

History

The logician Augustus De Morgan, in work published around 1860, was the first to articulate the notion of relation in anything like its present sense. He also stated the first formal results in the theory of relations (on De Morgan and relations, see Merrill 1990). Charles Sanders Peirce restated and extended De Morgan's results.

In the 19th century Peirce, Gottlob Frege, Georg Cantor, Richard Dedekind, and others advanced the theory of relations. Many of their ideas, especially on relations called orders, were summarized in Principles of Mathematics (1903) by Bertrand Russell. Russell and A. N. Whitehead made free use of these results in their Principia Mathematica.

See also

• Correspondence (mathematics)
• Functional relation
• Incidence structure
• Hypergraph
• Logic of relatives
• Logical matrix
• Partial order
• Projection (set theory)
• Reflexive relation
• Relation algebra
• Sign relation
• Transitive relation
• Relational algebra
• Relational model
• Predicate (mathematical logic)

References

• Peirce, C.S. (1870), "Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic", Memoirs of the American Academy of Arts and Sciences 9, 317–78, 1870. Reprinted, Collected Papers CP 3.45–149, Chronological Edition CE 2, 359–429.
• Ulam, S.M. and Bednarek, A.R. (1990), "On the Theory of Relational Structures and Schemata for Parallel Computation", pp. 477–508 in A.R. Bednarek and Françoise Ulam (eds.), Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators, University of California Press, Berkeley, CA.

Bibliography

• Bourbaki, N. (1994) Elements of the History of Mathematics, John Meldrum, trans. Springer-Verlag.
• Carnap, Rudolf (1958) Introduction to Symbolic Logic with Applications. Dover Publications.
• Halmos, P.R. (1960) Naive Set Theory. Princeton NJ: D. Van Nostrand Company.
• Lawvere, F.W., and R. Rosebrugh (2003) Sets for Mathematics, Cambridge Univ. Press.
• Lewis, C.I. (1918) A Survey of Symbolic Logic, Chapter 3: Applications of the Boole—Schröder Algebra, via Internet Archive
• Lucas, J. R. (1999) Conceptual Roots of Mathematics. Routledge.
• Maddux, R.D. (2006) Relation Algebras, vol. 150 in 'Studies in Logic and the Foundations of Mathematics'. Elsevier Science.
• Merrill, Dan D. (1990) Augustus De Morgan and the logic of relations. Kluwer.
• Peirce, C.S. (1984) Writings of Charles S. Peirce: A Chronological Edition, Volume 2, 1867-1871. Peirce Edition Project, eds. Indiana University Press.
• Russell, Bertrand (1903/1938) The Principles of Mathematics, 2nd ed. Cambridge Univ. Press.
• Suppes, Patrick (1960/1972) Axiomatic Set Theory. Dover Publications.
• Tarski, A. (1956/1983) Logic, Semantics, Metamathematics, Papers from 1923 to 1938, J.H. Woodger, trans. 1st edition, Oxford University Press. 2nd edition, J. Corcoran, ed. Indianapolis IN: Hackett Publishing.
• Ulam, S.M. (1990) Analogies Between Analogies: The Mathematical Reports of S.M. Ulam and His Los Alamos Collaborators in A.R. Bednarek and Françoise Ulam, eds., University of California Press.
• Roland Fraïssé (2000) [1986] Theory of Relations, North Holland