Sie sind auf Seite 1von 15

geoinformation.

net

Folie 1 von 29

Geoinformation I Topologie

geoinformation.net

Folie 2 von 29

Topologiebersicht
!
!

Topologie - Allgemeines
Punktmengentopologie
Nachbarschaft
Beispiele zur Nachbarschaft
Nhe, offene/geschlossene Menge
Abschlu, Inneres, Grenze
Zusammenhang
topologische Transformationen
Regularisierung
topologische Relationen
(Egenhofer)
"
"
"
"
"
"
"
"

Algebraische Topologie
Simplizes
Teilsimplizes
Simpliziale Komplexe
"
"
"

geoinformation.net

Folie 3 von 29

TopologieMotivation
!

Die quantitative Beschreibung rumlicher


Zusammenhnge (im Euklidischen Raum) ist Aufgabe
der Vermessungskunde
Rumliche Modellierungen mssen ebenso
bestimmten strukturellen -topologischenZusammenhngen gengen (Beispiel: Sind zwei
Grundstcke benachbart?)

Wir betrachten die grundlegenden Konzepte der


Topologie bzw. topologischer Rume

geoinformation.net

Folie 4 von 29

TopologieAllgemeines
Wir unterscheiden zwei Anstze der Topologie:
!

Punktmengentopologie (analytische Topologie)


Definition des topologischen Raumes durch das Konzept der Nachbarschaft auf
einer Menge von Punkten
Alle topologischen Eigenschaften lassen sich auf Nachbarschaft zurckfhren
Rumliche Beziehungen (Verbundenheit, Grenze, ...) lassen sich durch die
Terminologie der Punktmengentopologie ausdrcken
Algebraische Topologie (geometrische Topologie)
Theorie der simplizialen Komplexe: Mosaikzerlegung der Objekte in strukturell
gleich gebaute Primitive
"

"
"

"

geoinformation.net

Folie 5 von 29

PunktmengentopologieTopologischer Raum
Gegeben: Eine Menge S und die Menge aller Teilmengen von S
(die Potenzmenge P(S) )
Ein topologischer Raum besteht aus einer Menge S und einer Menge von Teilmengen
von S (nicht notwendig aller), den Nachbarschaften. Dabei gilt:
T1: Jeder Punkt p S liegt in einer Nachbarschaft von S.
T2: Der Durchschnitt zweier Nachbarschaften eines Punktes p S enthlt eine
Nachbarschaft von p.
!

geoinformation.net

PunktmengentopologieBeispiel I
Die Nachbarschaft sei eine offene Kreisscheibe in der
euklidischen Ebene (S =
)
offene Kreisscheibe: Menge aller Punkte, die durch einen Kreis
begrenzt werden, aber nicht auf demselben liegen
punktierte Linie: offen
durchgezogene Linie: geschlossen
!
!

ist ein topologischer Raum:


!

T1 ist erfllt: Jeder Punkt p


hat eine offene
Kreisscheibe als Nachbarschaft
T2 ist erfllt: Der Durchschnitt zweier Nachbarschaften
eines p
enthlt eine Nachbarschaft von p.

Folie 6 von 29

geoinformation.net

Folie 7 von 29

PunktmengentopologieBeispiele II - V
!

Die diskrete Topologie einer Punktmenge S:


Nachbarschaften sind S und die Menge aller Teilmengen von S
T1 und T2 sind erfllt
die kleinste Nachbarschaft von p S ist {p}
(Einzimmerappartment, daher der Name diskret)
Die indiskrete Topologie
S selbst ist die einzige Nachbarschaft von S
T1 und T2 sind erfllt
Euklidische Rume aller Dimensionen; T1 und T2 sind z.B. erfllt fr
die offenen Intervalle (a,b) in der Menge S = der reellen Zahlen als
Nachbarschaften
die offenen Kugeln in S =
als Nachbarschaften
"
"
"

"
"

"

"

geoinformation.net

Folie 8 von 29

PunktmengentopologieBeispiel VI
Fahrtzeittopologie
!

!
!

Gegeben sei ein Gebiet, das durch ein Verkehrsnetz erschlossen ist. S sei die
Menge aller Punkte des Gebiets.
Sei (p,q) die Fahrtzeit auf der krzesten Verbindung zwischen p und q.
Annahme: Fr alle p, q S gilt: (p,q) = (q,p)
Symmetrie, keine Einbahnstraen
t-Zone: die Menge aller Punkte, die von einem Ausgangspunkt aus in weniger als t
Minuten erreichbar ist
S mit der Menge aller t-Zonen (fr jeden Punkt!) ist eine Topologie.
"

geoinformation.net

Folie 9 von 29

PunktmengentopologieAbbildung zu Beispiel VI
Ein-Stunden-Zone
um Lige

Quelle: Worboys (1995)

geoinformation.net

Folie 10 von 29

PunktmengentopologieWo sind wir?


Wir haben den Begriff der "Nachbarschaft" definiert
Jetzt kommen mehrere auf den ersten Blick recht abstrakte Definitionen - alle
beruhen auf dem Konzept der Nachbarschaft
Zielbegriff: Der Rand oder die Grenze
Teilziel: Offene und geschlossene Flchen
Im folgenden gilt stets:
!
!

S sei ein topologischer Raum


X S; p, q S

geoinformation.net

Folie 11 von 29

PunktmengentopologieNhe, Offen, Geschlossen


p ist nahe an X, falls jede Nachbarschaft
von p einen Punkt von X enthlt.

Beispiel: C = {(x,y) | x + y < 1} sei die


offene Kreisscheibe um den Ursprung mit
Radius 1.
X ist offen, wenn jeder Punkt q eine
Nachbarschaft hat, die ganz in X ist.
X ist geschlossen, wenn X alle nahen
Punkte enthlt.

geoinformation.net

PunktmengentopologieWichtige nahe Punkte


Interessant sind die nahen Punkte, die
nahe an X sind ohne zu X zu gehren
!

bei der offenen Kreisscheibe die


Punkte des Kreises
beim offenen Intervall die
Zahlen a, b

Sie werden sehen, dass der Begriff der


Grenze auf dem Begriff der Nhe
aufbaut.

Folie 12 von 29

geoinformation.net

Folie 13 von 29

PunktmengentopologieAbschlu, Inneres, Grenze


Der Abschlu von X ist die Vereinigung
von X mit allen nahen Punkten.
Notation: X
Beispiel: geschlossene Kreisscheibe
C = {(x,y) | x + y <= 1}
Komplement von X: X
Das Innere von X ist die Menge aller
Punkte von X, die nicht zugleich nahe
Punkte von X sind.
Notation: X

Die Grenze (oder der Rand) von X ist die


Menge aller Punkte, die nahe zu X und
zugleich zu X sind.
Notation: X
Es gilt: X = X \ X
(mengentheor. Differenz)
Der "Rand" einer Kreisscheibe ist der
Kreis (wie zu erwarten)

geoinformation.net

Folie 14 von 29

PunktmengentopologieBeispiele "Inneres",...

Die Menge S

Abschlu von S

Das Innere von S

Rand von S

geoinformation.net

Folie 15 von 29

PunktmengentopologieZusammenhang
Ein Punktmenge X heit
zusammenhngend, wenn fr jede
Partition (disjunkte Zerlegung) in
nichtleere Teilmengen A und B gilt:
Entweder enthlt A einen Punkt nahe an
B oder B enthlt einen Punkt nahe an A
oder beides.

zusammenhngend

nicht zusammenhngend

geoinformation.net

Folie 16 von 29

PunktmengentopologieDiskret und indiskret


bung 1:
Zeigen Sie:
In der diskreten Topologie ist jede
nichtleere Menge X gleichzeitig offen
und geschlossen.

bung 2:
Zeigen Sie:
In der indiskreten Topologie ist jede
Menge X, die nicht leer und nicht gleich S
ist, weder offen noch geschlossen.

geoinformation.net

Folie 17 von 29

PunktmengentopologieTopologische Abbildung
Eine topologische Transformation
(Homeomorphismus) ist ein
>>Isomorphismus, der Nachbarschaften
auf Nachbarschaften abbildet.

Ausgangs- und Zielmenge einer


topologischen Transformation sind
topologisch quivalent

Beispiel: Topologie des


quivalent

nicht quivalent

Topologische Eigenschaften sind die


Invarianten topologischer Abbildungen.

geoinformation.net

Folie 18 von 29

PunktmengentopologieIsomorphismus
Ein Isomorphismus ist eine verknpfungstreue, bijektive Abbildung:
Wenn A verknpft B gleich C, dann ist f(A) verknpft f(B) gleich f(C).
Beispiel: Wenn

, dann

Eine bijektive Abbildung ist injektiv und surjektiv.


Eine Abbildung f ist injektiv, wenn fr alle x, y ungleich z gilt: f(x) ungleich f(y).
Eine Abbildung f ist surjektiv, wenn fr jedes y aus Y ein x aus X
exisitert mit f(x) = y.

geoinformation.net

Folie 19 von 29

PunktmengentopologiePfadzusammenhang
Ein Pfad ist ein homeomorphes Bild einer
geraden Kante.

Eine Menge X eines topologischen


Raumes heit (pfad-)
zusammenhngend, wenn jedes Paar
von Punkten durch einen Pfad verbunden
werden kann, der ganz in X liegt.

elastische Verformung

Pfadzusammenhang

geoinformation.net

PunktmengentopologieRegularisierung
X sei eine Punktmenge der Euklidischen
Ebene mit der Standardtopologie (offene
Kreisscheiben).
Die Regularisierung von X ist der
Abschlu () des Inneren () von X:
reg(X) = X
Ergebnis ist ein rein flchenhaftes
Objekt (ohne Beimengung von Punkten
und Linien, die nicht zur Flchenbildung
beitragen)

Folie 20 von 29

geoinformation.net

Folie 21 von 29

PunktmengentopologieTopologische Relationen

geoinformation.net

Folie 22 von 29

Topologische Relationen Problemstellung


Gesucht: Beziehung zwischen zwei Punktmengen X und Y (schneiden sich X und Y,
liegt X in Y, usw.)
Gegeben: Rand und Inneres beider Mengen (

bzw.

Lsung: Wir bringen jeweils den Rand bzw. das Innere von X mit dem Rand und dem
Inneren von Y zum Schnitt und betrachten die Schnittmengen

geoinformation.net

Folie 23 von 29

Topologische Relationen Zusammenfassung I

X disjunkt Y

X trifft Y

X gleich Y

X innerhalb Y

X berdeckt Y

X berlappt Y

geoinformation.net

Folie 24 von 29

Topologische RelationenZusammenfassung II
Operation

not
not

not
not
not

not
not
not
not
not
not

not

not
not

not
not

not

X disjunkt Y
X trifft Y
X gleich Y
X innerhalb Y
Y innerhalb X
X berdeckt Y
Y berdeckt X
X berlappt Y

geoinformation.net

Folie 25 von 29

Algebraische Topologie Motivation


In Kapitel 4 wurde die Geometrie rumlicher Objekte durch eine Vektor-Struktur
(Punkt, Kante, Polygon) reprsentiert.
Grundlegendes, theoretisches Modell dieser Darstellung ist die Notation der
simplizialen Komplexe
!
!

Objekte werden durch simpliziale Komplexe modelliert


Simpliziale Komplexe bestehen aus strukturell gleichgebauten Primitiven
(Simplexe)
Simpliziale Komplexe eignen sich gut zur Modellierung topologischer
Zusammenhnge:
Belegung von Komplexen mit Attributen
Belegung der Primitive mit Attributen
"
"

geoinformation.net

Algebraische Topologie Anwendungen


!
!
!
!

Gelndemodell (Triangulation)
Computergraphik
Eisberge
...

Folie 26 von 29

geoinformation.net

Folie 27 von 29

Algebraische Topologie Simplizes


Ein 0-Simplex ist ein Punkt
Ein 1-Simplex ist eine gerade Kante

Ein 2-Simplex ist ein Dreieck (Inneres + 3 Kanten + 3


Knoten)

Ein 3-Simplex ist ein Tetraeder

geoinformation.net

Algebraische Topologie Teilsimplizes


!

Ein Knoten ist Teilsimplex einer Kante

Eine Kante ist Teilsimplex eines Dreiecks

Ein Dreieck ist Teilsimplex eines Tetraeders

Der Teilsimplex T eines Simplex S ist ein Simplex,


dessen Knoten alle in S vorkommen.
Der Rand eines Simplex ist die Menge aller
Teilsimplizes.

Folie 28 von 29

geoinformation.net

Folie 29 von 29

Algebraische Topologie Simpliziale Komplexe


Ein Simplizialer Komplex C ist eine Menge
von Simplizes mit folgenden
Eigenschaften:
!

jeder Teilsimplex in C ist ebenfalls


in C
der Durchschnitt zweier Simplizes in
C ist entweder leer oder ein
Teilsimplex beider Simplizes

falsch: Korrektur: