nLab
locally constant function

Locally constant functions

Idea

A locally constant function is a function whose value never changes. This is a weaker concept than that of a constant function, which has only one value. They correspond on a connected space. However, in general, a function may be locally constant but not constant, since it can take values on two distant components without the values' ever changing between them (since there is no path between them).

Definitions

If XX is a topological space and YY is any set, then a function ff from (the underlying set of) XX to YY is locally constant if, for every element aa of XX, ff is constant when restricted to some neighbourhood of aa.

We have YY here as a set; but in fact, YY may be given any topological structure; then every locally constant function ff will become a locally constant continuous map.

Pattern

A locally constant sheaf / \infty-stack is also called a local system.

Revised on November 8, 2010 18:42:05 by Urs Schreiber (131.211.232.76)