Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#226 Re : Entraide (supérieur) » Inversion signes intégrales et somme » 04-12-2019 10:01:21
Bonjour,
@Zebulor, juste en ce qui concerne le code LaTeX pour coder ta flèche (|->) tu n'as qu'à écrire \mapsto ça donne : $\mapsto$ ;)
En ce qui concerne ton raisonnement, en effet le théorème d'intégration terme à terme (celui donné par @Fred) te permet de conclure, et tu as très bien énoncé les hypothèses dans ton raisonnement en #3. Moi je pensais utiliser le théorème de convergence dominé :
Pourquoi le théorème de convergence dominé, eh bien car sous toutes ses hypothèses (qui sont chacun des $f_{n}$ continue et majoré par une fonction intégrable indépendante de $n$) tu as : $\lim\limits_{n \to +\infty} \int_{a}^{b}$ $f_{n}(t)$ $dt$ $=$ $ \int_{a}^{b}$ $\lim\limits_{n \to +\infty} f_{n}(t)$ $dt$. Est ce que tu vois le lien maintenant avec ta somme ? (toutes le hypothèses sont ici réunis si tu prends $f_{n}(t) = \sum\limits_{k=0}^{n} x^{n}sin(nt)$)
NB : Le théorème d'intégration terme à terme donné par @Fred est un théorème très utile dans le cas des intégrales impropre (c'est à dire généralisée), mais il n'est pas nécessairement facile de réunir toutes ses hypothèses en général, surtout le deuxième point énoncé dans la page envoyé par @Fred.
En résumé :
Si tu as la convergence uniforme d'une suite de fonction sur un intervalle bornée de $\mathbb{R}$ (et la suite de fonction peut être une somme) alors on peut échanger limite et intégrale mais aussi limite et somme (en fait dans la théorie de l'intégration de Lebesgue somme et intégrale c'est la même chose, c'est d'ailleurs dans le cadre de la théorie de Lebesgue que l'on démontre le théorème de convergence dominé, plutôt simplement d'ailleurs).
#227 Re : Entraide (supérieur) » Inversion signes intégrales et somme » 03-12-2019 23:42:15
@Zebulor,
En fait il y a (au moins) deux manière de le montrer, soit à partir d'un théorème un peu plus général (dont la démonstration peut se faire avec ou sans le théorème de convergence dominé), et bien sûr une avec le théorème de convergence dominé. Je peux te guider dans la (ou les) démonstration(s) si tu le souhaites !
#228 Re : Entraide (supérieur) » La fonction Misérables » 03-12-2019 23:36:57
Bonjour,
La limite supérieur et inférieure d'une suite de fonction l'est (dans tous les cas), qu'en déduis tu ?
#229 Re : Entraide (supérieur) » Équations différentielles avec courbes parametrées » 03-12-2019 23:24:58
Bonsoir,
Es tu sûr de ce que tu écris ? Prenons par exemple une des choses que tu as écrite : $y^{(3)}=0$ ce qui veut dire que y est en fait un polynôme de degré 2, ce qui n'est pas forcément faux mais vu que tu as raisonné par rapport à la correction, on voit que c'est un problème.
Autrement qu'en utilisant la correction (qui est fausse à moins que ce soit la fatigue qui me joue des tours), comment obtiendrais tu l'équation différentielle (E') ?
J'ai obtenu deux solutions pour (E') (l'équation (E') que j'ai n'a du coup pas le même polynôme associé), et du coup le système libre de solutions de (E) sur $]0, +\infty[$ est différent de celui de la correction, et j'ai vérifié, le mien fonctionne et celui de la correction non, or d'après le théorème de Cauchy Lipschitz on sait que la dimension de l'espace des solutions de (E) est (pour cette équation) de dimension 2, donc il ne peut y en avoir d'autres.
#230 Re : Entraide (supérieur) » Inversion signes intégrales et somme » 03-12-2019 22:48:02
Bonsoir,
J'ai une autre méthode un peu plus rapide dans ce contexte (qui est celui des intégrales non généralisé (c'est à dire, en particulier, on intègre sur un intervalle de $\mathbb{R}$ borné)) :
On a aussi un théorème qui dit que si une somme converge uniformément (ce qui est le cas ici car la convergence normale implique la convergence uniforme) alors on peut échanger le signe somme et intégrale.
Vu que Zebulor a montré la convergence normale il me semble plus adapté d'utiliser ce théorème, qui d'ailleurs se montre plutôt simplement en utilisant la convergence dominée.
#231 Re : Entraide (supérieur) » La fonction étagée » 03-12-2019 22:34:10
Bonsoir,
selon toi ? quelle est la définition d'une fonction étagée ?
#232 Re : Entraide (supérieur) » Polynome » 02-12-2019 14:24:14
Bonjour !
J'ai interprété dans un premier temps F6[X] comme le groupe $\mathbb{Z}/6\mathbb{Z}$, ça aurait été bien plus dure dans ce cas de factoriser ce polynôme puisqu'on était même pas sûr qu'il soit non irréductible, et ni même informé sur le nombre de racines ^^ Du coup $\mathbb{R}_{6}[X]$ semble bien plus plausible bien que je ne vois pas l'utilité de préciser que l'on ne s'intéresse qu'aux polynôme de degré inférieur à 6 ah et je rajouterai aussi que sur le clavier (enfin celui azerti), le F et R sont assez proche...
Mais si jamais c'est bien $\mathbb{F}_{6}$ alors il est possible d'étudier ce polynôme en étudiant un autre polynôme grâce à un isomorphisme :
Par le théorème chinois on a : $\mathbb{Z}/6\mathbb{Z} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/3\mathbb{Z}$.
(isomorphisme donné par : $f(x [6]) = (x [2],x[3])$).
Après on étudie les racines de ce polynôme dans $\mathbb{Z}/n\mathbb{Z}$ pour $n \in \{2,3 \}$...
#233 Re : Entraide (supérieur) » Irrationnel » 02-12-2019 13:53:53
Bonjour,
Oui c'est vrai mais on peut dire même beaucoup mieux...
Pour voir pourquoi c'est vrai et pourquoi on peut voir beaucoup mieux essaye de trouver une équation intéressante en avec $\sqrt{n}$ et n à l'intérieur...
#234 Re : Entraide (supérieur) » Lien entre trace et déterminant » 26-11-2019 20:57:28
Bonsoir,
@Fred, @PhilB autant pour moi !
#235 Re : Entraide (supérieur) » Lien entre trace et déterminant » 25-11-2019 22:38:54
Bonsoir,
La famille donnée par l'énoncé est obligatoirement libre puisque c'est une base donc je ne comprends pas l'utilité d'une disjonction de cas sur la liberté de la famille...
Pour résoudre l'exercice commence par écrire $f(x_{i})$ dans la base donnée par l'exercice, et essaye de voir ce que tu peux en faire (petite indication : utilise la n-linéarité du déterminant).
#236 Re : Entraide (supérieur) » Construction de réels à l'aide de séries (Oral) » 22-11-2019 21:21:24
Ah d'accord ! Mauvaise compréhension de ton message de ma part alors ;)
#237 Re : Entraide (supérieur) » Construction de réels à l'aide de séries (Oral) » 22-11-2019 19:36:36
Bonsoir,
@Zebulor, ceci :
[tex]x=\sum_{n=k+1}^{+\infty}\frac{\varepsilon_{n}}{n^{2}}[/tex]
D'où :
[tex]x≤\sum_{n=k+1}^{+\infty}\frac{1}{n^{2}}[/tex]
c'est-à-dire : [tex]x≤R_{k}[/tex], avec [tex]R_{k}[/tex] le reste à l'ordre [tex]k[/tex] de la série [tex]\sum\frac{1}{n^{2}}[/tex].
vient du fait que puis que $\epsilon_{n} \leq 1$ on a nécessairement que $\sum_{n=k+1}^{+\infty}\frac{\varepsilon_{n}}{n^{2}} \leq \sum_{n=k+1}^{+\infty}\frac{1}{n^{2}}$, et après on a par définition du reste l'inégalité sur laquelle tu te posais la question de la véracité ;)
@delveraria, j'ai regardé le code que tu as utilisé pour latex, tu n'es pas obligé(e) d'utiliser les balises $[tex]$, il te suffit simplement de mettre [tex]$[/tex] de chaque côté de ton code ;)
Quant à ton raisonnement je suis d'accord avec le déroulement des arguments mais pas avec ta conclusion, avec ton raisonnement tu as simplement montré que si $x < \frac{1}{k^{2}}$ et $x = \sum_{n=1}^{+\infty}\frac{\varepsilon_{n}}{n^{2}}$ alors $x < R_{k}$ (le raisonnement que je t'ai donné donne bien une inégalité stricte, pour $n>1$ car pour $n=1$ l'inégalité large n'est même pas vérifiée !).
#238 Re : Entraide (supérieur) » Construction de réels à l'aide de séries (Oral) » 21-11-2019 22:42:11
Bonsoir,
Je ne suis pas vraiment sûr de pourquoi c'est équivalent à ça (sûrement une histoire de convergence, mais je ne vois pas le rapport pour l'instant), quoi qu'il en soit cette inégalité : $R_{n} > \frac{1}{n^{2}}$ est effectivement vraie :
Il suffit d'étudier la monotonie de cette suite : $u_{n} = R_{n} - \frac{1}{n^{2}}$.
Peux tu m'expliquer pourquoi ce problème revient à montrer cette inégalité ? (c'est juste par curiosité ;) )
#239 Re : Entraide (supérieur) » definition de la limite » 21-11-2019 21:00:53
La définition de la limite peut se réécrire comme ça aussi (ça revient à la même chose car ce que l'on veut dans la définition de la limite c'est de rendre une quantité arbitrairement petite) :
$\forall \epsilon < 1$ $ \exists \delta > 0 | \forall x \in \mathbb{R} (|x-a| < \delta \implies |f(x) - f(a)| < \epsilon$.
Est ce que tu vois maintenant ce que peut être $\delta$ ? (Petite indication en plus : tu peux encore appliquer l'inégalité triangulaire quelque fois pour avoir un truc intéressant).
#240 Re : Entraide (supérieur) » Examen analyse fonctionnelle » 21-11-2019 20:55:08
Bonsoir,
Vous trouverez de l'aide sur ce forum, mais il faut nous indiquer sur ce quoi vous bloquez, ce que vous avez fait, etc. Parce qu'on ne va pas s'amuser à vous donnez des indications pour des questions si vous les avez déjà faites, et qui plus est il n'est pas simple de donner des indications à quelqu'un quand on ne sait pas où la personne bloque.
#241 Re : Entraide (supérieur) » definition de la limite » 21-11-2019 15:08:03
Bonjour,
On doit effectivement chercher à majorer |x^{3}+2x^{2}-3| mais pas par n'importe quoi, et qui plus est ce n'est pas la seule chose à faire il faut aussi trouver $\delta$... Sur cet exemple c'est tout à fait faisable de cette manière mais en général on raisonne en utilisant des fonctions de bases dont l'on connait des propriétés intéressantes tel que leur limite en certains points ou leur continuité, et l'on utilise aussi quelques propriétés général sur les fonctions (continues ou dérivable (sachant que dérivable implique continue)) comme par exemple : si f et g converge vers $l_{1}$ et $l_{2}$ respectivement, $f+g$ converge vers $l_{1}+l_{2}$, ce point de vue est développé en première année après le Bac (plus ou moins profondément, ça dépend quelle cursus tu fais) et beaucoup plus approfondi en deuxième année après le Bac en parlant de fonctions à plusieurs variables et de continuité, etc.
Ce que je voulais dire, c'est que la façon dont tu veux démontrer cette limite est (inutilement) laborieuse si tu as vu en cours comment est ce qu'on définit la limite d'une fonction (ou d'une suite) et ses propriétés générales. En écrivant ça je viens de me rappeler que les propriétés général sur les limites sont déjà énoncé en terminal... Donc en pratique si tu veux démontrer que ta fonction tend vers 2 tu n'as juste qu'à montrer que $g(x) = x^{n}$ tend vers 1 quand $x$ tend vers 1...
Pour en revenir à ta question initiale, si l'on oublit la théorie générale pour pouvoir résoudre cette question plutôt simplement, tu peux commencer par réécrire ton expression : $|x^{3}+2x^{2}-3| = |x^{3}-1+2x^{2}-2|$ et utiliser une inégalité triangulaire, et noramlement tu auras verras plutôt facilement ce que peut-être $\delta$ ;)
#242 Re : Entraide (supérieur) » Convergence » 21-11-2019 14:46:35
Bonjour,
A aucun moment nous ne faisons d'hypothèses supplémentaires pour continuer le raisonnement, d'ailleurs dans les messages précédents je ne vois pas vraiment où il y a été fait cette supposition, peux tu indiquer le post y faisant plus ou moins allusion pour que l'on parle bien de la même chose ?
#243 Re : Entraide (supérieur) » Convergence » 21-11-2019 06:57:21
Bonjour,
Essaye de transformer l'inégalité que t'a donné Fred pour faire apparaître $u_{n}^{2} + u_{n}v_{n} + v_{n}^{2}$ ;)
#244 Re : Entraide (supérieur) » Convergence » 20-11-2019 21:56:55
Bonjour,
Il y a peut-être moyen d'y arriver en écrivant :
[tex] \lim_{n \to +\infty} U_n=l_1 [/tex] et [tex] \lim_{n \to +\infty} V_n=l_2 [/tex]
Bonsoir,
on est pas assuré de la convergence $(U_{n})$ et $(V_{n})$...
#245 Re : Entraide (supérieur) » Variation de f » 20-11-2019 21:52:48
Bonjour,
Si on te dit de déduire c'est qu'il y a un truc avant qu'il "faut" que tu utilises, y en a t'il un ?
Sinon, ta dérivée est la bonne (j'ai eu un doute pour le dénominateur mais finalement c'est bon !), cependant tu n'aurais pas du développer le dénominateur, tu aurais du laisser $(e^{x}-e^{-x})^{2}$ ainsi on voit beaucoup mieux que ce terme est positif (c'est le signe qui nous intéresse ;)).
Concernant ton tableau de variation, ce n'est pas du tout ça qu'il faut faire, c'est certes une bonne idée mais ça ne marche pas comme ça un tableau de signe, tu as écris que la somme de trucs positifs ou négatif c'est négatif (enfin je suppose c'est ce que tu as fais) mais ce n'est pas du tout vraie, tu dois étudier le signe de $e^{x}-e^{-x}-x.e^{x}-x.e^{-x}$ pour te simplifier l'étude je te conseille de factoriser par $e^{-x}$, pour ne pas avoir un exponentiel qui se balade partout, et après tu vas obtenir une fonction qui ressemble à un polynôme du second degré, à toi de trouver un moyen de t'y ramener (il n'y a pas besoin d'étudier le dénominateur, il est toujours positif).
PS : Oups Zebulor (que je salue au passage !) m'a devancé, mais vu que nos messages se complètent (je pense), je vais laisser le mien !
#246 Re : Entraide (supérieur) » Caractérisation séquentielle » 17-11-2019 16:04:03
Bonjour,
Je suis sûr que tu peux répondre toi même au moins à la 1ere question ;) si tu prends une fonction, disons f, et que tu étudies sa limite à droite de $x$ c'est comme étudier la limite de h en $x $ où h est la restriction de f à $[x; + \infty[$, et la caractérisation séquentielle de h en x est ?
Pour ta deuxième question, ton affirmation est vraie même sans la monotonie de f, la supposition suivante suffit à montrer que f est continue :
Pour toute suite $(x_{n})$ croissante convergeant vers x, $(f (x_{n}))$ converge vers $f (x) $.
Et on a la même chose si on remplace "croissant" par "décroissant", et pour montrer tout ceci il suffit de reprendre la preuve de la caractérisation séquentielle ( celle qui se fait par l'absurde).
#247 Re : Entraide (supérieur) » Endomorphisme commutant » 15-11-2019 21:46:04
Bonsoir,
Tu es d'accord que $(Id, f, f^{2}) $ est une famille libre ?
Si ce n'est pas une base de $C (u) = \{h | h\circ u = u \circ h \}$ alors il existe $h \in C (u) $ tel que $(Id, f, f^{2}, h) $ est libre. Qu'en déduis tu ?
#248 Re : Entraide (supérieur) » relation d'ordre » 14-11-2019 17:18:17
Bonjour,
Tu as compris le principe, mais "ce n'est pas une relation d'ordre totale vus que a divise b ou b divise a est faux, si a=2 et b=4, 2 divise 4 mais 4 ne divise pas 2." est faux. J'ai écris $xRy$ ou $yRx$, et non pas $xRy$ et $yRx$... De plus le contre exemple que tu donnes dans cette phrase n'est pas un contre exemple à l'affirmation $R$ est une relation d'ordre totale, c'est même un exemple semblant indiquer que c'en est une, mais un exemple ne suffit pas pour montrer que quelque chose est vrai, et heureusement.
Par contre le deuxième exemple que tu donnes est très bien ! Et la négation est la bonne.
#249 Re : Entraide (supérieur) » relation d'ordre » 13-11-2019 22:16:28
Bonsoir,
Une relation d'ordre est dite totale si pour tout $x,y \in X$ (où $X$ est l'ensemble sur lequel on a définit une relation d'ordre $R$), $xRy$ ou $yRx$.
Donc à ton avis (bien sûr il faut que tu justifies ta réponse) cette relation d'ordre est-elle totale ?
#250 Re : Entraide (collège-lycée) » nombres premiers dans Z et nombres consécutifs dans R » 13-11-2019 22:08:31
Bonsoir,
C'est vrai que le niveau de mon post précédent était aussi un peu élevé ! Mais pour répondre à sa question de manière satisfaisante il me semblait qu'il fallait parler un peu de ces notions pas très très simple (et même compliquée à un niveau collège ou Lycée) mais qui font de $\mathbb{R}$ un ensemble très intéressant !







