Question

Find$\overline{\mathbf{R}}$for the given $\mathit{R}$.

Short answer

$R=\left\{\right(a,b)$ /state $a$ not borders state $b\}$.

Step-by-step solution

Given data

The relation $R$is $R=\left\{\right(a,b)/$state $a$ borders state $b\}$.

Concept used of relation

A relation $\mathbf{\text{R}}$on a set $\mathbf{\text{A}}$is called reflexive if $\mathbf{(}\mathit{a}\mathbf{,}\mathit{a}\mathbf{)}\mathbf{\in }\mathit{R}$for every element $\mathit{a}\mathbf{\in }\mathit{A}$.

A relation $\mathbf{\text{R}}$on a set $\mathbf{\text{A}}$is called symmetric if $\mathbf{(}\mathit{b}\mathbf{,}\mathit{a}\mathbf{)}\mathbf{\in }\mathit{R}$whenever $\mathbf{(}\mathit{a}\mathbf{,}\mathit{b}\mathbf{)}\mathbf{\in }\mathit{R}$, for all $\mathit{a}\mathbf{,}\mathit{b}\mathbf{\in }\mathit{A}$

A relation $\mathbf{\text{R}}$on a set $\mathbf{\text{A}}$such that for all $\mathit{a}\mathbf{,}\mathit{b}\mathbf{\in }\mathit{A}$, if $\mathbf{(}\mathit{a}\mathbf{,}\mathit{b}\mathbf{)}\mathbf{\in }\mathit{R}$and $\mathbf{(}\mathit{b}\mathbf{,}\mathit{a}\mathbf{)}\mathbf{\in }\mathit{R}$then $\mathit{a}\mathbf{=}\mathit{b}$is called anti symmetric.

A relation $\mathbf{\text{R}}$ on a set $\mathbf{\text{A}}$ is called transitive if whenever $\mathbf{(}\mathit{a}\mathbf{,}\mathit{b}\mathbf{)}\mathbf{\in }\mathit{R}$ and $\mathbf{(}\mathit{b}\mathbf{,}\mathit{c}\mathbf{)}\mathbf{\in }\mathit{R}$ then $\mathbf{(}\mathit{a}\mathbf{,}\mathit{c}\mathbf{)}\mathbf{\in }\mathit{R}$ for all $\mathit{a}\mathbf{,}\mathit{b}\mathbf{,}\mathit{c}\mathbf{\in }\mathit{A}$

Solve for relation

The complementary relation of $R$is

$R=\left\{\right(a,b)$/state $a$borders state $b\}$

$R=\left\{\right(a,b)/$state $a$not borders state $b\}$

Hence, the required complementary relation is $R=\left\{\right(a,b)/$state $a$not borders state $b\}$.