nLab
open cover

Context

Topology

topology (point-set topology)

see also algebraic topology, functional analysis and homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Basic homotopy theory

Contents

Definition

An open cover of a topological space XX is a collection {U iX}\{U_i \subset X\} of open subsets of XX whose union equals XX: iU i=X\cup_i U_i = X.

Properties

When denoting by U iXU_i \hookrightarrow X the inclusion morphisms in the category Top, each open cover constitutes a covering family {U iX}\{U_i \to X\} in the sense of sheaf and topos theory which is a standard coverage on Top.

Analogous statements hold for categories of topological spaces with extra structure, such as the category Diff of smooth manifolds.

If an open cover has the property that all the U iU_i and all of their finite nonempty intersections are contractible, then one speaks of a good open cover.

Revised on May 26, 2017 05:35:52 by Urs Schreiber (92.218.150.85)