2022年10月2日日曜日

357: ユークリディアンノルム付きC^\inftyマニフォールド(多様体)上のコンベックス(凸)オープンセット(開集合)でそのクロージャー(閉包)がバウンデッド(有界)であるものから同次元またはより高次元ユークリディアンノルム付きC^\inftyマニフォールド(多様体)へのポリノミアル(多項式)マップ(写像)下の、メジャー(測度)0サブセット(部分集合)のイメージ(像)はメジャー(測度)0である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ユークリディアンノルム付きCマニフォールド(多様体)上のコンベックス(凸)オープンセット(開集合)でそのクロージャー(閉包)がバウンデッド(有界)であるものから同次元またはより高次元ユークリディアンノルム付きCマニフォールド(多様体)へのポリノミアル(多項式)マップ(写像)下の、メジャー(測度)0サブセット(部分集合)のイメージ(像)はメジャー(測度)0であることの記述/証明

話題


About: ユークリディアンノルム付きCマニフォールド(多様体)
About: メジャー(測度)
About: マップ(写像)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のユークリディアンノルム付きC^\inftyマニフォールド(多様体)上の任意のコンベックス(凸)オープンセット(開集合)でそのクロージャー(閉包)がバウンデッド(有界)であるものから任意の同次元またはより高次元ユークリディアンノルム付きC^\inftyマニフォールド(多様体)への任意のポリノミアル(多項式)マップ(写像)に対して、任意のメジャー(測度)0サブセット(部分集合)のマップ(写像)イメージ(像)はメジャー(測度)0であるという命題の記述と証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


任意のユークリディアンノルム付きCマニフォールド(多様体)たちRnおよびRm、ここで、nm、任意のコンベックス(凸)オープンセット(開集合)でそのクロージャー(閉包)がバウンデッド(有界)であるものURn、任意のポリノミアル(多項式)マップ(写像)f:URm、任意のメジャー(測度)0サブセット(部分集合)SU,m(S)=0、ここで、m()は引数のメジャー(測度)、に対して、Sf下のイメージ(像)はメジャー(測度)0である、つまり、m(f(S))=0


2: 証明


当該ポリノミアル(多項式)マップ(写像)はRn上で定義されていると見なすことができる、UからRnへカノニカル(自然)に拡張されて。fC1なので、任意のユークリディアンノルム付きCマニフォールド(多様体)上の任意のオープンセット(開集合)から任意のユークリディアンノルム付きCマニフォールド(多様体)への任意のC1マップ(写像)は、任意のコンベックス(凸)オープンセット(開集合)でそのクロージャー(閉包)がバウンデッド(有界)で元のオープンセット(開集合)内に含まれているものの中でリプシッツ条件を満たしているという命題によって、fU上でリプシッツ条件を満たす。.

任意のメジャー(測度)0サブセット(部分集合)の、任意のユークリディアンノルム付きトポロジカルスペース(空間)から同次元またはより高次元ユークリディアンノルム付きトポロジカルスペース(空間)へのリプシッツ条件を満たす任意のマップ(写像)下のイメージ(像)はメジャー(測度)0であるという命題によって、m(f(S))=0


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>