Decomposition of the one
A decomposition of the one (also: division of the one or decomposition of the unit ) is a construction from mathematics . Under certain circumstances, mathematics has to distinguish between a local and a global perspective. For example:
- In order to define the surface integral in analysis , or to integrate it in general using manifolds , coordinates must be chosen, which is only possible locally. The integrand must therefore be broken down in such a way that it remains locally integrable, but becomes zero outside the scope of the coordinate system.
- In differential geometry , vector fields are constructed on surfaces or manifolds . Often there are only locally valid constructions, but these should be combined to form a global one. For example, the normal field of a submanifold should be extended to the entire manifold, ...
- In the solution theory of partial differential equations , the solution of a partial differential equation in any area can often be put together with the help of the decomposition of the one by solving the equation on the whole space and the (disturbed) half space (so-called localization).
definition
A (continuous) decomposition of one over a topological space is a family of continuous functions of in the space of real numbers , so that for every point :
- The functions map into the interval , that is, it applies .
- The (possibly infinite ) sum of all function values at point x is 1, that is, it holds .
One speaks of a locally finite decomposition of one if the following condition is also met:
- Every point has a neighborhood in which only a finite number of functions have a function value different from 0.
If , in addition , there is an open cover of and if it is also true , then a decomposition of the one with respect to the cover is called . denote the carrier of . A decomposition of the one with respect to a locally finite cover is always locally finite.
In the topology
In every normal space there is a decomposition of the one with respect to every locally finite open cover. The consequence of this is that for every locally finite open coverage of a closed subset of normal space there is a family of continuous functions that are restricted to a locally finite decomposition of one, and the sum of which is outside the open coverage, i.e. outside zero. For this one simply add the open coverage with the complement of the closed set to an open coverage of the whole space, choose a decomposition of the one with respect to this coverage and add all these functions with the exception of the function whose carrier lies in the complement of . Is as compact provided, then the result is transferred to any subspaces normal spaces (these are just all completely regular spaces ), because cortical and environments remain as an element of a larger space construed Kompakta or environments as embeddings are continuous and open. In particular, for every compact subset of a completely regular space with an open environment, there is a continuous function in the unit interval, which is one on the compact unit and zero outside the environment. If the space is also locally compact , then such a family of functions even exists if the requirement is that their carriers are compact. To do this, construct a refinement of from relatively compact sets that still cover, and choose a finite partial cover.
Conversely, the existence of a decomposition of the one with respect to every cover from two open sets already implies Urysohn's lemma and thus the normality of space. In a paracompact Hausdorff space there are decompositions of the one with respect to any open cover, this results from the fact that such a paracompact space by definition has a locally finite refinement and every paracompact Hausdorff space is normal.
In analysis
In analysis it is usually still required that the functions are differentiable and have a compact support . A function g can then be converted into functions
be disassembled, which all have a compact carrier. Then
If, on the other hand, a family is given, the h _{i} only being defined and differentiable on the respective carriers of the f _{i} , then the sum is _{}_{}
a convex linear combination , defined and differentiable everywhere.
Every paracompact - manifold ( ) also has a -decomposition of one.
Analytical decompositions of the one are not possible, however, since an analytical function that is constant 0 in a non-empty, open set (such as the complement of its carrier) is already constant 0 everywhere.
example
The function
can be differentiated any number of times. The function s with
is then also differentiable any number of times, strictly positive in the interval (−1; 1) and zero outside of it. The functions with
form an arbitrarily often differentiable decomposition of the one on the real axis, which is subordinate to the open coverage ; so at every point x it applies :
Note that in the definition of at every point x there are always at least one summand and at most two summands in the denominator not equal to zero (only the integers k adjacent to x can deliver a positive summand at all).
swell
- Ralph Abraham, Jerrold E. Marsden , Tudor Ratiu: Manifolds, Tensor Analysis and Applications (= Global analysis, pure and applied 2). Addison-Wesley, Reading MA 1983, ISBN 0-201-10168-8 .
Individual evidence
- ^ John M. Lee: Introduction to Smooth Manifolds (= Graduate Texts in Mathematics 218). Springer-Verlag, New York NY et al. 2003, ISBN 0-387-95448-1 , p. 54.
- ^ Nicolas Bourbaki : Topologie Générale (= Éléments de mathématique ). Springer , Berlin 2007, ISBN 3-540-33936-1 , chap. 9 , p. 46 ff .
- ^ Gerald B. Folland : Real Analysis . Modern Techniques and Their Applications. 2nd Edition. John Wiley & Sons, New York 1999, ISBN 0-471-31716-0 , pp. 134 .
- ↑ Bourbaki, p. 49