continuous relation

The idea of a continuous relation is neither as old nor as well-established as the idea of a continuous function. Different authors use somewhat different definitions. The present article is based on the following definition:

Let $X$ and $Y$ be topological spaces and $R$ a relation between $X$ and $Y$ ($R$ is a subset of $X\times Y$). $R$ is said to be if

for any open subset $V$ of $Y$, $R^{-1}(V)$ is open in $X$.

Here $R^{-1}(V)$ is the inverse image of $V$ under $R$, and is defined as

$$R^{-1}(V):=\{x\in X\mid xRy\text{ for some }y\in V\}.$$

Equivalently, $R$ is a continuous relation if for any open set $V$ of $Y$, the set ${\pi }_X((X\times V)\cap R)$ is open in $X$, where ${\pi }_X$ is the projection map $X\times Y\to X$.

Remark. Continuous relations are generalization of continuous functions: if a continuous relation is also a function, then it is a continuous function.

Some examples.

• Let $X$ be an ordered space. Then the partial order $\le$ is continuous iff for every open subset $A$ of $X$, its lower set $\downarrow A$ is also open in $X$.

  In particular, in $ℝ$, the usual linear ordering $\le$ on $ℝ$ is continuous. To see this, let $A$ be an open subset of $ℝ$. If $A=\mathrm{\varnothing }$, then $\downarrow A=\mathrm{\varnothing }$ as well, and so is open. Suppose now that $A$ is non-empty and deal with the case when $A$ is not bounded from above. If $r\in ℝ$, then there is $a\in A$ such that $r\le a$, so that $r\in \downarrow A$, which implies $\downarrow A=ℝ$. Hence $\downarrow A$ is open. If $A$ is bounded from above, then $A$ has a supremum (since $ℝ$ is Dedekind complete), say $x$. Since $A$ is open, $x\notin A$ (or else $x\in (a,b)\subseteq A$, implying , contradicting the fact that $x$ is the least upper bound of $A$). So $\downarrow A=(-\mathrm{\infty },x)$, which is open also. Therefore, $\le$ is a continuous relation on $ℝ$.

• Again, we look at the space $ℝ$ with its usual interval topology. The relation this time is $R=\{(x,y)\in {ℝ}^2\mid x^2+y^2=1\}$. This is not a continuous relation. Take $A=(-2,2)$, which is open. But then $R^{-1}(A)=[-1,1]$, which is closed.

• Now, let $X$ be a locally connected topological space. For any $x,y\in X$, define $x\sim y$ iff $x$ and $y$ belong to the same connected component of $X$. Let $A$ be an open subset of $X$. Then $B={\sim }^{-1}(A)$ is the union of all connected components containing points of $A$. Since (it can be shown) each connected component is open, so is their union, and hence $B$ is open. Thus $\sim$ is a continuous relation.

• If $R$ is symmetric, then $R$ is continuous iff $R^{-1}$ is. In particular, in a topological space $X$, an equivalence relation $\sim$ on $X$ is continuous iff the projection $p$ of $X$ onto the quotient space $X/\sim$ is an open mapping.

Remark. Alternative definitions: One apparently common definition (as described by Wyler) is to require inverse images of open sets to be open and inverse images of closed sets to be closed (making the relation upper and lower semi-continuous). Wyler suggests the following definition: If $r:e\to f$ is a relation between topological spaces $E$ and $F$, then $r$ is continuous iff for each topological space $A$, and functions $f:A\to E$ and $g:A\to F$ such that $f(u)𝑟g(u)$ for all $u\in A$, continuity of $f$ implies continuity of $g$.

Title	continuous relation
Canonical name	ContinuousRelation
Date of creation	2013-03-22 17:05:39
Last modified on	2013-03-22 17:05:39
Owner	CWoo (3771)
Last modified by	CWoo (3771)
Numerical id	12
Author	CWoo (3771)
Entry type	Definition
Classification	msc 54A99