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.

From the Extreme Value Theorem, it follows that there exists $t_0 \in \closedint 0 1$ such that:
 * $\ds \norm {\map f {t_0} } = \max_{t \mathop \in \closedint 0 1} \norm {\map f t}$

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 create a sequence of vertices $\sequence {V_n}_{n \in \N}$.

From Distance between Points in Regular Hexagon,

qed}}

Components of Vector between two Points

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