Relation-based variations of the discrete Radon transform (Q1361235)

The author introduces variations of Radon transforms and unifies many linear transformations commonly used in signal and image processing. A binary relation \(\rho\) between two sets \(X\) and \(Y\) is a subset of the Cartesian product \(X\times Y\). For \(x\in X\) and \(y\in \), \(Y(x,y) \in\rho\) is denoted by \(x\rho y\). For a function \(f\) from \(Y\) to \(\mathbb{R}\) or \(\mathbb{C}\) the Radon transform of \(f\) with respect to a binary relation \(\rho\) is defined, if it exists, by \[ {\mathcal R}_\rho f(y)= \sum_{x\rho y} f(x). \] A weighted relation \(w\) between two sets \(X\) and \(Y\) is a function from \(X\times Y\) to \(\mathbb{R}\) or \(\mathbb{C}\). The weighed Radon transform of a function \(f\) from \(X\) to \(\mathbb{R}\) or \(\mathbb{C}\) with respect to \(w\) is defined by \[ {\mathcal R}_wf(y)= \sum_{x\in X} f(x)w(x,y). \] If \(w(x,y)=1\) for \(x\rho y\) and \(w(x,y)=0\) otherwise, then \({\mathcal R}_w= {\mathcal R}_\rho\). Let \(A\) be an Abelian group and \(K=\mathbb{R}\) or \(\mathbb{C}\), and \({\mathcal F} (A\to K)\) be the set of functions from \(A\) to \(K\). It is shown that a weighted Radon transformation with respect to \(w\) on \({\mathcal F} (A\to K)\) is translation invariant if and only if \(w\) is translation invariant. The author generalizes the Radon transformation to lattice-valued functions such as digital images. For a complete lattice \(L\) the supremum and infimum Radon transforms with respect to a binary relation \(\rho\) are defined by \[ \check {\mathcal R}_\rho f(y)= \bigvee_{x\rho y} f(x) \text{ and } \widehat {\mathcal R}_\rho f(y)= \bigwedge_{x\rho y} f(x), \] respectively. As a special case \(L=\{0,1\}\) the author defines the supremum and infimum Radon transforms of a subset \(B\) of \(A\), in particular the delation and erosion by a structuring element in the terminology of mathematical morphology. Representation formulas for a transformation invariant operation on the power set of \(A\) and that for a translation invariant operation on \({\mathcal F} (A\to L)\) are given with the aid of the supremum and infimum Radon transforms.