Ivan Shishkin, Rye (1878)

Discussions

Complémentaires connexes par arcs et denses

0 messages

Solution

Solution by visitor · FR

Oui. On peut même exiger que les deux parties soient réunions de segments et que tout couple de points de la seconde soit joint par une ligne brisée à deux segments.

Notons Q3\mathbb{Q}^{3} l’ensemble des points à coordonnées rationnelles, qui est dénombrable et dense, et posons
A=p,qQ3pq(pq),B=R3A,A=\bigcup_{\substack{p,q\in\mathbb{Q}^{3}\\ p\neq q}}(pq),\qquad B=\mathbb{R}^{3}\setminus A,(pq)(pq) désigne la droite affine passant par pp et qq. L’ensemble AA est une réunion dénombrable de droites, les couples de points rationnels étant en nombre dénombrable.

Montrons que AA est dense et connexe par arcs :
La densité est immédiate : Q3A\mathbb{Q}^{3}\subseteq A.
Soit xAx\in A, situé sur une droite (pq)(pq) avec p,qQ3p,q\in\mathbb{Q}^{3}. Le segment [x,p][x,p] est contenu dans (pq)(pq), donc dans AA : tout point de AA se relie dans AA à un point de Q3\mathbb{Q}^{3}. Par ailleurs, deux points rationnels distincts p,pp,p' sont joints par le segment [p,p](pp)A[p,p']\subseteq(pp')\subseteq A. En concaténant, deux points quelconques de AA sont joints par un chemin tracé dans AA.

Montrons que BB est dense :
Chaque droite est de mesure de Lebesgue nulle dans R3\mathbb{R}^{3}, donc AA l’est aussi comme réunion dénombrable de négligeables. Toute boule ouverte étant de mesure strictement positive, elle ne peut être contenue dans AA : elle rencontre BB.

Montrons que BB est connexe par arcs :
Soient p,qBp,q\in B. Pour une droite A\ell\subseteq A, posons Cp()={mR3 : [p,m]}.C_p(\ell)=\bigl\{m\in\mathbb{R}^{3}\ :\ [p,m]\cap\ell\neq\varnothing\bigr\}.
Comme pBp\in B, on a pp\notin\ell, donc pp et \ell engendrent un unique plan affine PP_\ell. Tout segment issu de pp et rencontrant \ell est contenu dans ce plan, d’où Cp()PC_p(\ell)\subseteq P_\ell : c’est un ensemble négligeable. Il en va de même de Cq()C_q(\ell).

L’ensemble AA étant une réunion dénombrable de droites (k)(\ell_k), la réunion k(Cp(k)Cq(k))\bigcup_{k}\bigl(C_p(\ell_k)\cup C_q(\ell_k)\bigr) est négligeable, donc distincte de R3\mathbb{R}^{3}. Choisissons mm en dehors : les segments [p,m][p,m] et [m,q][m,q] ne rencontrent aucune droite de AA, donc sont contenus dans BB. La ligne brisée [p,m][m,q][p,m]\cup[m,q] joint pp à qq dans BB. \blacksquare

No messages yet.