|
|
|
Viewing Version
6
of
'rectifiable set'
|
[ view 'rectifiable set'
|
back to history
]
| Title of object: |
rectifiable set |
| Canonical Name: |
RectifiableSet |
| Type: |
Definition |
| Created on: |
2004-07-09 11:26:20 |
| Modified on: |
2004-07-16 02:12:49 |
| Classification: |
msc:49Q15 |
| Defines: |
density, tangent vector, approximate tangent plane |
Revision comment (for changes between this and next version):
| Changes for correction #6423 ('bibliography'). |
Preamble:
% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here
\renewcommand{\H}{\mathcal H}
\newcommand{\R}{\mathbb R} |
Content:
A set $S\subset \R^n$ is said to be \emph{$(\H^m,m)$-rectifiable} or simply \emph{$m$-rectifiable} if $\H^m(S)<+\infty$ and there exists a countable sequence of Lipschitz continuous functions $f_k\colon \R^m \to \R^n$ such that
\[
\H^m(S\setminus \bigcup_k f_k(\R^m)=0
\]
where $\H^m$ is the $m$-dimensional Hausdorff measure in $\R^n$.
Given a point $x\in S$ one can define the \emph{density} of $S$ in $x$ as
\[
\Theta^m(S,x) = \lim_{\rho \to 0} \frac{\H^m(S\cap B_\rho(x))}{\omega_m \rho^m}
\]
where $\omega_m$ is the Lebesgue measure of the unit ball in $\R^m$. Notice that an $m$-dimensional plane has density $1$ in all points.
It turns out that if $S$ is rectifiable, then in $\H^m$-a.e.\ point $x\in S$ the density $\Theta^m(S,x)$ exists and is equal to $1$. Moreover in $\H^m$-a.e.\ point $x\in S$ there exists an \emph{approximate tangent plane} to $S$ as defined below.
Given a point $x\in S\subset \R^n$ and a vector $v\in \R^n$ we say that $v$ is tangent to $S$ in $x$ if there exists a sequence of points $x_k\in S$, $x_k\to x$ and a sequence of positive numbers $\lambda_k$ such that
\[
\lim_{k\to \infty} \lambda_k (x_k -x) = v.
\]
If $S$ is an $m$-dimensional manifold, then the set of tangent vectors to a point $x\in S$ is nothing else than the usual tangent plane to $S$ in $x$.
We say that a vector $v$ is \emph{approximately tangent} to $S$ in $x$ if it is
a tangent vector to every subset $S'$ of $S$ such that $\Theta^m(S\setminus S',x)=0$. Notice that every tangent vector is also an approximately tangent vector while the converse is not always true, as it is shown in an example below. The point, here, is that being the set $S$ defined $\H^m$-almost everywhere, we need a stronger definition for tangent vectors.
The \emph{approximate tangent cone} to $S$ in $x$ is the set of all approximately tangent vectors to $S$ in $x$ (notice that if $v$ is a tangent vector then $\lambda v$ is also a tangent vector, for all $\lambda>0$).
If the approximate tangent cone is an $m$-dimensional vector subspace of $\R^n$, it is called the \emph{approximate tangent plane}.
Notice that if $S\subset \R^n$ is any $m$-dimensional regular surface,
and $Q$ is the set of all points of $\R^n$ with rational coordinates, then the set $S\cup Q$ is an $m$-rectifiable set since $\H^1(Q)=0$. Notice, however, that $\overline{S\cup Q} = \R^n$ and consequently every vector $v$ is tangent to $S\cup Q$ in every point $x\in S\cup Q$. On the other hand the approximately tangent vectors to $S\cup Q$ are only the tangent vectors to $S$, because the set $Q$ has density $0$ everywhere.
\section*{References}
Frank Morgan: \emph{Geometric Measure Theory: A Beginner's Guide}. |
|
|
|
|
|
