今日の数学は, ブルバキ多様体の一部の定式化です. 本当はブルバキリー群をやりたかったのですが, 予定変更でした. X, Y, X', Y' を C^r_i 級多様体, f: X → Y, g : X' → Y' を C^r_i 級型射で, f, g はそれぞれ点 a ∈ X, b ∈ X' で C^r_i 級差し込みになっているとすると, f × g : X × X' → Y × Y' は点 (a, b) で C^r_i 級差し込みになります. 同様に, X, Y, X', Y' ∈ |C| , f: X → Y, g : X' → Y' を連続写像で, f, g はそれぞれ点 a ∈ X,…