Mathematical Morphology " Almost Everywhere "

“ALMOST Everywhere,F. Guichard,J. Morel

Abstract:In this paper, we do not aim at new applications or algorithms, but at a formalism as simple and as practical as possible to deal with the several useful concepts in image and shape analysis, namely : level sets of a function, reconstruction of a function from its level sets, monotone set operators, contrast invariant monotone image operators, threshold superposition principle, sup-inf operators and flat morphology, image operators commuting with thresholds. We prove that five slightly different terminologies or formalisms can be merged into a single simple presentation. Namely : the operators of “flat Mathematical Morphology”, the “contrast invariant image operators”, the “monotone set operators”, the “sup-inf” operators and finally the “contrast invariant image operators defined on continuous images” are fully equivalent. In this equivalence statement, set functions are defined from set operators by the threshold superposition principle and set operators are defined from contrast invariant operators by the so-called Evans-Spruck extension. All that we prove may be known in different contexts but has not been formalized, to our knowledge, in a simple unified format. The closest theory to what we present, in Mathematical Morphology, is in the abstract framework of complete lattices. We do not request any completeness requirement in what follows and the statements apply to operators defined on any set of functions or any set of sets. As illustration, we show how the unified formalism permits to define easily several image operators by giving their simpler set operator definition and conversely how we also easily deal with set operators defined from P.D.E.’s, as it occurs with geodesic snakes. The formal presentation of contrast invariant mathematical morphology given here will be developed in the book [5] in project.