Bonjour
Mon but est : L'objectif est de montrer que U ( un sous-ensemble ouvert non vide de ) peut être exprimé comme une union de
De nombreux intervalles ouverts disjoints.
Un intervalle est défini comme tout sous-ensemble de la ligne réelle qui contient tous les points entre deux points quelconques. Donc, Si I est un intervalle
si et seulement si
Soit U un sous-ensemble ouvert non vide de R.
La relation [TEX] \sim [/ TEX] est définie entre les points de U par
1) Montrer que la relation definie est une relation d'équivalence sur U
2) les classes d'équivalence non disjointes non vides, dans lesquelles [TEX] \ sim [/ TEX] defini une partition de U, soit appelé
Composants de U. Montrer chaque composant I est (i) un est intervalle, (ii) ou un ouvrir dans .
3) Montrer que pour n'importe quel nombre entier N> 0, seuls les nombreux composants se trouvent à [N; N] et ont
Longueur supérieure à 1 / N. Autrement dit: prouver que la famille I des composants de U est dénombrable
4) Construire un exemple d'un sous-ensemble ouvert non borne U de R dont les composants ont
Longueur inférieure à 1 et qui n'a pas de composant le plus long. Cela peut-il arriver si U est borne?
Merci d'avance pour vos remarques
-----