CW-complex
From Maths
Revision as of 14:14, 20 January 2017 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=A|msg=Leads to Delta-complex - very important for algebraic topology}} __TOC__ ==Definition== A ''CW-complex'' is a topological space {{Top.|X|J}} an...")
Stub grade: A
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Leads to Delta-complex - very important for algebraic topology
Contents
Definition
A CW-complex is a topological space [ilmath](X,\mathcal{ J })[/ilmath] and a collection of disjoint open cells (open [ilmath]n[/ilmath]-cells of various dimensions), [ilmath]\{e_\alpha\}_{\alpha\in I} [/ilmath] where [ilmath]X\eq\bigcup_{\alpha\in I}e_\alpha[/ilmath], such that[1]:
- [ilmath](X,\mathcal{ J })[/ilmath] is Hausdorff
- For each open [ilmath]m[/ilmath]-cell, [ilmath]e\in\{e_\alpha\}_{\alpha\in I} [/ilmath], there exists a continuous map, [ilmath]f_\alpha:\overline{\mathbb{B}^n}\rightarrow X[/ilmath] such that:
- [ilmath]f_\alpha[/ilmath] maps [ilmath]\text{Int}(\overline{\mathbb{B}^n})[/ilmath] is mapped homeomorphically onto [ilmath]e[/ilmath]
- [ilmath]f_\alpha[/ilmath] maps [ilmath]\partial\overline{\mathbb{B}^n} [/ilmath] is mapped into a finite union of open [ilmath]n[/ilmath]-cells of dimension strictly less than that of [ilmath]e[/ilmath]
- A set [ilmath]A\in\mathcal{P}(X)[/ilmath] is closed if and only if [ilmath]A\cap\overline{e_\alpha} [/ilmath] is closed for each [ilmath]\alpha\in I[/ilmath]
