nLab covering dimension

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

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Definition

Definition

A paracompact topological space XX has covering dimension n\leq n \in \mathbb{N} if for every open cover {U iX}\{U_i \to X\} there exists an open refinement {V iX}\{V_i \to X\}, such that each (n+1)(n+1)-fold intersection of pairwise distinct V iV_i is empty

V i 1V i n+1=. V_{i_1} \cap \cdots \cap V_{i_{n+1}} = \emptyset \,.

Properties

Theorem

If the paracompact topological space XX has covering dimension n\leq n, then the (∞,1)-category of (∞,1)-sheaves Sh (,1)(X):=Sh (,1)(Op(X))Sh_{(\infty,1)}(X) := Sh_{(\infty,1)}(Op(X)) is an (∞,1)-topos of homotopy dimension n\leq n.

This is HTT, theorem 7.2.3.6.

Remark

For separable metric spaces the notion of covering dimension is particularly well-behaved. See there.

notion of dimension

Last revised on February 6, 2024 at 21:10:04. See the history of this page for a list of all contributions to it.