Abstract
In this paper, regular closed Jordan measurable sets are proposed as models of digital images, and it is shown, that these are precisely the sets that are well approximated by their family of granulometric openings in measure theoretic sense. Moreover, compatibility of mathematical morphology and wavelet analysis is established in the following sense: two sets, that are indistinguishable by wavelets (i.e. their symmetric difference is a Lebesgue zero set) have undistinguishable granulometric openings, and a finite resolution wavelet approximation to a Jordan measurable set is sufficient to determine its granulometric openings up to a specified margin of error.
Similar content being viewed by others
References
Behrend, F.: Bemerkung zur Inhaltstheorie. Math. Ann. 111, 289–292 (1935)
Bourbaki, N.: Topological Vector Spaces I–V. Elements of Mathematics. Springer, Berlin (1987)
Günther, B.: Random selection of Borel sets. Appl. Gen. Topol. 11(2), 135–158 (2010). http://agt.webs.upv.es
Hadwiger, H.: Vorlesungen über Inhalt, Oberfläche und Isoperimetrie. Grundlehren, vol. 93. Springer, Berlin (1957)
Halmos, P.R.: Measure Theory. GTM, vol. 18. Springer, Berlin (1974)
Jägersand, M., Zadorożny, A., Zhang, H.: Granulometry using image transformation techniques. In: 15th International Conference on Vision Interface, pp. 433–438 (2002)
Laporte-Magoni Allenbach Selmaoui, R.: Coupled strata and granulometry detection on indurated cores. Geo Mar. Lett. 24(4), 241–251 (2004)
Matheron, G.: Random Sets and Integral Geometry. Wiley, New York (1975)
Mazo, L., Passat, N., Couprie, M., Ronse, C.: A unified topological framework for digital imaging. In: 16th International Conference on Discrete Geometry for Computer Imagery, DGCI 2011. LNCS, vol. 6607, pp. 163–174. Springer, Berlin (2011). doi:10.1007/978-3-642-19867-0_14
Najman, L., Talbot, H.: Introduction to mathematical morphology. In: Najman, L., Talbot, H. (eds.) Mathematical Morphology, pp. 3–33. Wiley, New York (2010)
Ronse, C.: Regular open or closed sets. Working Document WD59, Philips Research Lab., Brussels (1990)
Rudin, W.: Real and Complex Analysis, 2nd edn. Series in Higher Mathematics. McGraw-Hill, New York (1974)
Scotti, F., Ferrari, S., Piuri, V.: Image processing for granulometry analysis via neural networks. In: CIMSA 2008: IEEE Conference on Computational Intelligence for Measurement Systems and Applications, pp. 28–32 (2008)
Seebach, J.A., Steen, L.A.: Counterexamples in Topology. Springer, Berlin (1978)
Serra, J.: Image Analysis and Mathematical Morphology. Academic Press, San Diego (1982)
Wojtaszczyk, P.: A Mathematical Introduction to Wavelets. Student Text, vol. 37. London Math. Soc., London (1997)
Author information
Authors and Affiliations
Corresponding author
Additional information
The author acknowledges several helpfull suggestions by the referees.
Appendix
Appendix
We show by an example that even regular closed sets can have a “large” boundary: There exists a regular closed subset A⊆I:=[0,1] whose boundary is a thick Cantor set. That means that ∂A is homeomorphic to Cantor’s discontinuum and has positive Lebesgue measure λ(∂A)>0. The granulometric openings of such a set will necessarily miss large parts of it.
For the construction we recall that Cantor’s discontinuum \(\mathcal{C}\subset I\) is the set of all reals between 0 and 1 that can be represented as triadic expansion not using the digit 1. Notice that in some cases the digit 1 can be avoided by turning a finite sequence into a periodic infinite one, like 0.021=0.020222222… , such a number belongs to Cantor’s discontinuum. Let U even,U odd⊂I denote the open sets of all reals, whose triadic expansion necessarily contains the digit 1 (i.e., 1 cannot be removed by a conversion like above) and the first occurrence of it is at an even (resp. odd) position; evidently we have partitioned the unit segment into three disjoint sets \(I=\mathcal{C}\cup U_{\mathrm{even}}\cup U_{\mathrm{odd}}\). Every element of \(\mathcal{C}\) can be approximated arbitrarily closely by a finite sequence, which can be picked from U even as well as of U odd by appending 101 or 0101 if necessary. Hence every element of \(\mathcal{C}\) can be approximated arbitrarily closely by elements of U even as well as of U odd, and we conclude \(\partial U_{\mathrm{even}}=\partial U_{\mathrm{odd}}=\mathcal{C}\). Then \(A:= \overline{U_{\mathrm{even}}} =U_{\mathrm{even}}\cup \mathcal{C}=I\setminus \partial U_{\mathrm{odd}}\) is closed with interior U even, i.e. A is a regular closed subset of I with boundary \(\mathcal{C}\).
Now pick a homeomorphism h:I≈I mapping \(\mathcal{C}\) onto a thick Cantor set, i.e. such that \(\lambda (h (\mathcal{C} ) )>0\) [12, p. 179]. Then h(A)⊂I is a regular closed subset whose boundary has non zero Lebesgue measure.
As open subsets of the real line the sets U even and U odd are countable unions of open segments, and since every element of \(\mathcal{C}\) can be approximated arbitrarily closely by elements of U even as well as of U odd a closed segment [a,b] with a<b is contained in \(A=U_{\mathrm{even}}\cup \mathcal{C}\) if and only if the open segment ]a,b[ ⊆U even. Hence, if A ω denotes the union of all closed segments of positive length contained in A, then A ω =⋃ t>0 Ψ t A is the union of the granulometric openings of A with respect to the unit segment, and the granulometric remainder \(A\setminus \bigcup_{t>0}\varPsi_{t}A =\mathcal{C}\setminus (A_{\omega}\setminus U_{\mathrm{even}} )\) contains nearly the entire Cantor set except the countable subset A ω ∖U even. This property persists under the homeomorphism h, thus leading to an example of a compact set whose granulometric remainder has strictly positive Lesbegue measure.
Rights and permissions
About this article
Cite this article
Günther, B. On the Compatibility of Granulometry with Wavelet Analysis. J Math Imaging Vis 45, 69–75 (2013). https://doi.org/10.1007/s10851-012-0345-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10851-012-0345-z