Translation-invariant linear forms on p-adic continuous functions vanish
ID: translation-invariant-linear-forms-on-p-adic-continuous-functions-vanish
Let be linear and invariant under translation by one. For any , choose its continuous discrete antiderivative . Then . No continuity or boundedness of is assumed. In particular this applies to a form invariant under every translation by a p-adic integer.
New to topics? Read the docs here!