A density bundle is a special case of a vector bundle and is examined in the mathematical sub-area of differential geometry . With the help of these bundles one can generalize some objects known from analysis to manifolds . Like with differential forms, one can define a coordinate-invariant integral term on manifolds. With the help of these bundles one finds generalizations of the L p spaces and the distribution spaces on manifolds.
definition
r density
Is a real, -dimensional vector space and is the nth outer power of the vector space recorded. For each one defines an r-density as a function such that
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![\ Lambda ^ {n} V](https://wikimedia.org/api/rest_v1/media/math/render/svg/bea28f2771f7ac7f5a7e58b291c634258e057625)
![V](https://wikimedia.org/api/rest_v1/media/math/render/svg/af0f6064540e84211d0ffe4dac72098adfa52845)
![r \ in \ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79ada4fd070acfeeee62081f256be1c106346359)
![{\ displaystyle f \ colon \ Lambda ^ {n} V \ to \ mathbb {R}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f1d395b858b0828c7fabc5aaea47a1bf9d11e5a)
![{\ displaystyle f (\ lambda u) = | \ lambda | ^ {r} f (u)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6081d0a81582822e9f44965d76df89a9a676f70)
applies to everyone and everyone . The vector space of the densities is noted with .
![{\ displaystyle u \ in \ Lambda ^ {n} V \ backslash \ {0 \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f748fdb24768a47e2279ba7624871df641d032e9)
![\ lambda \ neq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/dedcbbf652c56a75cb890f36b4ff1f3bd984af45)
![r](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538)
![{\ displaystyle | V | ^ {r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/765ff586782630d7cca5d34dd4ba71bac0421ee4)
r-density bundle
Let be a smooth , -dimensional manifold and a real number. With , the space of the global sections is noted on a vector bundle .
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![r \ in \ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79ada4fd070acfeeee62081f256be1c106346359)
![\ Gamma ^ \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e41f5411bb5e67cb19404bd6fe3fad53dc7a407)
Analogous to the definition above, a density on a manifold is a mapping
![r](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538)
![{\ displaystyle \ mu \ colon \ Gamma ^ {\ infty} (\ Lambda ^ {n} (M)) \ to C ^ {\ infty} (M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0c83ae3944f47d48f9fe1fb32e58a96412e1720)
With
![{\ displaystyle \ mu (\ lambda u) = | \ lambda | ^ {r} \ mu (u)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3bac30d77d5fe213beaa9435a461685b7bb065e)
for everyone and for all smooth functions .
![{\ displaystyle u \ in \ Lambda ^ {n} TM \ backslash \ {0 \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f97afc5cce54d2da1f2fb879984322a494c652a7)
![{\ displaystyle \ lambda \ colon M \ to \ mathbb {R} \ backslash \ {0 \}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a4806f35ae2c921cbb9cec2cd0cf676a0d254379)
The vector bundle of densities is then defined by
![r](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538)
![{\ displaystyle | \ Lambda ^ {n} (M) | ^ {r}: = | \ Lambda ^ {n} (TM) | ^ {r}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78e8262ee50c0f168876db93fc1c663a2da1a26a)
With that is tangent referred.
![TM](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea000afb5769206ddd5fd43f458430d04422ddeb)
Pullback
For a smooth mapping between two smooth -dimensional manifolds induces a pullback
![\ phi \ colon M \ to N](https://wikimedia.org/api/rest_v1/media/math/render/svg/a67a851ad02dd6725b9f5605d9858aed2bb3d855)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\ displaystyle \ phi ^ {*} \ colon \ Gamma ^ {\ infty} (| \ Lambda ^ {n} (N) | ^ {r}) \ to \ Gamma ^ {\ infty} (| \ Lambda ^ { n} (M) | ^ {r}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dec3b8e465fd9b977d44f621c5f56f3f7e540fa2)
which for everyone through
![{\ displaystyle e \ in C ^ {\ infty} (\ Lambda ^ {n} TM)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f55d76d18638f7001101c705edb736bfaf8c1580)
![{\ displaystyle (\ phi ^ {*} \ mu) (e) = \ mu (\ det (\ phi _ {*}) \ cdot e) = | \ det (\ phi _ {*}) | ^ {r } \ mu (e)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ce2a9aa21bb37571453bc33905e5763ddc87198)
is defined. Where is the push forward of , are and submanifolds so is the Jacobian matrix of .
![\ phi_ *](https://wikimedia.org/api/rest_v1/media/math/render/svg/7290bdff97c56c08f582423fbf5678648fca29fc)
![\ phi](https://wikimedia.org/api/rest_v1/media/math/render/svg/72b1f30316670aee6270a28334bdf4f5072cdde4)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![\ phi_ *](https://wikimedia.org/api/rest_v1/media/math/render/svg/7290bdff97c56c08f582423fbf5678648fca29fc)
![\ phi](https://wikimedia.org/api/rest_v1/media/math/render/svg/72b1f30316670aee6270a28334bdf4f5072cdde4)
Dual space
- Be a smooth manifold again. Since the vector space of the 0 densities consists only of the constant functions, the following applies for the corresponding density bundle
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\ displaystyle | \ Lambda ^ {n} T_ {p} M | ^ {0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/956c4fe468bb83c1b713d35453a8c9b7997520fb)
![{\ displaystyle | \ Lambda ^ {n} (M) | ^ {0} \ cong M \ times \ mathbb {R}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78d67f70f36c15e97737c08449c4bf225f27d7c1)
- For true isomorphism
![\ alpha, \ beta \ in \ R](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0a0410274a81d9645d3d0ff8e949b42811ff47c)
![{\ displaystyle | \ Lambda ^ {n} (M) | ^ {\ alpha} \ otimes | \ Lambda ^ {n} (M) | ^ {\ beta} \ cong | \ Lambda ^ {n} (M) | ^ {\ alpha + \ beta}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd101a726d74faea8c8f87727c6ddf780bd09cab)
- From the properties 1. and 2. it follows and therefore is the dual space of and one writes
![{\ displaystyle | \ Lambda ^ {n} (M) | ^ {\ alpha} \ otimes | \ Lambda ^ {n} (M) | ^ {- \ alpha} \ cong M \ times \ mathbb {R}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f95a71a26ccf695758c63ed07ffb14423e1e3c4)
![{\ displaystyle | \ Lambda ^ {n} (M) | ^ {\ alpha}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3418ed743702c4b02e06c5a9c47249321014f3b)
![{\ displaystyle | \ Lambda ^ {n} (M) | ^ {- \ alpha}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da55c0848235146fe0031024dcdcceb87d9a0485)
Integration on manifolds
One-densities are particularly important because they can be integrated on manifolds (independent of coordinates). Their advantage over differential forms, which also have this property, is that densities can also be integrated on non- orientable manifolds.
definition
So be a smooth manifold and be a 1-density. Then the integral of over is defined as follows. Be a finite family of cards that cover . And be a subordinate decomposition of the one . Then sit
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\ displaystyle \ mu \ in \ Gamma _ {c} ^ {\ infty} (| \ Lambda ^ {n} (M) | ^ {1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bbcbd9db6026751539be6cf7aad36dbb727607a)
![{\ displaystyle \ textstyle \ int _ {M} \ mu}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d49bec60f99550e44610ea90c189c3b43bd7020e)
![\ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\ displaystyle (U_ {i}, \ kappa _ {i}) _ {i \ in I}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7824728411cc76ed2c5d0e552ec2783850498b49)
![{\ displaystyle (\ phi _ {i}) _ {i \ in I}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c276e3755bba85653931543fc6dc21ff8f4ef62b)
-
.
The right side is independent of the choice of card and the choice of decomposition of the one.
properties
- The integral is invariant with respect to diffeomorphisms . That is, for all smooth manifold and the same dimension and each diffeomorphism and each 1-density applies
![M.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![N](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![\ phi \ colon M \ to N](https://wikimedia.org/api/rest_v1/media/math/render/svg/a67a851ad02dd6725b9f5605d9858aed2bb3d855)
![{\ displaystyle \ mu \ in \ Gamma _ {c} ^ {\ infty} (| \ Lambda ^ {n} (N) | ^ {1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce7a765f1eaa9925474cbf010a6765a60a9c78b3)
- The integral is local, that is, for each subset , and each 1-density with applicable
![U \ subset M](https://wikimedia.org/api/rest_v1/media/math/render/svg/edd7b08ced14b1958599bba595488f7c314e59da)
![{\ displaystyle \ mu \ in \ Gamma _ {c} ^ {\ infty} (| \ Lambda ^ {n} (M) | ^ {1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bbcbd9db6026751539be6cf7aad36dbb727607a)
![{\ displaystyle \ operatorname {supp} (\ mu) \ subset U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e31ece442105e6dbc8c7446787575a5885732dd)
- The following applies to each: The right integral is a normal Lebesgue integral of a smooth function with a compact support.
![{\ displaystyle \ rho \ in C_ {c} ^ {\ infty} (\ mathbb {R} ^ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08cd1c528c266fcb441072af06400dab1d7aaf8c)
![{\ displaystyle \ int _ {\ mathbb {R} ^ {n}} \ rho | \ mathrm {d} v | = \ int _ {\ mathbb {R} ^ {n}} \ rho \ mathrm {d} x .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fa64ce4db4fc59ef7c8366b964c69a308184616)
L 1 space
Be a measurable 1-density with a compact carrier. If the integral exists , a -cut is called its norm through
![{\ displaystyle \ mu \ in | \ Lambda ^ {n} (M) | ^ {1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed64219727f5797a9d764b1db3b2acec0d7d6d0a)
![{\ displaystyle \ textstyle \ int _ {M} | \ mu |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f7e362167363b0787d78b36315da9ba9bf4aff1)
![\ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
![L ^ {1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74c288d1089f1ec85b01b4de25c441fc792bd2d9)
![{\ displaystyle \ | \ mu \ | _ {L ^ {1}}: = \ int _ {M} | \ mu |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3f0a850cf3bdc8b3f4ae06423a77c6f065f2940)
given is. The completion of this set with respect to the given norm gives the space. If the manifold is compact, the completion does nothing.
![{\ displaystyle L ^ {1} (M, | \ Lambda ^ {n} (M) | ^ {1}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b913030d4fc031118503f9d6cc095d84e8ce4864)
L p spaces
Now be and and one of the two densities have compact support. Then due to the property two is from the dual space section and has compact support. Thus it can be integrated.
![{\ displaystyle \ mu \ in | \ Lambda ^ {n} (M) | ^ {r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/990dd7ef47f24130b1a0cb4205753ac60f297da9)
![{\ displaystyle \ nu \ in | \ Lambda ^ {n} (M) | ^ {1-r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e3d07c61b8ec71f32d7d72befe43ceae104eea2)
![{\ displaystyle \ mu \ otimes \ nu = \ mu \ cdot \ nu \ in | \ Lambda ^ {n} (M) | ^ {1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be5764ef3cdc8d7726a54fcde7bf8aa690f0d055)
![{\ displaystyle \ mu \ cdot \ nu}](https://wikimedia.org/api/rest_v1/media/math/render/svg/001f39ea0b31aba3296977129c8e57d0c5a0398f)
If it can be integrated, one speaks of a -cut through its norm
![{\ displaystyle \ int _ {M} | \ mu | ^ {p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e84cc1ac0a5e09fe57f2cf3435084fc9a20ed072)
![L ^ {p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf2317aaca1ecee4b8ccf667bc1001059eae5850)
![{\ displaystyle \ | \ mu \ | _ {L ^ {p}}: = \ int _ {M} | \ mu | ^ {p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcc87ef4145be4e10077cfc0d31fb468366a37ee)
given is. The completion provides the space Also again because of property two from the section dual space is the space with the dual space too![{\ displaystyle L ^ {p} (M, | \ Lambda ^ {n} (M) | ^ {\ frac {1} {p}}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a58a5085b1cde4b2de5106d35e8e8c17837372a6)
![{\ displaystyle L ^ {q} (M, | \ Lambda ^ {n} (M) | ^ {\ frac {1} {q}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0bacb2c7db3f564c2eb7c9387f9077303fe66ca)
![\ tfrac {1} {p} + \ tfrac {1} {q} = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0258202dfc8069365da867d2ef863a2a53f04ef)
Examples
Density bundle over real space
Let be the manifold to be considered. The tangential bundle is a trivial vector bundle , therefore global sections exist in and in the density bundle . Let be the canonical basis of , then is a basis of one-dimensional space . There is then a smooth nowhere cut that goes through
![{\ displaystyle T \ mathbb {R} ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cecd43400f5831e88fa938ee3fa08f6cc319bcda)
![{\ displaystyle T \ mathbb {R} ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cecd43400f5831e88fa938ee3fa08f6cc319bcda)
![{\ displaystyle \ Lambda ^ {n} (\ mathbb {R} ^ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9510ea1d2a479aa9163fcbb9a77b5668e43b8eb7)
![e_ {1}, \ ldots, e_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c60c38b7e2450d62e9dc496b89f8e5c96c77cecf)
![\ mathbb {R} ^ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c510b63578322050121fe966f2e5770bea43308d)
![{\ displaystyle e_ {1} \ wedge \ cdots \ wedge e_ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd4a516b46e7a0fc0399a6eb6a9ae314b781ba47)
![{\ displaystyle \ Lambda ^ {n} (\ mathbb {R} ^ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9510ea1d2a479aa9163fcbb9a77b5668e43b8eb7)
![{\ displaystyle \ textstyle | \ mathrm {d} \ nu _ {n} | \ in | \ Lambda ^ {n} (\ mathbb {R} ^ {n}) | ^ {1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5aad352cf19134bf69c5d9fd387c8479c024eff1)
![{\ displaystyle | \ mathrm {d} \ nu _ {n} | (e_ {1} \ wedge \ cdots \ wedge e_ {n}) = 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e49354936e39efbc74348e9602c568af4c3eb46)
is defined. For every smooth map there is a smooth 1 density. The object can be understood as the Lebesgue measure .
![f \ colon \ R ^ n \ to \ R](https://wikimedia.org/api/rest_v1/media/math/render/svg/6991fd928a18a993d719e93137af6240a9b6545a)
![{\ displaystyle \ mu = f | \ mathrm {d} \ nu _ {n} |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92b982ed190e5903e535d64e50b8ba7041331c0b)
![{\ displaystyle | \ mathrm {d} \ nu _ {n} |}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5c5039d55ddd067de06604ccd546906474fbaf0)
Let be a smooth diffeomorphism then
![{\ displaystyle \ phi = (\ phi _ {1}, \ ldots, \ phi _ {n}) \ colon \ mathbb {R} ^ {n} \ to \ mathbb {R} ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b01c1cfceafba9f5b092c61c5e5c776063a4d64)
![{\ displaystyle \ phi ^ {*} (| \ mathrm {d} \ nu _ {n} |) = \ left | \ det \ left ({\ frac {\ partial \ phi _ {i}} {\ partial x ^ {j}}} \ right) \ right | \ cdot | \ mathrm {d} \ nu _ {n} |.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f80aebbbce04aa6a773eec78e6c32dfde128c399)
The Jacobi matrix denotes by . This relationship can also be found in the coordinate transformation of integrals. Compare also transformation theorem .
![{\ displaystyle \ textstyle \ left ({\ frac {\ partial \ phi _ {i}} {\ partial x ^ {j}}} \ right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9568390dec8d80be2e6029a4fde9a8969728e8b3)
![\ phi](https://wikimedia.org/api/rest_v1/media/math/render/svg/72b1f30316670aee6270a28334bdf4f5072cdde4)
Riemann density
Let be an n-dimensional Riemannian manifold , then an orthonormal frame exists for the tangential bundle with respect to the Riemannian metric. The clearly determined global cut with
![{\ displaystyle e_ {1}, \ ldots e_ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b9eadbb5efca7cbbfaedea5451da2b87a8bbb7b)
![{\ displaystyle | \ mathrm {d} x | \ in \ Gamma (M, | \ Lambda ^ {n} (M) |)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c1f55e76bf4b81113a3f5c9e89c8f13d583bdcb)
![{\ displaystyle | \ mathrm {d} x | (e_ {1} \ wedge \ cdots \ wedge e_ {n}) = 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1584bfff13e3a54ebbb4a1ced729e64ca7e21a14)
is called Riemann density. This cut always exists without further requirements.
Tensor density
In the definition of, replace the tangential bundle with the tensor bundle. Then the density bundle induced by it is called the -tensor density bundle . In this case the elements are called tensor fields .
![{\ displaystyle | \ Lambda ^ {n} (M) | ^ {r}: = | \ Lambda ^ {n} (TM) | ^ {r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/caaad48e1cef28135b3737e254ab192c1d7c781f)
![{\ displaystyle T_ {s} ^ {r} (TM).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/397d317a2bc8db3e979240770e728a60fc7010f2)
![{\ displaystyle | \ Lambda ^ {n} (T_ {s} ^ {r} (TM)) | ^ {r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f805f54e9a85000140657fcfa6ddff40901f044e)
![r](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538)
![r = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/894a83e863728b4ee2e12f3a999a09f5f2bf1c89)
Distributions
Since one can integrate 1-densities over subsets of a manifold, as described above in the article, this now allows distributions to be defined on manifolds. Be the space of smooth cuts with a compact carrier . So you can get a distribution induced by
![{\ displaystyle \ Gamma _ {c} ^ {\ infty} (| \ Lambda ^ {n} (M) | ^ {1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/391c7300ad50169a54106fea95989b520b3fa80c)
![{\ displaystyle M \ to | \ Lambda ^ {n} (M) | ^ {1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08c70e8564b181e90a601344ea868a579951dc30)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![{\ displaystyle T_ {f} \ colon \ Gamma _ {c} ^ {\ infty} (| \ Lambda ^ {n} (M) | ^ {1}) \ to C ^ {\ infty} (\ mathbb {R })}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf80927a7da1bfeb29b8040f3d75c851aa133189)
define by
![{\ displaystyle \ omega \ mapsto \ int f \ omega.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f603508598fdf7701716c94e22255131ad405bf)
For this reason you bet
![{\ displaystyle {\ mathcal {D}} (M, | \ Lambda ^ {n} (M) | ^ {1}): = \ Gamma _ {c} ^ {\ infty} (| \ Lambda ^ {n} (M) | ^ {1}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca45d393653cb3b0eafdd0db8ebdcc7dc5947cee)
This is the space of the smooth sections with a compact support, which is defined analogously to the space of the test functions with a compact support. The space of distributions is then defined as a topological dual space analogous to real analysis. So you bet
![{\ displaystyle {\ mathcal {D}} '(M): = ({\ mathcal {D}} (M, | \ Lambda ^ {n} (M) | ^ {1}))'.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/424759678a07d03682316e073c7696d253487e64)
literature
- Liviu I. Nicolaescu: Lectures on the geometry of manifolds. 2nd edition. World Scientific Pub Co., Singapore et al. 2007, ISBN 978-981-270-853-3 .
- SR Simanca: Pseudo-differential operators (= Pitman Research Notes in Mathematics Series 236). Longman Scientific & Technical et al., Harlow et al. 1990, ISBN 0-582-06693-X .
Individual evidence
-
^ A b Liviu I. Nicolaescu: Lectures on the geometry of manifolds. 2nd edition. World Scientific Pub Co., Singapore et al. 2007, ISBN 978-981-270-853-3 , p. 108.
-
^ Nicole Berline, Ezra Getzler , Michèle Vergne : Heat kernels and Dirac operators (= basic teachings of mathematical sciences 298). Berlin et al. Springer 1992, ISBN 0-387-53340-0 , p. 33.