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 30-06-2024 17:50:42

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Limite avec indicatrice

Bonjour,

J'ai toujours du mal à déterminer certaines limites, notamment pour ce genre de suite de fonctions : [tex]f_n(x)=n\times 1_{[0,\frac{1}{n}]}(x)[/tex]. Je travaille ici sur un espace mesuré [tex](X,\mu)[/tex].

Je propose ceci.
Soit x réel. Déjà, [tex]f_n(x)=1[/tex] si [tex]x\in [0;\frac{1}{n}][/tex] et [tex]f_n(x)=0[/tex] si [tex]x\notin [0;\frac{1}{n}][/tex].
Lorsque [tex]n[/tex] tend vers [tex]+\infty[/tex], on a [tex]\mu([0;\frac{1}{n}])=\frac{1}{n}\to 0[/tex] et donc [tex]f_n(x)[/tex] tend vers [tex]0[/tex] presque partout lorsque [tex]n\to +\infty[/tex].

Est-ce que c'est juste ? Ce qui me gêne, c'est que la mesure de l'ensemble [tex][0;\frac{1}{n}][/tex] n'est pas nulle, mais tend vers [tex]0[/tex] lorsque [tex]n\to +\infty[/tex].

Merci d'avance !

Hors ligne

#2 30-06-2024 18:53:17

Eust_4che
Membre
Inscription : 09-12-2021
Messages : 158

Re : Limite avec indicatrice

Bonjour,

Le raisonnement n'est pas bon.

La spécificité ici est que les ensembles $\textrm{A}_n = [0, 1/n]$ forment une suite décroissante dont l'intersection est le singleton $\{0\}$. Donc, pour tout $x \neq 0$, il existe $n \geq 0$ tel que $x \notin \textrm{A}_n$. Comme la suite est décroissante, on a $x \notin \textrm{A}_p$ pour tout $p \geq n$. Pour $x \neq 0$, la suite des réels $f_n(x)$ est donc nulle à partir d'un certain rang, ce qui entraîne aussitôt qu'elle converge vers $0$. En revanche, pour $x = 0$, on a $f_n(x) = n$. La suite converge donc vers $+ \infty$ (ou ne converge pas selon le point de vu sur la convergence).

Pour l'instant, on n'a fait que calculer la limite simple d'une suite de fonctions. Il se trouve, dans notre contexte, que $\{ 0 \}$ est de mesure nulle. On peut donc dire que la suite $(f_n)$ converge presque partout vers la fonction $0$.

En revanche, si l'on considère une suite quelconque de fonctions $f_n = n . \textbf 1_{\textrm{A}_n}$, avec la seule indication que $\mu(\textrm A_n) \rightarrow 0$, on ne peut pas en déduire une convergence simple presque partout. On peut donner des exemples de suites qui ne converge en aucun point, malgré cette hypothèse.

E.

Hors ligne

#3 01-07-2024 00:33:13

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Re : Limite avec indicatrice

Merci Eust_4che, j'ai enfin compris comment ça fonctionnait !
A chaque fois, le corrigé dit que c'est trivial... C'est relatif ^^

Hors ligne

#4 01-07-2024 00:54:56

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Re : Limite avec indicatrice

J'essaye avec [tex]f_n(x)=1_{[n;n+1]}(x)[/tex].
Déjà, pour x strictement négatif fixé, [tex]f_n(x)=0[/tex].
Soit [tex]x\ge 0[/tex] fixé. Alors pour [tex]n[/tex] assez grand, [tex]x\notin [n;n+1][/tex] et donc [tex](f_n(x))_n[/tex] est nulle à partir d'un certain rang.
Pour [tex]x=n[/tex], on a [tex]f_n(n)=1[/tex].
Puisque {1} est un ensemble de mesure nulle, on en déduit que [tex]lim_n f_n(x)=0[/tex] pour presque tout réel x.

Dernière modification par Vincent62 (01-07-2024 00:55:09)

Hors ligne

#5 01-07-2024 14:28:04

bridgslam
Membre
Lieu : Rospez
Inscription : 22-11-2011
Messages : 1 467

Re : Limite avec indicatrice

Bonjour,

Vincent62 a écrit :

J'essaye avec [tex]f_n(x)=1_{[n;n+1]}(x)[/tex].
Déjà, pour x strictement négatif fixé, [tex]f_n(x)=0[/tex].
Soit [tex]x\ge 0[/tex] fixé. Alors pour [tex]n[/tex] assez grand, [tex]x\notin [n;n+1][/tex] et donc [tex](f_n(x))_n[/tex] est nulle à partir d'un certain rang.

C'est vrai

Vincent62 a écrit :

Pour [tex]x=n[/tex], on a [tex]f_n(n)=1[/tex].

En effet. Et alors?

Vincent62 a écrit :

Puisque {1} est un ensemble de mesure nulle, on en déduit que [tex]lim_n f_n(x)=0[/tex] pour presque tout réel x.

Je ne vois pas ce que vous voulez dire.

La suite de fonction choisie converge (simplement) vers la fonction nulle  en tout point réel.

Je pense qu'il y a quelque chose de flou ou une confusion quelque part.

On a par ailleurs que la convergence vers la fonction nulle de la suite des restrictions $ ( f_{n|P} ) $ à une partie P de $\mathbb{R}$ est uniforme si et seulement si la partie P est majorée.


A.

Dernière modification par bridgslam (01-07-2024 15:45:01)


"Ceux qui ne savent rien en savent toujours autant que ceux qui n'en savent pas plus qu'eux" -Pierre Dac
"Travailler sur un groupe haddock, ou être heureux comme un poisson dans l'eau..."

Hors ligne

#6 03-07-2024 00:33:02

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Re : Limite avec indicatrice

Bonjour bridgslam,

Effectivement, la deuxième partie est inutile. Merci.

Je garde en mémoire votre dernière assertion que j'essayerai de démontrer.

Hors ligne

#7 03-07-2024 09:57:11

bridgslam
Membre
Lieu : Rospez
Inscription : 22-11-2011
Messages : 1 467

Re : Limite avec indicatrice

Bonjour,

Avec plaisir.
Le dernier point est quasi un pléonasme. Pour économiser votre temps en vous consacrant à des sujets plus palpitants:

Par exemple par disjonction des cas:

Si P est majorée , $(f_n|P)=(0)$ à partir d'un certain rang N tel que N > P.

Si P n'est pas majorée, pour tout N entier, il existe un élément x de P au moins égal à N.
Ainsi pour tout N entier , il existe n entier au moins égal à N tel que x est dans [n,n+1].
$\forall N \in \mathbb{N},  \exists n \ge N  \;\; \exists x \in P:  f_n|P (x) = 1$, la suite (f_n|P) ne converge donc pas uniformément vers 0.

A.


"Ceux qui ne savent rien en savent toujours autant que ceux qui n'en savent pas plus qu'eux" -Pierre Dac
"Travailler sur un groupe haddock, ou être heureux comme un poisson dans l'eau..."

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
cinquante moins dix
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums