espai totpològic From Wikipedia, the free encyclopedia
En el camp matemàtic de la topologia, l'extensió d'Alexandroff és una forma d'estendre un espai topològic no compacte mitjançant l'addició d'un sol punt, donant com a resultat un espai compacte. Aquest concepte rep el nom del matemàtic rus Pavel Alexàndrov.
Més en concret, sigui X un espai topològic. Es defineix l'extensió d'Alexandroff de X com un cert espai compacte X* juntament amb un embedding obert c: X → X* tal que el complement de X dins X* consisteix d'un sol punt, denotat habitualment per ∞. L'aplicació c és una compactificació Hausdorff si i només si X és un espai de Hausdorff no compacte, però localment compacte. Per a aquest tipus d'espais, hom diu que l'extensió d'Alexandroff és la compactificació d'Alexandroff o la compactificació d'un punt. Els avantatges de la compactificació d'Alexandroff rauen en la seva estructura simple i, sovint, geomètricament significativa, i en el fet que és la mínima compactificació entre totes les possibles; per altra banda, el desavantatge és que només proporciona una compactificació Hausdorff sobre la classe d'espais Hausdorff no compactes i alhora localment compactes, al contrari que la compactificació de Stone-Čech, que existeix per a qualsevol espai de Tychonoff, una classe molt més àmplia d'espais.
Un exemple geomètric de la compactificació d'Alexandroff ve donat per la projecció estereogràfica inversa. Recodem que la projecció estereogràfica S proporciona un homeomorfisme explícit des de l'esfera unitat menys el pol nord (0,0,1) sobre el pla euclidià. La projecció estereogràfica inversa és un embedding dens i obert dins d'un espai Hausdorff compacte, que s'obté mitjançant l'addició del punt addicional . Aplicant la projecció estereogràfica, els cercles latitudinals s'envien a circumferències planars . D'aquí, es té que la base d'entorns perforats de donada pels casquets esfèrics perforats correspon als complements dels discs planars tancats . Des d'un punt de vista qualitatiu, una base d'entorns al punt ve donada pels conjunts , on K recorre els subconjunts compactes de . Aquest exemple, encara que és un cas particular, conté els conceptes clau per al cas general.
Sigui un embedding d'un espai topològic X dintre d'un espai topològic Hausdorff compacte Y, amb imatge densa i un residu compost per un sol punt . Llavors c(X) és un conjunt obert dins d'un espai Hausdorff compacte, i per tant és localment compacte Hausdorff; d'on la seva imatge homeomorfa X també és localment compacta Hausdorff. Addicionalment, si X fos compacte, llavors c(X) seria tancat a Y, i per tant no seria dens. Així, un espai només pot admetre una compactificació d'Alexandroff si és localment compacte, no compacte, i Hausdorff. Encara més, en una tal compactificació d'Alexandroff, la imatge d'una base d'entorns de x a X proporciona una base d'entorns per de c(x) dins c(X), i –com que un subconjunt d'un espai Hausdorff compacte és compacte si i només si és tancat– els entorns oberts de han de ser tots conjunts obtinguts per adjunció de a la imatge per c d'un subconjunt de X amb complement compacte.
Sigui X un espai topològic qualsevol, i sigui qualsevol objecte que no sigui un element de X. Escrivim , i fixem una topologia a on els conjunts oberts siguin tots els subconjunts oberts U de X juntament amb tots els subconjunts V que contenen i tals que és tancat i compacte (Kelley 1975, p. 150).
Hom diu que la inclusió és l'extensió d'Alexandroff de X (Willard 1970, 19A).
Hom pot observar les següents propietats:
En particular, l'extensió d'Alexandroff és una compactificació de X si i només si X és Hausdorff, no compacte i localment compacte. En aquest cas, hom l'anomena compactificació d'Alexandroff o compactificació d'un punt de X. Recordem pel que hem vist abans que qualsevol compactificació amb un residu format per un punt és necessàriament (isomorfa a) la compactificació d'Alexandroff.
Sigui X un espai de Tychonoff qualsevol. Amb l'ordre parcial natural definit sobre el conjunt de classes d'equivalència de compactificacions, qualsevol element mínim és equivalent a l'extensió d'Alexandroff (Engelking 1989, Teorema 3.5.12). Una conseqüència és que un espau no compacte de Tychonoff admet una compactificació mínima si i només si és localment compacte.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.