Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 Re : Entraide (supérieur) » Borne supérieure de plusieurs ensembles » 05-05-2022 08:55:40
En utilisant la suite [tex]a =(1) [/tex] j'ai trouvé que B(a) est strictement inclus dans A(a). Je n'ai pas réussi à mettre en œuvre votre conseil pour [tex] a =(n^2) \; et \; a =(1/n^2) [/tex]. Par contre si l'on utilise la suite [tex] a = (1/n) [/tex] l'on trouve bien que [tex] 1 \in B(a)\; et \; 1 \notin A(a) [/tex] ce qui prouve que A(a) est strictement inclus dans B(a), n'est-ce pas ?
Pour la question 2, j'ai peu manipulé les bornes supérieures mais j'ai une proposition.
Soit [tex] R = sup\,C(a)[/tex], puisque pour [tex]r \in A(a)[/tex] on a [tex]\forall \epsilon >0, \,\, r-\epsilon \,\in C(a)[/tex] on en déduit que [tex] r-\epsilon \leq R [/tex]. En passant à la limite quand [tex] \epsilon \,\to 0 [/tex] on obtient que [tex]r \leq R [/tex].
Ainsi R est un majorant de A(a) et donc [tex] sup\,A(a) \leq sup\,C(a) [/tex].
Si c'est correct merci beaucoup de votre aide.
#2 Entraide (supérieur) » Borne supérieure de plusieurs ensembles » 05-05-2022 07:08:52
- Lamouchaa
- Réponses : 3
Bonjour à tous, j'ai quelques soucis avec l'exercice suivant
Soit une suite à coefficients complexes [tex]a =(a_n)_n[/tex], on pose : [tex] A(a)=\{r\geq 0 /(|a_n|r^n)_n \,est\, majorée\} [/tex]
[tex] B(a)=\{r \geq 0 / \lim_{n \to \infty}a_nr^n=0\} [/tex] et [tex] C(a)=\{r \geq 0 / \sum a_nr^n \,est \,convergente\} [/tex]
Question 1) Justifier que [tex]C(a) \subset B(a) \subset A(a)[/tex]. Montrer que ces inclusions peuvent être strictes.
Question 2) Montrer que l'on a [tex]supA(a) = supB(a) = supC(a)[/tex]
Pour justifier les inclusions je n'ai pas eu de soucis en me référant au cours. C'est par contre pour montrer qu'elles sont strictes que j'ai du mal.
Pour la question 2, je suppose à partir de la question 1 que l'on a : [tex]supA(a) \geq supB(a) \geq supC(a)[/tex]. Je sèche ensuite pour montrer que ce sont des égalités.
J'ai pensé que l'on pouvait supposer que par exemple [tex]supB(a) > supC(a)[/tex] donc qu'il existe $R > 0\, tq\,\, \lim_{n \to \infty}a_nR^n=0$ en ayant aussi $\sum a_nR^n \,divergente$, mais je n'arrive pas à en tirer quelque chose.
Merci par avance de toute aide proposée.
#3 Entraide (supérieur) » Réduction d'endomorphisme qui commute avec un projecteur » 05-02-2022 19:28:27
- Lamouchaa
- Réponses : 2
Bonjour,
Le sujet de l'exercice est le suivant : Soit $E$ un $\mathbb{R}-ev$ , Soit $f$ un endomorphisme de $E$ tel que $f \circ p = p \circ f$ pour toute projection $p$ de $E$. Montrer que tout vecteur non nul de $E$ est un vecteur propre de $f$.
$Id_E = e$
J'ai établi ceci mais j'ai du mal à m'en convaincre : $\forall x \in E : f \circ p(x) +f(x) -f(x) = p\circ f(x)$ or $\exists$ $p$ de $E$ tel que $x \in Im(p)$ donc $p\circ (f-e)(x) = f\circ (p(x)-x)$ $\iff$ $p\circ (f-e)(x) = 0$ et par suite $x \in Ker(f-e)$
N'y aurait-il pas une méthode faisant intervenir la stabilité des SEP ?
Merci de votre aide.
Pages : 1