Definition:Partition of Unity (Topology)
Jump to navigation
Jump to search
This page is about Partition of Unity in the context of topology. For other uses, see Partition of Unity.
Definition
Let $X$ be a topological space.
Let $\AA = \set {\phi_\alpha : \alpha \in A}$ be a collection of continuous mappings $X \to \R$ such that:
- $(1): \quad$ The set $\set {\map \supp {\phi_\alpha}^\circ: \alpha \in A}$ of interiors of the supports is a locally finite cover of $X$
- $(2): \quad \forall x \in X: \forall \alpha \in A: \map {\phi_\alpha} x \ge 0$
- $(3): \quad \ds \forall x \in X: \sum_{\alpha \mathop \in A} \map {\phi_\alpha} x = 1$
Then $\set {\phi_\alpha: \alpha \in A}$ is a partition of unity on $X$.
Subordinate to Cover
Let $X$ be a topological space.
Let $\AA = \set {\phi_\alpha : \alpha \in A}$ be a partition of unity.
Let $\BB = \set {U_\beta: \beta \in B}$ be an open cover of $X$.
Let the set $\set {\map \supp {\phi_\alpha}^\circ: \alpha \in A}$ of interiors of supports be a refinement of $\BB$.
Then $\AA$ is said to be subordinate to the cover $\BB$.
Sources
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): partition of unity