Preface |
|
v | |
Acknowledgments |
|
ix | |
List of Figures |
|
xxi | |
List of Tables |
|
xxiii | |
1 Introduction |
|
1 | (20) |
|
1.1 Why digital geometry? |
|
|
1 | (10) |
|
1.2 Why mathematical morphology? |
|
|
11 | (2) |
|
1.3 How is image processing at all possible? |
|
|
13 | (3) |
|
1.4 Why discrete optimization? |
|
|
16 | (1) |
|
|
17 | (2) |
|
|
19 | (2) |
2 Sets, mappings, and order relations |
|
21 | (18) |
|
|
21 | (1) |
|
|
21 | (1) |
|
2.3 Notation for sets of numbers |
|
|
22 | (1) |
|
2.4 Counting with infinities |
|
|
22 | (1) |
|
2.5 The floor and ceiling functions |
|
|
23 | (1) |
|
2.6 Relations and mappings |
|
|
24 | (1) |
|
|
25 | (2) |
|
2.8 Mappings between preordered sets |
|
|
27 | (2) |
|
2.9 Epigraphs and hypographs |
|
|
29 | (1) |
|
2.10 Calculating with sets and functions |
|
|
30 | (1) |
|
2.11 Cleistomorphisms and anoiktomorphisms |
|
|
31 | (3) |
|
2.12 How to measure distribution of sizes? |
|
|
34 | (1) |
|
|
34 | (2) |
|
|
36 | (3) |
3 Morphological operations: Set-theoretical duality |
|
39 | (28) |
|
3.1 Groups and semigroups |
|
|
39 | (2) |
|
3.2 Dilations and erosions: Set-theoretical duality |
|
|
41 | (5) |
|
|
46 | (1) |
|
|
47 | (3) |
|
3.5 Approximation using infimal convolution |
|
|
50 | (1) |
|
3.6 Iterated infimal convolutions |
|
|
50 | (1) |
|
3.7 A more general infimal convolution |
|
|
51 | (1) |
|
3.8 Restricted Minkowski addition |
|
|
52 | (1) |
|
3.9 Combining dilations and erosions |
|
|
53 | (2) |
|
3.10 Commuting with translations |
|
|
55 | (1) |
|
3.11 Matheron's structural theorems |
|
|
56 | (5) |
|
|
61 | (2) |
|
|
63 | (4) |
4 Complete lattices |
|
67 | (14) |
|
|
67 | (2) |
|
4.2 Definitions and examples |
|
|
69 | (4) |
|
4.3 Moore families and dual Moore families |
|
|
73 | (4) |
|
4.4 Dilations and erosions in complete lattices |
|
|
77 | (1) |
|
|
78 | (1) |
|
|
79 | (2) |
5 Inverses and quotients of mappings |
|
81 | (34) |
|
|
81 | (1) |
|
5.2 Defining inverses of mappings |
|
|
82 | (1) |
|
5.3 First properties of inverses |
|
|
83 | (3) |
|
|
86 | (1) |
|
|
87 | (3) |
|
|
90 | (1) |
|
5.7 Special cases of inverses |
|
|
91 | (5) |
|
5.8 Examples of upper and lower inverses |
|
|
96 | (9) |
|
5.9 Quotients of mappings |
|
|
105 | (3) |
|
5.10 Pullbacks and pushforwards |
|
|
108 | (4) |
|
|
112 | (1) |
|
|
113 | (2) |
6 Structure theorems for mappings |
|
115 | (10) |
|
6.1 Set-theoretical representation of dilations, erosions, cleistomorphisms, and anoiktomorphisms |
|
|
115 | (1) |
|
6.2 Anoiktomorphisms as quotients |
|
|
116 | (1) |
|
6.3 Increasing mappings as suprema of elementary erosions |
|
|
117 | (1) |
|
6.4 Anoiktomorphisms as suprema of elementary anoiktomorphisms |
|
|
118 | (1) |
|
6.5 Strong ethmomorphisms |
|
|
119 | (4) |
|
|
123 | (1) |
|
|
123 | (2) |
7 Digitization |
|
125 | (16) |
|
|
125 | (3) |
|
7.2 Serra's four principles on gathering information |
|
|
128 | (1) |
|
7.3 Distances and metric spaces |
|
|
129 | (2) |
|
7.4 Discrete sets and uniformly discrete sets |
|
|
131 | (1) |
|
7.5 To discretize a function |
|
|
132 | (1) |
|
7.6 Discretization by balayage |
|
|
132 | (1) |
|
|
132 | (3) |
|
7.8 Difficulties in logic |
|
|
135 | (1) |
|
7.9 Comparing differences and derivatives |
|
|
136 | (3) |
|
|
139 | (1) |
|
|
140 | (1) |
8 Digital straightness and digital convexity |
|
141 | (26) |
|
|
141 | (3) |
|
8.2 Digital lines and Rosenfeld's chord property |
|
|
144 | (5) |
|
|
149 | (2) |
|
8.4 Real-valued functions on the integers |
|
|
151 | (2) |
|
8.5 Functions taking real values on Zn |
|
|
153 | (1) |
|
8.6 Characterization of straightness: The chord property |
|
|
154 | (2) |
|
8.7 Characterization of straightness: Balanced words |
|
|
156 | (2) |
|
8.8 Hyperplanes in the sense of Reveilles |
|
|
158 | (1) |
|
8.9 Refined digital hyperplanes |
|
|
158 | (2) |
|
8.10 Extending rectilinear segments |
|
|
160 | (3) |
|
|
163 | (2) |
|
|
165 | (2) |
9 Convexity in vector spaces |
|
167 | (36) |
|
|
167 | (1) |
|
|
167 | (1) |
|
9.3 Properties of convex sets |
|
|
168 | (1) |
|
|
169 | (1) |
|
9.5 The Hahn-Banach theorem |
|
|
170 | (2) |
|
9.6 Supporting hyperplanes |
|
|
172 | (1) |
|
9.7 Caratheodory's theorem |
|
|
173 | (1) |
|
9.8 Approximation of the convex hull |
|
|
173 | (2) |
|
9.9 Defining convex functions |
|
|
175 | (1) |
|
9.10 Properties of convex functions |
|
|
176 | (1) |
|
9.11 Strict and strong convexity |
|
|
177 | (1) |
|
9.12 Functions taking the value minus infinity |
|
|
178 | (1) |
|
|
178 | (2) |
|
9.14 Approximation of the convex envelope |
|
|
180 | (4) |
|
9.15 Separating hyperplanes |
|
|
184 | (2) |
|
|
186 | (2) |
|
9.17 Duality in convex analysis |
|
|
188 | (6) |
|
9.18 Duality of infimal convolution and addition |
|
|
194 | (1) |
|
9.19 Comparing two convolution operations |
|
|
194 | (2) |
|
|
196 | (1) |
|
9.21 Three fundamental properties |
|
|
196 | (3) |
|
|
199 | (2) |
|
|
201 | (2) |
10 Discrete convexity |
|
203 | (22) |
|
|
203 | (1) |
|
10.2 Restrictions and extensions of functions |
|
|
203 | (1) |
|
10.3 Convexity with respect to a subset of a vector space |
|
|
204 | (1) |
|
10.4 The integer neighborhood and the canonical extension |
|
|
205 | (2) |
|
10.5 Properties of the canonical extension |
|
|
207 | (2) |
|
|
209 | (1) |
|
10.7 Lateral convexity: Definitions |
|
|
209 | (2) |
|
10.8 Lateral convexity: Morphological aspects |
|
|
211 | (2) |
|
10.9 Lateral convexity: Examples |
|
|
213 | (1) |
|
10.10 Representations in terms of elementary convex functions |
|
|
214 | (3) |
|
10.11 Separating partially discretized sets |
|
|
217 | (2) |
|
10.12 Separating completely discretized sets |
|
|
219 | (1) |
|
10.13 Possible future studies |
|
|
220 | (1) |
|
|
220 | (2) |
|
|
222 | (3) |
11 Discrete convexity in two dimensions |
|
225 | (34) |
|
11.1 Jensen's inequality in the discrete case |
|
|
225 | (3) |
|
11.2 Discrete convexity and the chord property |
|
|
228 | (2) |
|
11.3 Submodular and separable functions |
|
|
230 | (1) |
|
11.4 The piecewise separately affine extension |
|
|
231 | (1) |
|
11.5 Rhomboidal convexity |
|
|
232 | (2) |
|
11.6 Conditions for rhomboidal convexity |
|
|
234 | (5) |
|
11.7 Independence of the conditions for rhomboidal convexity |
|
|
239 | (2) |
|
11.8 The maximal set of pairs which defines rhomboidal convexity |
|
|
241 | (1) |
|
11.9 (Z x R)-convexity and separate (Z x R)-convexity |
|
|
242 | (1) |
|
11.10 Smooth rhomboidally convex functions |
|
|
242 | (1) |
|
11.11 Extending functions from integer points |
|
|
243 | (2) |
|
11.12 Conditions for digital straightness |
|
|
245 | (2) |
|
11.13 What is the result when we digitize a Euclidean line? |
|
|
247 | (2) |
|
11.14 Discretizations of a function |
|
|
249 | (5) |
|
11.15 Extending convex extensible functions |
|
|
254 | (1) |
|
11.16 Possible future studies |
|
|
255 | (1) |
|
|
255 | (2) |
|
|
257 | (2) |
12 Three problems in discrete optimization |
|
259 | (28) |
|
|
259 | (1) |
|
12.2 Three fundamental problems |
|
|
259 | (3) |
|
12.3 Solution to Problem 1: Marginal functions |
|
|
262 | (4) |
|
12.4 Solution to Problem 2: Local minima |
|
|
266 | (3) |
|
12.5 Solution to Problem 3: Separating hyperplanes |
|
|
269 | (6) |
|
12.6 The marginal function of a function of integer variables |
|
|
275 | (1) |
|
12.7 Convolution and convex extensibility |
|
|
276 | (1) |
|
12.8 The set where the infimum is attained |
|
|
277 | (3) |
|
12.9 Lateral convexity of marginal functions |
|
|
280 | (4) |
|
12.10 Necessity of lateral convexity |
|
|
284 | (1) |
|
12.11 Possible future studies |
|
|
285 | (1) |
|
|
286 | (1) |
|
|
286 | (1) |
13 Duality of convolution operators |
|
287 | (18) |
|
|
287 | (1) |
|
13.2 Properties of convolution |
|
|
287 | (4) |
|
13.3 Families of functions under duality |
|
|
291 | (6) |
|
13.4 Duality between classes of functions and second-order difference operators |
|
|
297 | (1) |
|
13.5 More general convolution operators |
|
|
298 | (2) |
|
13.6 Discrete convexity defined by convolution |
|
|
300 | (2) |
|
13.7 Possible future studies |
|
|
302 | (1) |
|
|
303 | (1) |
|
|
304 | (1) |
14 Topology |
|
305 | (12) |
|
|
305 | (1) |
|
|
305 | (2) |
|
|
307 | (2) |
|
14.4 Transporting topologies |
|
|
309 | (1) |
|
|
310 | (1) |
|
|
310 | (2) |
|
|
312 | (1) |
|
|
313 | (2) |
|
14.9 Continuous mappings vs. increasing mappings |
|
|
315 | (1) |
|
14.10 Matheron's hit-or-miss topology |
|
|
315 | (1) |
|
|
315 | (1) |
|
|
315 | (2) |
15 The Khalimsky topology |
|
317 | (28) |
|
|
317 | (1) |
|
15.2 Smallest-neighborhood spaces |
|
|
317 | (3) |
|
15.3 Continuity for the Khalimsky topology |
|
|
320 | (4) |
|
15.4 Digitization of straight lines in the Khalimsky plane |
|
|
324 | (1) |
|
15.5 Fixed-point theorems |
|
|
325 | (6) |
|
15.6 Jordan curve theorems |
|
|
331 | (11) |
|
|
342 | (1) |
|
|
343 | (2) |
16 Distance transformations |
|
345 | (36) |
|
|
345 | (1) |
|
16.2 Translation-invariant distances |
|
|
345 | (2) |
|
|
347 | (5) |
|
16.4 Distance transforms and sublevel sets |
|
|
352 | (3) |
|
16.5 Finitely generated distances |
|
|
355 | (5) |
|
|
360 | (3) |
|
16.7 The calculus of balls |
|
|
363 | (9) |
|
16.8 Distance transforms in normed vector spaces |
|
|
372 | (3) |
|
|
375 | (2) |
|
|
377 | (4) |
17 Skeletonizing |
|
381 | (12) |
|
|
381 | (1) |
|
17.2 Defining skeletons, medial axes, and nervures |
|
|
381 | (2) |
|
17.3 Comparing medial axes, nervures, and skeletons |
|
|
383 | (2) |
|
17.4 Existence of skeletons |
|
|
385 | (2) |
|
17.5 Properties of skeletons |
|
|
387 | (2) |
|
|
389 | (2) |
|
|
391 | (2) |
18 Solutions |
|
393 | (26) |
Bibliography |
|
419 | (30) |
Author Index |
|
449 | (4) |
Subject Index |
|
453 | |