Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 Re : Entraide (supérieur) » Convexe, adhérence de convexe et connexité par arcs » 09-10-2023 20:48:40

Bonsoir,

Merci beaucoup pour toutes ces réponses, je suis arrivé au bout. Un exercice assez élégant...

#2 Re : Entraide (supérieur) » Convexe, adhérence de convexe et connexité par arcs » 09-10-2023 13:33:45

Bonjour,

Merci beaucoup pour vos réponse. Une dernière chose : pour appliquer le théorème de prolongement par continuité, il suffit de montrer que la fonction définie sur [0,1[ admet une limite en 0, comment intervient alors la convexité ?

Merci d'avance

#3 Entraide (supérieur) » Convexe, adhérence de convexe et connexité par arcs » 08-10-2023 20:53:25

Firewalkwithme
Réponses : 8

Bonsoir,

Je suis aux prises avec cet exercice, me semble-t-il relativement classique :

Soit E un espace vectoriel normé, C un convexe de E et D un ensemble tel que C inclus dans D inclus dans l'adhérence de C.
Montrer que D est connexe par arcs.

On peut montrer très facilement à l'aide de la caractérisation séquentielle que l'adhérence de C est convexe donc connexe par arcs, et en faisant un dessin, j'ai tendance à dire que les cas qui posent difficulté est de relier deux points de D\C ou un de C et un de D\C mais je ne vois pas bien comment faire...

Auriez-vous des pistes pour m'aider ?

Merci d'avance

#4 Re : Entraide (supérieur) » Une intégrale » 11-12-2022 14:26:35

Bonjour,

Merci pour cette réponse... En effet, on est toujours tenté d'utiliser des théorèmes bien compliqués alors que oui, c'est juste la caractérisation séquentielle.
Je n'ai pas encore le théorème de convergence dominée, mais pour ce point j'ai majoré l'intégrale en module, utilisé ln(1+x) <= x (concavité), puis majoré le cos en module, calculé l'intégrale et utilisé les gendarmes.

Merci et bonne journée

#5 Re : Entraide (supérieur) » Une intégrale » 11-12-2022 10:43:45

Bonjour,

Merci pour la correction et désolé pour ma maîtrise approximative de la syntaxe LaTex...

Merci pour les éléments de réponse.
Pour la limite de I([tex]\lambda^n[/tex]), cela se fait bien par une convergence uniforme ?
Et donc I([tex]\lambda[/tex]) = 0 pour tous les |λ|<1.

#6 Entraide (supérieur) » Une intégrale » 10-12-2022 21:30:23

Firewalkwithme
Réponses : 5

Bonsoir,

Je suis en train de travailler sur l'exercice suivant et la dernière question me pose problème :

Pour [tex]\lambda \in R [/tex] tel que |[tex]\lambda [/tex]| ≠ 1, on pose I([tex]\lambda [/tex]) = [tex]\int_0^2\pi\,\ln\lambda ^2 - 2\lambda\cosx + 1) \, \dx \[/tex].

Dans la première question, on montre que l'intégrande est bien continue en étudiant un polynôme en [tex]\lambda[/tex].
Dans la deuxième, on exprime I(1/[tex]\lambda[/tex]) en fonction de I([tex]\lambda[/tex]).
Dans la troisième on prouve par récurrence que pour tout n non nul, I([tex]\lambda ^n[/tex]) = n * I([tex]\lambda[/tex])
Dans la quatrième on montre que [tex]\lim_{\lambda\to 0} I(\lambda)[/tex] = 0 (j'ai utilisé l'inégalité triangulaire et une inégalité de concavité).
La dernière me pose souci : il s'agit de calculer I([tex]\lambda[/tex]) en fonction de [tex]\lambda[/tex] en distinguant les cas suivant si sa valeur absolue est inférieure strictement ou supérieure strictement à 1.

Auriez-vous des pistes ?

Merci d'avance.

#7 Re : Entraide (supérieur) » Somme de Riemann » 06-09-2022 20:26:36

Merci, je peux donc demander de l'aide de façon lisible.

J'ai l'encadrement : [tex]\forall t>0, t-\frac{t^2}{2}<ln(1+t)<t[/tex]
Je veux déterminer : [tex]\lim\limits_{n \to +\infty} \prod_{k=1}^n (1 + \frac{1}{n} f(\frac{k}{n}))[/tex] avec f définie sur [0,1] à valeurs dans [tex]\mathbb{R}+[/tex] continue.
Comment faire ?

Merci

#8 Re : Entraide (supérieur) » Somme de Riemann » 06-09-2022 18:21:24

Re,

Pour l'idr, je voulais parler de t - (t^2)/2 = -1/2 * ((t-1)^2 - 1) par exemple.
Pour le côté gauche, j'applique juste directement celle du dessus avec t = la somme de Riemann... Désolé si ce n'est pas très clair, c'est toujours difficile d'écrire les maths sur clavier :(.

#9 Re : Entraide (supérieur) » Somme de Riemann » 06-09-2022 17:41:42

L'énoncé dit seulement f : [0,1] --> R+ continue.

#10 Entraide (supérieur) » Somme de Riemann » 06-09-2022 16:31:40

Firewalkwithme
Réponses : 7

Bonjour,

Je travaille sur un exercice sur lequel j'ai toutes les idées, mais certaines astuces calculatoires (qui doivent être relativement simple, j'en conviens...) m'empêchent de conclure.

La q1 me demande de démontrer pour tout t positif : t - t^2 < ln(1+t) < t (OK)

Q2 : déterminer, avec f continue et positive, la limite du produit de 1 à n de 1 + 1/n f(k/n).
Je passe au logarithme pour avoir la somme des ln(1 + somme de Riemann), que j'encadre avec la Q1 avec la somme de Riemann pour t.
Le côté droit tend bien vers l'intégrale entre 0 et 1, par définition, mais je n'arrive pas à le formaliser pour l'autre côté... Je sens bien qu'il faut utiliser l'identité remarquable, mais je tourne en rond (c'est vraiment purement calculatoire...).

Merci d'avance de votre aide !

#11 Re : Entraide (supérieur) » Un équivalent » 04-09-2022 20:25:00

D'accord, merci beaucoup ! C'est en effet bien mieux.

#12 Entraide (supérieur) » Un équivalent » 04-09-2022 17:45:00

Firewalkwithme
Réponses : 3

Bonjour,

Je cherche à déterminer un équivalent asymptotique simple de la somme pour k de 0 à n des factorielles de k.
J'ai voulu utiliser le théorème de sommation des relations de comparaison avec la formule de Stirling, mais je me retrouve avec une somme assez compliquée à calculer (pas un équivalent simple donc...).
Suis-je dans la bonne direction, ou auriez-vous une autre piste à proposer ?

Merci d'avance.

#13 Re : Entraide (supérieur) » Continuité uniforme : caractérisation séquentielle » 13-08-2022 12:48:03

Bonjour, merci pour cette réponse.

Concernant delta, je le prend > 0 seulement, la négation de l'uc étant (si je ne me suis pas trompé) : il existe epsilon > 0 tel que, pour tout delta > 0, il existe x,x' dans I tels que [ abs(x - x') < delta et abs(f(x) - f(x')) > epsilon ]. A défaut quelle serait la valeur particulière ?

Concernant la densité, effectivement, ça ne marche pas et c'est très faux. Peut-on alors justifier l'existence de ces suites en utilisant seulement un argument d'adhérence de x et x' dans I ?

Merci.

#14 Entraide (supérieur) » Continuité uniforme : caractérisation séquentielle » 13-08-2022 10:50:35

Firewalkwithme
Réponses : 2

Bonjour,

Je cherche à rédiger la réciproque de la caractérisation séquentielle de la continuité uniforme, à savoir que si pour toutes suites (xn) et (yn) d'éléments de I (partie de R que l'on étudie), lim(xn-yn) = 0 => lim(f(xn)-f(yn)) = 0, alors f est uniformément continue (uc).

Je raisonne par contraposée et j'ai de légers doutes sur la rigueur de certaines étapes que j'aimerais éclaircir (toutes mes inégalités sont larges, je n'écris pas <= et >= pour alléger mes notations) :

La négation de l'uc fournit epsilon tel que pour tout delta, il existe x,x' tels que abs(x-x') < delta et abs(f(x)-f(x')) > epsilon.
On prend delta > 0.
Cela fournit x et x' tels que... (cf ci-dessus).
Premier doute : je construis des suites (xn) et (yn) telles que lim xn = x et lim yn = x' en utilisant comme argument la densité de I dans R : cet argument est-il nécessaire ?
J'utilise ensuite la définition de la limite qui fournit n0 et n1 tels que pout tout n > n0, abs(x-xn) < delta, idem pour yn avec n1.
Je prend n > max(n0,n1)
Second doute : Je transforme les valeurs absolues en inégalités : x - delta < xn < x + delta (1) et x' - delta < yn < x' + delta (2), et alors (1)-(2) me dit que xn - yn = x - x'. Cela me permet d'utiliser notre hypothèse et de conclure la preuve, mais j'ai des doutes concernant la rigueur de cette différence...

Merci d'avance d'éclairer ma lanterne !

#15 Re : Entraide (supérieur) » Matrice non inversible » 03-08-2022 17:09:51

Bonjour,

En effet, j'avais commis une erreur de raisonnement. On trouve A = -In avec la deuxième égalité, et la première aboutit à -2In = 0 (d'où le fait que ça ne fonctionne pas en caractéristique 2).

Merci encore !

#16 Re : Entraide (supérieur) » Matrice non inversible » 03-08-2022 13:28:45

Bonjour,

Merci pour vos réponses, on trouve en raisonnant par l'absurde que A = 0, contradiction car la matrice nulle n'est pas inversible.
Je ne vois pas pourquoi il faut, dans ce cas, que la matrice soit à coefficients complexes ? Cela marcherait tout aussi bien dans un autre corps ?

Merci

#17 Entraide (supérieur) » Matrice non inversible » 03-08-2022 11:57:11

Firewalkwithme
Réponses : 6

Bonjour,

L'exercice suivant me pose quelques difficultés, bien que son énoncé soit assez simple :
Soient n entier naturel non nul, A € Mn(C) tels que : A^3 + A = A^2 + A = 0. Montrer qu A n'est pas inversible.

La matrice étant à coefficients complexes, j'ai pensé à écrire A^3 + A = A x (A + iIn) x (A - iIn), mais je n'arrive pas à aller au-delà, l'anneau matriciel n'étant naturellement pas intègre.
L'utilisation de l'associativité du produit matriciel et le passage au conjugué me semblent des pistes intéressantes mais je n'arrive pas à les faire aboutir.
On peut remarquer un cas trivial pour le cas A = 0, mais je ne suis pas sûr qu'il soit nécessaire de le distinguer.
Auriez-vous une aide à me proposer ?

Merci d'avance

#18 Re : Entraide (supérieur) » Une somme de sev » 02-08-2022 20:34:13

Bonjour, merci pour cette réponse.

On trouve alors immédiatement que cette constante est égale à f(0).
La fonction de F2 est alors f - f(0), ce qui achève l'analyse.

Merci encore !

#19 Entraide (supérieur) » Une somme de sev » 02-08-2022 19:15:03

Firewalkwithme
Réponses : 2

Bonjour,

Je cherche à démontrer le résultat suivant :
Soient E = R^R, F1 l'ensemble des fonctions bornées de E, F2 l'ensemble des fonctions f de E telles que f(0)=0. Montrer que E = F1 + F2.
Je procède par analyse-synthèse, j'ai pensé à utiliser la majoration de la valeur absolue comme définition pour une fonction bornée, mais je n'arrive pas à aller au-delà dans la formalisation de la preuve... Auriez-vous une indication ?

(La question suivante demande si ces sev sont supplémentaires. C'est faux, car l'intersection n'est pas triviale : il y a aussi, notamment, la fonction sin.)

Merci d'avance.

Pied de page des forums