話題
About:
この記事の目次
開始コンテキスト
-
読者は、
ベクトルたちバンドル(束)の定義を知っている。
ターゲットコンテキスト
-
読者は、任意の
ベクトルたちバンドル(束)に対して、当該ベーススペース(空間)上のあるチャートオープンサブセット(開部分集合)は必ずしもトリビアライジングオープンサブセット(開部分集合)ではない(多分)という命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
//
ステートメント(言明)たち:
必ずしも、
//
2: 自然言語記述
任意の
3: 注
著者は、正直に言って、
この確信のない状態においてでも本命題を私たちが必要とする理由は、証明済みでないことを正しいと想定してしまわないようにする注意喚起が少なくとも必要であること。
2: 証明(未完成)
反例を示す必要があることは知っているが、今のところそうできていない。
少なくとも、
任意のタンジェントベクトルたちバンドル(束)ケースに対しては、ベーススペース(空間)上の全てチャートオープンサブセット(開部分集合)はトリビアライジングオープンサブセット(開部分集合)である(タンジェントベクトルたちバンドル(束)のアトラス、そうであるように定義されている)、しかし、それは、それほど即座には任意の一般的な