You are here
Homeapartness relation
Primary tabs
apartness relation
Given two arbitrary real numbers $r,s$, how does one (better yet, a computer) prove $r=s$? Given decimal representations of $r$ and $s$:
$r=r_{0}.r_{1}r_{2}r_{3}\ldots\qquad s=s_{0}.s_{1}s_{2}s_{3}\ldots$ 
one needs to show that $r_{0}=s_{0}$, $r_{1}=s_{1}$, $r_{2}=s_{2}$, etc… which involves demonstrating an infinite number of equalities. On the other hand, showing that $r\neq s$ is a finitary process, in that one proceeds as above, and then stops when he/she finds a decimal place $n$ where the two corresponding digits differ: $r_{n}\neq s_{n}$. Therefore, in constructive mathematics, inequality is a more appropriate choice of study than equality. The formal notion of inequality in constructive mathematics is that of an apartness relation.
An apartness relation on a set $X$ is a binary relation $\#$ on $X$ satisfying the following conditions:
1. $\forall x(\neg x\#x)$,
2. $\forall x\forall y(x\#y\to y\#x)$, and
3. $\forall x\forall y\forall z(x\#y\to(x\#z\lor y\#z))$.
And if in addition, we have the following
4. $\forall x\forall y(\neg x\#y\leftrightarrow x=y)$
Then $\#$ is said to be tight.
In classical mathematics where the law of the excluded middle is accepted, the following are true:
1. the first condition is redundant if $\#$ is assumed to be tight.
2. the second condition above is redundant, for if $x\#y$, then $x\#x$ or $y\#x$ by condition 3, but then by condition 1, $x\#x$ is false, therefore $y\#x$.
3. the converse of an apartness relation is an equivalence relation: define $xRy$ iff not $x\#y$. Since $x\#x$ is false for all $x\in X$, $xRx$ for all $x\in X$. Also, the contrapositive of the second condition above shows that $R$ is symmetric. Now, suppose $xRy$ and $yRz$. Then not $x\#y$ and not $y\#z$, or not $(x\#y\lor z\#y)$. Applying the contrapositive of the third condition, we have not $x\#z$, or $xRz$. So $R$ is transitive.
4. Conversely, the converse of an equivalence relation is an apartness relation: suppose $R$ is an equivalence relation, and define $x\#y$ iff not $xRy$. Then irreflexivity and symmetry of $\#$ are clear from the reflexivity and symmetry of $R$. Now, suppose $x\#y$. Pick any $z\in X$. If not $x\#z$ and not $y\#z$, then $xRz$ and $yRz$, or $zRy$, which means $xRy$ since $R$ is transitive. But this contradicts the assumption $x\#y$, or not $xRy$.
Based on the last two observations, we see that the notion of apartness is not a very useful in mathematics based on classical logic, as the study of equivalence relation suffices.
On the other hand, arguing constructively, the second and the last statements above no longer hold, because the law of the excluded middle (and proof by contradiction) is used to derive both results. In other words, the apartness relation is a distinct concept in constructive mathematics. Below are some examples (and nonexamples) of tight apartness relations:

$\neq$ is a tight apartness relation on the set of rationals $\mathbb{Q}$.

more generally, $\neq$ is a tight apartness relation on a set $X$ if “$=$” on $X$ is a deciable predicate, that is, for any pair $x,y\in X$, either $x=y$ or $x\neq y$.

However, if we define $x\#y$ iff there is a rational number $r$ such that
$(x<r<y)\lor(y<r<x),$ then $\#$ is a tight apartness relation. To see this, first note that $\#$ is irreflexive and symmetric. Also, it is not hard to see that the converse of $\#$ is $=$. Now, suppose $x\#y$. Pick any real number $z$. If not $x\#z$, then $x=z$, which means $y\#z$. Similarly, if not $y\#z$, then $x\#z$.
Mathematics Subject Classification
03F99 no label found03F65 no label found03F60 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
 Corrections