Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fundamentos de Morfologa
Matemtica
3.1 Introduccin
La descripcin bsica de la Morfologa Matemtica descansa en la teora de conjuntos cuyos
primeros trabajos se deben a Minkowski [Minkowsky, 1897], [Minkowsky, 1901] y Hadwiger
[Hadwiger, 1957], [Hadwiger, 1959]. La continuacin de estos trabajos de investigacin, bajo la
impulsin y reformulacin de Matheron y Serra, se daran posteriormente a conocer bajo la
denominacin de Morfologa Matemtica, como una tcnica no lineal de tratamiento de seales.
La mayor parte de esta teora ha sido desarrollada en el Centre de Morphologie Mathmatique
(CMM) de lEcole des Mines de Paris.
Actualmente, el mbito y alcance de los procesamientos morfolgicos es tan amplio
como el propio procesamiento de imgenes. Se pueden encontrar aplicaciones tales como la
segmentacin, restauracin, deteccin de bordes, aumento de contraste, anlisis de texturas,
compresin, etc. En este captulo se describen nociones bsicas de la Morfologa Matemtica
que sern tiles de repasar, ya que se har referencia a ellas en el procesamiento cromtico. Las
obras [Matheron, 1967], [Matheron, 1975], [Serra, 1981] y [Serra, 1988], contienen en detalle la
definicin de los conceptos bsicos en morfologa a tratar a continuacin.
X = Y ( p X p Y y p Y p X )
(3.1)
X Y ( p X p Y )
(3.2)
X Y = ( p | p X y p Y )
(3.3)
X Y = ( p | p X o p Y )
42
(3.4)
(3.5)
y p Y )
(3.6)
Definicin 3.7. Sean X e Y dos conjuntos pertenecientes al conjunto Z. Para todo elemento xX
e yY, es posible hacer corresponder una suma algebraica x+y. De esta manera se forma un
nuevo conjunto denominado adiccin de Minkowski y denotado por X Y :
X Y = {x + y | x X , y Y }
(3.7)
Definicin 3.8. Dado un conjunto no vaco X, una relacin binaria en X es un orden parcial
si cumple las siguientes propiedades:
x x (reflexiva).
Para cualquier x, y, z X. Un conjunto con una relacin de este tipo ser un conjunto que
presenta un orden parcial y se denotar como (X, ). El conjunto ser totalmente ordenado si
todos los elementos que lo componen son comparables, es decir: x y y x, para cualquier
par (x,y) X [Avellanas, 1990].
Definicin 3.9. Sea (X, ) un conjunto ordenado y SX, un conjunto no vaco de X:
43
Definicin 3.10. Un conjunto ordenado (X, ) es un retculo completo si todos los subconjuntos
de X poseen un nfimo y un supremo.
Definicin 3.11. Sean X e Y dos retculos completos. La relacin f es una anamorfosis si y slo
si f es una biyeccin que conserva el nfimo y supremo:
f ({xi | i I }) = { f ( xi ) | i I }
(3.8)
f ({xi | i I }) = { f ( xi ) | i I }
(3.9)
(3.10)
Invariabilidad a translacin
( X p ) = ( ( X )) p
(3.11)
(X ) = ( x)
44
(3.12)
Conocimiento local
La transformacin morfolgica posee el principio de conocimiento local si para cualquier
conjunto de puntos M, subconjunto del dominio N, la transformacin del conjunto X restringido
al dominio de M, y despus restringido al dominio N, es equivalente a aplicar la transformacin
(X) y restringir el resultado en M:
(X N ) M = (X ) M
(3.13)
Continuidad
En forma resumida, este principio afirma que la transformacin morfolgica no exhibe
ningn cambio abrupto. La nocin de continuidad depende de la nocin de vecindad, es decir,
de la topologa.
Dependiendo del tipo de operacin morfolgica se cumplirn otra serie de propiedades,
como la idempotencia, entensividad, antiextensividad, etc.
3.3.1 Erosin
En teora de retculos, una erosin es una operacin que conmuta con el nfimo. Dado un
retculo completo X, una erosin es una funcin : X X en la que:
( xi ) = ( xi )
i I
i I
(3.14)
45
Y ( X ) = {x | Yx X }
(3.15)
Y (X ) = X s
(3.16)
sY
(b)
(a)
Figura 3.2. Erosin de X por el elemento estructurante Y. Los elementos conectados del conjunto X ms
pequeos que Y son eliminados.
Y ( f ) = ( f s )
sY
(3.17)
Figura 3.3. Elemento estructurante plano de tamao 3x3. El origen del elemento se sita en su centro.
46
Y ( f )( x ) = min f ( x + s )
(3.18)
sY
(a)
(b)
Figura 3.4. Erosin de una imagen binaria mediante un elemento estructurante cuadrado de tamao 3x3.
Y ( f )( x, y ) = min f ( x + s, y + t )
(3.19)
( s, t )Y
(a)
(b)
Figura 3.5. Erosin de una seal unidimensional definida por la funcin f. Elemento estructurante de
tamao 3. El resultado es el mnimo de todos los valores presentes bajo la definicin del elemento
estructurante.
47
Se presenta un caso tpico de minimizacin espacial para una zona de una imagen cuya
representacin en niveles de gris se encuentra esquematizada en la tabla de pixels de la figura
3.6. Para las operaciones morfolgicas el elemento estructurante recorre la ventana seleccionada
de la imagen. En el caso de los bordes y esquinas se ha elegido la aproximacin que asegura que
el origen del elemento estructurante recorre todos los pixels de la ventana elegida. Si el
elemento estructurante es mayor a un pxel y el origen se sita en el centro, en los bordes y
esquinas de la ventana el elemento estructurante acta en menor definicin, al compararse el
valor de un menor nmero de pixels.
34
78
1
87
45
34
67
56
56
64
23
98
197
178
54
98
34
200
11
201
167
165
55
99
33
201
124
223
158
45
54
149
34
1
1
1
34
34
34
54
33
11
11
11
45
45
54
54
33
11
11
9
9
9
10
23
33
33
17
1
1
1
3
23
120
67
17
1
1
1
2
23
56
56
17
1
1
1
2
23
56
56
34
1
1
1
2
23
Figura 3.7. Erosin de una imagen de escala de grises por un elemento estructurante plano bidimensional
de tamao 3x3.
Y ( f )( x ) = min{ f ( x + s ) Y ( s )}
sY
(3.20)
48
(a)
(b)
Figura 3.8. Erosin de una seal bidimensional (imagen) definida por la funcin f. Elemento estructurante
de tamao 3x3. El resultado en cada punto de la imagen es el mnimo de todos los valores presentes bajo
la definicin del elemento estructurante.
n+2
n+1
n
Figura 3.9. Elemento estructurante de volumen de tamao 1x3. El origen del elemento se sita en su
centro en donde el elemento posee un valor de n+1, frente al valor n presente en los dems puntos.
3.3.2 Dilatacin
La dilatacin es la operacin dual de la erosin. En teora de retculos, un operador
: X X se denomina dilatacin en el caso que conmute con el supremo de una coleccin de
valores:
49
( xi ) = ( xi )
i I
(3.21)
i I
Y ( X ) = {x | Yx X 0}
(3.22)
Esta ltima ecuacin puede rescribirse como una unin de conjuntos trasladados. Las
traslaciones vienen definidas por el dominio del elemento estructurante:
Y (X ) = U X s
(3.23)
sY
(a)
(b)
Y ( f ) = fs
sY
(3.24)
Y ( f )( x, y ) = max f ( x s, y t )
( s, t )Y
(3.25)
50
resultado es la seleccin del mnimo valor de todos los presentes bajo la definicin del elemento
estructurante.
(a)
(b)
Figura 3.11. Dilatacin de una imagen binaria mediante un elemento estructurante de tamao 3x3.
(a)
(b)
Figura 3.12. Dilatacin de una seal unidimensional definida por la funcin f. Elemento estructurante de
tamao 3. El resultado es el mximo de todos los valores presentes bajo la definicin del elemento
estructurante.
200
200
201
201
201
197
178
99
201
201
223
223
223
197
178
149
201
201
223
223
223
167
165
149
201
201
223
223
223
158
244
244
230
230
230
123
34
89
244
244
232
232
232
198
198
89
244
244
232
232
232
198
198
89
203
203
Figura 3.13. Dilatacin de una imagen de escala de grises por un elemento estructurante plano
bidimensional de tamao 3x3.
51
(a)
(b)
Figura 3.14. Dilatacin de una seal bidimensional (imagen) definida por la funcin f. Elemento
estructurante de tamao 3x3. El resultado en cada punto de la imagen es el mximo de todos los valores
presentes bajo la definicin del elemento estructurante.
Al igual que ocurre con la erosin, los elementos estructurantes de volumen raramente
se emplean para las dilataciones. El efecto es una intensificacin de la claridad de la imagen de
acuerdo con el valor que posean los puntos del elemento estructurante:
Y ( f )( x, y ) = max { f ( x s, y t ) + Y ( s, t )}
( s, t )Y
(3.26)
Dualidad
La erosin y la dilatacin son operaciones duales con respecto a la complementacin. Esto
significa que una erosin es equivalente a la complementacin de la dilatacin de la imagen
complementada con el mismo elemento estructurante y viceversa, es decir:
Y = C Y C
(3.27)
Crecientes
Las operaciones de erosin y dilatacin son crecientes, respetan el orden presente en la
estructura de retculo. Para dos imgenes f y g:
Si f g ( f ) ( g )
(3.28)
Si f g ( f ) ( g )
(3.29)
Gracias a esta propiedad, las operaciones morfolgicas pueden extenderse del caso
binario a la escala de los grises, puesto que estas ltimas seales pueden expresarse como una
52
suma de imgenes binarias (una superposicin de conjuntos apilados). Cada una de las imgenes
binarias corresponde al conjunto de pixels cuyo nivel de gris es superior a un umbral
determinado. La seal de grises se define como:
f =
t max
CS t ( f )
(3.30)
t =1
donde CSt(f) es la imagen binaria que contiene los pixels con valor en f mayor o igual a t.
El que la erosin y la dilatacin sean crecientes implica que las relaciones de orden
entre los diferentes conjuntos apilados de una imagen sean respetadas por estos operadores. La
erosin y la dilatacin son, pues, invariantes a la descomposicin por umbrales:
Y =
Y =
t max
Y (CS t ( f ))
(3.31)
t =1
t max
Y (CS t ( f ))
(3.32)
t =1
Extensividad y antiextensividad
La operacin de dilatacin es una operacin extensiva. Para la imagen f, f ( f ) . La erosin,
por el contrario, es una operacin antiextensiva: ( f ) f . En general, para elementos
estructurantes que contienen su origen se cumple que:
( f ) f (g )
(3.33)
(a)
(b)
Figura 3.15. Dilatacin y erosin de una seal unidimensional definida por la funcin f. Elemento
estructurante de tamao 3.
53
3.3.4 Residuo
morfolgico
de
transformaciones
elementales:
gradiente
( X ) = ( X ) \ (X )
(3.34)
( X ) = ( X ) ( X )
(3.35)
En el caso de funciones:
Y ( X ) = X \ Y ( X )
(3.36)
Y ( f ) = f Y ( f )
(3.37)
En la figura 3.16.b se muestra el efecto del residuo de gradiente por erosin para una
seal unidimensional f y un elemento estructurante plano Y. El efecto de este residuo en una
seal bidimensional (imagen) se ofrece en la figura 3.17.
El gradiente por dilatacin se define como la diferencia entre una dilatacin por
elemento estructurante Y y la identidad (imagen original):
Y+ ( X ) = Y ( X ) \ X
(3.38)
Y+ ( f ) = Y ( f ) f
(3.39)
En la figura 3.16.c se muestra el efecto del residuo de gradiente por dilatacin para una
seal unidimensional f y un elemento estructurante plano Y. El efecto de este mismo residuo
para el caso de imgenes se visualiza en la figura 3.17.c.
54
Y ( X ) = Y ( X ) \ Y ( X )
(3.40)
Y ( f ) = Y ( f ) Y ( f )
(3.41)
(a)
(b)
(c)
(d)
Figura 3.16. Gradiente de una seal unidimensional definida por la funcin f (a). Elemento estructurante
de tamao 3. Gradiente por erosin (b). Gradiente por dilatacin (c). Gradiente simtrico (d).
55
(a)
(b)
(c)
(d)
Figura 3.17. Gradientes morfolgicos de una imagen. Elemento estructurante de tamao 3x3. Imagen
original (a). Gradiente por erosin (b). Gradiente por dilatacin (c). Gradiente simtrico (d).
56
Y ( f ) = Y ( Y ( f ))
(3.42)
Y ( X ) = U{Y | Y X }
(3.43)
(a)
(b)
Figura 3.18. Apertura morfolgica del conjunto X por el elemento estructurante Y. Eliminacin de objetos
menores en tamao al elemento estructurante. La apertura redondea las convexidades importantes.
57
(a)
(b)
(c)
Figura 3.19. Apertura morfolgica de una seal unidimensional. (a) Seal original f. (b) Erosin de la
seal f por elemento estructurante Y. (c) Dilatacin de la erosin (f) por elemento estructurante Y.
(b)
(a)
Figura 3.20. Filtrado de imagen. Eliminacin de objetos claros mediante apertura morfolgica. (a) Imagen
original. (b) Apertura morfolgica.
Y ( f ) = Y ( Y ( f ))
(3.44)
Y ( X ) = I Y c | X Y c
58
(3.45)
Al igual que la apertura, el cierre de una imagen es independiente del origen del
elemento estructurante. El cierre de un conjunto X por un elemento estructurante con forma de
disco se ilustra en la figura 3.21. El cierre es el espacio descrito por el elemento estructurante
cuando es forzado a estar fuera de los conjuntos.
En el cierre de la seal unidimensional presente en la figura 3.22.a se observa como la
dilatacin une estructuras que la erosin no puede separar. En una imagen de niveles de grises el
cierre morfolgico ayuda a eliminar estructuras oscuras menores en tamao al elemento
estructurante. La dilatacin maximiza los valores de forma que se atenan los objetos oscuros
(figura 3.22.b). La erosin minimiza la seal y slo los elementos no eliminados quedan
presentes en la imagen final (figura 3.22.c). En la figura 3.23 se presenta el efecto del cierre
morfolgico sobre una imagen de grises. Los objetos oscuros quedan sensiblemente atenuados.
(b)
(a)
Figura 3.21. Apertura morfolgica del conjunto X por el elemento estructurante Y. El cierre redondea las
concavidades importantes.
(a)
(b)
(c)
Figura 3.22. Cierre morfolgico de una seal unidimensional. (a) Seal original f. (b) Dilatacin de la
seal f por elemento estructurante Y. (c) Erosin de la dilatacin (f) por elemento estructurante Y: cierre
morfolgico.
59
(a)
(b)
Figura 3.23. Filtrado de imagen. Eliminacin de objetos oscuros mediante cierre morfolgico. (a) Imagen
original. (b) Cierre morfolgico.
Y = C Y C
(3.46)
(3.47)
El empleo de una apertura o un cierre para eliminar objetos no deseados en una imagen
depender del tipo de imagen y del tipo de objetos a eliminar. En presencia de objetos
indeseados con igual tonalidad al resto de estructuras de la imagen, por ejemplo, ruido simtrico
(claro y oscuro) habr que considerar una composicin de aperturas y cierres.
Relaciones de orden
La operacin composicin cierre es una operacin extensiva, mientras que la apertura
morfolgica es antiextensiva. Esto significa que se puede presentar la siguiente relacin de
orden entre la imagen original I y transformaciones:
(3.48)
Crecientes e idempotentes
Las operaciones de apertura y cierre son transformaciones crecientes. Para dos imgenes f y g:
60
Si f g ( f ) ( g )
(3.49)
Si f g ( f ) ( g )
(3.50)
Es posible comprobar que la erosin de una apertura es igual a la erosin del conjunto o
imagen original. La misma propiedad se tiene para la operacin y el cierre:
( ) =
(3.51)
( ) =
(3.52)
( ) =
(3.53)
( ) =
(3.54)
que significa que las transformaciones de apertura y cierre son idempotentes, =,=. La
propiedad de idempotencia es importante en el filtrado de imgenes, al asegurar que la imagen
no sufrir modificaciones por iteraciones de la transformacin.
3.4.4 Top-hat
La transformacin de top-hat [Meyer, 1978], consiste en descubrir aquellas estructuras de la
imagen que han sido eliminadas en el filtrado de apertura o cierre. Con la eleccin de un
elemento estructurante de forma, tamao y orientacin adecuado, es posible filtrar la imagen y
eliminar determinados elementos en la imagen original. Una operacin de diferencia entre el
mapa original y el filtrado aumenta considerablemente el contraste de las zonas eliminadas.
La transformacin de top-hat es el residuo entre la identidad y la apertura morfolgica.
Para el caso de conjuntos y funciones este residuo se define como sigue:
(X ) = X \ (X )
(3.55)
( f ) = f ( f )
(3.56)
Al igual que la apertura, este residuo es una operacin antiextensiva e idempotente, pero
no creciente. Este top-hat se conoce tambin como top-hat por apertura o top-hat blanco, por
destacar los objetos claros que han sido eliminados en la apertura. Que el top-hat por apertura
no sea una operacin creciente es obvio por su definicin. La idempotencia se demuestra
fcilmente, pues:
( ( f )) = f ( f ) ( f ( f ) = f ( f )
(3.57)
61
En la figura 3.24 se ilustra un ejemplo de top-hat por apertura para una seal
unidimensional. Se puede observar como se descubre aquella parte de la seal no eliminada en
la apertura.
(a)
(b)
Figura 3.24. Top-hat por apertura para una seal unidimensional. (a) Seal original. (b) Top-hat por
apertura.
Una operacin dual al top-hat puede definirse como el resido entre un cierre
morfolgico y la imagen original. En este caso, la operacin suele denominarse top-hat por
cierre o top-hat negro, ya que visualiza los objetos oscuros de la imagen original eliminados en
el cierre. Para conjuntos y funciones, este nuevo residuo de top-hat puede definirse como:
(X ) = (X ) \ X
(3.58)
( f ) = ( f ) f
(3.59)
(a)
(b)
Figura 3.25. Top-hat por cierre para una seal unidimensional. (a) Seal original. (b) Top-hat por cierre.
62
(a)
(b)
Figura 3.26. Resultado de Top hat en una imagen de escala de grises. (a) Top-hat por apertura.
(b) Top-hat por cierre.
En [Soille, 1999] se recopilan diferentes ejemplos en donde puede observarse como las
transformaciones de top-hat son muy tiles en el realce de imgenes, en la perfecta deteccin de
objetos cuando la iluminacin en la imagen no es homognea, o en la mejora del contraste.
63
1.
(3.60)
2. = =
(3.61)
(3.62)
(3.63)
Extensin de top-hat
Es posible realizar una extensin de la transformacin bsica de top-hat construyendo un
residuo entre la imagen original y un filtro alterno de apertura y cierre. Por ejemplo, para la
eliminacin de ruido denso y simtrico, una simple apertura no servir para reducir los pixels
oscuros, lo mismo ocurrir con un cierre y los pixels de ruido claros. La composicin del filtro
podr eliminar el ruido de cualquier tonalidad, con lo que el top-hat resultante ser el
residuo:
( f ) = f ( f )
(3.64)
es un -filtro si = ( f )
es un -filtro si = ( f )
64
(3.65)
(3.66)
es un filtro fuerte si = ( f ) = ( f )
(3.67)
es filtro ( f ( f )) g f ( g ) = ( f )
(3.68)
es filtro fuerte f ( f ) g f ( f ) ( g ) = ( f )
(3.69)
(3.70)
(3.71)
M i = i i ... 2 2 1 1
(3.72)
son filtros alternos secuenciales y se forman con una composicin encadenada de aperturas y
cierres, realizadas con un tamao creciente de elemento estructurante. Es necesario tener en
cuenta la forma del elemento estructurante, pues si se trata de elementos cuadrados y el factor o
ndice del filtro es i, los elementos tendrn una altura y anchura de 2i +1. Por ejemplo, N4 sera
una composicin de cierre seguido de apertura con elemento estructurante de tamao 3x3. Al
65
resultado de estos dos filtros se aplicara un cierre y una apertura realizada con elemento
estructurante de tamao 5x5, as sucesivamente, hasta aplicar la ltima apertura con elemento
estructurante de tamao 9x9.
Es fcilmente demostrable que los filtros alternos secuenciales constituyen filtros
morfolgicos. Asimismo, satisfacen las siguiente ley de absorcin:
i j ASF j ASFi = ASF j y ASFi ASF j ASF j
(3.73)
(a)
(b)
Figura 3.27. Eliminacin de ruido impulsivo con filtrado alterno secuencial de tamao 2. (a) Imagen con
ruido impulsivo (15%). (b) Filtrado FAS de tamao 2 y patrn .
Pirmides
La familia de operadores del punto anterior {i} o {i} son considerados como filtros
morfolgicos que emplean, para la transformacin, un elemento estructurante de tamao en
funcin del ndice i, (factor de homotecia). En general, la familia {i} est constituida por una
pirmide de operadores donde cada transformacin i(f) puede ser obtenida desde cualquier
transformacin (f), para 0< i.
Para la pirmide de operadores:
i > 0 v > 0 | i =
66
(3.74)
(a)
(b)
67
(c)
(d)
Figura 3.28. Efecto de pirmide de transformacin morfolgica apertura. (a) Imagen original. (b)
Apertura con elemento estructurante de tamao 3x3. (c) Apertura con elemento estructurante de tamao
5x5. (d) Apertura con elemento estructurante de tamao 7x7.
68