图像形态学中的拓扑结构.doc

 第 24卷 第 2期 2007年 4月 深圳大学学报理工版 JOURNAL O F SH EN ZH EN UN IV ER S ITY SC IENCE AND EN G IN EER IN G Vo l124 No12 Ap r1 2007 文章编号 : 100022618 ( 2007 ) 02 20217 204 图像形态学中的拓扑结构 高智民 , 汤建良 (深圳大学数学科学学院 , 深圳 518060 ) 摘 要 : 精确描述和论证了图像空间的拓扑结构 . 证明由欧氏空间的紧集所组成的拓扑空间不是紧拓 扑空间 , 且在这种空间上没有豪斯道夫度量 , 当这些紧集取自某个固定的有界集时 , 所构成的空间是紧空 间 , 且有豪斯道夫度量. 关键词 : 图像分析 ; 腐蚀运算 ; 膨胀运算 ; 开运算 ; 闭运算 ; 紧集 ; 上闭极限 ; 下闭极限 ; 拓扑结构 中图分类号 : O 18911 文献标识码 : A Y Rn 是一个 “很大 ”的有界闭集 , 坐标 Y 的内点 . 构造以下 3 类集族 . Γ = { F 令 原点是 1 基本概念 n n R : F ≠ ?, F是闭集 } , Φ = { K R : K ≠ ?, K是紧 集 } , Ψ = { K Y: K ≠ ?, K是紧集 }. 显然 Φ Γ,Ψ = { K ∩ Y: K ∈Φ. 且 K ∩ Y ≠ ?}. 在图像形态学理论中 , 把二值图像看成空间中 的集合 , 利用集合的并 、交 、余等运算 , 建立了图 像的膨胀 、腐蚀 、开 、闭以及相关的滤波运算 . 这 些形态学运算的理论研究 , 与其拓扑描述有密切联 系 , 所以必须为其建立严密的拓扑理论 , 并在此基 础上给出相关理论的精确数学描述. 111[ 1 23 ] . 设 定义 , G 是 有限 个 非空 开集 , G , G , 1 2 m n ( K1 , K2 , , Kp 是 R 中 有 限 个 紧 集 Kj 可 以 是 空 集 ) , 1, 2, 记 N ( { Gi } , { Kj } ) = { F ∈Γ: F ∩ Gi ≠ ?, i = , m ; F ∩ Kj = ?, j = 1, 2, , p} 令 R n 是 y ) 表示 x 和 n - 维欧氏空间 , 对 x, y ∈ Rn , 用 ρ( x, = { N ( { G } , { K } ) : { G } 是 Rn 中有限非 Π (Γ ) i j i n y 间的距离. 设 : 是正实数 , 称 : D = 空开集族 , { Kj } 是 R 中有限个紧集之族 , τ(Γ ) = { UΠ 3 :Π3 Π (Γ ) }. 容易 证 明 , (Γ,τ(Γ) ) 是 拓 扑 空 间 , 类 似 知 (Φ ,τ(Φ ) ) , (Ψ,τ(Ψ ) ) 也是拓扑空间 ,τ(Γ) 叫做 HM - 拓扑 . { x ∈ R n :ρ( x, O ) : } 是以坐标原点 O 为心 , 以 : 为半径的开球 . 记 U ( x, : ) ={ y ∈ R n :ρ( x, y ) : }. 以 Ω表示自然数之集 , 对于拓扑空间 ( X ,τ) , 若序 X 3 3 列 { xn : n ∈Ω} 收敛于 x , 则记 xn x . 若 ( X , 3 ρ) 是度量空间 , 且序列 { xn : n ∈Ω} 收敛于 x , 则 2 几个引理 引理 211 拓 扑空 间 (Γ,τ(Γ) ) , (Φ ,τ(Φ ) ) 以 及 (Ψ,τ(Ψ ) ) 都是具有可数基的 H au sdo rff空间. X 3 3 3 x 可简单表示为 xn → x 或 ρ( xn , x → 0, ) xn 其中 ρ是 X 中的距离. 另外以 Aˉ表示集合 A 的闭包 . 设 y 是 Rn 空间的一个点 , A , B 是 Rn 的子集 , 记 A [ y ] = { a + y: a ∈ A } , Aˇ= { - a: a ∈ A }. A ? B = { a + b: a ∈ A , b ∈ B } 称集合 A 关于集合 B 的膨 胀 , A ? B ˇ= ∩b∈B ˇA [ b ] 为集合 A 关于集合 B 的腐 蚀. 显然 A ? (B ? C ) = (A ? B ) ? C, 且 U (A , : ) n 【证 】设 r1 , r2 , 是 R 中的有理点 , 且 Um ,