Le théorème de séparation de Hahn-Banach (version large)

Concept history

A revision trail for this concept page.

4 revisions

Back

Revision 4598

9/11/2026, 10:30:12 PM · quark67

Typographie améliorée

Compare with revision 44466 changed lines

1##### Énoncé

Soit $X$ un [[Espace vectoriel topologique|espace vectoriel topologique]] séparé, $U$ un ouvert [[convexe|convexe]] non vide et $C$ un convexe de $X$ tels que $C \cap U = \emptyset$. Il existe une forme linéaire continue $\phi$ de $X$ telle que pour tout $a \in U$ et pour tout $b\in C$, $\phi(a) < \phi(b)$.

Soit $X$ un [[Espace vectoriel topologique|espace vectoriel topologique]] séparé, $U$ un ouvert [[convexe|convexe]] non vide et $C$ un convexe de $X$ tels que $C \cap U = \varnothing$. Il existe une forme linéaire continue $\phi$ de $X$ telle que pour tout $a \in U$ et pour tout $b\in C$, $\phi(a) < \phi(b)$.

5:::fold Démonstration

Soit $x_{0} \in U$ et $y_{0} \in C$. On considère $V := (U-x_{0})-(C-y_{0})$. Il est facile de vérifier que $V$ est un ouvert convexe qui contient $0$. Soit $z_{0} = y_{0} - x_{0}$. On note $j_{V}$ la [[Lemme de la jauge de Minkowski|jauge de Minkowski]] de $V$. On remarque que $z_{0} \notin V$, en effet il existerait $u \in U$ et $c \in C$ tels que $u-x_{0} -c +y_{0} = y_{0} - x_{0}$, ce qui ne peut arriver puisque sinon $u = c$. Ainsi la forme linéaire $\phi : \mathbb{R}z_{0} \longrightarrow \mathbb{R}$ définie par $\lambda z_{0} \mapsto \lambda$ satisfait  $\phi(x) \leq j_{V}(x)$ pour tout $x \in z_{0}\mathbb{R}$, par le théorème de prolongement de Hahn-Banach, on prolonge $\phi$ en une forme linéaire $\bar{\phi}$ telle que pour tout $x \in X$, $\bar{\phi}(x) \leq j_{V}(x)$. Comme $j_{V}$ est continue en $0$ et que $\bar{\phi}(x) \leq \mathrm{max}(j_{V}(x),j_{V}(-x))$ pour tout $x \in X$, $\bar{\phi}$ est aussi continue en $0$, donc continue sur $X$. Si ensuite $a \in U$ et $b \in C$,

Soit $x_{0} \in U$ et $y_{0} \in C$. On considère $V := (U-x_{0})-(C-y_{0})$. Il est facile de vérifier que $V$ est un ouvert convexe qui contient $0$. Soit $z_{0} = y_{0} - x_{0}$. On note $j_{V}$ la [[Lemme de la jauge de Minkowski|jauge de Minkowski]] de $V$. On remarque que $z_{0} \notin V$, en effet il existerait $u \in U$ et $c \in C$ tels que $u-x_{0} -c +y_{0} = y_{0} - x_{0}$, ce qui ne peut arriver puisque sinon $u = c$. Ainsi la forme linéaire $\phi : \mathbb{R}z_{0} \to \mathbb{R}$ définie par $\lambda z_{0} \mapsto \lambda$ satisfait  $\phi(x) \leqslant j_{V}(x)$ pour tout $x \in z_{0}\mathbb{R}$, par le théorème de prolongement de Hahn-Banach, on prolonge $\phi$ en une forme linéaire $\bar{\phi}$ telle que pour tout $x \in X$, $\bar{\phi}(x) \leqslant j_{V}(x)$. Comme $j_{V}$ est continue en $0$ et que $\bar{\phi}(x) \leq \mathrm{max}(j_{V}(x),j_{V}(-x))$ pour tout $x \in X$, $\bar{\phi}$ est aussi continue en $0$, donc continue sur $X$. Si ensuite $a \in U$ et $b \in C$,

8$$\bar{\phi}(a-x_{0} - (c - y_{0})) = \bar{\phi}(a-c) + \bar{\phi}(z_{0}) \leq j_{V}(a-c +z_{0}) < 1.$$

8$$\bar{\phi}(a-x_{0} - (c - y_{0})) = \bar{\phi}(a-c) + \bar{\phi}(z_{0}) \leqslant j_{V}(a-c +z_{0}) < 1.$$

10Ainsi $\bar{\phi}(a) < \bar{\phi}(c)$, et le résultat est démontré.

12:::

Revision 4446

9/10/2026, 12:17:33 PM · La chouette aveugle

Updated text

Compare with revision 44452 changed lines

1##### Énoncé

Soit $X$ un [[Espace vectoriel topologique|espace vectoriel topologique]] séparé, $U$ un ouvert [[convexe|convexe]] non vide et $C$ un convexe de $X$ tels que $C \cap U = \emptyset$. Il existe une forme linéaire continue $\phi$ de $X$ telle que pour tout $a \in U$ et pour tout $b\in C$, $\phi(a) < \phi(b)$.

5:::fold Démonstration

Soit $x_{0} \in U$ et $y_{0} \in C$. On considère $V := (U-x_{0})-(C-y_{0})$. Il est facile de vérifier que $V$ est un ouvert convexe qui contient $0$. Soit $z_{0} = y_{0} - x_{0}$. On note $j_{V}$ la [[Lemme de la jauge de Minkowski|jauge de Minkowski]] de $V$. On remarque que $z_{0} \notin V$, en effet il existerait $u \in U$ et $c \in C$ tels que $u-x_{0} -c +y_{0} = y_{0} - x_{0}$, ce qui ne peut arriver puisque sinon $u = c$. Ainsi la forme linéaire $\phi : \mathbb{R}z_{0} \longrightarrow \mathbb{R}$ définie par $\lambda z_{0} \mapsto \lambda$ satisfait $\lvert \phi(x)\rvert \leq j_{V}(x)$ pour tout $x \in z_{0}\mathbb{R}$, par le théorème de prolongement de Hahn-Banach, on prolonge $\phi$ en une forme linéaire $\bar{\phi}$ telle que pour tout $x \in X$, $\lvert \bar{\phi}(x) \rvert \leq j_{V}(x)$. Comme $j_{V}$ est continue en $0$, $\bar{\phi}$ est aussi continue en $0$, donc continue sur $X$. Si ensuite $a \in U$ et $b \in C$,

Soit $x_{0} \in U$ et $y_{0} \in C$. On considère $V := (U-x_{0})-(C-y_{0})$. Il est facile de vérifier que $V$ est un ouvert convexe qui contient $0$. Soit $z_{0} = y_{0} - x_{0}$. On note $j_{V}$ la [[Lemme de la jauge de Minkowski|jauge de Minkowski]] de $V$. On remarque que $z_{0} \notin V$, en effet il existerait $u \in U$ et $c \in C$ tels que $u-x_{0} -c +y_{0} = y_{0} - x_{0}$, ce qui ne peut arriver puisque sinon $u = c$. Ainsi la forme linéaire $\phi : \mathbb{R}z_{0} \longrightarrow \mathbb{R}$ définie par $\lambda z_{0} \mapsto \lambda$ satisfait  $\phi(x) \leq j_{V}(x)$ pour tout $x \in z_{0}\mathbb{R}$, par le théorème de prolongement de Hahn-Banach, on prolonge $\phi$ en une forme linéaire $\bar{\phi}$ telle que pour tout $x \in X$, $\bar{\phi}(x) \leq j_{V}(x)$. Comme $j_{V}$ est continue en $0$ et que $\bar{\phi}(x) \leq \mathrm{max}(j_{V}(x),j_{V}(-x))$ pour tout $x \in X$, $\bar{\phi}$ est aussi continue en $0$, donc continue sur $X$. Si ensuite $a \in U$ et $b \in C$,

8$$\bar{\phi}(a-x_{0} - (c - y_{0})) = \bar{\phi}(a-c) + \bar{\phi}(z_{0}) \leq j_{V}(a-c +z_{0}) < 1.$$

10Ainsi $\bar{\phi}(a) < \bar{\phi}(c)$, et le résultat est démontré.

12:::

Revision 4445

9/10/2026, 11:04:33 AM · La chouette aveugle

Updated text

Compare with revision 44442 changed lines

1##### Énoncé

Soit $X$ un [[Espace vectoriel topologique|espace vectoriel topologique]] séparé, $U$ un ouvert [[convexe|convexe]] non vide et $C$ un convexe de $X$ tels que $C \cap U = \emptyset$. Il existe une forme linéaire continue $\phi$ de $X$ telle que pour tout $x \in U$ et pour tout $y \in C$, $\phi(x) < \phi(y)$.

Soit $X$ un [[Espace vectoriel topologique|espace vectoriel topologique]] séparé, $U$ un ouvert [[convexe|convexe]] non vide et $C$ un convexe de $X$ tels que $C \cap U = \emptyset$. Il existe une forme linéaire continue $\phi$ de $X$ telle que pour tout $a \in U$ et pour tout $b\in C$, $\phi(a) < \phi(b)$.

5:::fold Démonstration

Soit $x_{0} \in U$ et $y_{0} \in C$. On considère $V := (U-x_{0})-(C-y_{0})$. Il est facile de vérifier que $V$ est un ouvert convexe qui contient $0$. Soit $z_{0} = y_{0} - x_{0}$. On note $j_{V}$ la [[Lemme de la jauge de Minkowski|jauge de Minkowski]] de $V$. On remarque que $z_{0} \notin V$, en effet il existerait $u \in U$ et $c \in C$ tels que $u-x_{0} -c +y_{0} = y_{0} - x_{0}$, ce qui ne peut arriver puisque sinon $u = c$. Ainsi la forme linéaire $\phi : \mathbb{R}z_{0} \longrightarrow \mathbb{R}$ définie par $\lambda z_{0} \mapsto \lambda$ satisfait $\lvert \phi(x)\rvert \leq j_{V}(x)$ pour tout $x \in z_{0}\mathbb{R}$, par le théorème de prolongement de Hahn-Banach, on prolonge $\phi$ en une forme linéaire $\bar{\phi}$ telle que pour tout $x \in X$, $\lvert \bar{\phi}(x) \rvert \leq j_{V}(x)$. Comme $j_{V}$ est continue en $0$, $\bar{\phi}$ est aussi continue en $0$, donc continue sur $X$. Si ensuite $a \in U$ et $b \in C$,

8$$\bar{\phi}(a-x_{0} - (c - y_{0})) = \bar{\phi}(a-c) + \bar{\phi}(z_{0}) \leq j_{V}(a-c +z_{0}) < 1.$$

10Ainsi $\bar{\phi}(a) < \bar{\phi}(c)$, et le résultat est démontré.

12:::

Revision 4444

9/10/2026, 11:04:04 AM · La chouette aveugle

Concept created

##### Énoncé

Soit $X$ un [[Espace vectoriel topologique|espace vectoriel topologique]] séparé, $U$ un ouvert [[convexe|convexe]] non vide et $C$ un convexe de $X$ tels que $C \cap U = \emptyset$. Il existe une forme linéaire continue $\phi$ de $X$ telle que pour tout $x \in U$ et pour tout $y \in C$, $\phi(x) < \phi(y)$.

:::fold Démonstration

Soit $x_{0} \in U$ et $y_{0} \in C$. On considère $V := (U-x_{0})-(C-y_{0})$. Il est facile de vérifier que $V$ est un ouvert convexe qui contient $0$. Soit $z_{0} = y_{0} - x_{0}$. On note $j_{V}$ la [[Lemme de la jauge de Minkowski|jauge de Minkowski]] de $V$. On remarque que $z_{0} \notin V$, en effet il existerait $u \in U$ et $c \in C$ tels que $u-x_{0} -c +y_{0} = y_{0} - x_{0}$, ce qui ne peut arriver puisque sinon $u = c$. Ainsi la forme linéaire $\phi : \mathbb{R}z_{0} \longrightarrow \mathbb{R}$ définie par $\lambda z_{0} \mapsto \lambda$ satisfait $\lvert \phi(x)\rvert \leq j_{V}(x)$ pour tout $x \in z_{0}\mathbb{R}$, par le théorème de prolongement de Hahn-Banach, on prolonge $\phi$ en une forme linéaire $\bar{\phi}$ telle que pour tout $x \in X$, $\lvert \bar{\phi}(x) \rvert \leq j_{V}(x)$. Comme $j_{V}$ est continue en $0$, $\bar{\phi}$ est aussi continue en $0$, donc continue sur $X$. Si ensuite $a \in U$ et $b \in C$, 
$$\bar{\phi}(a-x_{0} - (c - y_{0})) = \bar{\phi}(a-c) + \bar{\phi}(z_{0}) \leq j_{V}(a-c +z_{0}) < 1.$$

Ainsi $\bar{\phi}(a) < \bar{\phi}(c)$, et le résultat est démontré.

:::