• Aucun résultat trouvé

Intersection dénombrable d'ouverts bornés de ℝ

N/A
N/A
Protected

Academic year: 2021

Partager "Intersection dénombrable d'ouverts bornés de ℝ"

Copied!
1
0
0

Texte intégral

(1)

Intersection dénombrable d’ouverts bornés de R

Samuel Rochetin

Mercredi 28 novembre 2018

Exercice. Soit (a, b) ∈ R2, a < b.

1. Soit x ∈ R tel que ∀n ∈ N∗, a − 1

n < x. Montrer que a ≤ x. 2. En déduire que [a, b] = T

n∈N∗  a −1 n, b + 1 n  . Solution.

1. Raisonnons par l’absurde en supposant que x < a, c’est-à-dire 0 < a − x. R est archimédien donc ∃n0∈ N∗, 1 < n0(a − x), c’est-à-dire x < a −

1 n0

. Contradiction. Donc a ≤ x. Une autre façon de procéder consiste à montrer que a = sup A, où A :=

 a −1

n, n ∈ N



puis de constater que x est un majorant de A : par définition de la borne supérieure comme le plus petit des majorants, a ≤ x. Cependant, prouver que a = sup A revient à produire le même raisonnement par l’absurde.

2. Par symétrie du problème par rapport au milieu de [a, b], nous obtenons de même : si ∀n ∈ N∗, x < b + 1

n, alors x ≤ b. Ainsi, x ∈ [a, b] ⇐⇒ ∀n ∈ N∗, x ∈  a − 1 n, b + 1 n 

, le sens direct de cette équivalence étant trivial, le sens indirect découlant de la question précédente. Or, par définition de l’in-tersection, ∀n ∈ N∗, x ∈  a −1 n, b + 1 n  ⇐⇒ x ∈ T n∈N∗  a −1 n, b + 1 n  . D’où le résultat.

Remarque. Tout segment de R peut donc s’écrire comme une intersection dé-nombrable d’ouverts bornés. Ce résultat est utile en théorie de la mesure, lors de la construction de la tribu de Borel.

Références

Documents relatifs

L’ union de deux intervalles de R est l’ensemble des r´ eels appartenant au pre- mier ou au

Il est en effet naturel de se poser une telle question puisque l'on sait non seulement que ceci est impossible dans les cônes classiques mais même que tout générateur de ceux-ci

Soit s l'index de la congruence syntactique a L enduite par L, et supposons que L ait un nombre de facteurs itérants primitifs plus grand que 5; alors deux parmi eux, v et /z,

= n p ^ 1 } est &#34;context-sensitive&#34; et vérifie (B ) sans être borné, de sorte que la proposition n'est plus vraie si l'on supprime le caractère algébrique du

Pour montrer ensuite que la relation (18), étant vérifiée quel que soit l'ensemble P, parfait de genre 9, caractérise une fonction de première classe de genre &lt;p, il suffît

Après des rappels d'algèbre linéaire et de statistique linéaire (théorème de Gauss- Markov et estimation bayésienne), o n étudie le cas o ù certains paramètres sont astreints

Nous consacrons cette partie à l'étude du pseudospectre et du spectre d'une suite d'opérateurs qui converge vers un opérateur T au sens de la convergence collectivement compacteD.

Pensée spécialement pour le 100 e anniversaire des Archives nationales du Québec, cette soirée a eu lieu le 17 février dernier dans le sublime bâtiment de style