User:Anghel/Sandbox

Theorem
Let $f : \closedint 0 1 \to \R^2$ be a loop in the Euclidean plane $\R^2$.

Let $\epsilon \in \R_{>0}$.

Then there exists a Jordan curve $\gamma : \closedint 0 1 \to \R^2$ such that $\Img f \subseteq \Int \gamma$, and for all $t \in \closedint 0 1$:
 * $\map d {\map \gamma t, \Img f} < \epsilon$

where $\map d {\map \gamma t, \Img f}$ denotes the Euclidean distance between $\map \gamma t$ and $\Img f$.

Here $\Img f$ denotes the image of $f$, and $\Int \gamma$ denotes the interior of $\gamma$.

Proof
Let $\norm {\map f t} : \closedint 0 1 \to \R$ denote the Euclidean norm of $\map f t$, considered as a function of $t$.

From Norm on Vector Space is Continuous Function and Composite of Continuous Mappings between Metric Spaces is Continuous, it follows that $\norm {\map f t}$ is continuous.

From Closed Real Interval is Compact, it follows that $\closedint 0 1$ is compact.

Set $\ds K := \max_{t \mathop \in \closedint 0 1} \norm {\map f t}$.

From the Extreme Value Theorem it follows that $K$ is well-defined, and there exists $t_0 \in \closedint 0 1$ such that:
 * $\ds \norm {\map f {t_0} } = K$

By definition of open ball, it follows that:
 * $\Img f = \map {B_K}{\bszero}$

where $\map {B_K}{\bszero}$ denotes an open ball with center equal to the origin of $\R^2$.

Let $\LL : \hointr 0 \infty \to \R^2$ be a ray with start point $\map f {t_0}$ defined by:
 * $\map \LL r = r \map f {t_0} + \map f {t_0}$

Using, it follows that for all $r \in \openint 0 \infty$:
 * $\norm {\map \LL r} = \paren {1+r} \norm{ \map f {t_0} } > \norm{ \map f {t_0} }$

which shows that $\map \LL r \notin \Img f$.

Set $s := \epsilon / 4$.

From Three Regular Tessellations:Hexagons, it follows that there exists a tessellation of $\R^2$ consisting of regular hexagons with side length $s$.

Let $S$ be the first side of the hexagons that $\LL$ intersects, going from $\map f {t_0}$ to infinity.

Suppose that $\LL$ intersects $S$ at a vertex, or $\map f {t_0}$ is a vertex.

In this case, translate the tessellation by a small quantity, say $\tuple {\dfrac s 6, \dfrac s 7}$, such that $\LL$ no longer first intersects the hexagons at a vertex.

Let $H, H'$ be the two regular hexagons adjacent to $S$, labelled such that $\map f {t_0}$ lies in the interior of $H$.

Suppose that $H'$ and $\Int f$ are not disjoint, which implies that $H'$ intersects the open ball $\map {B_r}{\bszero}$ with center equal to the origin $\bszero$ of $\R^2$.

In this case, let $S'$ be the second side of the hexagons that $\LL$ intersects, going from $\map f {t_0}$ to infinity.

The two regular hexagons adjacent to $S'$ are $H'$ and another hexagon which we label $H' '$.

As $\norm {\map \LL r}$ increases as $r$ increases, it follows that the distance between $H' '$ and $\Img f$ is larger than the distance between $H'$ and $\Img f$.

Hence, $H' '$ and $\Int f$ are disjoint.

Set $S_0 := S'$ if $S_1$ was defined, and if not, set $S_0 := S$.

It follows that of the two hexagons $H_0, H_0'$ adjacent to the side $S_0$, the hexagon we label $H_0$ contains elements of $\Img f$, while $H_0'$ and $\Int f$ are disjoint.

Let $V_0, V_1$ be the two vertices of the side $S_0$.

Let $\vec {V_0 V_1}$ be the vector quantity that represents the directed line segment with startpoint $V_0$ and endpoint $V_1$.

Label the vertices such that $H_0$ lies to the right of $\vec {V_0 V_1}$, and $H_0'$ lies to the left of $\vec {V_0 V_1}$.

That is, if $\vec {V_0 V_1}$ is rotated in clockwise direction around $V_0$, then $V_1$ will first pass through $H_0$.

Next, we define a sequence of vertices $\sequence {V_n}_{n \in \N}$ in the tessellation by induction.

For $n \in \N_{>ge 2}$, let $H_{n-1}$ be the hexagon to the right of $\vec { V_{n-2} V_{n-1} }$ that contains elements of $\Img f$.

Let $H_{n-1}'$ be the hexagon to the left of $\vec { V_{n-2} V_{n-1} }$ that is disjoint with $\Img f$.

Let $H_n$ be the hexagon that has $V_{n-1}$ as a vertex, and does not have $\vec { V_{n-2} V_{n-1} }$ as a side.

If $H_n$ is disjoint with $\Img f$, define $V_n$ as the vertex shared by $H_n$ and $H_{n-1}$, and not equal to $V_{n-1}$.

If $H_n$ is not disjoint with $\Img f$, define $V_n$ as the vertex shared by $H_n$ and $H_{n-1}'$, and not equal to $V_{n-1}$.

In both cases, the hexagon to the right of $\vec { V_{n-1} V_{n} }$ will contain elements of $\Img f$, while the hexagon to the left of $\vec { V_{n-1} V_{n} }$ is disjoint with $\Img f$.

For all $\mathbf p \in \R^2$ that lies on $\vec { V_{n-1} V_{n} }$, it follows that $\mathbf p$ and some element of $\Img f$ lie in the hexagon to the right of $\vec { V_{n-1} V_{n} }$

From Distance between Points in Regular Hexagon, it follows that:
 * $\map d { \mathbf p, \Img f} = 2 s = \epsilon / 2$

As $\Img f \subseteq \map {B_K}{\bszero}$, it follows by the triangle inequality that:
 * $\mathbf p \in \map {B_{K + 2s} }{\bszero}$

From Area of Circle, it follows that the area of $\map {B_{K + 2s} }{\bszero}$ is equal to $\pi \paren{ K + 2s }^2$.

From Area of Regular Hexagon, it follows that the area of each regular hexagon in the tessellation is equal to $\dfrac {3 \sqrt 3} 2 s^2$.

It follows that $\vec { V_{n-1} V_n }$ can be a side of at most $\dfrac { 2 \pi \paren{ K + 2s }^2 }{3 \sqrt 3 s^2}$ different hexagons.

Hence, there exists $n_0, n_1 \in \N$ with $n_0 < n_1$ such that $V_{n_0} = V_{n_1}$.

Let $n_0$ be the smallest such number.

Suppose that $n_0 > 0$.

qed}}

Components of Vector between two Points

Category:Loops (Topology)]] Category:Jordan Curves]]