nLab
dimension of a cell complex
Contents
Context
Topology
topology (point-set topology , point-free topology )

see also differential topology , algebraic topology , functional analysis and topological homotopy theory

Introduction

Basic concepts

open subset , closed subset , neighbourhood

topological space , locale

base for the topology , neighbourhood base

finer/coarser topology

closure , interior , boundary

separation , sobriety

continuous function , homeomorphism

uniformly continuous function

embedding

open map , closed map

sequence , net , sub-net , filter

convergence

category Top

Universal constructions

Extra stuff, structure, properties

nice topological space

metric space , metric topology , metrisable space

Kolmogorov space , Hausdorff space , regular space , normal space

sober space

compact space , proper map

sequentially compact , countably compact , locally compact , sigma-compact , paracompact , countably paracompact , strongly compact

compactly generated space

second-countable space , first-countable space

contractible space , locally contractible space

connected space , locally connected space

simply-connected space , locally simply-connected space

cell complex , CW-complex

pointed space

topological vector space , Banach space , Hilbert space

topological group

topological vector bundle , topological K-theory

topological manifold

Examples

empty space , point space

discrete space , codiscrete space

Sierpinski space

order topology , specialization topology , Scott topology

Euclidean space

cylinder , cone

sphere , ball

circle , torus , annulus , Moebius strip

polytope , polyhedron

projective space (real , complex )

classifying space

configuration space

path , loop

mapping spaces : compact-open topology , topology of uniform convergence

Zariski topology

Cantor space , Mandelbrot space

Peano curve

line with two origins , long line , Sorgenfrey line

K-topology , Dowker space

Warsaw circle , Hawaiian earring space

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Homotopy theory
homotopy theory , (∞,1)-category theory , homotopy type theory

flavors: stable , equivariant , rational , p-adic , proper , geometric , cohesive , directed …

models: topological , simplicial , localic , …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents
Idea
The dimension of a cell complex $X$ is the largest natural number $n \in \mathbb{N}$ , if such exists, for which there are non-trivial $n$ -cells in $X$ . If there is no such largest $n$ the dimension is also said to be infinite .

Definition
Specifically, if $X$ is a CW-complex

$X \;\simeq\; \underset{\longrightarrow_{\mathrlap{n}}}{\lim} X_n$

where each $X_n$ is a pushout of the form

$\array{
\underset{ i \in I_n }{\sqcup} S^{n-1}
&\longrightarrow&
X_{n-1}
\\
\big\downarrow &(po)& \big\downarrow
\\
\underset{ i \in I_n }{\sqcup} D^{n}
&\longrightarrow&
X_n
}$

the dimension of $X$ is the largest $n$ for which the indexing sets $I_n$ are non-empty .

Last revised on March 21, 2021 at 07:30:24.
See the history of this page for a list of all contributions to it.