التمرين 1🚩 إبلاغExercice 1 (Chlef 2023) — Identité de la médiane dans un préhilbertien#espaces préhilbertiens#identité du parallélogramme#médianeSoit HHH un espace préhilbertien réel. Démontrer que pour tous x,y,z∈Hx,y,z\in Hx,y,z∈H : ∥x−z∥2+∥y−z∥2=2∥x+y2−z∥2+12∥x−y∥2.\|x-z\|^2 + \|y-z\|^2 = 2\left\|\dfrac{x+y}{2}-z\right\|^2 + \dfrac{1}{2}\|x-y\|^2.∥x−z∥2+∥y−z∥2=22x+y−z2+21∥x−y∥2.Théorème d'Apollonius vectoriel. Équivalent à l'identité du parallélogramme qui caractérise les normes hilbertiennes (théorème de Fréchet-von Neumann-Jordan).◀الحلPosons m=(x+y)/2m=(x+y)/2m=(x+y)/2. Écrivons x−z=(x−m)+(m−z)x-z = (x-m)+(m-z)x−z=(x−m)+(m−z), y−z=(y−m)+(m−z)y-z=(y-m)+(m-z)y−z=(y−m)+(m−z), avec x−m=(x−y)/2x-m=(x-y)/2x−m=(x−y)/2 et y−m=−(x−y)/2y-m=-(x-y)/2y−m=−(x−y)/2. ∥x−z∥2=∥(x−y)/2∥2+2⟨(x−y)/2,m−z⟩+∥m−z∥2\|x-z\|^2 = \|(x-y)/2\|^2 + 2\langle (x-y)/2, m-z\rangle + \|m-z\|^2∥x−z∥2=∥(x−y)/2∥2+2⟨(x−y)/2,m−z⟩+∥m−z∥2. ∥y−z∥2=∥(x−y)/2∥2−2⟨(x−y)/2,m−z⟩+∥m−z∥2\|y-z\|^2 = \|(x-y)/2\|^2 - 2\langle (x-y)/2, m-z\rangle + \|m-z\|^2∥y−z∥2=∥(x−y)/2∥2−2⟨(x−y)/2,m−z⟩+∥m−z∥2. En sommant : ∥x−z∥2+∥y−z∥2=2∥(x−y)/2∥2+2∥m−z∥2=12∥x−y∥2+2∥m−z∥2\|x-z\|^2+\|y-z\|^2 = 2\|(x-y)/2\|^2 + 2\|m-z\|^2 = \dfrac{1}{2}\|x-y\|^2 + 2\|m-z\|^2∥x−z∥2+∥y−z∥2=2∥(x−y)/2∥2+2∥m−z∥2=21∥x−y∥2+2∥m−z∥2.
التمرين 2🚩 إبلاغExercice 2 (Chlef 2023) — Fonction $h(x)=d(x,A)/(d(x,A)+d(x,B))$#espaces métriques#distance à un fermé#séparation#normalitéSoit (X,d)(X,d)(X,d) un espace métrique et A,BA,BA,B deux fermés disjoints non vides de XXX. Montrer que x↦d(x,A)x\mapsto d(x,A)x↦d(x,A) est 111-Lipschitzienne. Montrer que d(x,A)+d(x,B)>0d(x,A)+d(x,B)>0d(x,A)+d(x,B)>0 pour tout x∈Xx\in Xx∈X. On définit h:X→[0,1]h:X\to[0,1]h:X→[0,1] par h(x)=d(x,A)d(x,A)+d(x,B)h(x)=\dfrac{d(x,A)}{d(x,A)+d(x,B)}h(x)=d(x,A)+d(x,B)d(x,A). Montrer que hhh est continue, h=0h=0h=0 sur AAA, h=1h=1h=1 sur BBB. En déduire qu'il existe deux ouverts disjoints U,VU,VU,V tels que A⊂UA\subset UA⊂U et B⊂VB\subset VB⊂V. Fonction d'Urysohn explicite dans un espace métrique : montre que tout espace métrique est normal (T4). Sans structure métrique, l'existence est le lemme d'Urysohn.◀الحل Pour a∈Aa\in Aa∈A : d(x,A)≤d(x,a)≤d(x,y)+d(y,a)d(x,A)\le d(x,a)\le d(x,y)+d(y,a)d(x,A)≤d(x,a)≤d(x,y)+d(y,a). En passant à l'inf sur a∈Aa\in Aa∈A : d(x,A)≤d(x,y)+d(y,A)d(x,A)\le d(x,y)+d(y,A)d(x,A)≤d(x,y)+d(y,A). Symétriquement : ∣d(x,A)−d(y,A)∣≤d(x,y)|d(x,A)-d(y,A)|\le d(x,y)∣d(x,A)−d(y,A)∣≤d(x,y). Si d(x,A)+d(x,B)=0d(x,A)+d(x,B)=0d(x,A)+d(x,B)=0, alors d(x,A)=d(x,B)=0d(x,A)=d(x,B)=0d(x,A)=d(x,B)=0, donc x∈A‾∩B‾=A∩B=∅x\in\overline{A}\cap\overline{B}=A\cap B=\emptysetx∈A∩B=A∩B=∅ (fermés), contradiction. hhh continue comme quotient de fonctions continues (dénominateur strictement positif). h(x)=0⇔d(x,A)=0⇔x∈Ah(x)=0\Leftrightarrow d(x,A)=0\Leftrightarrow x\in Ah(x)=0⇔d(x,A)=0⇔x∈A (fermé). h(x)=1⇔d(x,B)=0⇔x∈Bh(x)=1\Leftrightarrow d(x,B)=0\Leftrightarrow x\in Bh(x)=1⇔d(x,B)=0⇔x∈B. U=h−1([0,1/2[)U=h^{-1}([0,1/2[)U=h−1([0,1/2[) et V=h−1(]1/2,1])V=h^{-1}(]1/2,1])V=h−1(]1/2,1]) : ouverts disjoints, A⊂UA\subset UA⊂U, B⊂VB\subset VB⊂V.
التمرين 3🚩 إبلاغExercice 3 (Chlef 2023) — Fonction $x^2 y\sin(1/x)$ : continuité et différentiabilité#calcul différentiel#dérivées partielles#différentiabilitéSoit f:R2→Rf:\mathbb{R}^2\to\mathbb{R}f:R2→R définie par f(x,y)=x2ysin(1/x)f(x,y)=x^2 y\sin(1/x)f(x,y)=x2ysin(1/x) si x≠0x\ne 0x=0, et f(0,y)=0f(0,y)=0f(0,y)=0. Montrer que fff est continue sur R2\mathbb{R}^2R2. Calculer ∂xf\partial_x f∂xf et ∂yf\partial_y f∂yf pour x≠0x\ne 0x=0 et pour x=0x=0x=0. Les dérivées partielles sont-elles continues en (0,0)(0,0)(0,0) ? fff est-elle différentiable en (0,0)(0,0)(0,0) ? Contre-exemple important : différentiable mais pas C1C^1C1. C1C^1C1 implique différentiable, la réciproque est fausse.◀الحل Pour x≠0x\ne 0x=0 : fff est C∞C^\inftyC∞. En (0,y0)(0,y_0)(0,y0) : ∣f(x,y)∣≤x2∣y∣→0|f(x,y)|\le x^2|y|\to 0∣f(x,y)∣≤x2∣y∣→0, donc continue. Pour x≠0x\ne 0x=0 : ∂xf=2xysin(1/x)−ycos(1/x)\partial_x f=2xy\sin(1/x)-y\cos(1/x)∂xf=2xysin(1/x)−ycos(1/x), ∂yf=x2sin(1/x)\partial_y f=x^2\sin(1/x)∂yf=x2sin(1/x). En x=0x=0x=0 : ∂xf(0,y)=limh→0(hysin(1/h))=0\partial_x f(0,y)=\lim_{h\to 0}(hy\sin(1/h))=0∂xf(0,y)=limh→0(hysin(1/h))=0, ∂yf(0,y)=0\partial_y f(0,y)=0∂yf(0,y)=0. ∂yf→0\partial_y f\to 0∂yf→0 quand x→0x\to 0x→0 : continue en (0,0)(0,0)(0,0). ∂xf=2xysin(1/x)−ycos(1/x)\partial_x f=2xy\sin(1/x)-y\cos(1/x)∂xf=2xysin(1/x)−ycos(1/x) : le second terme ycos(1/x)y\cos(1/x)ycos(1/x) oscille (pas de limite en x=0x=0x=0 pour y≠0y\ne 0y=0). Donc ∂xf\partial_x f∂xf n'est pas continue en (0,0)(0,0)(0,0). Candidat : df(0,0)=0df(0,0)=0df(0,0)=0. ∣f(h,k)∣h2+k2≤h2∣k∣h2+k2≤h2→0\dfrac{|f(h,k)|}{\sqrt{h^2+k^2}}\le \dfrac{h^2|k|}{\sqrt{h^2+k^2}}\le h^2\to 0h2+k2∣f(h,k)∣≤h2+k2h2∣k∣≤h2→0. Donc fff est différentiable en (0,0)(0,0)(0,0).
التمرين 4🚩 إبلاغExercice 4 (Chlef 2023) — Série alternée $\sum(-1)^n/(n+x^2)$#séries de fonctions#convergence uniforme#convergence normaleSoit fn(x)=(−1)nn+x2f_n(x)=\dfrac{(-1)^n}{n+x^2}fn(x)=n+x2(−1)n. Montrer que ∑fn\sum f_n∑fn converge simplement sur R\mathbb{R}R. Montrer que ∑fn\sum f_n∑fn converge uniformément sur R\mathbb{R}R. La convergence est-elle normale sur R\mathbb{R}R ? S(x)=∑n≥1fn(x)S(x)=\sum_{n\ge 1}f_n(x)S(x)=∑n≥1fn(x) est-elle continue sur R\mathbb{R}R ? Exemple typique CVU ⇏\not\Rightarrow⇒ CVN. La structure alternée crée des compensations exploitées par Leibniz.◀الحل À xxx fixé, 1/(n+x2)1/(n+x^2)1/(n+x2) décroissante →0\to 0→0 : Leibniz ⇒\Rightarrow⇒ CVS. Reste ∣RN(x)∣≤1/(N+1+x2)≤1/(N+1)→0|R_N(x)|\le 1/(N+1+x^2)\le 1/(N+1)\to 0∣RN(x)∣≤1/(N+1+x2)≤1/(N+1)→0 uniformément. CVU sur R\mathbb{R}R. ∥fn∥∞=1/n\|f_n\|_\infty = 1/n∥fn∥∞=1/n atteint en x=0x=0x=0. ∑1/n\sum 1/n∑1/n diverge : pas CVN. fnf_nfn continues, CVU ⇒S\Rightarrow S⇒S continue sur R\mathbb{R}R.