2024年10月20日日曜日

822: Cマニフォールド(多様体)、バウンダリー付き、に対して、エンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、は、マニフォールド(多様体)、バウンダリー付き、のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、である

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

Cマニフォールド(多様体)、バウンダリー付き、に対して、エンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、は、マニフォールド(多様体)、バウンダリー付き、のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、であることの記述/証明

話題


About: Cマニフォールド(多様体)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のCマニフォールド(多様体)、バウンダリー付き、に対して、任意のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、の任意のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、は、当該マニフォールド(多様体)、バウンダリー付き、のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
M: { 全ての C マニフォールド(多様体)、バウンダリー(境界)付き、たち }
M: {M の全てのエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、たち }
M: {M の全てのエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、たち }
//

ステートメント(言明)たち:
M: {M の全てのエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、たち }
//


2: 証明


全体戦略: ステップ1: MMのトポロジカルサブスペース(部分空間)であることを見る; ステップ2: ι:MMおよびι:MMをインクルージョン(封入)たちとし、ιι:MMCエンベディング(埋め込み)であることを見る; ステップ3: 本命題を結論する。

ステップ1:

MMのトポロジカルサブスペース(部分空間)であることを見よう。

MMのトポロジカルサブスペース(部分空間)である。MMのトポロジカルサブスペース(部分空間)である。

Mの各サブセット(部分集合)はオープン(開)または非オープン(開)である、もしも、それが、MMのトポロジカルサブスペース(部分空間)とみなしてオープン(開)または非オープン(開)である場合、そしてその場合に限って、トポロジカルサブスペース(部分空間)たちの任意のネストにおいて、任意のサブスペース(部分空間)上の任意のサブセット(部分集合)のオープン(開)性は、当該サブスペース(部分空間)がサブスペース(部分空間)とみなされる元のスーパースペース(空間)に依存しないという命題によって、それが意味するのは、Mは本当にMのトポロジカルサブスペース(部分空間)であるということ。

ステップ2:

ι:MMおよびι:MMを当該インクルージョン(封入)たちとしよう、それらは、Cエンベディング(埋め込み)たちである。

ιι:MMは当該インクルージョン(封入)である。

ιιCエンベディング(埋め込み)である、任意のCマニフォールド(多様体)、バウンダリー付き、たち間の任意のCエンベディング(埋め込み)に対して、当該エンベディング(埋め込み)の、任意のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、ドメイン(定義域)上のリストリクション(制限)はCエンベディング(埋め込み)であるという命題によって。

ステップ3:

したがって、MMのエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、である。


参考資料


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