Here k = 1, 2, ..., ∞, or ω for real analytic manifolds.
這裡k = 1, 2, ..., ∞, 或ω為實分析流形（real analytic manifolds）。