Ivan Shishkin, Rye (1878)

Problems/TopologyReviewed

Complémentaires connexes par arcs et denses

by Anduril·
40
Difficulty scaleÉchelle de difficulté

This score reflects both the level of the required concepts and the difficulty of the solution.Ce score tient compte à la fois du niveau des notions nécessaires et de la difficulté de la résolution.

  1. 110First steps / middle schoolPremiers pas / collège
  2. 1125Beginner / high schoolDébutant / lycée
  3. 2650Intermediate / undergraduateIntermédiaire / licence
  4. 5170Advanced / graduateAvancé / master
  5. 7190Expert / specializedExpert / spécialisé
  6. 91100Research levelNiveau recherche
These levels are approximate guides.Ces niveaux sont des repères approximatifs.
·
Français

Showing the Français version because no English translation exists yet. Add that translation.

Existe-t-il dans R3\mathbb{R}^{3} deux parties complémentaires connexes par arcs et denses ?

I solved itMark it doneAdd to my listKeep it in your list

Solutions

1
Reveal solutionsAre you sure? Give it a try first.

Solution by visitor

Discussions0 useful votes

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

Report

For an unclear, ambiguous, or possibly incorrect statement, please use the Discussion tab on the right. Report content that needs moderator intervention, such as dangerous, clearly non-mathematical, or plagiarized content.