Complesso di celle: differenze tra le versioni

Versione delle 00:36, 10 feb 2022

Versione attuale delle 15:40, 25 lug 2024

(2 versioni intermedie di 2 utenti non mostrate)

Riga 2:

In [[topologia]] un '''complesso di celle''' è un tipo di [[spazio topologico]] costruito fondendo insieme certi blocchi basilari chiamati ''celle''.

La nozione di complesso di celle è stata introdotta da [[J. H. C. Whitehead]] per sopperire ad alcune necessità della [[teoria dell'omotopia]]. Questa classe di spazi è più estesa ed ha proprietà [[Teoria delle categorie|categoriali]] migliori rispetto ai [[Complesso simpliciale|complessi simpliciali]], ma mantiene ancora una natura [[combinatoria]] che la rende maneggevole.

== Definizione ==

Riga 12:

** la restrizione di ''f'' all'interno della palla chiusa è un [[omeomorfismo]] sulla cella ''C'', e

** l'immagine del [[Contorno (matematica)|contorno]] della palla chiusa è contenuta nell'unione di un numero finito di celle aventi tutte dimensione inferiore ad n.

* Un sottoinsieme di ''X'' è [[spazio topologico|chiuso]] se e soltanto se incontra la chiusura di ciascuna cella in un [[insieme chiuso]].

Il termine ''CW-complesso'', mutuato dall'inglese, è a volte usato come sinonimo di ''complesso di celle''. Le lettere ''C'' e ''W'' indicano i termini inglesi ''closure-finite'' e ''weak-topology'' e si riferiscono alle due proprietà elencate (la seconda proprietà infatti indica che la topologia su ''X'' è in un certo senso una [[topologia debole]]).

Riga 31:

Si osservi che non è necessario che il progetto si fermi dopo un numero finito di passi.

In generale, il complesso di celle ''X'' è il [[limite diretto]] degli n-scheletri nel rispetto della naturale sequenza di inclusioni.

Un insieme è chiuso in ''X'' [[se e solo se]] esso incontra ogni n-scheletro in un insieme chiuso.

== Esempi ==

Riga 64:

==Proprietà==

*Il prodotto di due complessi di celle è un complesso di celle. la topologia debole di questo prodotto ''X×Y'' è la stessa della più famigliare [[topologia prodotto]] nella maggioranza degli spazi di interesse. ma può esserci una [[comparazione di topologie]] se ''X×Y'' ha un'infinità non numerabile di celle e né ''X'' e né ''Y'' è uno [[spazio localmente compatto]].

*Gli spazi di funzioni ''Hom(X,Y)'' ''non'' sono complessi di celle in generale ma sono [[omotopicamente equivalenti]] a complessi di celle tramite il teorema di [[John Milnor]] (1958). Gli attuali spazi di funzione appaiono nella categoria in qualche modo più estesa degli [[spazi di Hausdorff compattamente generati]].

== RiferimentiBibliografia ==

* [[J. H. C. Whitehead]], ''Combinatorial homotopy. I.'', Bull. Amer. Math. Soc. 55 (1949), 213–245

* J. H. C. Whitehead, ''Combinatorial homotopy. II.'', Bull. Amer. Math. Soc. 55 (1949), 453–496

*[[Allen Hatcher|Hatcher, Allen]], ''Algebraic topology'', Cambridge University Press (2002). ISBN 0-521-79540-0. Questo libro di testo definisce i complessi di celle nel primo capitolo e li usa nel resto; include un'appendice sulla topologia dei complessi di celle. Versione elettronica libera è visitabile su [http://www.math.cornell.edu/~hatcher/ author's homepage].

== Collegamenti esterni ==

* {{Collegamenti esterni}}

{{Topologia}}

{{Controllo di autorità}}

{{Portale|matematica}}

[[Categoria:Topologia algebrica]]