Axioma de separació

Els axiomes de separació constitueixen uns requisits addicionals que es poden exigir a un espai topològic. Aquests requisits fixen el grau en què diferents punts o conjunts tancats poden ser separats per mitjà dels oberts de la topologia.[1]

Un dels graus possibles de separació és el dels espais T 2o Hausdorff, en quins punts diferents sempre estan separats per oberts disjunts.

Hi ha diversos nivells creixents de separació que es poden demanar a un espai topològic. Solen anomenar-se amb la lletra T (de Trennung, separació en alemany) i un subíndex convenient. Així apareix una jerarquia d'espais, entre els quals cal destacar els espais T 2o espais de Hausdorff, els T3o espais regulars i els T 4o espais normals.

Per desgràcia, excepte per a T0, T 1i T 2, els noms dels axiomes de separació no estan completament estandarditzats.[2]

La topologia és una branca de les matemàtiques on el que importa no són les mides de les figures ni les distàncies entre els seus punts sinó més aviat la forma de les figures, així com les propietats que es mantenen quan aquestes figures són deformades (per exemple la quantitat de punts en aquesta figura o la propietat de ser "d'una sola peça"). Hi ha diferents maneres de classificar aquestes propietats, les més destacades són: propietats de compacitat, propietats de connexió i propietats de separació. Vegem en què consisteixen aquestes propietats de separació i com podem distingir espais topològics per mitjà dels anomenats "axiomes de separació".

La definició de topologia, en la seva generalitat, admet estructures topològiques poc útils: pensem en un conjunt X amb més d'un element, dotat amb la topologia trivial (p. ex. els seus únics oberts són Ø i tot X). Aquesta topologia no conté oberts que ens permetin distingir topològicament dos punts diferents: tots dos punts comparteixen l'únic entorn possible. Mirant els entorns oberts de cada punt ens resulta impossible distingir-los. Diem que, a efectes topològics, X no és diferent d'un conjunt d'un sol punt dotat de la topologia trivial.[3]

Necessitem algun tipus de requisit sobre la topologia que garanteixi un nombre suficient d'oberts, de manera que aquests ens permetin distingir topològicament punts diferents. Els diferents graus en què es concreta aquesta exigència es plasma en els diferents axiomes de separació.

Alguns axiomes de separacióModifica

Espais   o KolmogórovModifica

Article principal: Espai de Kolmogórov

Un espai topològic   es diu   si i només si per qualsevol parell de punts   hi ha un obert que conté un dels punts i no conté l'altre punt.

Una equivalència a aquesta propietat és la següent: si   són elements de l'espai   tals que la clausura de   i la clausura d'  siguin iguals llavors  

Espais   o FréchetModifica

Article principal: Espai de Fréchet

Un espai topològic X es diu   si i només si per qualsevol parell de punts x, y de X hi ha un parell de conjunts oberts  ,  , tal que x estigui  , però no en  , ia més i estigui  , però no en  . Una equivalència important és que X és   si i només si els subconjunts de X formats per un únic punt són tancats.

Espais   o HausdorffModifica

Article principal: Espai de Hausdorff

Un espai topològic X és de Hausdorff o   si i només si per qualsevol parell de punts x, i en X hi ha un parell d'oberts disjunts que conté un axy altre a i.

Aquests espais són especialment importants, ja que a més de suposar una gran quantitat d'exemples (tots els espais mètrics són  ), tenen propietats fortes com el que la convergència d'una successió o d'un filtre, en cas d'existir, sigui única.

Espais  , completament de Hausdorff o d'UrysohnModifica

Article principal: Espai d'Urysohn

Espais   o regularsModifica

Article principal: Espai regular

Un espai topològic X és regular si és   i per a cada punt   i qualsevol tancat   tal que x no pertany a F existeix un entorn de     i un entorn de     tal que la seva intersecció és buida. És a dir, podem separar punts de tancats.

Espais  , completament regulars o TychonoffModifica

Article principal: Espai de Tychonoff

Un espai topològic X és completament regular si és   i per a cada punt   i qualsevol tancat   tal que x no pertany a F hi ha una funció contínua   tal que   i  .

Espais   o normalsModifica

Article principal: Espai normal

Un espai topològic X és normal si és   i per a cada parell de tancats   amb interseccio buida hi ha uns entorns que els continguin   i   tal que la seva intersecció sigui buida. És a dir, podem separar tots els tancats de l'espai. En particular els espais mètrics són normals.

Separació en espais mètricsModifica

És fàcil verificar que  . És cert que  , encara que això no és tan evident, és una conseqüència del Lema d'Urysohn. Un espai mètric   amb la seva distància associada és normal, Tychonoff, regular, Hausdorff, Fréchet i finalment Kolgomorov. És important destacar, per evitar errors, que el recíproc no és cert.

Vegem que és cert que tot espai mètric és normal o   i per tant és Tychonoff, regular, Hausdorff, Fréchet i Kolgomorov.

Tot espai mètric, amb la seva distància   és normal.

Demostració: Sigui   i   Dos tancats d'un espai mètric  . Per a cada   sigui  . Anàlogament, per a cada   sigui  . Sigui  , i sigui  . És clar que tant U com V són oberts, i que   i  . S'afirma que  .

Suposem que és fals, llavors sigui  . Vol dir que hi ha x, iy tal que   i  . Però això implica que:

 

La qual cosa és una contradicció.  

Per tant tots els espais mètrics són normals, i per tant Tychonoff, regulars, Hausdorff, Fréchet i Kolgomorov.

Vegeu tambéModifica

ReferènciesModifica

  1. L. A. Steen, J. A. Seebach. Counterexample in topology (secció 2). Courier Dover Publications, 1995. ISBN 0-486-68735-X
  2. Runde, V. A taste of topology (Capítol 3). Springer, 2005. ISBN 0-387-25790-X
  3. Willard, S. General Topology. (Capítol 5). Courier Dover Pub, 2004 ISBN 0-486-43479-6