It’s a mathematical symbol you can place between two numbers/variables to create a logical statement (or an open sentence). The importance of "relation" is its capability to turn a statement to be either true or false.
Symbols we’ve seen so far: /, =,
In most of our elementary mathematical experiences, we've been accustomed to relation where either side is of the same type. This is not always the case.
Think about the symbol
The “element of” relation is a relation from one set (e.g. A) to another set (e.g. B).
The diagram for the divisibility relation on the set of all divisors of 6 is given below,
For some mathematicians, it is inappropriate to represent the same set in two different places in a Venn diagram. The diagram should like this, (where self-reference is possible):
This is known as a directed graph (a.k.a. digraph) of the relation. (The important property of sets depicted in this diagram is the idea of closure.)
When we discuss sets, we describe it best by listing all the elements. Now, our main goal is how to best describe relation.
For relations, what we know is that it takes a pair, one on the left and one on the right and in the middle is the relational symbol. It should also be evident that order is important, for example, 2 < 3 is true while 3 < 2 is false.
The relation is intimately tied up to a set of ordered pairs that make it true, and to proceed to abstract relations it is necessary to define sets of ordered pairs.
Cartesian product is defined to be the set of all ordered pairs (a,b) where a is an element of set A and b is an element of set B. We denote a Cartesian product with the symbol
Something to note: if x appears between numbers that operation is a multiplication, but if it is between sets you’re doing something different – forming the Cartesian product.
The familiar x-y plane is called the Cartesian plane, after its first creator, Rene Descartes coordinatizing the plane. The Cartesian plane was responsible for bridging a relationship between geometry and algebra. Rene Descartes’ name is also immortalized in the definition of the Cartesian product of sets where the plane is nothing more than the product,
In the abstract, we can define a relation as any subset of an appropriate Cartesian product. (Abstract relation will be denoted by ‘R’) The abstract relation from set A to a set B is just some subset
On the other hand, a relation on a set S is defined by a subset of
In symbols, our abstract relation is defined as:
In order to say that particular pair (a,b) of things make the relation true we have to write:
Suppose A is the set
For the element,
We then denote a negation by a slash on the symbol. For instance, for the pair
We will get around to defining functions as relations that have a certain nice property. The operations you are used to in functions also apply to relations. When one function “undoes” what another function “does” we say that it is its inverses.
Example:
The inverse of relation is written as
In other form, we have:
Suppose R is a relation from A to B and S is a relation from B to C then the composite
The value “b” is said to be the intermediate result, which serves to connect “a” to “c”. Note the arrangement, this is the composition of R first, then S, but it is written as
Composition of relations must be read from right to left.
Given A as set of
The diagram is given as follows:
Disclaimer: this is a summary of section 6.1 from the book A Gentle Introduction to the Art of Mathematics: by Joe Fields, the content apart from rephrasing is identical, most of the equations are screenshots of the book and the same examples are treated.
