Dans ce cas, réécrivons ton truc pour le rendre compréhensible (que là, à part si le but est "d'embrouiller le client", le moins qu'on puisse dire, c'est que c'est franchement pas génial...)
Déjà,

c'est jamais qu'un ensemble fini à
^n)
éléments. Donc l'ensemble des fonction de

dans

, c'est rien d'autre que

et de fixer f(0,...,0) à 0, ça veut juste dire fixer une des coordonnées dans

à 0 donc en fait ton

, ben c'est

.
Ensuite, si tu décrète que dans le 3, c'est de la comparaison "terme à terme" alors tes points 1) à 3), il parlent uniquement des composantes

de la fonction

et, par définiton même de ce qu'est une norme, ils disent en fait que ces composantes sont des normes.
Donc écrit de façon compréhensible, ton truc, ça dit qu'on se donne

normes

sur

.
Déjà, avec ça, ça permet d'avoir des hypothèses compréhensible.
Mais la conclusion, c'est zéro clair :
1) C'est quoi le statut du

là dedans ? Je suppose que c'est un "pour tout

", mais ce "pour tout

" qui est sous entendu, il est placé où dans la phrase ? (i.e. le

et la norme dont tu parle, ils ont le droit de dépendre de

ou pas ?)
2) Idem bien sûr pour le

qui apparait "comme un cheveux sur la soupe" sans le moindre quantificateur, encore que là, on peut conjecturer assez fort que c'est un "pour tout

" situé juste avant l'égalité donc que le

et la norme ne doivent pas dépendre de

, mais ça serait quand même bien de l'écrire explicitement plutôt que de laisser le lecteur faire des conjectures...
3) L'application linéaire h dont tu parle, elle part évidement de R (= ensemble d'arrivé de f), mais elle atterrie où ?
N'importe quel espace vectoriel ?