There seems to be plenty of such examples in the theory of Sobolev spaces and their refinements, such as Besov and Triebel-Lizorkin spaces, which have several definitions equivalent in non-obvious ways. One famous documentation of this is the H=W paper of Meyers and Serrin.
Kostya_I
- 9k
- 1
- 32
- 51