多様体ファイルの更新

多様体ファイルの更新です:

https://yahoo.jp/box/P2FpWt

このファイルは, 以前, ブルバキ多様体 補足 B としておりましたが,

タイトルを

『微分多様体の基礎』

に変更しました.

更新場所は, p.129 (pdf 138枚目) の, 定義 16.3.2 の 4. です.

D(r; r_1, ... , r_n) の定義で, 

(∀ i ∈ { 1, ... , n } ) ( card ( H_i ) = r_i )

の他に, 条件

(∀ i , j ∈ { 1, ... , n } ) ( i < j ならば max ( H_i ) < max ( H_j ) )

がないといけないことがわかりました.

これは, 合成関数の高階微分係数の計算上, 必要なことです.

うっかりしていました.

論理的なミスの訂正は珍しいです.

文責: Dr. Kazuyoshi Katogi