通常の曲線としての曲線の再パラメータ化(トポロジ)

3
Tom Collinge 2019-06-07 04:37.

曲線またはトポロジーパスは、論文「連続パスの再パラメーター化-UlrichFahrenbergおよびMartinRaussen」に含まれている通常の曲線として再パラメーター化できるという結果があります。 https://arxiv.org/pdf/0706.3560.pdf

私にとって、概念はあまりにも進んでいます。これについてもっと簡単な証拠はありますか?

以下の定義は、(多かれ少なかれ)論文から取られています。

パスは連続的マッピングであります$p$ 閉じた単位区間から $I = [0, 1]$ 位相空間へ $X$
パスのイメージがXの単一の点である場合を除いて、閉じた間隔がない場合、パスは規則的です。$[a, < b] \subset I$ その上で $p$は一定です。reparametrization
$\phi$ は非減少の全射連続写像です $\phi: I \to I$$\phi(0) = 0; \phi(1) = 1$

定理:任意のパス$p: I \to X$ 通常のパスがあります $q: I \to X$ および再パラメータ化 $\phi$ そのような $p = q \circ \phi$


その場合にこれを証明するのは簡単に見えます $p$停止間隔の数には限りがあります$p$ 一定)それらを一つずつ切り取り、対応するものを構成することによって $\phi$関数。明らかに停止間隔の数は数えられますが、数え切れないほどの数の停止間隔をどのように処理するのですか?

1 answers

1
Paul Frost 2019-08-09 07:26.

(* x)元の回答に追加された脚注を参照してください...


あなたはその場合を除外します $p : I \to X$は一定です。しましょう$\mathcal C$ すべてのプリイメージのすべてのコンポーネントのセット(* a) $p^{-1}(x)$$x \in p(I)$ そして $\mathcal S$ すべてのサブセット $S \in \mathcal C$複数のポイントがある。以来$S$ の接続されたサブセットです $I$、それは間隔です。それが必要なので$S$ 複数のポイントがあり、長さがあります $> 0$ そしてそれを停止間隔と呼びます $p$。オープン、ハーフオープン、またはクローズドインターバルの場合があります。

続編では、すべての停止間隔が閉じた間隔であると想定しています。これは、次の場合に自動的に満たされます。$X$$T_1$-スペース(* b)。その後、すべて$p^{-1}(x)$ で閉じられます $I$そのため、そのすべてのコンポーネントも閉じられます。閉じられていない停止間隔が存在する場合、以下のいくつかの引数は無効になります。

セット $\mathcal S$可算(* c)(空を含む有限、または無限)。しましょう$C = \bigcup_{S \in \mathcal S} S$。しましょう$\mathcal T$ のコンポーネントのセットを示します $I \setminus C$。の各要素$\mathcal T$間隔です-開いている、半分開いている、または閉じている(ポイントに縮退している可能性があります)。(* d)

閉じたサブインターバルごとに $J = [c,d] \subset I$ しましょう $$\mathcal S_J = \{ S \cap J \mid S \in \mathcal S, S \cap J \ne \emptyset \} .$$これもまた、閉じた間隔の可算集合です。それは可能です$S \cap J = \{c\},\{d\}$(縮退した間隔)が、これは問題ではありません。番号$$\lvert \mathcal S_J \rvert = \sum_{A \in \mathcal S_J} \lvert A \rvert$$明確に定義されています。ここに$\lvert A \rvert$ 長さを示します $b - a$ 間隔の $A = [a, b]$。明らかに私たちは常に持っています$\lvert \mathcal S_J \rvert \le \lvert J \rvert$

定義する $$s : I \to I, s(t) = \lvert \mathcal S_{[0,t]} \rvert .(*e)$$ にとって $t \le t'$ 我々は持っています $s(t') = s(t) + \lvert \mathcal S_{[t,t']} \rvert$。これを確認するには、$S = [a,b] \in \mathcal S$ そのような $S \cap [0,t'] \ne \emptyset$。我々は持っています$S \cap [0,t'] = (S \cap [0,t]) \cup (S \cap [t,t'])$。これらの2つの交差点のいずれかが空の場合、加数$\lvert S \cap [0,t'] \rvert$$\lvert \mathcal S_{[0,t']} \rvert$ 合計の1つだけで発生します $\lvert \mathcal S_{[0,t]} \rvert$$\lvert \mathcal S_{[0,t]} \rvert$。両方の交差点が空でない場合は、$\lvert S \cap [0,t'] \rvert = \lvert S \cap [0,t] \rvert + \lvert S \cap [t,t'] \rvert$

私たちはそれを結論付けます

  1. にとって $t \le t'$ 我々は持っています $s(t') = s(t) + \lvert \mathcal S_{[t,t']} \rvert \le s(t) + (t' - t)$

  2. $s$ 1.が意味するため、連続です $\lvert s(t') - s(t) \rvert \le \lvert t' - t \rvert$ すべてのために $t, t'$

  3. の制限 $s$$S = [a,b] \in \mathcal S$ 形があります $s(t) = s(a) + \lvert \mathcal S_{[a,t]} \rvert = s(a) + \lvert [a,t]\rvert = s(a) + (t-a)$

  4. の制限 $s$$T \in \mathcal T$ 一定です(何らかの値があります $c_T$)。これを見るには、$t,t' \in T$$t \le t'$。次に$s(t') = s(t) + \lvert \mathcal S_{[t,t']} \rvert = s(t)$ なぜなら $[t,t'] \subset T \subset I \setminus C$ 交差しない $S \in \mathcal S$

定義する $r(t) = t - s(t)$。これは、次のような連続関数です。$r(t) \ge 0$ そして $r(0) = 0$。関数$r$ のために減少していません $t \le t'$ 我々は持っています $r(t') - r(t) = t' - s(t') - (t - s(t)) = (t' - t) - (s(t') - s(t)) \ge 0$(1を参照)。以来$r(1) = 1 - s(1)$$r$ 継続的な非減少全射として $r : I \to [0,1-s(1)]$

また、 $t\in S = [a,b] \in \mathcal S$ 我々は持っています $r(t) = t - s(a) - (t-a) = a - s(a)$ とのために $t \in T \in \mathcal T$ 我々は持っています $r(t) = t - c_T$。これは、の停止間隔が$r$ と同じです $p$。したがって、$p = p' \circ r$ 独自の機能を備えています $p' : [0,1-s(1)] \to X$。なぜなら$I$ コンパクトで、 $r$ 商マップであり、 $p'$連続です(* f、* g、* h)。ストレッチ$[0,1-s(1)]$$I$望ましい結果が得られます。ご了承ください$s(1) )= 1$ その場合は不可能なので不可能です $p$ 一定になります。

最後に、閉じていない停止間隔が存在する場合に引数がどこで分解されるかを見てみましょう。 $S$。次に$S \subsetneqq \overline{S} = [a, b]$ および3.保持する $\overline{S}$。したがって、$r$ は一定です $\overline{S}$(これは連続性からも続きます)。したがって、$r$ そして $p$同じ停止間隔はありません。例として、一定でないマップを考えてみましょう$f : I \to \{0,1\}$、 どこ $\{0,1\}$ のような些細なトポロジーを持っています $p(x) = 0$ にとって $x < 1/2$ そして $p(x) = 1$ にとって $x \ge 1/2$。次に$p$ 停止間隔があります $[0,1/2)$ そして $[1/2,1]$、 だが $r$ 停止間隔があります $I$

リマーク:

定義を使用することもできます $$s(t) = \int_0^t \chi_C(x)dx$$ どこ $\chi_C$ サブセットの特性関数です $C \subset I$ (すなわち $\chi_C(x) = 1$ にとって $x \in C$$\chi_C(x) = 0$ にとって $x \notin C$)。しかし、証拠その$\chi_C$ 可積分である必要があります。


明確化と参照..。

(* a)「コンポーネント」の定義に暗黙的に含まれているのは、それらが接続されていることです。
(* b)スペースは$T_1$すべてのシングルトンポイントセットが閉じている場合に限ります。
(* c)$\mathcal S $ の正の長さの合計を計算できる必要があります $S \in \mathcal S$有限であること。
(* d)それぞれが$S$が閉じられている(可算)無限の和集合を閉じる必要はありません-したがって、$\mathcal T$
(* e)$s(t) $ その場合、ポイントまでの「停止した長さ」の合計です。 $t$
(* f)Munkres-トポロジー、p.135商マップの定義:連続全射開写像は商マップです。
(* g)https://math.stackexchange.com/q/548598-コンパクト空間からハウスドルフへの連続マップは閉じられています。
(* h)Munkres-トポロジー、p.142定理22.2-可換性図:の存在と連続性$p'$

Related questions

MORE COOL STUFF

「水曜日」シーズン1の中心には大きなミステリーがあります

「水曜日」シーズン1の中心には大きなミステリーがあります

Netflixの「水曜日」は、典型的な10代のドラマ以上のものであり、実際、シーズン1にはその中心に大きなミステリーがあります.

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ケイト・ミドルトンは、州の夕食会と州の訪問中にカミラ・パーカー・ボウルズからスポットライトを奪いたくなかった、と専門家は言う.

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンが、オリビア・ワイルドが彼女とハリー・スタイルズとの間の「難しい」が「非常に友好的」な分割を恒久的にすることを望んでいる理由を見つけてください.

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする 

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする&nbsp;

エリザベス女王の死後、ケイト・ミドルトンが舞台裏で「非常に困難な時期」を過ごしていたと伝えられている理由を調べてください.

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セント ヘレナ島のジェイコブズ ラダーは 699 段の真っ直ぐ上る階段で、頂上に到達すると証明書が発行されるほどの難易度です。

The Secrets of Airline Travel Quiz

The Secrets of Airline Travel Quiz

Air travel is far more than getting from point A to point B safely. How much do you know about the million little details that go into flying on airplanes?

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

バイオニック読書はあなたをより速く読むことができますか?

バイオニック読書はあなたをより速く読むことができますか?

BionicReadingアプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

パンデミックは終わったかもしれないが、Covid-19 は終わっていない

パンデミックは終わったかもしれないが、Covid-19 は終わっていない

2021 年 6 月 8 日にニューヨーク市で開催された covid-19 パンデミックで亡くなった人々の命を偲び、祝うために、ネーミング ザ ロスト メモリアルズが主催するイベントと行進の最中に、グリーンウッド墓地の正門から記念碑がぶら下がっています。週末、ジョー・バイデン大統領は、covid-19 パンデミックの終息を宣言しました。これは、過去 2 年以上にわたり、公の場でそうするための長い列の中で最新のものです。

デビル・イン・オハイオの予告編は、エミリー・デシャネルもオハイオにいることを明らかにしています

デビル・イン・オハイオの予告編は、エミリー・デシャネルもオハイオにいることを明らかにしています

オハイオ州のエミリー・デシャネル みんな早く来て、ボーンズが帰ってきた!まあ、ショーボーンズではなく、彼女を演じた俳優. エミリー・デシャネルに最後に会ってからしばらく経ちました.Emily Deschanel は、長期にわたるプロシージャルな Bones の Temperance “Bones” Brennan としてよく知られています。

ドナルド・トランプはFBIのマー・ア・ラーゴ襲撃映像をリリースする予定ですか?

ドナルド・トランプはFBIのマー・ア・ラーゴ襲撃映像をリリースする予定ですか?

どうやら、ドナルド・トランプに近い人々は、今月初めにFBIによって家宅捜索された彼のMar-a-Lago財産からの映像を公開するよう彼に勧めています. 前大統領はテープを公開するかどうかを確認していませんが、息子はフォックス・ニュースにそうなるだろうと語った.

Andor は、他の Star Wars ショーから大きな距離を置きます。

Andor は、他の Star Wars ショーから大きな距離を置きます。

アンドールの一場面。数十年前、ジョージ・ルーカスがスター・ウォーズのテレビ番組を制作するのを妨げた主な理由は、お金でした。

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、子供向けのパズルの本の序文を書き、ジョージ王子、シャーロット王女、ルイ王子と一緒にテキストを読むと述べた.

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

Yak's Produce は、数十個のつぶれたメロンを野生動物のリハビリ専門家であるレスリー グリーンと彼女のルイジアナ州の救助施設で暮らす 42 匹の動物に寄付しました。

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

8 枚目のスタジオ アルバムのリリースに向けて準備を進めているデミ ロヴァートは、「スーパー グレート ガイ」と付き合っている、と情報筋は PEOPLE に確認しています。

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

イーサン プラスの誕生日のお祝いは、TLC のウェルカム トゥ プラスビルのシーズン 4 のフィナーレで、戦争中の母親のキム プラスと妻のオリビア プラスを結びつけました。

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

ホームオフィスのセットアップ術を極めよう!AppExert の開発者は、家族全員が一緒にいる場合でも、在宅勤務の技術を習得しています。祖父や曽祖父が共同家族で暮らしていた頃の記憶がよみがえりました。

2022 年、私たちのデジタル ライフはどこで終わり、「リアル ライフ」はどこから始まるのでしょうか?

20 年前のタイムトラベラーでさえ、日常生活におけるデジタルおよびインターネットベースのサービスの重要性に驚くことでしょう。MySpace、eBay、Napster などのプラットフォームは、高速化に焦点を合わせた世界がどのようなものになるかを示してくれました。

ニューロマーケティングの秘密科学

ニューロマーケティングの秘密科学

マーケティング担当者が人間の欲望を操作するために使用する、最先端の (気味が悪いと言う人もいます) メソッドを探ります。カートをいっぱいにして 3 桁の領収書を持って店を出る前に、ほんの数点の商品を買いに行ったことはありませんか? あなたは一人じゃない。

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

私たちが住んでいる世界を確実に理解するには、データが必要です。ただし、空間参照がない場合、このデータは地理的コンテキストがないと役に立たなくなる可能性があります。

Language