Complesso di celle: differenze tra le versioni

Versione delle 12:42, 9 feb 2023

Versione attuale delle 15:40, 25 lug 2024

(Una versione intermedia di un altro utente 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 66:

*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

Riga 76:

{{Topologia}}

{{Controllo di autorità}}

{{Portale|matematica}}

[[Categoria:Topologia algebrica]]