J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .

Chapitre VIII : Amincissements

Chapitre VIII : Amincissements
Transformations:
en "tout ou rien"
amincissement
paississement
Homotopie
Homotopie et connexit
dans le cas digital
Amincissement et paississement
homotopiques
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Transformation par tout ou rien
Transformation par tout ou rien


(X) = {z: T"(z) X
c
; T'(z) X} =
'
(X)
''
(X
c
)


(X) = {z: T"(z) X
c
; T'(z) X} =
'
(X)
''
(X
c
)
Dfinition (J.Serra) :
La transformation en tout ou rien

(sect.II-2) gnralise la fois

rosion et dilatation, en mettant en jeu le couple d'lments structurants
disjoints T= {T',T"}
X:


(X)
T': T": T:
Centre

'
(X)

''
(X
c
)
.
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Amincissement - Epaississement
Amincissement - Epaississement
Dfinition (A. Rosenfeld, J.Serra) :
L'amincissement

est le rsidu entre l'ensemble initial et sa
transformation par tout ou rien :
L'paississement

est introduit alors par dualit pour le
complment


(X) = X \

(X) = X \ [
'
(X)
''
(X
c
)]


(X) = = = = X

(X) = X [
'
(X)
''
(X
c
)]
X


(X) Rsidu


(X)
T': T":
T
Centre
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Proprits
Proprits
Theormede reprsentation ( G.Banon and J.Barrera) :
Tout oprateur sur (E) qui est invariant par translation peut se
reprsenter comme runion de transformations en tout-ou-rien :
(X) =
i
(X)
pour une famille {T
i
, T
i
} convenable, qui dpend du noyau de .
Dualit :
Lamincissement selon (T',T") est le dual pour le complment de
lpaississement selon (T",T') :
En particulier, tout amincissement est anti-extensif, et tout paississement
extensif. Pour que ces oprations ne se rduisent pas l identit, il
faut que 0 (amincissements) ou 0 ( paississements).
Utilisation :
En morphologie, ces oprations sont utiliss pour construire des
transformations conservant l'homotopie, (squelettes homotopiques).

', T "
(X) = [ = [ = [ = [
",T'
( X
c
) ]
c
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Homotopie pour les ensembles
Homotopie pour les ensembles
Dfinition del'homotopie:
Deux ensembles sont
homotopes s'il existe une
transformation bicontinue pour
passer de l'un l'autre, telle que
- chaque grain contient le mme
nombre de pores que son
transform,
- chaque pore contient le mme
nombre de grains que son
transform.
l'homotopie dcrit l'organisation
des grains et des pores entre eux.
Ensembles
homotopes
Ensembles non
homotopes
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Homotopie pour les Fonctions Numriques
Homotopie pour les Fonctions Numriques
Homotopie (J.Serra) :
On introduit l'homotopie pour
les fonctions partir de leurs
sections planes. Deux fonctions
sont homotopes quand on peut
trouver une anamorphose des
niveaux de gris qui rende
homotopes leurs sections de
mmes cotes.
Ainsi, l' homotopie caractrise
la structure des pics, des
valles, et des cols.
homotopes
Fonctions
non homotopes
Fonctions
1
2
1
2
1
1
2
1
2
1
1
2
1
2
1
1
2
1
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Transformations Homotopiques
Transformations Homotopiques
Dfinition :
Une transformation est dite
homotopique quand entre et
sortie sont homotopes .
La seule transformation
homotopique que nous ayons
rencontre jusqu' ici est le
squelette euclidien. En trame
digitale, cette proprit disparat.
Pour la rcuprer, nous devons
renoncer au squelette (digital) et le
remplacer par la notion "voisine"
d'amincissement .
Squelette digital
Squelette continu
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Homotopie et connexit dans le cas digital
Homotopie et connexit dans le cas digital
Dans le cas digital, la dfinition de l'homotopie dpend de la donne d' une
connexit par arcs. Or, il n'est pas trivial de dfinir combien de
composantes la figure suivante possde :
Il faut choisir des rgles de connection portant sur les configurations
diagonales. Pour que la connexit ralise ait une structure de graphe
planaire, ces rgles doivent interdire les croisements figure-fond:
?
=
?
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Connexit en maille carre (I)
Connexit en maille carre (I)
En pratique, on rencontre
trois cas de figure :
1
er
cas (A. Rosenfeld) :
8-connexit pour la
forme, 4-connexit pour
le fond.
Proprits :
-Invariance par translation;
-invariance par rotations de
90 degrs;
-pas d' autodualit.
8-connexit pour
les ensembles
4-connexit pour
le fond
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Connexit en maille carre (II)
Connexit en maille carre (II)
2
me
cas (A. Rosenfeld) :
4-connexit pour le fond,
8-connexit pour la
forme.
Proprits :
Par dualit, les mmes que
celles du cas prcdent.
Le premier cas convient
quand les objets sont
convexes, le second quand
c'est le fond qui l'est.
4-connexit pour
les ensembles
8-connexit pour
le fond
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Connexit en maille hexagonale
Connexit en maille hexagonale
3
me
cas (M.J.E. Golay) :
6-connexit pour la forme;
6-connexit pour le fond.
Proprits :
-Invariance par translations
-Invariance par rotations de
60 degrs;
-Autoduale.
6-connexit pour
les ensembles
6-connexit pour
le fond
N.B.En pratique, la maille hexagonale est
simule algorithmiquement partir de
donnes exprimentales en maille carre.
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Amincissements et paississements homotopiques
Amincissements et paississements homotopiques
Un amincissement ou un paississement est homotopique s'il utilise un
lment structurant T=(T',T") qui prserve l' homotopie.
Proposition (J. Serra): En maille hexagonale, il nexiste que cinq
paires (T',T") dans lhexagone unit (toutes les autres s'obtiennent
partir de ces cinq types par rotation, symtrie ou complmentation):
et la modification du point central prserve l' homotopie si et seulement
si le contour del'lment possde un unique passage de "0" a "1". Cette
proprit est vrifie uniquement pour les lments des second et du
troisime types .
T'
T"
T' o T"
Homotopique
Homotopique
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Les amincissements et paississements sont souvent utiliss de
manire squentielle. Par exemple, tant donn un lment
structurant L=(L',L"), on procde plusieurs amincissements avec
toutes les rotations de l'lment et on rpte la transformation
jusqu' idempotence .
Pour un n suffisamment grand, l'amincissement limite
L
est anti-
extensif, idempotent et prserve l'homotopie (mais il n'est pas
croissant).
Amincissement et Epaississement squentiels
Amincissement et Epaississement squentiels
L1 L2 L3 L4 L5 L6

L
= lim
n
( ( ( (
L1
... ( ( ( (
L5
( ( ( (
L6
)))
n
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Exemple d'amincissement squentiel
Exemple d'amincissement squentiel
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Proprits des Amincissements Squentiels
Proprits des Amincissements Squentiels
Le rsultat n'est pas toujours mince. Par exemple, l'ensemble
suivant n'est pas modifi par amincissement l'aide des lments
structurants L
i
:
Le choix de l'lment initial et de l'ordre de la srie des lments
influent sur le rsultat final .
Les amincissements ne sont pas robustes : ce dfaut de robustesse
se traduit par de nombreuses ramifications qui dpendent
fortement de l'lment structurant .
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Liste des lments structurants principaux, en hexagonal
Liste des lments structurants principaux, en hexagonal
Elment
structurant
Amincissement
squentiel
Epaississement
squentiel
Transformation
en tout ou rien
L
M
D
E
F
I
Squelette Squelette du fond
Squelette avec
ramifications
Epaississement
partir de points isols
Marqueur
homotopique
Enveloppe
quasi-convexe
Ebarbulage du
squelette
Ebarbulage du fond Points extrmaux
Points triples
Points isols
Homotopiques
Non homotopiques
J . Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VI I I .
Rfrences
Rfrences
Sur la transformation par tout ou rien :
La transformation par tout ou rien peut tre considre comme le coup
denvoi de la morphologie mathmatique. Elle fut introduite par J.Serra
en 1965{SER65a and b}, et, indpendamment, par M.J.Golay en 1969
pour la trame hexagonale {GOL69}. Toutefois, le thorme majeur de
G.Banon et J.Barrera est sensiblement plus rcent {BAN91}.
Sur les amincissements :
La squelettisation digitale obtenue au moyen damincissements remonte
A.Rosenfeld, qui a trait le cas de la trame carre {ROS70}. On trouve
dans{SER82} un examen plus systmatique des amincissements discrets
hexagonaux, ainsi que la premire tude sur lhomotopie des fonctions
numriques, au sens o elle est entendue ici (il en existe dautres
dfinitions).
Sur la transformation par tout ou rien :
La transformation par tout ou rien peut tre considre comme le coup
denvoi de la morphologie mathmatique. Elle fut introduite par J.Serra
en 1965{SER65a and b}, et, indpendamment, par M.J.Golay en 1969
pour la trame hexagonale {GOL69}. Toutefois, le thorme majeur de
G.Banon et J.Barrera est sensiblement plus rcent {BAN91}.
Sur les amincissements :
La squelettisation digitale obtenue au moyen damincissements remonte
A.Rosenfeld, qui a trait le cas de la trame carre {ROS70}. On trouve
dans{SER82} un examen plus systmatique des amincissements discrets
hexagonaux, ainsi que la premire tude sur lhomotopie des fonctions
numriques, au sens o elle est entendue ici (il en existe dautres
dfinitions).