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!