Gradually varied surface

In mathematics, a gradually varied surface is a special type of digital surfaces. It is a function from a 2D digital space (see digital geometry) to an ordered set or a chain.

A gradually varied function is a function from a digital space ${\displaystyle \Sigma }$ to ${\displaystyle \{A_{1},\dots ,A_{m}\}}$ where ${\displaystyle A_{1}<\cdots <A_{m}}$ and ${\displaystyle A_{i}}$ are real numbers. This function possesses the following property: If x and y are two adjacent points in ${\displaystyle \Sigma }$, assume ${\displaystyle f(x)=A_{i}}$, then ${\displaystyle f(y)=A_{i}}$, ${\displaystyle f(x)=A_{i+1}}$, or ${\displaystyle A_{i-1}}$.

The concept of the continuous function in digital space (can be called digitally continuous functions) was proposed by Azriel Rosenfeld in 1986. It is a function in which the value (an integer) at a digital point is the same or almost the same as its neighbors. In other words, if x and y are two adjacent points in a digital space, |f(x) − f(y)| ≤ 1.

So we can see that the gradually varied function is defined to be more general than the digitally continuous function. The gradually varied function was defined by L. Chen in 1989.

An extension theorem related to above functions was mentioned by Rosenfeld (1986) and completed by Chen (1989). This theorem states: Let ${\displaystyle D\subset \Sigma }$ and ${\displaystyle f:D\rightarrow \{A_{1},\dots ,A_{m}\}}$. The necessary and sufficient condition for the existence of the gradually varied extension ${\displaystyle F}$ of ${\displaystyle f}$ is : for each pair of points ${\displaystyle x}$ and ${\displaystyle y}$ in ${\displaystyle D}$, assume ${\displaystyle f(x)=A_{i}}$ and ${\displaystyle f(y)=A_{j}}$, we have ${\displaystyle |i-j|\leq d(x,y)}$, where ${\displaystyle d(x,y)}$ is the (digital) distance between ${\displaystyle x}$ and ${\displaystyle y}$.

The gradually varied surface has direct relationship to graph homomorphism.