Partie fermée
Bonjour,
l'exercice dit
Soit $A$ une partie compacte et $B$ une partie fermée de $\mathbb{R}$. On pose $C=A+B=\{a+b\mid a \in A,\ b \in B \}.$
Montrer que $C$ est un fermé.
La correction du prof est
Il suffit de montrer que $\bar{C} \subset C$.
Soit $c \in \bar{C}$, il existe une suite $(x_n)_n$ d'éléments de $C$ telle que $x_n$ converge vers $c$.
$\exists a_n \in A ,\ \exists b_n \in B , \ c_n=a_n+b_n$.
Donc il existe $\phi$ injective croissante de $\mathbb{N}$ vers $\mathbb{N}$ telle que $a_{\phi_n}$ converge vers $a$.
$c_{\phi_n}=a_{\phi_n}+b_{\phi_n} \Longrightarrow b_{\phi_n}=c_{\phi_n}-a_{\phi_n}$
on a : $b_{\phi_n}$ converge vers $b \in B$ car $B$ est fermé
$c=a+b \in C$ (c'est le point que je n'ai pas compris)
d'où le résultat.
P.S. Je n'ai pas compris comment il a conclu que $c \in C$ sans qu'on ait $a \in A$.
[En $\LaTeX$, c'est toute l'expression mathématique que l'on encadre par des $\$$, pas seulement quelques termes. AD]
l'exercice dit
Soit $A$ une partie compacte et $B$ une partie fermée de $\mathbb{R}$. On pose $C=A+B=\{a+b\mid a \in A,\ b \in B \}.$
Montrer que $C$ est un fermé.
La correction du prof est
Il suffit de montrer que $\bar{C} \subset C$.
Soit $c \in \bar{C}$, il existe une suite $(x_n)_n$ d'éléments de $C$ telle que $x_n$ converge vers $c$.
$\exists a_n \in A ,\ \exists b_n \in B , \ c_n=a_n+b_n$.
Donc il existe $\phi$ injective croissante de $\mathbb{N}$ vers $\mathbb{N}$ telle que $a_{\phi_n}$ converge vers $a$.
$c_{\phi_n}=a_{\phi_n}+b_{\phi_n} \Longrightarrow b_{\phi_n}=c_{\phi_n}-a_{\phi_n}$
on a : $b_{\phi_n}$ converge vers $b \in B$ car $B$ est fermé
$c=a+b \in C$ (c'est le point que je n'ai pas compris)
d'où le résultat.
P.S. Je n'ai pas compris comment il a conclu que $c \in C$ sans qu'on ait $a \in A$.
[En $\LaTeX$, c'est toute l'expression mathématique que l'on encadre par des $\$$, pas seulement quelques termes. AD]
Réponses
-
Justement, a appartient à A.
Dans la définition (sequentielle) d'un espace compact, étant donnée une suite de ce compact, elle admet une sous-suite qui converge dans ce compact.
En particulier, compact implique fermé . -
Tu en as de la chance de ne pas comprendre que ce que tu déclares ne pas comprendre!!!!quote a écrit:La correction du prof est :
Il suffit de montrer que $\bar{C} \subset C$.
Soit $c \in \bar{C}$,
il existe une suite $(x_n)_n$ d'éléments de $C$ telle que $x_n$ converge vers $c$.
$\exists a_n \in A ,\ \exists b_n \in B , \ c_n=a_n+b_n$.
Qui est $c_n$? Ne voulais-tu pas dire $x_n$?
Donc il existe $\phi$ injective croissante de $\mathbb{N}$ vers $\mathbb{N}$ telle que
$n\mapsto $ $a_{\phi_n}$ converge vers $a$. Pourquoi?
$c_{\phi_n}=a_{\phi_n}+b_{\phi_n}$ donc $b_{\phi_n}=c_{\phi_n}-a_{\phi_n}$
on a : $b_{\phi_n}$ converge vers $b \in B$ car $B$ est fermé (Qui est $b$????)
$c=a+b \in C$ (c'est le point que je n'ai pas compris)Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres