Sie sind auf Seite 1von 14

Digitale Rume auf der Basis von a Alexandro-Raumen

Martin Hnniger u Hans-Dietrich Hecker 16. Mai 2005

Abstract Wir beschreiben den konzeptuellen Zusammenhang von topologischen Alexandro-Rumen und mit den in der digitalen Bilda verarbeitung gebruchlichen digitalen Rumen. Das Hauptresultat a a wird sein, da einfach zusammenhngende Alexandro-Rume 1a a einfach zusammenhngende digitale Rume erzeugen. a a

Inhaltsverzeichnis
1 Einleitung 2 Alexandro-Rume a 3 Spezialisierungen von Alexandro-Rumen a 4 Digitale Rume a 5 Durch Alexandro-Rume induzierte digitale Rume a a 6 Abschlieende Bemerkungen 1 2 6 8 11 13

Einleitung

In vielen Bereichen der Informatik spielt der Zusammenhang von Grundruma en eine entscheidende Rolle: so zum Beispiel in der Graphentheorie oder in der Digitalen Bildverarbeitung. Dabei werden in der Bildverarbeitung die graphentheoretischen Grundlagen genutzt. Dieser Ansatz f hrt aber nur selten zu zuu friedenstellenden Ergebnissen, wie das Beispiel des Zusammenhangsparadoxon zeigt (z.B. in [12]). Ziel dieser Arbeit ist es, zu zeigen, da ein weiterer Abstraktionsschritt, nmlich die Anwendung der mathematischen Topologie, sehr a fruchtbare Resultate f r die bestehende Theorie aufzeigt. u Die mathematische Topologie ist die Theorie vom Zusammenhang eines Grundraumes. Die zentralen Begrie dieser Theorie sind Inneres und Aueres, sowie Beschrnktheit bzw. Unbeschrnktheit. Einer der wichtigsten Stze a a a ist der Satz von Jordan-Brouwer, der diese Begrie in Zusammenhang bringt: 1

Satz 1.1 Es sei S Rn bzw. S S n eine (n 1)-dimensionale Sphre (n a 2), so besteht Rn \S bzw.S n \S aus genau zwei Zusammengangskomponenten. Hchstens eine dieser Komponenten ist unbeschrnkt. o a Die Klimmz ge, die notwendig waren, diesen Satz f r die in der digitalen Bildu u verarbeitung ublichen diskrete Grundrume zu beweisen, wie es z.B. Kong und a Rosenfeld [12] getan haben, bringen die Frage mit sich, ob es nicht auch eleganter geht. Nat rlich ist dies der Fall. Einerseits hat Khalimsky [8, 9, 10], u den Satz f r den Z2 mit der sogenannten Khalimsky-Topologie bewiesen, der u Fall des Zn mit dieser Topologie lt sich durch Einbettung in den Rn zeigen a und andererseits haben G.T.Herman et al. [4, 5, 6] oder J.K. Udupa [17] eine Sichtweise auf das Problem entwickelt, mit der die Jordan-Eigenschaft zu einer Eigenschaft der mit dem Grundraum verbundenen Zusammenhangsrelation wird. Dieser Ansatz hat den Vorteil, da er sich algorithmisch eleganter nutzen lt und das die Art des Grundraumes keinen Einu auf die Beweistechnik a hat, was sich insbesondere dann auszahlt, wenn man Methoden der Bildverarbeitung auf Sphren oder anderen bzw. hher-dimensionalen Flchen anwenden a o a mchte. o In diesem Text soll nun gezeigt werden, wie es mglich ist, ausgehend von o einem lokal endlichen topologischen Raum, einen Raum zu konstruieren, in dem die Hermansche Theorie anwendbar ist. Wir gehen dabei von den Ideen Alexandros [2] aus, die im zweiten Abschnitt dargelegt werden. Im dritten Abschnitt werden die durch die Alexandro-Rume denierten halbgeordneten Graphen a nher betrachtet. Die dann im f nften Abschnitt zusammen mit der Theorie der a u digitalen Rume aus Abschnitt vier das Ergebnis dieser Arbeit liefern. a

Alexandro-Rume a

In seiner Arbeit [2] von 1937 hat Alexandro die Grundlagen der Digitalen Topologie gelegt. Diese sind aber vor den achtziger Jahren des letzten Jahrhundert nicht angewandt wurden. Deshalb erscheint es notwendig, eine kurze Betrachtung uber den mathematisch-theoretischen Hintergrund dieser Disziplin anzugeben. Die Beweise der topologischen Aussagen sind trivial und knnen in o [14] nachgelesen werden. Wir starten mit dem grundlegendem Konzept dieser Arbeit: Denition 2.1 Ein topologischer Raum (X, ) ist eine Menge X und ein System von oenen Mengen (die Topologie), die folgende Forderungen erf llen: u T1 X , T2 Xi , i I
iI

Xi
n i=1

T3 Xi , i {1, . . . , n}

Xi

Eine Menge A X hat die Relativtopologie |A := {A O : O }. Topologische Rume tauchen nicht nur in der Funktionalanalysis oder Dierena tialgeometrie auf, sie sind, wie oben schon angedeutet, ein Teil der Geometrie, der Inzidenz oder Zusammenhang abstrakt zugnglich macht. Wie vielfltig die a a 2

Natur dieser Rume ist zeigen die Beispiele des diskreten Raumes (X, P(X)), a des trivialen topologischen Raumes (X, {X, }) oder des sogenannten SierpinskiRaumes ({a, b}, {, {a}, {a, b}}). Wie Khalimsky in [8] gezeigt hat, ist auch Zn topologisierbar. Die beschriebene Charakterisierung einer Topologie basiert auf der Verwendung von sogenannten oenen Mengen. Eine Menge A X heit abgeschlossen in (X, ), wenn X \ A oen ist. Es ist leicht zu sehen, da beide Denitionen dual zueinander sind und topologische Rume auch unter der Verwendung von a abgeschlossenen Mengen deniert werden knnen. o Ein wesentliches Konzept, den Zusammenhang eines Raumes zu beschreiben, ist die Umgebung. Eine Teilmenge U eines topologischen Raumes (X, ) heit Umgebung von x X, wenn eine oene Menge O exisitert mit x O U . Man f hrt sich leicht vor Augen, da obwohl der dikskrete oder triviale Raum u zwar beide topologische Rume sind sie aber bez glich der Umgebungen ihrer a u Punkte ein vollkommen verschiedenes Verhalten zeigen. Dieses Verhalten heit Trennungseigenschaft und die in diesem Text verwendeten sollen hier deniert werden: Denition 2.2 Ein topologischer Raum (X, ) hat die Trennungseigenschaft T0 : T1 : T2 :
x,yX , x,yX , x,yX ,

x=y: x=y: x=y:

U U

: (x U y) (y U x) :xU y : (x U y) (y V x) (U V = )

U,V

Ein Raum mit der Eigenschaft Ti wird Ti -Raum genannt. Ein T2 -Raum heit auch Hausdor-Raum Der Leser kann sich leicht uberlegen, da jeder Ti -Raum ein Ti1 -Raum ist. Manche, vor allem die von uns betrachteten topologischen Rume, lassen sich a durch eine weitere Eigenschaft ihrer Umgebungen charakterisieren. So nennen wir die Rume in denen jeder Punkt in einer endlichen Umgebung und einer a endlichen abgeschlossenen Menge liegt lokal endlich. Ublicherweise deniert man zu gewissen Objekten auch gleich Morphismen, d.h. Abbildungen zwischen Objekten, die gleiche Axiome erf llen. So werden zu u halbgeordneten Mengen die Halbordnunghomomorphismen eingef ht, zu Grupu pen die Gruppenhomomorphismen und auch dieser Text soll in dieser Hinsicht keine Ausnahme darstellen. Die zu topologischen Rumen gehrigen Morphisa o men sind die stetigen Funktionen und haben folgende Eigenschaft: Denition 2.3 Eine Abbildung f : X Y zwischen zwei topologischen Ruma en (X, ), (Y, ) heit stetig, wenn f r O die Menge f 1 (O) in liegt. u Das heit, da eine Funktion stetig ist, wenn Urbilder oener Mengen oen sind. Stetige FUnktionen die bijektiv sind heien Homomorphismen. Eine Charako terisierung der stetigen Funktionen im Khalimsky-Raum kann bei Melin [13] gefunden werden. In der Einleitung wurde schon angedeutet, da der wesentliche Begri der Topologie der des Zusammenhanges ist. So verstehen wir unter einem zusammenhngenden toplogischen Raum (X, ) einen Raum in dessen Topologie a

keine zwei nichtleeren disjunkten Mengen existieren, die den Grundraum X zerlegen, d.h: X = O1 O2 , O1 , O2 , O1 = = O2 O1 O2 = . Wir nennen eine Menge A X zusammenhngend, wenn sie bez glich der a u Relativtopologie zusammenhngend ist. a Dieser einfache Zusammenhang ist aber keinesfalls die einzige Art von Zusammenhang in topologischen Rumen. Man deniert einen Weg als eine stetige a Abbildung w : I X von dem Intervall I = [0, 1] R in den topologischen Raum X. Es sei darauf hingewiesen, da das Intervall I keinesfalls Teilmenge von R sein mu, F r unsere Belange reicht auch Z. Weiterhin ist es immer u mglich, falls der Weg in X mehrere Punkte trit I stetig auf eine Teilmeno ge von Z abzubilden und stattdessen dieses Bild als Indexmenge zu verwenden (w : {0, . . . , m} X). Es ist uns nun mglich eine weitere und wesentlich eino facher zu handhabende Form des Zusammenhanges zu denieren. Wir nennen einen topologischen Raum (X, ) wegzusammenhngend, wenn zu je zwei Punka ten x, y X ein Weg w existiert, mit w(0) = x und w(m) = y. Weiterhin heit (X, ) lokal (weg-) zusammenhngend, wenn zu jedem Punkt x X und zu a jeder Umgebung U von x eine (weg-) zusammenhngende Umgebung V von x a mit V U existiert. Es sei darauf hingewiesen, da im Allgemeninen diese beiden Konzepte nicht identisch sind. Ein Beispiel ist die Menge {(x, sin (1/x)) : x (0, 1]} {(0, y) : y [1, 1]} mit der Relativtopologie des R2 . Dieser Raum ist Zusammenhngend aber nicht wegzusammenhngend. a a Es gilt aber folgendes Lemma 2.1 Es gilt: 1. Ein wegzusammenhngender Raum ist zusammenhngend. a a 2. Ist X zusammenhngend und lokal wegzusammenhngend, dann ist X wega a zusammenhngend. a Der letzte f r uns relevante Begri der reinen Topologie, ist der der Homou topie: Denition 2.4 Es seien X und Y topologische Rume. Eine Homotopie von X a nach Y ist eine Schar ht : X Y , wobei der Parameter t das Einheitsintervall I = [0, 1] durchluft, so da folgende Bedingung erf llt ist: die Funktion H : a u X I Y , H(x, t) = ht (x), ist stetig. Dabei hat X I die Produkttopologie. Zwei Funktionen heien homotop (f g : X Y ), wenn es eine Homotopie = ht : X Y mit h0 = f und h1 = g gibt. Ist g eine konstante Abbildung, so heit f nullhomotop. Ein topologischer Raum heit zusammenziehbar, wenn die Identitt auf dem a Raum nullhomotop ist. Homotopien erlauben es Rume durch stetige Abbildungen zwischen ihnen vera gleichbar zu machen. Man kann sich das so vorstellen, da jeder Punkt von X in der Zeit t zu seinem Bild in Y wandert. Auch in diesem Fall mu I nicht notwendig eine Teilmenge von R sein. Die bisher beschriebenen einfachen Methoden sollen ausreichen, uns nun den Alexandro-Rumen zuzuwenden. Sie bilden eine Teilklasse der topologischen a Rume und werden wie folgt deniert: a 4

Denition 2.5 Ein Alexandro-Raum (X, ) ist ein topologischer Raum, in dem anstatt der Eigenschaft T3 das folgende Axiom gilt: T3 Xi , i I
iI

Xi .

Man beachte den wesentlichen Unterschied: W rde man versuchen den R u mit einer Alexandro-Topologie zu versehen, dann wre man in der folgenden a 1 1 Situation: Die Intervalle In = (a n , a + n ) R sind oen, aber nN In ist {a}, wobei {a} abgeschlossen in R ist. Dieses Phnomen kommt nich von a ungefhr. Es ist auf die T2 -Eigenschaft des Rn zur ckzuf hren. Allgemein kann a u u man feststellen: Lemma 2.2 Ein Alexandro-Raum, der das Trennungsaxiom T1 oder T2 erf llt, hat notwendig die diskrete Topologie. u Beweis. Sei X ein T1 -Raum, x X und U eine Umgebung von x. Ist U = {x} sind wir fertig. Ansonsten existiert ein y = x in U und nach Eigenschaft T1 eine Umgebung U , die x aber nicht y enthlt. Der Durchschnitt aller dieser Mengen a ist oen, X also diskret. Der Beweis f r T2 -Rume ist analog. u a Wir verstehen also im weiteren unter einem Alexandro-Raum einen T0 Raum, der Axiom T3 erf llt. Es ist weiterhin klar, da ein Alexandro-Raum u durch seine minimalen oenen Mengen, die einen Punkt x enthalten eindeutig beschrieben ist. Wir denieren diese als kleinste Umgebungen U aller x. Die kleinste Umgebung U(A) einer Menge A X ist die Vereinigung aller U(x) f r u x A in X. Das nchste Ergebnis von Stong [16] wird es ermglichen zu zeigen, da f r a o u Alexandro-Ra me die Begrie Zusammenhang und Wegzusammenhang idenu tisch sind. Lemma 2.3 Sei X ein Alexandro-Raum, der einen Punkt x enthlt, soda a die einzige oene Umgebung von x der Raum X selbst ist. Dann ist X zusammenziehbar. Beweis. Wir denieren eine Homotopie H : X I X durch H(x, t) = x f r 0 t < 1 und H(y, 1) = x f r alle y X. (Wir knnen f r I auch {0, 1} u u o u mit der Sierpinski-Topologie {, {1}, {0, 1}} annehmen.) Wir zeigen, da H stetig ist. Es sei Y X oen. 1.Fall: y Y . O.B.d.A. Y = X. Damit ist H 1 (Y ) = H I oen. 2.Fall: y Y . Dann ist H 1 (Y ) = Y [0, 1) oen. Lemma 2.4 Ist X ein Alexandro-Raum und x X, dann ist U(x) zusammenziehbar. Damit hat X eine Basis zusammenziehbarer oener Mengen. Insbesondere ist X lokal zusammenziehbar. Beweis. Wir nutzen die Behauptung 2.3 mit X = U(x). Aus den beiden Lemmata und Lemma 2.1 Teil 2 folgt nun sofort der

Satz 2.1 Jeder Alexandro-Raum ist lokal wegzusammenhngend, also genau a dann wegzusammenhngend, wenn er zusammenhngend ist. a a

Abbildung 1: Ein Alexandro-Raum mit 56 Elementen. Davon entsprechen 16 den


Punkten, 27 den Kanten und 13 den Flchen in der Darstellung. a

Spezialisierungen von Alexandro-Rumen a

Dieser Abschnitt befat sich mit dem kategorialem Isomorphismus zwischen Alexandro-Rumen und halbgeordneten Graphen. Um diese Analogie besser a verstehen zu knnen, sollen noch einmal die wichtigsten Begrie der Grapheno theorie angegeben werden. Denition 3.1 Wir verstehen unter einem Graph G = (V, E) eine Menge von Punkten G und eine Menge von Kanten E G G. Zwei Punkte x, y eines Graphen G sollen adjazent heien, wenn (x, y) oder (y, x) ein Element der Kantenmenge E ist. G heit leer, wenn G leer ist. G mu nicht notwendig reexiv ((x, x) E) oder symmetrisch ((x, y) E (y, x) E) sein. Ein Graph G = (G, E) heit transitiv, wenn aus (x, y), (y, z) E folgt, da auch (x, z) eine Kante von G ist. Der duale Graph zu G ist der Graph G = (G, E ) mit E = {(w, v) : (v, w) E} und die Symmetrisierung von G ist der Graph G S = (G, E S ) mit der Kantenmenge E S = E E . Auch in Graphen ist der Begri des Zusammenhanges erklrt. Ein Graph a G heit zusammenhngend, wenn zu je zwei Punkten x, y G S eine Folge x = a v0 , . . . , vn = y, vi G S mit (vi , vi+1 ) E S existiert. Eine solche Folge heit auch Pfad. Man bemerke die konzeptuelle Ahnlichkeit des Begries des Pfades in Graphen und des Weges in topologischen Rumen. Denn bekanntermaen a kann man eine solche Folge auch als Abbildung {0, . . . , m} G auassen. Auch f r Graphen sollen Morphismen deniert werden. Man nennt f r zwei u u Graphen G = (G, E) und H = (H, F ) eine Abbildung f : G H von G auf H einen Graphenhomomorphismus oder einfach Homomorphismus, wenn klar ist, da es sich um Graphen handelt, wenn f r (x, y) E gilt: (f (x), f (y)) u F . Ein Isomorphismus ist ein Homomorphismus, der bijektiv ist, also dessen Umkehrabbildung auch Homomorphismus ist. G und H heien isomorph, wenn ein Isomorphismus zwischen ihnen existiert. F r einen Graphen G = (G, E) und eine Menge H G sind folgende Mengen u deniert: Die Umgebung von H in G ist die Menge UG (H) = H yG:
xH

(x, y) E

Und die Adjazenzmenge von H in G ist die Menge

Beim Abschlu von H in G handelt es sich um die Menge clG (H) = H x G : (x, y) E
yH

AG (H) = UG (H) clG (H) \ H Wir kennen nun die grundlegenden Begriichkeiten, um Alexandro-Rume a durch Graphen zu beschreiben. Denition 3.2 Sei (X, ) ein Alexandro-Raum. Seine Spezialisierung ist der Graph G = (X, ), mit
=

{(x, y) : x, y X, x cl(y)}

Dabei ist cl der Abschlu in (X, ). Der Graph G ist oenbar reexiv und transitivwegen x cl(y) cl(x) cl(y)und man mag annehmen, die Antisymmetrie gelte nicht, also x cl(y) und y cl(x) f r x = y. Dies ist aber durch die Denition eines Alexandro-Raumes u als T0 -Raum nicht mglich. o Lemma 3.1 Sei (X, ) ein halbgeordneter Raum. Dann ist (X, ) mit = {O X : x O U (x) O} ein Alexandro-Raum. Beweis. T1 Klarerweise gilt . Es gilt X , weil aus x X folgt: U (x) X. T2 Seien Oi , i I. Dann gilt: x
iI

Oi

iI

U (x) Oi Oi
iI

U (x)
iI

Oi

T3 Seien Oi , i I. Dann gilt: x


iI

Oi

iI

U (x) Oi Oi
iI

U (x)
iI

Oi

Die Zuordnung eines Alexandro-Raumes (X, ) zu seiner Spezialisierung (X, ) ist mit der Abbildung, die stetige Funktionen uber (X, ) auf Halb ordnungshomomorphismen uber (X, ) abbildet ein Kategorienisomorphismus. Das heit, da Alexandro-Rume und halbgeordnete Graphen abstrakt gesea hen die gleichen Objekte beschreiben. Das wird nat rlich auch in den Begrien u dieser Kategorien oenbar. Lemma 3.2 Ein Alexandro-Raum (X, ) ist genau dann zusammenhngend, a wenn (X, S ) zusammenhngend ist. a Beweis. () Sei (X, ) zusammenhngend wegen Satz 2.1 ist (X, ) wega zusammenhngend. Es existiert also f r x, y X eine stetige Abbildung a u w : {0, . . . , m} X mit w(0) = x und w(m) = y. Diese entspricht oensichtlich einem Weg in (X, S ). () Sei (X, S ) zusammenhngend und x, y X. Dann existiert ein Weg a w in (X, S ) mit w(0) = x und w(m) = y. Dieser erzeugt einen Weg in (X, ). Damit ist (X, ) wegzusammenhngend, insbesondere also zusammenhngend a a nach Satz 2.1.

Abbildung 2: Der zum Alexandro-Raum aus Abb. 1 gehrige Spezialisierungsgraph. o

Digitale Rume a

In diesem Abschnitt soll die von G.T. Herman et al. in [4, 5, 6] entwickelte Theorie der digitalen Rume vorgestellt werden. Die zentrake Idee dieses Konzeptes a ist es, Mengen zusammen mit gewissen Adjazenzrelationen daraufhin zu untersuchen, in welchen Fllen eine Teilmenge der Realtion eine Jordan-Eigenschaft a erf llt. Es ist dabei wesentlich zu erkennen, da diese Kurve bzw. Flche zwiu a schen den Punkten des Raumes liegt und nicht wie in der Geometrie oder Topologie ublich einen geschlossenen Weg im Graundraum darstellt. Diese Vor gehensweise liefert aber wesentlich bessere Ergebnisse bei der algorithmischen Anwendung, wie man in [17] und [7] sehen kann. Denition 4.1 Ein digitaler Raum ist ein Paar (V, ), wobei V eine nichtleere Menge, deren Elemente Spels (spatial elements) genannt werden, und eine

symmetrische binre Relation ( Adjazenzrelation) ist, soda V unter zusama menhngend ist. (V, ) heit nitr, wenn | {d : (c, d) } | < f r alle c V a a u gilt, also wenn nitr ist. a Eine Adjazenzrelation in (V, ) heit Spel-Adjazenz, wenn . Eine nichtleere Teilmenge von soll digitale Flche heien. F r einen digitalen Raum a u (V, ) seien O, Q Teilmengen von V. Dann ist derRand von O und Q die Menge (O, Q) := {(c, d) : (c, d) , c O, d Q} der Man sieht sofort, da der Rand zweier Teilmengen eines digitlalen Raumes eine digitale Flche ist, wenn dieser nichtleer ist. a Es sei (V, ) ein digitaler Raum und S eine digitale Flche. Wir denieren a folgende spezielle Mengen: 1. Das unmittelbare Innere von S ist die Menge II(S) := {c : (c, d) S} 2. Das unmittelbare Auere von S ist die Menge IE(S) := {d : (c, d) S} 3. Ein Pfad w : {0, m} V durchquert S, wenn ein k {0, . . . , m} existiert mit (w(k), w(k + 1)) S. 4. Das Innere von S ist: I(S) := dV : Es ex. ein Pfad, der ein c II(S) mit d verbindet und S nicht durchquert.

5. Das Auere von S ist: E(S) := cV : Es ex. ein Pfad, der c mit einem d IE(S) verbindet und S nicht durchquert.

Man beachte in 3. und 4. die Asymmetrie der Denitionen. Es ist nmlich a mglich auch Adjazenzrelationen zuzulassen, die nicht symmetrisch sind. Dann o f hrt diese Dention immer noch zu brauchbaren Ergebnissen. Wir werden hier u aber nicht nher auf diese Flle eingehen. Der interessierte Leser kann Beispiele a a in [4] nden. Denition 4.2 Eine digitale Flche S in einem digitalen Raum (V, ) heit a near-Jordan, wenn jeder Pfad von einem Element aus II(S) zu einem Element IE(S) S durchquert. Ist eine digitale Flche nicht near-Jordan, so ist I(S)E(S) = , denn es existiert a ein Pfad von II(E) nach IE(S), der S nicht durchquert. Der umgekehrte Fall ist i.A. nicht richtig. Lemma 4.1 Sei (V, ) ein digitaler Raum S eine digitale Flche. Dann sind a folgende Aussagen quivalent: a 9

1. S ist near-Jordan. 2. Jeder Pfad von einem Element aus I(S) zu einem Element aus E(S) durchquert S. 3. I(S) E(S) = . Wenn diese Bedingungen erf llt sind, dann gilt: u S = (I(S), E(S)).

Dieses Resultat wurde von Herman in [4] bewiesen. Aus den beiden letzten Be hauptungen folgt, da das Innere und Auere einer digitalen Flche, die neara Jordan ist, V disjunkt zerlegen. Die digitale Flche liegt auf dem Rand dieser a zwei Mengen und man kann vom Inneren nicht zum Aueren gelangen, ohne S zu durchqueren. Das ist beinahe der Satz von Jordan-Brouwer. Was uns noch fehlt und was f r das near in near-Jordan verantwortlich ist, ist da Wissen u dar ber, ob I(S) und E(S) Zusammenhangskomponenten sind. Da die digitalen u Rume mit einem Blick auf diesen Aspekt eingef hrt wurden, erklrt man zua u a erst, was ein digitales Bild uber einem digitalen Raum (V, ) ist. Man versteht darunter ein Tripel (V, , f ), wobei f eine Funktion ist mit dem Denitionsbereich V. Ein binres Bild ist ein digitales Bild, mit f : V {0, 1}. Die Elemente a f 1 (0) heien 0-Spels und die in f 1 (1) 1-Spels. Ein binres Bild heit endlich, a wenn f 1 (1) endlich ist. Es heit eine digitale Flche S in (V, ) nun Rand in a (V, , f ), wenn eine Komponente O von 1-Spels und eine Komponente Q von 0-Spels existieren, soda S = (O, Q) gilt. Damit ist auch das Problem des Zusammenhanges auf elegante Weise aus dem Weg gerumt. a Wir stellen nun die Frage nach dem Zusammenhang im Grundraum. Denn es kann in zusammenhngenden Rumen durchaus Unterschiede der Art des a a Zusammenhanges geben. Ein triviales Beispiel sind einfache Polygone und Polygone mit Lchern. In topologischen Rumen geht man f r gewhnlich so vor, o a u o da man geschlossene Pfade, sogenannte Zyklen, betrachtet und beobachtet, was passiert, wenn man versucht diese auf einen Punkt zusammenzuzziehen, also eine Homotopie vom Zyklus auf eine konstante Abbildung sucht. In einem Polygon mit Loch ist das oensichtlich nicht f r jeden Zyklus mglich. In digiu o talen Rumen geht man analog vor. Als erstes erklrt man, wann zwei Pfade a a homotop sind. Herman nannte diese Eigenschaft N -Aquivalenz: Es seien w und v Pfade in einem digitalen Raum (V, ) mit w(0), . . . , w(l), v(0), . . . , v(l), w(l + 1), . . . , w(l + n 1), w(l + k), . . . , w(l + k + m) v(l + 1), . . . , v(l + k 1), v(l + n), . . . , v(l + n + m)

und w(i) = v(i), f r i {0, . . . , l}, w(l + n + i) = v(l + k + i), f r i {0, . . . , m}. u u w und v heien elementar N -quivalent, wenn gilt: 1 k + n N + 2. (siehe a Abb. 3.) Die zwei Pfade w, v heien N -quivalent, wenn es eine Folge w0 , . . . , wp von a Pfaden mit w0 = w und wp = v gibt, soda wi1 und wi elementar N -qzuvalent a sind f r i {1, . . . , p}. Diese Folge ist gerade die Homotopie in der topologischen u Sprache.

10

w(l + 1) w(l) w(l + 2) w(l + 3) w (l) w (l + 1) w (l + 2)

w(0)

w (0)

Abbildung 3: Zwei elementar 1-quivalente Pfade w und w mit l = 3, k = 0, n = 1 a


und m = 2.

Ein Zyklus ist ein Pfad w mit w(0) = w(m). Eine konstante Abbildung w : {0, . . . , m} (V, ) heit trivialer Weg Man sieht auch leicht ein, da jeder Zyklus der Lnge 1 oder 2 N -quivalent a a zum trivialen Zyklus f r N 0. u Denition 4.3 Ein digitaler Raum (V, ) heit N -einfach zusammenhngend, a wenn jeder Zyklus in (V, ) zu einem trivialen Zyklus quivalent ist. a Die Idee des N -einfachen Zusdammenhanges unterscheidet sich von der topologischen Vorstellung durch die Erweiterung der Beobachtung, wie viele Punkte eines Weges auf einen Punkt des anderen Weges abgebildet werden. Dieses N ist nicht f r alle Rume gleich und stellt ein grundlegendes Charakteristikum dieu a ses Raumes dar. Zum Beispiel ist, wie Herman in [5] zeigen konnte, der digitale Raum (Z2 , N4 ), wobei N4 die in der digitalen Bildverarbeitung ubliche Vierer nachbarschaft bezeichnet, ein 2-einfach zusammenhngender Raum, der zweidia mensionale Khalimsky-Raum dagegen ist 1-einfach zusammenhngend ([?], [5]). a Es wird im nchsten Abschnitt gezeigt werden, da alle Alexandro-Rume 1a a einfach zusammenhngende digitale Rume erzeugen. a a

Durch Alexandro-Rume induzierte digitale a Rume a

Wir kombinieren die Hermansche Theorie mit den Alexandro-Rumen. Dies a ermglicht den Beweis eines Satzes, der das Theorem 3.9 in [5] verallgemeinert. o Dazu sei ersteinmal zu bemerken, da oensichtlich jeder Alexandro-Raum (A, ) einen digitalen Raum (A, S ) erzeugt. Denn per denitoinem ist die Re lation S binr und symmetrisch (Abb. 4). a

Abbildung 4: Der durch Symmetriesierung des Graphen aus Abb. 2 entstandene digitale Raum.

11

Lemma 5.1 Es sei (A, ) ein Alexandro-Raum und w, v zwei homotope Wege in (A, ). Dann sind w und v 1-quivalent in (A, S ). a Beweis. O.B.d.A. knnen wir annehmen, da w und v die gleiche Lnge hao a ben. Ferner sei die Homotopie H von folgender Form: H : {0, . . . , m} {0, 1} A. Deswegen gilt auch w(0) = v(0) und w(m) = v(m). Wir betrachten zuerst den Fall, da w(j) = v(j) f r j {1, . . . , m 1}. u Sei h0 := w. Wir denieren im Folgenden hi auf der Basis von hi1 . Sei ki1 {0, . . . , mi1 } minimal mit hi1 (ki1 ) Im(v), wobei Im(v) das Bild der Funktion v bezeichnet. Es sei Mi1 := A(hi1 (ki1 ) \ (Im(v) \ Im(hi1 )). 1.Fall: Mi1 = . Durchlaufrichtung von hi (j) := hi (j) := Dann sei x Mi1 minimal bez glich der durch die u v induzierten Ordnung. Wir setzen hi1 (j) j {0, . . . , ki1 1} x j = ki1 hi1 (j 1) j {ki1 + 1, . . . , mi1 + 1}

2.Fall: M = . Dann wird hi so deniert: hi1 (j) j {0, . . . , ki1 1} hi1 (j + 1) j {ki1 , . . . , mi1 1}

Wegen der Homotopie von w nach v und der Transitivitt des Graphen (A, a ) folgt (hi (ki1 1), hi (ki1 )) S und (hi (ki1 ), hi (ki1 + 1)) S . Es ist weiterhin oensichtlich, da es ein hl = v geben mu, da nur endlich viele der Elemente von Im(w) und Im(v) verschieden sind. Man sieht nun leicht, da hi1 und hi elemntar 1-quivalent sind f r i {1, . . . , l}, woraus die 1-Aquivalenz a u von w und v folgt.

Abbildung 5: Das in Lemma 5.1 beschriebene Verfahren, angewandt auf zwei Pfade
im Khalimsky-Raum.

Satz 5.1 Es sei (A, ) ein lokal endlicher einfach zusammenhngender Alexa andro-Raum. Dann ist (A, S ) ein nitrer 1-einfach zusammenhngender a a digitaler Raum. Beweis. Oensichtlich impliziert lokal endlich nitr. Der 1-einfache Zua sammenhang von (A, S ) folgt aus dem einfachen Zusammenhang von (A, ) und Lemma 5.1. Die Kraft des eben bewiesenen Resultates wird ersichtlich, wenn wir den folgenden Satz betrachten: 12

Satz 5.2 In jedem Binrbild uber jedem 1-einfachen zusammenhngenden dia a gitalen Raum ist jeder Rand zwischen einer Komponente von 1-Spels und einer Komponente von 0-Spels eine minimale digitale Flche, die near-Jordan ist. a Beweis. Dies folgt aus dem Theorem 2.9 und Corollary 3.8 in [1].

Abschlieende Bemerkungen

Mit dieser Arbeit konnte gezeigt werden, da es sinnvoll ist, Alexandro-Rume a als Grundlage f r die digitale Bildverarbeitung zu nutzen, da sie per se die u Eigenschaft haben, nicht nur im ublichen Sinne, sonder auch nach der Den tion von Herman Jordan-Kurven zuzulassen. Damit und der Erkenntnis, da Alexandro-Rume durch simpliziale Zerlegungen erzeugt werden (Alexandro a [2]), haben wir nun die Mglichkeit auf elegante Art und Weise Bildverarbeitung o nicht nur auf dem Z2 oder Z3 zu machen sondern auch auf exotischeren Rumen a wie den Sphren, was in geographischen Anwendungen eine Rolle spielen kann. a Als oene Frage bleibt noch, ob es mglich ist in einfach zusammenhngeno a den Alexandro-Raumen den Satz von Jordan-Brouwer zu beweisen, ohne Mita tel der algebraischen Topologie zu Rate zu ziehen. Eine sehr spezielle Form ist der Beweis von Khalimsky et al. [10] bzw. der von Kiselman [11] f r den Z2 . u Anlass zu glauben, da dies mglich ist, geben vor allem die Ideen von Evako o et al. [3]. F r Leser, die eine Anwendung dieses Resultats in der Algorithmentheorie u interessiert sind sei auf das Kapiter 5 der Arbeit [7] verwiesen.

Literatur
[1] Ron Aharoni, Gabor T. Herman, Martin Loebl. Jordan Graphs. Graphical models and image processing. 58(4):345-359, 1996. [2] P. Alexandro. Diskrete Rume. Mat. Sb. 2(44) N.3:501-519,1937. a [3] Alexander V. Evako, Ralph Kopperman, Yurii V. Mukhin. Dimensional Properties of Graphs and Digital Spaces. Journal of Mathemathical Imaging and Vision 6:109-119, 1996. [4] Gabor T. Herman. Oriented Surfaces in Digital Spaces. CVGIP: Graphical Models and Image Processing 55(5):381-396, 1993. [5] Gabor T. Herman. Finitary 1-simply Connected Digital Spaces. CVGIP: Graphical Models and Image Processing 60(1):46-56, 1998. [6] Gabor T. Herman, Enpin Zhao. Jordan Surfaces in Simply Connected Digital Spaces. Journal of Mathematical Imaging and Vision 6:121-138, 1996. [7] Martin H nniger. Lokal endliche, topologische Rume und das Erreichbaru a keitsproblem. Diplomarbeit, FSU Jena, 2005.

13

[8] Em Khalimsky. Pattern Analysis of N-dimensional digital images. Proceedings of the IEEE International Conference on Systems Man and Cybernetics 1559-1562, 1986. [9] Em Khalimsky. Motion deformation and homotopy in nite spaces. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics 227-234, 1987. [10] Em Khalimsky, Ralph Kopperman, Paul R. Meyer. Computer graphics and connected topologies on nite ordered sets. Topology and its Applications 36:1-17, 1990. [11] Christer O. Kiselman. Digital Jordan Curve Theorems. Discrete Geometry for Computer Imagery. Gunilla Borgefors, Ingela Nystrm, Gabriella o Sanniti di Baja (Eds.), 9th International Conference, DGCI 2000, Uppsala, Sweden, December 13-15, 2000. Lecture Notes in Computer Science 1953. Springer, 2000. [12] T.Y. Kong, A. Rosenfeld. Digital Topology: Introduction and Survey. Computer Vision, Graphics and Image Processing 48:357-393, 1989. [13] Erik Melin. Connectedness and continuity in digital spaces with the Khalimsky topology. www.math.uu.se/~melin/khalimsky_exj.pdf, 2003. [14] Boto v. Querenburg, Mengentheoretische Topologie, 3. Auage. Springer, 2001. [15] Ralph Stcker, Heiner Zieschang. Algebraische Topologie. 2.Auage. o B.G.Teubner Stuttgart, 1994. [16] R.E. Stong. Finite topological spaces. Trans. ACM 325-340, 1966 [17] Jaykram K. Udupa, Multidimensional Digital Boundaries. CVGIP: Graphical Models and Image Processing 59(4):311-323, 1994.

14