Densité et convexité

On peut en effet procéder par récurrence, et montrer que les parties denses et convexes de $\mathbb{R}^d$ sont $\mathbf{totales}$.

Dans le cas où $d = 1$, les parties convexes sont exactement les intervalles. Si un intervalle est dense, il est nécessairement total. En effet, soit $I$ un intervalle dense, et $x \in \mathbb{R}$. Comme $I$ est dense, $]-\infty,x[ \cap I$ n’est pas vide, de même pour $I \cap ]x , +\infty [$. Il existe ainsi $y$ et $z$ dans $I$ tels que $y < x < z$. Puisque $I$ est un intervalle, $x \in I$. Ceci montre le résultat pour $d = 1$.

Soit $d \geq 1$ tel que l’on a montré que les parties denses de $\mathbb{R}^{d}$ sont totales. Par isomorphisme bicontinu, c’est aussi vrai pour tout $\mathbb{R}$-espace vectoriel normé de dimension finie égale à $d$. Montrons que c’est vrai pour $\mathbb{R}^{d+1}$. Soit $D$ une partie convexe et dense de $\mathbb{R}^{d+1}$. Soit $H$ un hyperplan de $\mathbb{R}^{d+1}$. Il est clair que $H \cap D$ est convexe. Si on a montré que $H \cap D$ est dense dans $H$, alors $H \cap D = H$ (par l’hypothèse de récurrence), ce qui implique directement que $D = \mathbb{R}^{d+1}$.

Montrons que $D \cap H$ est dense dans $H$. Puisque $H$ est le noyau d’une forme linéaire (continue) $\phi$, on peut donc écrire $\mathbb{R}^{d+1} = \phi^{-1}(]-\infty,0[) \sqcup H \sqcup \phi^{-1}(]0,+\infty[)$. Soit $x \in H$, $\varepsilon > 0$, et $B$ la boule ouverte de centre $x$ et de rayon $\varepsilon$. Par densité de $D$, il existe $y$ et $z$ dans $B \cap D$ tels que $\phi(y) < 0$ et $\phi(z) > 0$. Soit $\gamma$ le segment qui relie $y$ à $z$. Par le théorème des valeurs intermédiaires, il existe un réel $0 <t<1$ tel que $\phi(\gamma(t)) = 0$. On déduit alors que le segment $\gamma$ rencontre $H$ en un point $w$, mais puisque $D$ est convexe, $w \in D$. Comme $B$ est convexe, $w \in B$, ainsi il existe un point de $D \cap H$ qui est aussi dans $B$, et $D \cap H$ est dense dans $H$.