Bonjour,
Soit (E, II.II) un evn, V et W deux sev supplémentaires , on suppose de plus
que V est de dimension finie.
Montrer que l'application f:
x dans W -> inf{ IIx+vII; v dans V} définit une norme sur W
si f(x)=0, alors qqsoit x, x=-v, et là il faut utiliser le fait que V est de
dimension finie. Mais comment? car on a une infinité de valeurs pour v.
pour a dans le corps de base, f(ax)=inf{ IIax+vII; v dans V}
en posant u=v/a dans V, on a bien f(ax)=abs(a)f(x)
ineg triangulaire:
x,y dans W.
f(x+y)=inf{ IIx+y+vII; v dans V}
IIx+y+vII=IIx+v/2+y+v/2II<= IIx+v/2II+IIy+v/2II
en passant à l'inf on a bien f(x+y)<=f(x)+f(y)
il y a donc que la premiere propriété qui pose pb.
merci!
