# Smooth curve segments and smooth charts

Let $$M$$ be a smooth manifold with or without boundary, and let $$\gamma:[a,b]\to M$$ be a smooth curve.

I want to show that there exist a finite partition $$a=a_0 such that $$\gamma([a_{i-1},a_i])$$ is contained in the domain of a single smooth chart for each $$i=1,\dots,k$$.

Here is my argument but I'm not able to conclude it

By compactness of $$\gamma([a,b])$$ there exists a finite number of smooth charts $$(U_i,\varphi_i)_{i=1}^k$$ such that $$\gamma([a,b])\subseteq U_1\cup\dots\cup U_k.$$

Suppose $$\gamma(a)\in U_1$$, so we have $$a\in \gamma^{-1}(U_1)$$ wich is open in $$[a,b]$$. So there is an interval of the form $$[a,\varepsilon)$$ contained in $$\gamma^{-1}(U_1)$$ with $$\varepsilon>a$$. Let $$\delta:=$$sup$$\{\varepsilon>a:[a,\varepsilon)\subseteq \gamma^{-1}(U_1)\}$$. Then I can show that $$[a,\delta) \subseteq \gamma^{-1}(U_1)$$. Thus we have $$\gamma([a,\delta))\subseteq U_1$$ and $$\delta>a$$.

Now suppose that $$\gamma(\delta)\in U_2$$, so $$\delta\in \gamma^{-1}(U_2)$$ which is open in $$[a,b]$$. Thus there is $$\varepsilon>0$$ such that $$(\delta-\varepsilon,\delta+\varepsilon)\subseteq \gamma^{-1}(U_2)$$ and $$\delta-\varepsilon>a$$. Let $$a_1=\delta-\varepsilon/2$$. Thus we have $$\gamma([a,a_1])\subseteq U_1$$ and $$\gamma(a_1)\in U_2$$.

Repeating the argument with $$a_1$$ in place of $$a$$, then i can find $$a_2$$ such that $$\gamma([a_1,a_2])\subseteq U_2$$ and $$\gamma(a_2)\in U_3$$. Contiuing this way I find points $$a=a_0 such that $$\gamma([a_{i-1},a_i])$$ is contained in $$U_i$$ for each $$i=1,\dots,k$$.

I'm not able to show that $$a_k=b$$.

Edit

As noted in the comment, this argument is wrong. So how can I prove this statement?

• You argument does not work. It is possible that $\gamma(a_2)$ is again in $U_1$ and in no other $U_i$. Thus you cannot be sure that your process stops at $b$. – Paul Frost Mar 2 at 17:30
• Thank-you :) Can you show me how can i prove my statement? – Minato Mar 2 at 17:56

Let $$\{ U_\alpha \}_{\alpha \in A}$$ be any open cover of $$\gamma([a,b])$$ where the $$U_\alpha$$ are the domains of charts. Then the $$V_\alpha = \gamma^{-1}(U_\alpha)$$ form an open cover of $$[a,b]$$. You can now take a Lebesgue number for $$\mathfrak{V} = \{ V_\alpha \}_{\alpha \in A}$$ to find the desired partition. This is a number $$r > 0$$ such that each set of diameter $$< r$$ is contained in some $$V_\alpha$$. See https://en.wikipedia.org/wiki/Lebesgue%27s_number_lemma or any textbook on general topology. Also see my answer to Relation between Riemann sums and oscillation of a bounded function. The proof can easily be adapted to general covers.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7053557,"math_prob":0.9999987,"size":1643,"snap":"2019-26-2019-30","text_gpt3_token_len":579,"char_repetition_ratio":0.16656497,"word_repetition_ratio":0.01904762,"special_character_ratio":0.364577,"punctuation_ratio":0.12535612,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000098,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-07-20T21:50:41Z\",\"WARC-Record-ID\":\"<urn:uuid:f5255edf-93fb-4d62-b6c3-a67112e46a4a>\",\"Content-Length\":\"146851\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:b1631ed8-2a9a-4135-9f9e-038ae9bcfa83>\",\"WARC-Concurrent-To\":\"<urn:uuid:8cd5d7f6-3169-44e0-ab02-2187698feb93>\",\"WARC-IP-Address\":\"151.101.193.69\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/3132314/smooth-curve-segments-and-smooth-charts\",\"WARC-Payload-Digest\":\"sha1:V3DEZX7K3RGPJLM57H2OSBYW5HTONBTE\",\"WARC-Block-Digest\":\"sha1:GUDTJC7PR7P24YPV4FVVJUJV3W4N3C3H\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-30/CC-MAIN-2019-30_segments_1563195526714.15_warc_CC-MAIN-20190720214645-20190721000645-00303.warc.gz\"}"}