Procesamiento Digital de Imgenes

Introduccin

parte 3
Ingeniera Civil Biomdica

Pamela Guevara
1

Contenidos

Preliminares Topolgicos

Vecindad
homotopa
camino simple
componentes conexas
esqueleto

Preliminares Topolgicos
Ej. Plano del Metro
Estn representadas las
estaciones y las lneas del metro.
Pero no es geomtricamente
exacto.
La curvatura de las lneas de
metro no coincide, ni su longitud a
escala, ni la posicin relativa de
las estaciones.
Sin embargo este plano
representa fielmente cierto tipo de
informacin: informacin
topolgica.

Preliminares Topolgicos
La idea fundamental en topologa es la de continuidad o
"proximidad".
Espacios mtricos
Debemos dar una definicin coherente a la idea de
cerca y lejos.
Sea X un conjunto.
Se dice que d: X x X -> [0, + infinito) define una distancia si:
d(x,y) = 0 si y slo si x=y
d(x,y) = d(y,x)
d(x,y) <=d(x,z)+d(z,y) para cualesquiera x,y,z distintos.
4

Preliminares Topolgicos
La distancia ms usual en n es la distancia euclideana.
La distancia euclideana en 2 est dada por la frmula:
d ( ( x 1, y 1 ) , ( x 2, y 2 ) ) =

2
2
x
+y
+
x
+y
( 1 1) ( 2 2)

Otras distancias conocidas en 2 son:

d(x,y) = 0 si x = y; d(x,y) = 1 en otro caso (distancia discreta)
d((x1, y1), (x2, y2)) = |x1 - x2| + |y1 - y2| (distancia City-block o d4)
d((x1, y1), (x2, y2)) = max{| x1-x2| , |y2-y2| } (distancia Chessboard o d8)

El concepto de Vecindad
Sea (X,d) un espacio mtrico. Se llama bola abierta
centrada en un punto x de X, de radio e>0 al conjunto:
B(x,e)={y en X tal que d(x,y)<e}
distancia euclideana

El concepto de Vecindad
Sea (X,d) un espacio mtrico. Se llama bola abierta
centrada en un punto x de X, de radio e>0 al conjunto:
B(x,e)={y en X tal que d(x,y)<e}
distancia city-block

El concepto de Vecindad
Sea (X,d) un espacio mtrico. Se llama bola abierta
centrada en un punto x de X, de radio e>0 al conjunto:
B(x,e)={y en X tal que d(x,y)<e}
distancia chessboard

fuente imgenes: www.ensta.fr_manzaner

Preliminares Topolgicos

Sean (X,d) y (X',d') dos espacios mtricos.

La funcin f: X-> X' es continua en un punto x de X si

cualquier bola abierta B(x,e) se transforma en otra bola abierta
B(f(x),e). Es decir, si valores muy cercanos a x se
transforman en valores igualmente cercanos a f(x).

Por ejemplo: f: -> tal que f(x)=2x, es continua.

La funcin de Dirichlet:

1 si x es racional
0 si x es irracional
no es continua en ningn punto.
f: -> tal que f(x) =

El concepto de continuidad depende de la distancia escogida.

9

Preliminares Topolgicos
Dos objetos X e Y son homeomorfos (o topolgicamente
iguales) si existe una funcin f:X->Y tal que f y f' son
biyectivas y continuas.
Por ejemplo:
un cuadrado y un crculo son homeomorfos.
un crculo y un segmento no lo son.
Ej. una taza es homeomorfa a un toro

fuente imgenes: wikipedia

10

Preliminares Topolgicos
Dado que es muy difcil comprobar si dos espacios son
homeomorfos, existe un concepto ms dbil que es el de
homotopa.
Se dice que dos objetos son homotpicos si existe una
deformacin continua que lleve el uno en el otro.
Por ejemplo, aunque un crculo y un segmento no son
homeomorfos, s son homotpicos.

11

Preliminares Topolgicos
Una propiedad se dice que es propiedad topolgica si
se preserva por homeomorfismo.
Algunas propiedades topolgicas:

nmero de componentes conexas

nmero de agujeros
compacidad (de compacto, el hecho de ser
cerrado y acotado)
nmero de cavidades (en 3D)

12

Preliminares Topolgicos
Dado un espacio mtrico (X,d), se llama camino simple de
x a y, a una funcin continua y biyectiva f: [0,1] -> X, tal que
f(0)=x, f(1)=y.
Se llama curva simple si x=y.
X se dice que es conexo si para cualesquiera par de
puntos de X existe un camino que los une.

El teorema de Jordan. Una curva simple en R2

divide al plano en dos componentes conexas, una
acotada y otra no.
13

Topologa Digital

14

El concepto de vecindad
en imgenes digitales
Para imgenes digitales se debe definir una topologa
consistente en el espacio discreto.

conectividad
distancia en dicho espacio

La definicin de topologa digital se basa en la

definicin de una vecindad en cada pxel.
Llamamos q-vecindad q-adyacencia de un pxel p,
Nq(p), al conjunto de pxeles que definimos como
vecinos de p.
15

Vecindad en imgenes digitales

Para Imgenes digitales binarias:

Supondremos que el borde del mallado est compuesto por

pxeles blancos.
Los objetos de las imgenes estarn formados por pxeles
negros y el fondo por pxeles blancos.

Los vecinos de un pxel vienen condicionados por el

mallado considerado en la imagen digital.

Mallado hexagonal
En este caso particular, definimos la
6-vecindad 6-adyacencia de un pxel p
como los 6 pxeles cuyas regiones
comparten un lado con p.
16

Imgenes Binarias: Vecindad

Mallado cuadrangular

La 4-vecindad o 4-adyacencia de un pxel p son los 4

pxeles cuyas regiones comparten un lado con p.

La 8-vecindad u 8-adyacencia de un pxel p, consiste en

los 8 pxeles cuyas regiones comparten un lado o un
vrtice con p.

17

Vecindad en imgenes digitales

Mallado triangular

La 3-vecindad de un pxel p son los 3 pxeles cuyas

regiones comparten un lado con p.

La 12-vecindad de un pxel p, consiste en los 12 pxeles

cuyas regiones comparten un lado o un vrtice con p.

18

Propiedades Topolgicas
Dada una imagen digital binaria con una relacin de
vecindad definida (t-adyacencia), un camino digital
( t-camino) de un pxel p a otro pxel q se define
como una sucesin de pxeles Ppq={pi ; i=0,...,n} (del
mismo color, todos distintos), tal que:
p0= p, pn=q
Para todo i=1,...,n-1, pi tiene exactamente dos
vecinos en Ppq que son pi-1 y pi+1 .
p0 y pn tienen exactamente un vecino que son p1 y pn-1,
respectivamente.
La longitud de un camino digital con n+1 pxeles es
n.
19

Propiedades Topolgicas
Camino Digital
Para todo i=1,...,n-1, pi tiene exactamente dos vecinos en Ppq
que son pi-1 y pi+1 .
p0 y pn tienen exactamente un vecino que son p1 y pn-1,
respectivamente.
La longitud de un camino digital con n+1 pxeles es n.
Pn

Pn

Pn
P1

P1

P0

P0

camino digital 4-adyacencia

Pn

camino digital 8-adyacencia

20

Propiedades Topolgicas

Definimos curva digital como un conjunto de pxeles tal

que al eliminar cualquiera de ellos, se convierte en un
camino digital.

Ejemplo:

curva digital con la

4-adyacencia

curva digital con la

8-adyacencia

21

Imgenes Digitales:

El concepto de distancia digital

Considerada fijada una q-adyacencia, la q-distancia
entre dos pxeles se define como la longitud del
camino ms corto que los une.
Ejemplo:
Considerando el mallado cuadrado, se puede
observar que la 4-distancia (definida a partir de la
4-adyacencia) produce la distancia city-block.
Anlogamente, la 8-distancia produce la chessboard.

22

Imgenes Binarias:

Propiedades Topolgicas
Algunas propiedades topolgicas:

Nmero de componentes conexas

Nmero de agujeros o huecos
Nmero de Euler digital
Nmero de cavidades (en 3D)

Componente conexa digital

Una componente conexa digital es un conjunto de pxeles
tal que para cualquier par de pxeles del conjunto, existe
un camino digital que los une.
Se dice que una componente conexa est acotada si no
posee ningn pxel del borde del mallado.
23

Imgenes Binarias:

Propiedades Topolgicas
Agujeros

Un agujero en una imagen digital binaria 2D es una

componente blanca que es adyacente a una
componente negra que la rodea.
Nmero de Euler

Si C es el nmero de componentes conexas y A es el

nmero de agujeros, el nmero de Euler de una imagen
digital binaria 2D se define como:
E=C-A

24

Imgenes Binarias:

Propiedades Topolgicas
Nmero de Euler o Gnero

Si C es el nmero de componentes conexas y A es el

nmero de agujeros, el nmero de Euler de una imagen
digital binaria 2D se define como:
E=C-A

E= C - A = 2 3 = -1

E= C - A = 2 5 = -3

rbol de
adyacencias
25

Imgenes Binarias:
Componentes Conexas
Las componentes conexas y los agujeros, de una imagen
cambian en funcin de la adyacencia que se ocupe, es decir,
la topologa es diferente.
Imagen con 1 componente
conexa para 8-adyacencia
Imagen con 5 componentes
conexas para 4-adyacencia

26

Etiquetado de componentes conexas

Atribuir una etiqueta (label) nica a cada objeto

una imagen de etiquetas da a cada objeto un valor

de pxel diferente

27

Imgenes Binarias:

Propiedades Topolgicas
Algoritmo de clculo de componentes conexas
Recorremos la imagen binaria de izquierda a derecha y de arriba a
abajo.
Usando la 4-adyacencia en negro:
Paso 1. Para cada pixel P(x,y) que sea negro, examinamos a los vecinos
superiores P(x,y-1) y P(x-1,y).

Si son blancos, damos a P una nueva etiqueta;

Si tan slo uno es negro, le damos a P su etiqueta;
Si ambos son negros, le damos a P la etiqueta de uno de ellos, y si sus
etiquetas son diferentes, registramos el hecho de que son equivalentes.

Paso 2. Ordenamos las parejas equivalentes en clases de equivalencia, y

escogemos una etiqueta para representar cada clase.
Paso 3. Realizamos un segundo rastreo de la imagen y sustituimos cada
etiqueta por el representante de cada clase; cada componente ha sido
ahora etiquetada de forma nica.
28

Imgenes Binarias:

Propiedades Topolgicas
Algoritmo de clculo de componentes conexas
Consideremos la siguiente
imagen:

El resultado del primer

rastreo, usando
4-adyacencia es :

Resultado del segundo

rastreo, reemplazando
todas las etiquetas
equivalentes por una
representativa:
29

Imgenes Binarias:

Propiedades Topolgicas
Teorema de Jordan digital
Una curva digital (en negro) define exactamente dos
componentes conexas (blancas) en el mallado, una
acotada y otra no acotada.
En el espacio continuo es imposible pasar desde la
regin encerrada por la curva a la regin de afuera
sin cruzar la curva.
Mallado hexagonal

Considerando 6-adyacencia tanto para pxeles

blancos como para pxeles negros, una curva
cerrada digital en el mallado hexagonal siempre
verifica el teorema de Jordan (no hay paradojas).

30

Imgenes Binarias:

Teorema de Jordan
Mallado cuadrado
Usando la 4-adyacencia para pxeles negros:
Ejemplo de curva cerrada pero que no
encierra ningn pxel, por tanto, no se
cumple el teorema de Jordan.
Usando la 8-adyacencia para pxeles negros:
Cualquier curva cerrada encerrara por
lo menos un pxel en su interior.

Pero si consideramos la 8-adyacencia para blancos tambin, vemos

que los pxeles blancos forman una nica componente conexa, por
tanto, no se cumple el Teorema de Jordan (Paradoja de Jordan).
31

Imgenes Binarias:

Teorema de Jordan
Mallado cuadrado
Otro ejemplo donde si consideramos la 8-adyacencia para blancos y
negros, vemos que los pxeles blancos forman una nica
componente conexa.
Si consideramos la 4-adyacencia para blancos y negros, los negros
forman dos componentes conexas, por lo que el blanco debera ser
una componente conexa.

Ambos casos no cumplen el Teorema de Jordan.

32

Imgenes Binarias:

Teorema de Jordan
Mallado cuadrado
Para que se cumpla Teorema de Jordan, se deben considerar
connectividades diferentes para blancos y negros.
El TdeJ de satisface para las (8,4)-adyacencia y (4,8)-adyacencia.

33

Imgenes Binarias:

Teorema de Jordan
Mallado triangular
Usando la 3-adyacencia para pxeles negros:

Usando la 12-adyacencia para pxeles blancos y negros:

34

Imgenes Binarias:

Teorema de Jordan
CONCLUSION

Las adyacencias que no provocan paradoja de Jordan son:

Mallado hexagonal: (6,6)-adyacencia.
Mallado cuadrado: (8,4)-adyacencia
Mallado triangular: (12,3)-adyacencia
donde (p,q)-adyacencia indica la eleccin de p-adyacencia
para negro y q-adyacencia para blanco.

35

Imgenes Binarias:

Borde de una Imagen

Dada una imagen con la (p,q)-adyacencia (p-adyacencia para negro
y q-adyacencia para blanco).

El borde de la imagen (en negro) es el conjunto de pxeles

en negro que tienen, al menos un q-vecino en blanco.

Anlogamente, el borde de la imagen (en blanco), es el

conjunto de pxeles en blanco que tienen, al menos, un
p-vecino en negro.

36

Imgenes Binarias:

Borde de una Imagen

Un pxel negro P del borde de la imagen se considera simple

si el nmero de componentes conexas de los vecinos en
negro (y blanco) de P no vara cuando P es reemplazado por
un pxel blanco.

Por otro lado, un punto es final si tiene exactamente un

vecino negro; un punto final no es ms que un punto
extremo de la imagen.
0 1 1
0 P 0
1 0 0

P es simple para la 4-adyacencia en negro, pero no para la 8.

0 1 0
0 P 1 P es simple para la 8-adyacencia en negro pero no para la 4.
0 0 0

37

Imgenes Binarias:

Esqueleto

El esqueleto representa la estructura de un objeto con un

nmero pequeo de pxeles, mientras que conserva las
propiedades topolgicas del objeto original.

El esqueleto puede tener aplicaciones, por ejemplo, en

deteccin de fallos en procesos de fabricacin o
reconocimiento de formas (patrones).
38

Imgenes Binarias:

Esqueleto

Algoritmo de adelgazamiento: Punto simple

Bsicamente, el procedimiento de adelgazamiento consiste

en ir borrando sucesivamente los puntos del borde de la
imagen, de forma que se preserve la topologa de la figura.

Un punto del borde de la imagen se puede eliminar si es

simple y no es final.

El borrado de puntos debe seguir un esquema de barridos sucesivos

en las direcciones de los 4 puntos cardinales para que la imagen
siga teniendo las mismas proporciones que la original y conseguir as
que no quede deformada.

El borrado en cada rastreo (punto cardinal) debe hacerse en paralelo,

es decir, sealar todos los pxeles "borrables" para eliminarlos todos a la
vez.

Repetir hasta que no se produzcan cambios.

39

Imgenes Binarias:

Esqueleto

Transformada de la Distancia.

Se calcula la distancia de cada pixel de los objetos al borde

de la imagen.

Se puede utilizar para determinar el esqueleto.

40

Imgenes Binarias:

Esqueleto

Transformada de la Distancia.

Ejemplo de aplicacin de la transformada de la distancia

para el conteo de clulas.

41

Topologa Digital 3D

Distintos tipos de adyacencias en el mallado cbico: 6, 18, 26

- 6 voxels adyacentes a una cara - 6 voxels adyacentes a una cara

- 12 voxels adyacentes a una arista

- 6 voxels adyacentes a una cara

- 12 voxels adyacentes a una arista
- 8 voxels adyacentes a un vrtice

En 3D las adyacencias 6 son opuestas a 26 y 18 luego algunas

adyacencias que satisfacen el Teorema de Jordan son:

Mallado cuadrado: (26,6)-adyacencia, (26,18)-adyacencia, etc.

42

Topologa Digital 3D

Ejemplo: componentes conexas

43