Intereting Posts

Evaluating $\int \frac{\mathrm dz}{z^3 \sqrt{z^2 – 4}}$
Computing the Lebesgue integral of $\frac{1}{1+x^2}$
Decimal Fibonacci Number?
Definition of group action
Inequality. $a^2+b^2+c^2 \geq a+b+c$
Projectivization and stereographic projection, or: Why nonlinear + nonlinear = linear?
List of Local to Global principles
Integer matrices with integer inverses
Is the set theory (ZF) a structure?
Are all paths with the same endpoints homotopic in a simply connected region?
Inductive vs projective limit of sequence of split surjections
Isn't $x^2+1 $ irreducible in $\mathbb Z$, then why is $\langle x^2+1 \rangle$ not a maximal ideal in $\mathbb Z?$
Find the limit: $\lim\limits_{(x,y)\to (0,0)}\frac{x^3 – y^3}{x^2+y^2}$
Can someone clearly explain about the lim sup and lim inf?
What are all conditions on a finite sequence $x_1,x_2,…,x_m$ such that it is the sequence of orders of elements of a group?

I have two questions which pertain to differentiability, connectivity and path connectivity. Ocasionally, I will encounter an author who defines connectivity in the following way:

An open subset $U$ of $\mathbb{R}^n$ is said to be *connected* if and only if given two points $a$ and $b$ of $U$ there exists a differentiable mapping $\phi: \mathbb{R} \rightarrow U$ such that $\phi(0) = a$ and $\phi(1) = b$.

This particular example is from Edward’s Advanced Calculus of Several Variables p 84. Now, this is obviously not the standard definition we learn from topology which has nothing to do with differentiability but rather whether there exists two nonempty open subsets that comprise a separation. It also seems to me that what the author is really defining what it means for a space to be “smoothly path connected”, which of course implies connectivity and, it seems to me, considerably more.

- Are the rationals a nowhere dense set?
- When is the vector space of continuous functions on a compact Hausdorff space finite dimensional?
- Who first defined open sets in terms of neighborhoods?
- Winding Numbers and Fixed Point Theorems
- On convergence of nets in a topological space
- Is $$ the union of $2^{\aleph_0}$ perfect sets which are pairwise disjoint?

My first question is: Is “smoothly path connected”, as defined above actually equivalent to “connected”, in the topological sense, in $\mathbb{R}^n$?

Next, in Vector Calculus by Baxandall and Liebeck on p 150 the authors state the existence of a continuous path $\alpha$ from the closed interval $[0,1]$ to an open subset $D$ of $\mathbb{R}^n$ where $\alpha (0) = a \in D$ and $\alpha(1) = b \in D$ guarantees the existence of a *differentiable* path with the same properties. This claim is stated without proof.

My second question is: Can someone provide a reference to a proof of the above claim or explain why it is so?

- Prove that intervals of the form $(a,b]$, $$, $[a,\infty)$ do not have the fixed point property.
- Fake homeomorphism between $R$ and $R^2$
- What does shear mean?
- A theorem due to Gelfand and Kolmogorov
- Topology without tears
- Does the Jordan curve theorem apply to non-closed curves?
- On a decreasing sequence of compact subsets of a Hausdorff topological space
- Metric is continuous, on the right track?
- Compactness of unit ball in WOT of B(X)
- Why isn't there interest in nontrivial, nondiscrete topologies on finite groups?

**Proposition:** Let $X$ be a locally path-connected space (in particular, any open subset of $\mathbb{R}^n$ has this property). Then every path component of $X$ is a connected component of $X$. In particular, $X$ is connected if and only if it is path-connected.

*Proof.* Let $U$ be a path component of $X$. If $x \in U$, then there is an open neighborhood $V$ containing $x$ which is path-connected, hence $V \subseteq U$. It follows that $U$ is open. If $x \in \bar{U}$, again choose an open neighborhood $V$ containing $x$ which is path-connected. By assumption, this neighborhood intersects $U$, so it follows that $V \subseteq U$. Hence $U$ is closed. It follows that $U$ and its complement in its connected component $C$ are disjoint open sets whose union is $C$, hence that $U = C$.

**Proposition:** Let $X$ be an open subset of $\mathbb{R}^n$ (or a smooth manifold). If two points $a, b$ are connected by a path in $X$, then they are connected by a smooth path in $X$.

*Proof.* Let $\alpha : [0, 1] \to X$ be such a path. Choose for each point $\alpha(t)$ an open ball $U_t$ containing $\alpha(t)$ and contained in $X$. By compactness, the $U_t$ have a finite subcover $U_{t_1}, … U_{t_n}$. Now it is not hard to explicitly write down a smooth path from $a$ to $b$ going through the balls $U_{t_i}$. (For example, it is trivial to write down a piecewise-linear path with this property, and then one just has to deform this path slightly in a neighborhood of each of its points of nondifferentiability using a smooth bump function.)

I will try to give a detailed proof of the second question by ItsNotObvious above. My justification for answering a year-old, already answered question, which is probably a very well-known fact as well, is that I couldn’t find a detailed proof of it anywhere in the literature.

**Proposition:** Let $M$ be a connected smooth manifold. Then for every two points $p,q \in M$ there exists a smooth (i.e. smooth at all of $(0,1)$) path $$\gamma: [0,1] \rightarrow M$$ such that $\gamma(0)=p$ and $\gamma(1)=q$.

*Proof.* We will establish the proof by proving two lemmas, which when combined imply the proposition. First we need to facts.

**Fact 1:** Every n-dimensional (not necessarily smooth) manifold $M$ admits a covering by coordinate charts $(U_{i}, \varphi_{i})$, where each of the $U_{i}$ is homeomorphically mapped by $\varphi_{i}$ to an open ball around the origin in $\mathbb{R}^{n}$. In particular $M$ is locally path-connected.

In fact the above covering can be chosen to be countable, but we won’t need that fact.

**Fact 2:** A locally path-connected topological space is connected, if and only if it is path-connected. Hence connected manifolds are path-connected.

More or less detailed proofs of those facts can be found in J.M. Lee “Introduction to Smooth Manifolds” Lemma 1.6. (Fact 1) and in “Introduction to Topological Manifolds” Proposition 4.26 e) (Fact 2) by the same author.

**Lemma 1:** Let $M$ be a connected smooth manifold. Then for every two points $p,q \in M$ there exists a path, which is non-smooth at only finitely many points in $(0,1)$, and such that for all $t \in [0,1]$ all left and right derivatives of any order exist (i.e. $\gamma$ is *piecewise smooth*).

*Proof.* Let $\gamma: [0,1] \rightarrow M$ be a path joining $p$ and $q$. By Fact 1 there is a cover $\{U_{i}\}_{i \in I}$ of $\gamma([0,1])$ consisting of charts $(U_{i},\varphi_{i})$, such that each of the open sets $U_{i}$ is homeomorphic to an open ball around the origin via $\varphi_{i}$. Now the preimages $\gamma^{-1}(U_{i})$ form an open cover of $[0,1]$. By the Lebesgue Lemma there is an $n \in \mathbb{N}$, such that the finitely many intervals $$[\frac{k}{n},\frac{k+1}{n}] \qquad k=0,…,n-1$$ cover $[0,1]$ and such that for every $k$ there exists a $j_{k} \in I$ with $\gamma([\frac{k}{n},\frac{k+1}{n}]) \subset U_{j_{k}}$.

Let $\alpha_{k}: [\frac{k}{n},\frac{k+1}{n}] \rightarrow \varphi_{j_{k}}(U_{j_{k}})$ be a straight line, parametrized by $[\frac{k}{n},\frac{k+1}{n}]$ connecting $\varphi_{j_{k}}(\gamma(\frac{k}{n}))$ with $\varphi_{j_{k}}(\gamma(\frac{k+1}{n}))$, which is possible as $\varphi_{j_{k}}(U_{j_{k}})$ is an open ball and thus convex. Now define a new path $$\tilde{\gamma}: [0,1] \rightarrow M$$ piecewise by $$\tilde{\gamma}(t) = \varphi_{j_{k}}^{-1}(\alpha_{k}(t)), \qquad \text{if} \quad t \in [\frac{k}{n},\frac{k+1}{n}]$$ It is clear from the definition that $\tilde{\gamma}$ is a piecewise smooth path joining $p$ and $q$.

**Lemma 2:** Let $\gamma_{1}, \gamma_{2}: [0,1] \rightarrow M$ be two smooth curves with $\gamma_{1}(1)=\gamma_{2}(0)$. There is a smooth curve $$\gamma: [0,1] \rightarrow M$$ such that $\gamma(0)=\gamma_{1}(0)$ and $\gamma(1)=\gamma_{2}(1)$. In particular any two points $p,q \in M$, which can be connected by a piecewise smooth curve can be connected by a smooth curve.

*Proof.* Define $$\sigma_{1}: [0,1] \rightarrow [0,1], \qquad t \mapsto 1-e^{-\frac{1}{1-t}+1}$$ $$\sigma_{2}: [0,1] \rightarrow [0,1], \qquad t \mapsto e^{-\frac{1}{t}+1}$$ Both maps are homeomorphisms of $[0,1]$ onto itself. Consider the path $$\gamma:=(\gamma_{1} \circ \sigma_{1}) \star (\gamma_{2} \circ \sigma_{2})$$ where $\star$ denotes the composition of two paths. It is clear that $\gamma$ is smooth everywhere on $(0,1)$, except for possibly $t=\frac{1}{2}$.

Denote by $\partial_{+}$ the right derivative and by $\partial_{-}$ the left derivative. By applying the chain rule for semi-differentiable functions it is easy to see that $$\partial_{+}\gamma(\frac{1}{2})=\partial_{+}(\gamma_{1} \circ \sigma_{1})(1)=\partial_{+}\gamma_{1}(\sigma_{1}(1)) \partial_{+}{\sigma_{1}(1)}= \partial_{+}\gamma_{1}(\sigma_{1}(1)) \cdot 0=0$$ and likewise $\partial_{-}\gamma(\frac{1}{2})=0$. This shows in particular that the left and the right derivative of $\gamma$ in $\frac{1}{2}$ agree, and a similar calculation shows that all higher left and right derivatives agree at $\frac{1}{2}$ as well. Hence $\gamma$ is smooth

Putting the two facts and the two lemmas together gives the proof of the proposition.

**Edit:**

One could alternatively prove Lemma 1 by showing that for a given point $p \in M$ the set of points which can be connected by a piecewise smooth path with $p$ is non-empty and both open and closed in $M$ and hence all of $M$, as $M$ is connected. The proof is almost the same as the proof of Fact 2. Roughly speaking, in the proof of Fact 2 (sketched by Qiaochu in his answer) you replace “path” by “piecewise smooth path” everywhere. I just realized this after posting my answer.

*1*

Yes, smooth-path-connectedness is the same thing as path-connectedness.

For example, suppose $\gamma:[0,1]\to U$ is a path in an open set $U\subseteq\mathbb R^n$ from $a=\gamma(0)$ to $b=\gamma(1)$. Then you can show that there is a map $\eta:[0,1]\to U$, also from $a$ to $b$, which is in fact piecewise linear and whose linear segments are parallel to the coordinate axes. Next, show that such a map can be deformed very slightly into a smooth one.

*2*

Path-connectedness and connectedness is the same thing for open subsets of $\mathbb R^n$.

That the first implies the second is more or less immediate.

The converse implication is a consequence of the fact that open subsets of $\mathbb R^n$ are *locally path-connected*: each point has an open neighborhood which is path connected: namely, a sufficiently small open ball centered at it.

- Hairy ball theorem : a counter example ?
- Finding $\lim\limits_{x \to 0}\ \frac{\sin(\cos(x))}{\sec(x)}$
- How to prove continuity of $e^x$.
- A and B disjoint, A compact, and B closed implies there is positive distance between both sets
- Integral of Thomae's function
- Parallel vector fields imply a flat connection?
- Fredholm operator norm
- Find generators of a group in GAP
- Construct tangent to a circle
- How should this volume integral be set up?
- Calculating $\lim_{x\to-\infty}\left(\sqrt{4x^2-6}-\sqrt{4x^2+x}\right)$
- Derivation of the general forms of partial fractions
- Are there books introducing to Complex Analysis for people with algebraic background?
- Convergence in metric and a.e
- Spatial angles in higher dimensions