|
|
| Line 1: |
Line 1: |
| In [[geometric measure theory]] an '''approximate tangent space''' is a [[measure theory|measure theoretic]] generalization of the concept of a [[tangent space]] for a [[differentiable manifold]].
| | Flower Grower Avery Crosser from Barwick, loves frisbee golf (frolf), property developers in singapore and hot air balooning. Has travelled ever since childhood and has traveled to many places, as an example Alejandro de Humboldt National Park.<br><br>my web page :: condominium for sale, [http://flashgamingonline.com/groups/launch-2013-and-present-launches/ look at this site], |
| | |
| == Definition ==
| |
| | |
| In [[differential geometry]] the defining characteristic of a [[tangent space]] is that it approximates the smooth [[manifold]] to first order near the point of tangency. Equivalently, if we zoom in more and more at the point of tangency the manifold appears to become more and more straight, asymptotically tending to approach the tangent space. This turns out to be the correct point of view in geometric measure theory.
| |
| | |
| === Definition for sets ===
| |
| | |
| '''Definition'''. Let <math>M \subset \mathbb{R}^n</math> be a set that is [[measurable]] with respect to ''m''-dimensional [[Hausdorff measure]] <math>\mathcal{H}^m</math>, and such that the restriction measure <math>\mathcal{H}^m \llcorner M</math> is a [[Radon measure]]. We say that an ''m''-dimensional subspace <math>P \subset \mathbb{R}^n</math> is the '''approximate tangent space''' to <math>M</math> at a certain point <math>x</math>, denoted <math>T_x M = P</math>, if
| |
| | |
| :<math> \left( \mathcal{H}^m \llcorner M \right)_{x,\lambda} \rightharpoonup \mathcal{H}^m \llcorner P</math> as <math>\lambda \downarrow 0</math>
| |
| | |
| in the sense of [[Radon measure]]s. Here for any measure <math>\mu</math> we denote by <math>\mu_{x,\lambda}</math> the rescaled and translated measure: | |
| | |
| :<math>\mu_{x,\lambda}(A) := \lambda^{-n} \mu(x + \lambda A), \qquad A \subset \mathbb{R}^n</math>
| |
| | |
| Certainly any classical tangent space to a smooth submanifold is an approximate tangent space, but the converse is not necessarily true.
| |
| | |
| === Multiplicities ===
| |
| | |
| The parabola
| |
| | |
| :<math>M_1 := \{ (x, x^2) : x \in \mathbb{R} \} \subset \mathbb{R}^2</math>
| |
| | |
| is a smooth 1-dimensional submanifold. Its tangent space at the origin <math>(0,0) \in M_1</math> is the horizontal line <math>T_{(0,0)} M_1 = \mathbb{R} \times \{0\}</math>. On the other hand if we incorporate the reflection along the ''x''-axis:
| |
| | |
| :<math>M_2 := \{ (x, x^2) : x \in \mathbb{R} \} \cup \{ (x, -x^2) : x \in \mathbb{R} \} \subset \mathbb{R}^2 \subset \mathbb{R}^2 </math>
| |
| | |
| then <math>M_2</math> is no longer a smooth 1-dimensional submanifold, and there is no classical tangent space at the origin. On the other hand by zooming in at the origin the set <math>M_2</math> is approximately equal to two straight lines that overlap in the limit. It would be reasonable to say it has an approximate tangent space <math>\mathbb{R} \times \{0\}</math> with multiplicity two.
| |
| | |
| === Definition for measures ===
| |
| | |
| One can generalize the previous definition and proceed to define approximate tangent spaces for certain [[Radon measure]]s, allowing for multiplicities as explained in the section above.
| |
| | |
| '''Definition'''. Let <math>\mu</math> be a Radon measure on <math>\mathbb{R}^n</math>. We say that an ''m''-dimensional subspace <math>P \subset \mathbb{R}^n</math> is the approximate tangent space to <math>\mu</math> at a point <math>x</math> with multiplicity <math>\theta(x) \in (0,\infty)</math>, denoted <math>T_x \mu = P</math> with multiplicity <math>\theta(x)</math>, if
| |
| | |
| :<math>\mu_{x,\lambda} \rightharpoonup \theta \; \mathcal{H}^m \llcorner P</math> as <math>\lambda \downarrow 0</math>
| |
| | |
| in the sense of Radon measures. The right-hand side is a constant multiple of ''m''-dimensional [[Hausdorff measure]] restricted to <math>P</math>.
| |
| | |
| This definition generalizes the one for sets as one can see by taking <math>\mu := \mathcal{H}^n \llcorner M</math> for any <math>M</math> as in that section. It also accounts for the reflected paraboloid example above because for <math>\mu := \mathcal{H}^1 \llcorner M_2</math> we have <math>T_{(0,0)} \mu = \mathbb{R} \times \{0\}</math> with multiplicity two.
| |
| | |
| == Relation to rectifiable sets ==
| |
| | |
| The notion of approximate tangent spaces is very closely related to that of [[rectifiable set]]s. Loosely speaking, rectifiable sets are precisely those for which approximate tangent spaces exist almost everywhere. The following lemma encapsulates this relationship:
| |
| | |
| '''Lemma'''. Let <math>M \subset \mathbb{R}^n</math> be [[measurable]] with respect to ''m''-dimensional [[Hausdorff measure]]. Then <math>M</math> is m-[[rectifiable set|rectifiable]] if and only if there exists a positive locally <math>\mathcal{H}^m</math>-integrable function <math>\theta : M \to (0,\infty)</math> such that the [[Radon measure]]
| |
| | |
| :<math>\mu(A) = \int_A \theta(x) \, d\mathcal{H}^m(x) </math> | |
| | |
| has approximate tangent spaces <math>T_x \mu</math> for <math>\mathcal{H}^m</math>-almost every <math>x \in M</math>.
| |
| | |
| ==References==
| |
| *{{citation
| |
| | last=Simon
| |
| | first=Leon
| |
| | authorlink = Leon Simon
| |
| | title=Lectures on Geometric Measure Theory
| |
| | publisher=Australian National University
| |
| | series=Proceedings of the Centre for Mathematical Analysis
| |
| | year=1983
| |
| | volume=3
| |
| }}, particularly Chapter 3, Section 11 "'Basic Notions, Tangent Properties.''"
| |
| <!--- After listing your sources please cite them using inline citations and place them after the information they cite. Please see http://en.wikipedia.org/wiki/Wikipedia:REFB for instructions on how to add citations. --->
| |
| *
| |
| *
| |
| *
| |
| *
| |
| | |
| [[Category:Geometry]]
| |
| [[Category:Measure theory]]
| |
Flower Grower Avery Crosser from Barwick, loves frisbee golf (frolf), property developers in singapore and hot air balooning. Has travelled ever since childhood and has traveled to many places, as an example Alejandro de Humboldt National Park.
my web page :: condominium for sale, look at this site,