Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
#76 Re : Entraide (supérieur) » Produit scalaire » 27-09-2014 16:44:29
Bonjour,
Je ne pense pas que tu aies vraiment besoin de passer par des matrices pour prouver ça, tu peux plus simplement vérifier la définition (montre que [tex]\phi[/tex] est une forme bilinéaire symétrique définie positive), [tex]\phi[/tex] est clairement bilinéaire symétrique et positive, tu dois par contre t'attarder sur le fait qu'elle est définie,
i.e. Montre que [tex]\phi (x,x) = 0 \Rightarrow x=0[/tex].
#77 Re : Entraide (supérieur) » prolongement d'une fonction » 27-09-2014 16:36:21
Salut,
On a l'adhérence de E qui est un fermé inclus dans le complet [tex]\mathbb{R}^n[/tex], E est donc complet. On construit ensuite "à la main" la fonction g à partir de f.
Pour cela prend un élément [tex]x[/tex] quelconque de l'adhérence de E, il existe une suite [tex](x_n)_n[/tex] d'élements de E qui tend vers [tex]x[/tex]. Maintenant que sais-tu de l'image d'une suite de Cauchy par une fonction uniformément continue ?
#78 Re : Entraide (supérieur) » exercice sur l'indicatrice d'euler » 22-09-2014 01:26:05
Re,
Soit [tex]k \in \{ 1, \dots , n \} [/tex].
Le pgcd entre k et n est un diviseur de n, donc k appartient à l'un des [tex]A_d[/tex]. Et supposons que l'intersection de deux [tex]A_d[/tex] soit non vide, pour un k appartenant à [tex]A_d[/tex] et à [tex]A_d'[/tex] avec [tex]d \neq d'[/tex] on a d=pgcd(k,n)=d', contradiction.
#79 Re : Entraide (supérieur) » problem in topologie » 21-09-2014 21:35:51
Hello again,
I've understood you correctly, however, I don't want to give the answer right away because I truly believe that you can answer it on your own, should you see what [tex]A_n[/tex] is in [tex]\mathbb{R}^2[/tex]. If you don't then I'll answer, but please, do try !
#80 Re : Entraide (supérieur) » problem in topologie » 21-09-2014 18:54:23
What are your thoughts on it ? What is [tex]A_n[/tex] in [tex]\mathbb{R}^2[/tex], in [tex]\mathbb{R}^n[/tex] ?
#81 Re : Entraide (supérieur) » Somme Riemman » 21-09-2014 15:32:39
Re,
Justemment elle converge car 2>1. 1/2 c'est 0.5, 1/(2^2) c'est 0.25, 1/(2^3) c'est 0.0625. Les termes de cette suite décroissent très vite vers 0 ce qui suggère la convergente de la série. Pour le montrer proprement, pipop t'as rappelé la formule à utiliser.
Tu te mélanges les pinceaux avec les séries de Riemann :
[tex]\sum_{n \geq 1} \frac{1}{n^s}[/tex] avec s fixé et n qui varie. (Alors si [tex] s > 1[/tex] on a convergence de la série et divergence de la série si [tex] s \leq 1[/tex]).
Mais là tu n'étudies pas une série de Riemann, tu étudies quelque chose de la forme [tex]\sum_{s \geq 1}\frac{1}{n^s}[/tex] avec n fixé et s qui varie, c'est l'exposant qui varie, c'est une série géométrique et non une série de Riemann.
#82 Re : Entraide (supérieur) » exercice sur l'indicatrice d'euler » 21-09-2014 13:22:43
Bonjour,
Comme tu le dis, si n est impair alors 2 ne divise pas n. Donc on ne considère pas [tex]A_2[/tex]. Mais ! ça ne signifie pas que 2 n'appartient pas à un autre [tex]A_d[/tex] !!
En particulier, 2 est premier avec n donc 2 appartient à [tex]A_1[/tex].
#83 Re : Entraide (supérieur) » Somme Riemman » 21-09-2014 11:13:26
Bonjour,
à quoi est égal la somme partielle lorsque tu t'arrêtes à N (en fonction de N) ? Puis tu fais tendre N vers l'infini. C'est une série géométrique !!!
#84 Re : Entraide (supérieur) » problem in topologie » 21-09-2014 10:40:33
Hello,
[tex] A_n := \{ x=(x_1, x_2, \dots , x_n) \in \mathbb{R}^n, \, \forall \, 1\leq i \leq n, \, x_i \geq n \} [/tex].
EDIT : There's no contradiction between this exemple and this theorem : http://en.wikipedia.org/wiki/Cantor's_intersection_theorem , as [tex]A_n[/tex]'s diameter doesn't tend to 0.
#85 Re : Entraide (supérieur) » Théorème de Riesz-Fischer » 31-08-2014 19:24:03
Salut,
Si je ne dis pas de bêtises, je crois que la convention est que le théorème que tu énonces s'appelle théorème de représentation de Riesz ou Fréchet-Riesz pour éviter les ambiguïtés (y'en a plein des théorèmes "de Riesz" et parfois pas le même). Le théorème de Riesz-Fischer concerne la complétude des espaces L^p, c'est autre chose.
Pour les formes linéaires, tu précises uniquement l'espace de départ car l'espace d'arrivé est toujours R (ou plus généralement, le corps avec lequel tu as défini ton e.v.).
Ce théorème signifie que tu peux identifier les formes linéaires de E aux vecteurs de E, c'est à dire que E* est isomorphe à E, ce qui revient plus ou moins à dire qu'étudier E* ou E c'est juste un changement de point de vue sur la même chose.
#86 Re : Entraide (collège-lycée) » Rationnel - périodicité partie décimale » 29-07-2014 14:36:52
Salut,
Je t'avoue ne pas trop savoir quoi rajouter à ton raisonnement, je le trouve super et joli !
Toutefois, si tu veux plus détailler peut être que tu peux essayer d'expliciter la période .
#87 Re : Entraide (supérieur) » Serie (a^n)/(n!) » 14-07-2014 02:11:32
Re,
Tu es familier avec les séries entières ? Je crois qu'on les voit en deuxième année mais c'est pas impossible que tu les aies déjà abordées.
En fait tu peux remarquer que pour tout réel a, la série converge, (tu peux appliquer le critère habituel de d'Alembert pour les séries numériques). On peut ainsi définir une fonction F qui à tout réel a associe ta somme pour ce a. Cette fonction est de classe [tex]C^{\infty}[/tex] (tu peux par ex. montrer, avec des résultats de première année, que la dérivée de F est la dérivée terme à terme de ta somme).
Ce que j'ai essayé de mettre en valeur dans le post précédent, c'est que cette fonction F est solution au problème de Cauchy, y'=y de condition initiale y(0)=1. C'est une façon de définir l'exponentielle.
Pour ce qui est de l'intuition, tu as du voir que cette série ressmble au développement limité de l'exponentielle, toutefois il n'y a pas de terme de reste car on a "poussé le développement à l'infini". D'où le choix de l'exponentielle comme candidate.
#88 Re : Entraide (supérieur) » Serie (a^n)/(n!) » 13-07-2014 19:41:53
Salut,
Je suppose que a est un réel, dans ce cas ta série est une série entière, son rayon de convergence est infinie d'après la règle de d'Alembert.
De plus si tu notes [tex]F(a)[/tex] ta série et [tex]F'(a)[/tex] la série dérivée associée, tu as [tex]F'(a)=F(a)[/tex]. On remarque aussi que [tex]F(0)=1[/tex]. Finalement on en déduit que [tex]F(a)=\exp(a)[/tex] pour tout réel a.
#89 Re : Entraide (supérieur) » Calcul d'une limsup » 26-06-2014 00:24:03
Salut,
Je suis tout à fait d'accord avec freddy sur le fait qu'il vaut mieux retourner 7 fois sa langue dans sa bouche avant de contredire un enseignant. Toutefois ici je pense qu'il est tout à fait légitime que tu lui demandes plus de détails sur ce sujet, tu as réfléchis dessus, tu as un résultat a priori contradictoire par rapport au sien, tu as re-réfléchis dessus. Définitivement tu dois l'interroger !
Et on sera au moins deux à attendre sa réponse, je suis tout aussi perplexe que toi.
#90 Re : Entraide (supérieur) » Calcul d'une limsup » 23-06-2014 14:14:14
Salut,
Oui selon la définition ça devrait valoir 0, de plus comme tu le dis, l'égalité de Yoshi complétée par Freddy donne un second argument... C'est peut être une coquille de la part de ton prof, demande lui ?
#91 Re : Café mathématique » Sujet bac S » 23-06-2014 00:58:15
Bonsoir,
Je ne sais pas trop quoi penser de ce sujet. J'ai récemment passé mon bac (2010) mais je pense que je me serais fais avoir par les questions de proba, toutefois je pense que ce sujet a fait si mal pour cet exercice de géométrie, dans ma promotion on avait très mal digéré ce chapitre que ce soit en première ou terminale...m'enfin je trouve cet exercice bien guidé.
Mais pour ce qui est des probas/stats, le nouveau programme semble leur faire une plus grosse place aussi je ne sais vraiment pas si cet exercice est maintenant difficile.
#92 Re : Entraide (supérieur) » Calcul d'une limsup » 22-06-2014 17:26:09
Salut !
C'est pas la limite du sup sur tous les entiers mais seulement la limite (lorsque n tend vers l'infini) du sup sur tous les entiers plus grands que n.
#93 Re : Entraide (supérieur) » norme et completude d'un espace » 04-05-2014 00:20:40
Salut,
Essaye de faire l'exercice 4 (il a une indication et est corrigé) de la feuille d'exos "espaces complets" de la bibmath http://www.bibmath.net/exercices/index. … oi=analyse . C'est très proche de ton problème.
#94 Entraide (supérieur) » Une fonction croissante » 17-04-2014 22:34:11
- Choukos
- Réponses : 1
Bonsoir à tous,
je suis face à un problème qui me fait tourner en rond : j'ai une fonction qui est incrémentée en chaque rationnel de l'intervalle [0,1] et ""constante sinon"". Est-elle strictement croissante ?
Plus précisément, le problème est le suivant :
soit [tex](q_n)_{n\in \mathbb{N}}[/tex] une suite énumérant les rationnels de [0,1].
Soit [tex]\chi[/tex] qui vaut 0 sur [tex][0,1] - \mathbb{Q}[/tex] et pour tout [tex]n \in \mathbb{N}[/tex], [tex]\chi (q_n)= \frac{1}{2^n}[/tex].
On pose [tex]f[/tex] la fonction qui à tout x de [0,1] associe la variation totale (définie ici http://fr.wikipedia.org/wiki/Fonction_% … orn%C3%A9e, pour d la valeur absolue usuelle) de [tex]\chi[/tex] sur [0,x].
Alors [tex]f[/tex] est croissante et continue sur [0,1], mais est-elle strictement croissante ?
Je pense prouver que non :
[tex]\mathbb{Q}[/tex] étant totalement ordonné (car [tex]\mathbb{R}[/tex] l'est), je peux supposer que mon énumération est croissante. Je peux alors trouver deux réels distincts x et y entre, par exemple, [tex]q_0[/tex] et [tex]q_1[/tex]. Alors [tex] f(x)=f(y) [/tex] et f n'est donc pas strictement croissante.
Mais je suis embêté, parce que si x et y sont distincts, alors je peux dire que l'intervalle ouvert ]x,y[ est non-vide... D'où, par densité, l'existence d'un rationnel entre x et y ?
Ai-je vraiment le droit d'ordonner ma suite ?
Merci d'avance pour votre aide !
Edit : En fait je viens de me rendre compte que je peux pas ordonner ma suite... Du coup ma preuve tombe à l'eau mais ma question reste ouverte.
Edit 2 : en fait je crois que c'est vrai. Soit x<y deux réels de [0,1] . Alors il existe par densité deux rationnels p et q tels que x<p<q<y (appliquée à ]x,y[ on trouve q puis à ]x,q[ on trouve p). Donc f(x) < f(y).
Désolé du dérangement...
#95 Re : Entraide (supérieur) » tribue borilenne engendrée » 06-03-2014 22:11:55
Salut,
Tout d'abord remarquons que si [tex]a<b[/tex], alors [tex]]a,b[ \ = \ ]a,+\infty[ \ \cap \bigcup_{n\in \mathbb{N}^*}(]b-\frac{1}{n},+\infty[)^c[/tex]. Donc [tex]]a,b[[/tex] appartient à la tribu engendrée par F.
On s'est ainsi ramené à montrer que les intervalles de la forme [tex]]a,b[[/tex] avec [tex]a<b[/tex] engendrent [tex]\mathcal{B}(\mathbb{R})[/tex]. J'ai mis une rédaction possible de ce dernier résultat dans une balise "solution" au cas où tu voudrais chercher ce résultat par toi même.
#96 Re : Entraide (supérieur) » Norme infinie » 26-02-2014 09:21:22
Merci beaucoup !
#97 Entraide (supérieur) » Norme infinie » 26-02-2014 00:33:32
- Choukos
- Réponses : 5
Bonsoir,
Je sèche sur un exercice, si quelqu'un pouvait m'aider :
Soit [tex]f \in L^{\infty}([a,b])[/tex], montrer que [tex]\lim_{p \rightarrow \infty}{ \Vert f \Vert_p } = \Vert f \Vert_{\infty}[/tex] où [tex] \Vert f \Vert_{\infty} = \sup_{x \in [a,b]}{\vert f(x) \vert}[/tex].
J'ai seulement montré qu'on pouvait bien calculer cette norme p et qu'on pouvait majorer par le sup... Je suis perdu pour faire l'autre sens.
Merci d'avance !
#98 Re : Entraide (supérieur) » Question bête et gentille, réponse par oui ou non. » 17-02-2014 15:49:17
Salut,
Je suis d'accord, mais moi j'ai explicité et fixé une constante C. Ce qui donne bien la définition d'être un grand O. Après c'est vrai qu'avec ton critère d'être un petit o on peut bien appliquer un théorème de comparaison.
#99 Re : Entraide (supérieur) » Matrice » 16-02-2014 20:50:47
Salut !
Je ne vois pas comment tu attaques la question 1) ainsi.
Pour la question 1) il faut appliquer la définition, la matrice de passage de la base cannonique à (u,v,w) est la matrice de l'identité de la base (u,v,w) à la base canonique. Concrètement, pour trouver sa première colonne, tu dois décomposer u selon la base canonique, i.e trouver des coefficients tels que u = a*(1,0,0) + b*(0,1,0) + c*(0,0,1). Tu dois normalement trouver le vecteur u en colonne.
Edit : ups, grillé.
Edit 2 : Par hasard, est-ce que v serait plutôt (2,1,1) ? Sinon je sèche aussi pour la question 3)
#100 Re : Entraide (supérieur) » Question bête et gentille, réponse par oui ou non. » 14-02-2014 17:25:40
La preuve que j'ai donné montre que la suite est un grand O de 1/n².
Tu sais déjà que c'est un petit o par hypothèse : [tex] n^2u_n \rightarrow 0[/tex] signifie que [tex]\frac{u_n}{1/n^2} \rightarrow 0[/tex] ce qui est la définition d'être un petit o de 1/n².
Là j'ai démontré qu'à partir d'un certain rang, il existe une constante strictement positive (c'est 1), telle que :
[tex] | u_n | \leq C \frac{1}{n^2} [/tex],
ce qui est la définition d'être un grand O de 1/n².
J'aurais plutôt dû dire que la suite est "dominée" par 1/n² et non "négligeable"... même si elle est ici à la fois "négligeable" (au sens des petits o) et "dominée" (au sens des grand O).
J'espère ne pas dire de bêtises !
Bon après-midi







