更新しました。今まで明白に書いていなかった, C^r_i 級の定義を書いておきました.
1 ≦ r ≦ ∞ に対しては,
C^r_0 級は C^r 級の意味で, C^r_2 級は真に C^r 級の意味です.
C^r_1 級は C^r_0 級かつ真に微分可能の意味です.
スカラー体 K が R or C の場合はこの区別には意味がありませんが,
K が一般の離散でない付値体の場合は意味があります.
C^ω_i 級, C^0_i 級は, それぞれ C^ω 級, C^0 級の意味です.
(i = 0, 1, or 2.)
文責: Dr. 加藤木 一好
