nLab locally constant function

Locally constant functions

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.

Examples

Example

(continuous function into discrete space is locally constant)

A function into a discrete topological space is continuous precisely if it is locally constant.

Pattern

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

Last revised on July 3, 2017 at 14:03:25. See the history of this page for a list of all contributions to it.