Soit \(E\) un espace vectoriel normé de dimension finie et \(F\) un hyperplan de \(E\). Soit \(\varepsilon\in E\) tel que \(\R\varepsilon\) soit supplémentaire de \(F\). Soit \(f\) une forme linéaire sur \(F\).
Montrer que : \(\forall\ x_1,x_2\in F,\ f(x_1)-\|\kern-1.2pt|f\|\kern-1.2pt|\;\|x_1-\varepsilon\| \le \|\kern-1.2pt|f\|\kern-1.2pt|\;\|x_2+\varepsilon\| - f(x_2)\).
Montrer qu’il existe \(\alpha\in\R\) tel que : \(\forall\ x_1,x_2\in F,\ f(x_1)-\|\kern-1.2pt|f\|\kern-1.2pt|\;\|x_1-\varepsilon\| \le \alpha \le \|\kern-1.2pt|f\|\kern-1.2pt|\;\|x_2+\varepsilon\| - f(x_2)\).
On définit \(\varphi : E \to \R\) par \(\varphi_{|F} = f\) et \(\varphi(\varepsilon) = \alpha\). Montrer que \(\|\kern-1.2pt|\varphi\|\kern-1.2pt| = \|\kern-1.2pt|f\|\kern-1.2pt|\).
On considère \(E = \{u = (u_n)_{n\in\N}\in\R^\N\text{ tq }\sum_{n\in\N}|u_n|<+\infty\}\) avec la norme définie par : \(\|u\| = \sum_{n\in\N}|u_n|\). Montrer que \(E\) est complet pour cette norme.
Donner une famille dénombrable de sev de \(E\) de dimensions finies dont la réunion est dense dans \(E\).
Soit \(F\) un sev de \(E\) de dimension finie et \(f\) une forme linéaire sur \(F\). Montrer qu’il existe une forme linéaire \(\varphi\) sur \(E\) telle que \(\varphi_{|F} = f\) et \(\|\kern-1.2pt|\varphi\|\kern-1.2pt| = \|\kern-1.2pt|f\|\kern-1.2pt|\).