简介：本文仅用Malgrange预备定理和Haar积分得到了下述结果:设G为线性地作用于Rn上的紧李群,σ1,…,σk是P（Rn）G的一组极小齐次Hilbert基,并用<σ1,…,σk>表（Rn）由σ1,…,σk生成的理想。若（Rn）/>σ1,…,σk>作为实向量空间是有限维的,则芽f∈（Rn）G当且仅当存在芽g∈（Rk）使得f（X）=g（σ1（X）,…,σk（X））,X=（x1,…,xn）,即σ*（Rk）=（Rn）G.
关于紧李群作用下光滑函数芽的不变量的注记
