olymmath

SCHWEITZER 2002 Problem 9

    Let MM be a connected, compact C∞C^{\infty} -differentiable manifold, and denote the vector space of smooth real functions on MM by C∞(M)C^{\infty}(M) . Let the subspace V≤C∞(M)V\le C^{\infty}(M) be invariant under C∞C^{\infty} -diffeomorphisms of MM , that is, let f∘h∈Vf\circ h\in V for every f∈Vf\in V and for every C∞C^{\infty} -diffeomorphism h ⁣:M→Mh\colon M\rightarrow M . Prove that if VV is different from the subspaces {0}\{ 0\} and C∞(M)C^{\infty}(M) then VV only contains the constant functions.

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator schweitzer/2002/p9 · Tag 4RT5DSM4MX · Edit this page on GitHub · Keys: j next, k previous