相函式

定義在開錐子集Γ上的無臨界點的函式.設X是Rn中的子集,Γ是X×(RN\{0})中的開錐子集(即若(x,θ)∈Γ,則對任意t>0有(x,tθ)∈Γ).若實值函式φ(x,θ)∈C∞(Γ)關於θ是正齊一次的(即對任意t>0,有φ(x,tθ)=tφ(x,θ)),且φ關於x,θ無臨界點(即在Γ上dx,θφ(x,θ)≠0),則稱φ(x,θ)是Γ上一個位相函式.記Cφ={(x,θ)∈Γ|φθ(x,θ)=0}.