Bonjour à tous,
que peut-on dire de la somme de deux parties fermées de IR ?
j'ai montré qu'elle était toujours fermée dans IR, mais comme mon raisonnement me semble un peu bancal (), j'aimerais savoir s'il faut que je cherche dans cette direction (démontrer que la somme est fermée) ou non (trouver un contre-exemple).
Merci
Romain
Eh non...Envoyé par Romain29
Bonjour à tous,
que peut-on dire de la somme de deux parties fermées de IR ?
j'ai montré qu'elle était toujours fermée dans IR, mais comme mon raisonnement me semble un peu bancal (
Merci
Romaingnaark gnaark
prends A les entiers superieurs ou egaux à 2
prend B les réels de la forme n+(1/n) avec n sup ou égal à 2. A et B sont fermés, 0 est dans l'adhérence de A+B, mais pas dans A+B...
Eh non...
prends A les entiers superieurs ou egaux à 2
prend B les réels de la forme n+(1/n) avec n sup ou égal à 2. A et B sont fermés, 0 est dans l'adhérence de A+B, mais pas dans A+B...
euh... B c'est les réels de la forme -n+(1/n) avec n sup ou égal à 2, excuse moi.
Qu'appelle tu "somme" de deux parties de IR? A+B={a+b/a dans A et b dans B}?
Si c'est ca c'est vrai il me semble: tu prend une suite (xn) d'éléments de A+B qui converge vers x. Tu peux alors écrire xn=an+bn avec an une suite de A et bn une suite de B. A et B sont des parties fermés de R, donc bornés et donc tu peux extraire (théorème de Bolzano) a_phi(n) et b_phi(n) qui convergent vers a et b dans A et B car A et B fermés. et donc x tend vers a+b qui est bien dans A+B.
Sinon, pour modulaire, les entiers supérieurs à 2 ne forment pas une partie fermée de IR. Il suffit de prendre Un=2+n qui tend vers +oo qui n'est pas dans IR.
Non, c'est faux en général. (si j'ai bien compris l'énoncé du moins)
est dense dans
Je crois que ça coince ici, R est fermé mais pas borné.
Bravo jolie Ln, tu as trouvé : l'armée de l'air c'est là où on peut te tenir par la main.
Bonjour,
Les contre-exemples de modulaire et chromomaxwell montrent que le résultat est faux en général.
Par contre :
1) compact+fermé=fermé (la preuve d'Eric78, fausse pour la raison donnée par Guyem, fonctionne en la modifiant dans ce cas)
2) ouvert+ouvert=ouvert.
cordialement
Exact !
Ouh la la.... Y faudrait reviser un peu la topo avant d'écrire des bétises comme cela
Je m'aperçois que mon post précédent n'était pas tres sympa. J'etais pas bien réveillé, mille excuses
Mais les parties de R, A et B de mon exemple sont bien fermées.
Salut Eric78 (et aux autres),
tu auras peut-être corrigé de toi même mais, au cas où, tu confonds compact et fermé. La caractérisation par les suites d'un fermé F d'un espace métrique E est : si une suite d'éléments de F converge dans E alors la limite est dans F. Cette définition ne suppose aucune convergence pour une suite quelconque. Cette notion n'est pas intrinsèque, elle dépend de l'espace E. F est toujours fermé dans lui-même.
Les compacts métriques se caractérisent par il existe une sous-suite convergente de toute suite (propriété que tu as utilisé pour les fermés quelconques). C'est une notion intrinsèque : elle ne dépend que de l'espace F pas de l'espace E dans lequel f est éventuellement plongé.
Cordialement
PS : on a mieux que ouvert+ouvert=ouvert
en fait ouvert+sous-espace quelconque=ouvert
Soit a+b dans la somme, V un voisinage ouvert de a inclus dans le 1er ouvert, V+b est un voisinage ouvert de a+b inclus dans la somme des deux espaces.
Je dirais meme plus: ouvert + (sous ensemble quelconque)= ouvert. La demo d'homotopie marche aussi dans ce cas là
Oups, effectivement je devrais aller réviser un petit peu ^^ (voir beaucoup en ces periodes de concours...). Mais bon au moins ca m'a rafraichi la mémoire sur les ouvert/fermés.
Un sous ensemble d'un espace topologique peut toujours être vu comme un sous espace et il y a toujours un sous ensemble définissant un sous espace. Je n'ai rien supposé sur mon sous espace, il pouvait être aussi régulier ou aussi pathologique que l'on veut.Je dirais meme plus: ouvert + (sous ensemble quelconque)= ouvert. La demo d'homotopie marche aussi dans ce cas là
On dit donc la même chose mais avec des mots différents.
Cordialement
Oui, excuse moi , homotopie, j'avais compris sous espace vectoriel, désolé. C'est donc unde plus pour ma collection. (je sortais juste d'un exo sur les matrices, c'est pour ça)
Allez, les petits.... on rentre....
En plus je vois que tu as pris soin d'écrire "on a mieux que ouvert+ouvert=ouvert". Non, alors là vraiment, c'est unpour moi. Je devrais moins forcer sur la tisane.
Bon, ben merci à tous... (et tant pis pour moi puisque ma démo n'est pas bonne !!!)
Romain
De rien, on a bien rigolé, quand même !
