348:+1 zero-dimensional sides, and not each subset of the set of zero-dimensional sides of a cell is a cell. This is important since the notion of an abstract cell complexes can be applied to the two- and three-dimensional grids used in image processing, which is not true for simplicial complexes. A non-simplicial complex is a generalization which makes the introduction of cell coordinates possible: There are non-simplicial complexes which are Cartesian products of such "linear" one-dimensional complexes where each zero-dimensional cell, besides two of them, bounds exactly two one-dimensional cells. Only such Cartesian complexes make it possible to introduce such coordinates that each cell has a set of coordinates and any two different cells have different coordinate sets. The coordinate set can serve as a name of each cell of the complex which is important for processing complexes.
456:
485:
435:. The bounding path is a sequence of cells in which each cell bounds the next one. The book contains the theory of digital straight segments in 2D complexes, numerous algorithms for tracing boundaries in 2D and 3D, for economically encoding the boundaries and for exactly reconstructing a subset from the code of its boundary. Using the abstract cell complexes, efficient algorithms for tracing, coding and polygonization of boundaries, as well as for the edge detection, are developed and described in the book
444:
33:
351:
Abstract complexes allow the introduction of classical topology (Alexandrov-topology) in grids being the basis of digital image processing. This possibility defines the great advantage of abstract cell complexes: It becomes possible to exactly define the notions of connectivity and of the boundary of
472:
subdivision, etc. One such rule maps the points, cracks, and faces to the top left coordinate of the pixel. These dimensional constituents require no explicit translation into their own data structures but may be implicitly understood and related to the 2D array which is the usual data structure
418:
is in accordance with the axioms only if the neighborhood relation is anti-symmetric and transitive. The neighborhood relation is the reflexive hull of the inverse bounding relation. It was shown that classical axioms of the topology can be deduced as theorems from the new axioms. Therefore, a
463:
This decomposition together with a coordinate assignment rule to unambiguously assign coordinates from the image pixels to the dimensional constituents permit certain image analysis operations to be carried out on the image with elegant algorithms such as crack
359:. This is important from the point of view of computer science since it is impossible to explicitly represent a non-discrete Hausdorff space in a computer. (The neighborhood of each point in such a space must have infinitely many points).
128:(1908). Also A.W Tucker (1933), K. Reidemeister (1938), P.S. Aleksandrov (1956) as well as R. Klette and A. Rosenfeld (2004) have described abstract cell complexes. E. Steinitz has defined an abstract cell complex as
451:
A digital image may be represented by a 2D Abstract Cell
Complex (ACC) by decomposing the image into its ACC dimensional constituents: points (0-cell), cracks/edges (1-cell), and pixels/faces (2-cell).
301:(1989) described abstract cell complexes for 3D and higher dimensions. He also suggested numerous applications to image analysis. In his book (2008) he suggested an axiomatic theory of locally finite
295:
569:
Reidemeister K.: "Topologie der
Polyeder und kombinatorische Topologie der Komplexe". Akademische Verlagsgesellschaft Geest & Portig, Leipzig, 1938 (second edition 1953)
427:. An abstract cell complex is a particular case of a locally finite space in which the dimension is defined for each point. It was demonstrated that the dimension of a cell
176:
239:
473:
representation of a digital image. This coordinate assignment rule and the renderings of each cell incident to this image is depicted in the image at right.
431:
of an abstract cell complex is equal to the length (number of cells minus 1) of the maximum bounding path leading from any cell of the complex to the cell
352:
subsets. The definition of dimension of cells and of complexes is in the general case different from that of simplicial complexes (see below).
632:
305:
which are generalization of abstract cell complexes. The book contains new definitions of topological balls and spheres independent of
71:
49:
363:
298:
96:
is assigned to each point. The complex is called “abstract” since its points, which are called “cells”, are not subsets of a
42:
355:
The notion of an abstract cell complex differs essentially from that of a CW-complex because an abstract cell complex is no
419:
locally finite space satisfying the new axioms is a particular case of a classical topological space. Its topology is a
329:
53:
469:
455:
121:
310:
484:
627:
V. Kovalevsky: "Geometry of
Locally Finite Spaces". Editing house Dr. Bärbel Kovalevski, Berlin 2008.
244:
367:
306:
523:
443:
424:
89:
498:
490:
333:
302:
131:
644:
Kovalevsky, V., Image
Processing with Cellular Topology, Springer 2021, ISBN 978-981-16-5771-9.
660:
628:
414:. New axioms of a locally finite space have been formulated, and it was proven that the space
328:
The notion of the abstract cell complex defined by E. Steinitz is related to the notion of an
109:
394:. A binary neighborhood relation is defined in the set of points of the locally finite space
465:
209:
560:
Tucker A.W.: "An abstract approach to manifolds", Annals
Mathematics, v. 34, 1933, 191-243.
503:
356:
97:
120:
The idea of abstract cell complexes (also named abstract cellular complexes) relates to
447:
A 3x4 digital image decomposed into its
Abstract Cell Complex dimensional constituents.
420:
125:
105:
17:
654:
322:
48:
It may require cleanup to comply with
Knowledge's content policies, particularly
480:
370:
which are a generalization of abstract cell complexes. A locally finite space
101:
93:
578:
Aleksandrov P.S.: Combinatorial
Topology, Graylock Press, Rochester, 1956,
536:
Abhandlungen der Königlichen
Gesellschaft der Wissenschaften zu Göttingen
190:
is an asymmetric, irreflexive and transitive binary relation called the
337:
610:
454:
442:
386:. This subset containing a limited number of points is called the
202:
is a function assigning a non-negative integer to each element of
596:
Kovalevsky, V.: "Finite
Topology as Applied to Image Analysis",
587:
Klette R. and Rosenfeld. A.: "Digital Geometry", Elsevier, 2004.
524:
http://spie.org/Publications/Proceedings/Paper/10.1117/12.404813
26:
344:-dimensional element of an abstract complexes must not have
321:
The topology of abstract cell complexes is based on a
41:
A major contributor to this article appears to have a
247:
212:
134:
549:
Sitzungsbericht Berliner Mathematischen Gesellschaft
410:
belongs to the smallest neighborhood of the element
104:. Abstract cell complexes play an important role in
439:Abstract Cell Complex Digital Image Representation
289:
233:
170:
402:is in the neighborhood relation with the element
313:and many algorithms useful for image analysis.
598:Computer Vision, Graphics and Image Processing
534:Listing J.: "Der Census räumlicher Complexe".
522:Reinhard Klette: Cell complexes through time.
92:in which a non-negative integer number called
8:
366:contains the description of the theory of
336:by the property that its elements are no
246:
211:
133:
72:Learn how and when to remove this message
515:
459:Digital Image ACC Coordinate Assignment
547:Steinitz E.: "Beiträge zur Analysis".
374:is a set of points where a subset of
7:
325:in the set of its points or cells.
25:
538:, v. 10, Göttingen, 1862, 97–182.
483:
290:{\displaystyle dim(a)<dim(b)}
100:as is the case in Euclidean and
52:. Please discuss further on the
31:
600:, v. 45, No. 2, 1989, 141–161.
284:
278:
263:
257:
228:
216:
165:
141:
1:
330:abstract simplicial complex
171:{\displaystyle C=(E,B,dim)}
677:
378:is defined for each point
470:digital straight segment
88:is an abstract set with
551:, Band. 7, 1908, 29–49.
311:combinatorial manifolds
18:Abstract cell complexes
615:geometry.kovalevsky.de
460:
448:
398:: The element (point)
332:and it differs from a
309:, a new definition of
291:
235:
234:{\displaystyle B(a,b)}
206:in such a way that if
194:among the elements of
172:
458:
446:
388:smallest neighborhood
368:locally finite spaces
292:
236:
173:
86:abstract cell complex
50:neutral point of view
245:
210:
132:
425:Alexandrov topology
90:Alexandrov topology
84:In mathematics, an
499:Simplicial complex
491:Mathematics portal
461:
449:
334:simplicial complex
303:topological spaces
287:
231:
168:
633:978-3-9812252-0-4
192:bounding relation
110:computer graphics
82:
81:
74:
45:with its subject.
16:(Redirected from
668:
645:
642:
636:
625:
619:
618:
607:
601:
594:
588:
585:
579:
576:
570:
567:
561:
558:
552:
545:
539:
532:
526:
520:
493:
488:
487:
466:boundary tracing
296:
294:
293:
288:
240:
238:
237:
232:
177:
175:
174:
169:
77:
70:
66:
63:
57:
43:close connection
35:
34:
27:
21:
676:
675:
671:
670:
669:
667:
666:
665:
651:
650:
649:
648:
643:
639:
626:
622:
609:
608:
604:
595:
591:
586:
582:
577:
573:
568:
564:
559:
555:
546:
542:
533:
529:
521:
517:
512:
504:Cubical complex
489:
482:
479:
441:
357:Hausdorff space
319:
243:
242:
208:
207:
130:
129:
118:
98:Hausdorff space
78:
67:
61:
58:
47:
36:
32:
23:
22:
15:
12:
11:
5:
674:
672:
664:
663:
653:
652:
647:
646:
637:
620:
602:
589:
580:
571:
562:
553:
540:
527:
514:
513:
511:
508:
507:
506:
501:
495:
494:
478:
475:
440:
437:
421:poset topology
318:
315:
286:
283:
280:
277:
274:
271:
268:
265:
262:
259:
256:
253:
250:
230:
227:
224:
221:
218:
215:
167:
164:
161:
158:
155:
152:
149:
146:
143:
140:
137:
117:
114:
106:image analysis
80:
79:
39:
37:
30:
24:
14:
13:
10:
9:
6:
4:
3:
2:
673:
662:
659:
658:
656:
641:
638:
634:
630:
624:
621:
616:
612:
606:
603:
599:
593:
590:
584:
581:
575:
572:
566:
563:
557:
554:
550:
544:
541:
537:
531:
528:
525:
519:
516:
509:
505:
502:
500:
497:
496:
492:
486:
481:
476:
474:
471:
467:
457:
453:
445:
438:
436:
434:
430:
426:
422:
417:
413:
409:
405:
401:
397:
393:
389:
385:
381:
377:
373:
369:
365:
364:V. Kovalevsky
360:
358:
353:
349:
347:
343:
339:
335:
331:
326:
324:
323:partial order
317:Basic results
316:
314:
312:
308:
304:
300:
281:
275:
272:
269:
266:
260:
254:
251:
248:
225:
222:
219:
213:
205:
201:
197:
193:
189:
185:
181:
162:
159:
156:
153:
150:
147:
144:
138:
135:
127:
123:
115:
113:
111:
107:
103:
99:
95:
91:
87:
76:
73:
65:
55:
51:
46:
44:
38:
29:
28:
19:
640:
623:
614:
605:
597:
592:
583:
574:
565:
556:
548:
543:
535:
530:
518:
462:
450:
432:
428:
415:
411:
407:
403:
399:
395:
391:
387:
383:
379:
375:
371:
362:The book by
361:
354:
350:
345:
341:
327:
320:
203:
199:
195:
191:
187:
183:
179:
124:(1862) and
119:
102:CW complexes
85:
83:
68:
59:
40:
126:E. Steinitz
62:August 2020
510:References
299:Kovalevsky
122:J. Listing
338:simplices
94:dimension
54:talk page
661:Topology
655:Category
477:See also
184:abstract
241:, then
116:History
631:
611:"Home"
307:metric
297:. V.
182:is an
178:where
340:: An
186:set,
629:ISBN
267:<
198:and
108:and
423:or
406:if
390:of
382:of
200:dim
657::
613:.
468:,
112:.
635:.
617:.
433:c
429:c
416:S
412:a
408:b
404:a
400:b
396:S
392:P
384:S
380:P
376:S
372:S
346:n
342:n
285:)
282:b
279:(
276:m
273:i
270:d
264:)
261:a
258:(
255:m
252:i
249:d
229:)
226:b
223:,
220:a
217:(
214:B
204:E
196:E
188:B
180:E
166:)
163:m
160:i
157:d
154:,
151:B
148:,
145:E
142:(
139:=
136:C
75:)
69:(
64:)
60:(
56:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.