Bonsoir,
Soitun groupe topologique compactement engendré ( Voir la définition ici, https://en.wikipedia.org/wiki/Compactly_generated_group ).
Il existe alors, un sous ensemble compactde
tel que,
.
Soitqui est une
- algèbre normée.
Soit le morphisme de restrictionqui est un morphisme de
- algèbre normée surjectif.
Comment montrer que,?
Merci d'avance.
-----