考えるべき軌道空間formula_3上の函数は、gの作用の下で不変となるx上の函数である。