salut
je bloque la dessus :
On prend E un sev de IR^n
on suppose que pour tout x =(a1, .. ak) de E on peut trouver i,j < k
tq |ai|=|ak|
de la il faut deduire que E est inclus dans un certain (IR^m, || ||inf) isometrique a (IR^m-1, || ||inf)
une idée ?
merci
