Topologie

Topologia este o ramur a matematicii, mai precis o extensie a geometriei care

studiaz deformrile spaiului prin transformri continue.
n cadrul Sistemelor Geografice Informaionale termenul poate fi definit ca tiina
i matematica relaiilor utilizate pentru validarea geometriei entitilor vectoriale i
pentru o serie de operaii cum ar fi analiza de reea i de vecintate [1]. n sens
mai larg, topologia descrie relaiile spaiale existente ntre obiecte folosind seturi de
reguli pentru a observa cum entitile vectoriale (puncte, linii, poligoane)
mprtesc geometria i spaiul.

Etimologie
Termenul topologie provine din contracia substantivelor greceti topos () i
logos () care semnific loc, respectiv studiu. Aadar, topologie nseamn
literal "studiul locului".
Alte denumiri folosite anterior: geometria situs, analysis situs, unde situs
nseamn "loc" n latin.

Introducere
Topologia se deosebete de geometria euclidian prin modul de considerare a
echivalenei dintre obiecte. n geometria euclidian, dou obiecte sunt echivalente
dac sa pot transforma unul n cellalt prin izometrii - transformri care pstreaz
valoarea unghiurilor, lungimilor, ariilor i volumelor.

Istoric
n 1736, matematicianul Leonhard Euler a publicat lucrarea intitulat Problema
celor apte poduri de la Knigsberg, despre care se poate spune c st la baza
acestei ramuri matematice. Termenul topologie este introdus de Johann Benedict
Listing n articolul Vorstudien zur Topologie, publicat n 1847.
Topologia modern are ca punct de plecare teoria mulimilor, dezvoltat de Georg
Cantor n a doua jumtate a secolului al XIX-lea, la care se adaug studiile privind
seriille Fourier i mulimile punctuale din cadrul teoriei spaiilor euclidiene. n
lucrarea sa, Analysis Situs din 1895, Henri Poincar introduce conceptele de
omotopie, omologie, care astzi aparin topologiei algebrice. n 1906, pornind de la
lucrrile lui Cantor, Volterra, Hadamard, Ascoli, Maurice Frchet deschide drumul n
domeniul spaiilor metrice. n 1914, Hausdorff definete spaiul care i va purta
numele.
n anul 1970, pregtindu-se de recensmnt, United States Census Bureau, a
folosit toplogia matematic pentru a reduce erorile ce apreau pe hrile rezultate.

Definiie matematic
Considerm mulimea X i fie T o familie a sa de submulimi. Atunci T este o
topologie pe X dac:
1. Mulimea vid i X sunt elemente ale lui T.
2. Reuniunea oricror dou elemente din T este element al lui T.
3. Intersecia unui numr finit de elemente din T este element al lui T.
n acest caz spunem c X mpreun cu T formeaz un spaiu topologic. Elementele
lui T se numesc "mulimi deschise"; complementarele acestora se numesc "mulimi
nchise".

Spaiu topologic
Un spaiu topologic este o mulime pe care s-a definit o structur pe baza creia
se definesc noiunile de vecintate, convergen i limit.
Ca definiie formal, un spaiu topologic este o pereche

, cu

desemneaz mulimea submulimilor lui X), satisfcnd simultan urmtoarele

proprieti:
1.

2. dac
3. dac

, atunci
, atunci

Mulimile din
se numesc mulimi deschise. Proprietatea 1 spune c mulimea vid
i spaiul nsui trebuie s fie mulimi deschise. Proprietatea 2 cere ca orice
intersecie de dou mulimi deschise s fie o mulime deschis; prin inducie
matematic rezult de aici c intersecia oricrei familii finite de mulimi deschise
este o mulime deschis. Proprietatea 3 cere ca reuniunea oricrei familii (nu
neaprat finite) de mulimi deschise s fie o mulime deschis.

Exemple
1.

este topologia cea mai grosier ce poate fi definit pe o

mulime.

2.

este topologia cea mai fin ce poate fi definit,

numit topologia discret.

3. Dac d este o funcie distan (o metric) definit pe X (X este un spaiu

metric), topologia indus de metrica d are ca mulimi deschise toate
mulimile care satisfac proprietatea c pentru fiecare punct exist o bil de
raz nenul inclus n acea mulime:

unde
.

este bila (deschis) de centru x i de raz

Vecinti
Se numete vecintate a unui punct
submulime
:

al unui spaiu topologic orice

ce conine o mulime deschis ce conine punctul

.

Submulimi speciale ale unui spaiu topologic

Mulimi nchise
O submulime a unui spaiu topologic X se numete nchis dac complementul
su fa de spaiul X este o mulime deschis.
Din proprietile mulimilor deschis rezult c mulimea vid, ntreg spaiul X,
orice reuniune finit de mulimi nchise i orice intersecie (posibil infinit) de
mulimi nchise este o mulime nchis.
Mulimi conexe
O submulime M a unui spaiu topologic X se numete conex dac nu exist nici
o acoperire a ei prin dou mulimi deschise disjuncte:

Pentru ntregul spaiu X, condiia de conexitate este echivalent cu aceea de-a nu

avea alt submulime simultan nchis i deschis dect mulimea vid i ntregul
spaiu.
Mulimi compacte
O submulime M a unui spaiu topologic X se numete compact dac din orice
acoperire deschis a ei se poate extrage o acoperire finit. Mai exact, pentru orice

familie
satisfcnd

satisfcnd

, exist o subfamilie

Extinderi ale conceptului

Pentru orice structur algebric se poate introduce o topologie discret.

Baz (spaiu topologic)

n matematic, o baz B a spaiului topologic (X, ) reprezint o familie de mulimi
deschise cu proprietatea c orice mulime deschis din X poate fi reprezentat ca
reuniune de mulimi din B. Se mai spune c topologia este generat de baza B.