微分多様体の基礎 6 更新しました。今まで明白に書いていなかった, C^r_i 級の定義を書いておきました. 1 ≦ r ≦ ∞ に対しては, C^r_0 級は C^r 級の意味で, C^r_2 級は真に C^r 級の意味です. C^r_1 級は C^r_0 級かつ真に微分可能の意味です. スカラー体 K …