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).

Répondre

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)?
soixante dix-sept moins trente huit
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.

Retour

Résumé de la discussion (messages les plus récents en premier)

Thgues
30-12-2021 12:48:34

Merci Fred pour tes deux réponses.

J'ai toujours des automatismes qui m'échappent ^^

Fred
29-12-2021 19:33:25

Re-

  Non, a priori tu ne peux pas choisir $\mathcal C$. On te fixe une famille $\mathcal C\subset\Omega_2$ et on te demande de démontrer que $T$ est une tribu, ce $\mathcal C$ étant fixé.

Pour prouver que $\Omega_2$ est dans $\mathcal C$, c'est facile : $f^{-1}(\Omega_2)=\Omega_1$, et $\Omega_1$ est bien dans $\sigma(f^{-1}(\mathcal C))$ puisque ceci est une tribu de $\Omega_1$.

F.

Thgues
29-12-2021 14:54:45

En fait, je ne comprends pas bien l'hypothèse "pour une certaine famille [tex]\mathcal{C}[/tex]; on a...".
Est-ce que cela veut dire que c'est vrai pour n'importe quelle famille [tex]\mathcal{C}\subset P(\Omega_2)[/tex] ?

Thgues
29-12-2021 09:37:04

Bonjour Fred.
Effectivement, j'ai oublié de différencier les deux C.

Je recommence.
Bonjour,

Je souhaite montrer que [tex]T=\{B\subset\Omega_2 ∶f^{-1}(B)∈\sigma(f^{-1} (C))\}[/tex] est une tribu sur [tex]\Omega_2[/tex], avec les hypothèses suivantes : [tex]f[/tex] est une application de [tex](\Omega_1,\mathcal{F_1})[/tex] dans [tex](\Omega_2,\mathcal{F_2})[/tex], [tex]\mathcal{F_2}=\sigma(\mathcal{C})[/tex] pour une certaine famille [tex]\mathcal{C}\subset P(\Omega_2)[/tex] et pour tout [tex]C\in \mathcal{C}[/tex], on a [tex]f^{-1}(C)\in \mathcal{F_1}[/tex].


Montrons que [tex]\Omega_2\in T[/tex]. Pour cela, je cherche à trouver [tex]\mathcal{C}[/tex] et [tex]C[/tex] qui vérifient les hypothèses.
Choisissons [tex]\mathcal{C}=P(\Omega_2)\subset P(\Omega_2)[/tex].

Alors pour [tex]C=\Omega_2\in \mathcal{C}=P(\Omega_2)[/tex] donne [tex]f^{-1} (\Omega_2)\in f^{-1} (\mathcal{C})[/tex], avec [tex]f^{-1} (\Omega_2 )\subset\Omega_1\in F_1[/tex].

Or, [tex]f^{-1} (\mathcal{C})\subset\sigma(f^{-1} (\mathcal{C}))[/tex] donc [tex]f^{-1}(\Omega_2)∈σ(f^{-1}(\mathcal{C}))[/tex].
En conclusion, [tex]\Omega_2\in T[/tex].

Fred
28-12-2021 18:21:49

Bonjour,

  Ce que tu écris n'est pas clair du tout. Qui est $f$? $\Omega_2$? $C$?? 
Une ligne tu écris $C=P(\Omega_2)$ et la suivante $C=\Omega_2$....

F.

Thgues
28-12-2021 16:06:14

Bonjour,

Montrons que [tex]T=\{B\subset\Omega_2 ∶f^{-1}(B)∈\sigma(f^{-1} (C))\}[/tex] est une tribu sur [tex]\Omega_2[/tex].

Montrons que [tex]\Omega_2\in T[/tex].
Choisissons [tex]C=P(\Omega_2)\subset P(\Omega_2)[/tex].
Alors [tex]C=\Omega_2\in C=P(\Omega_2)[/tex] donne [tex]f^{-1} (\Omega_2)\in f^{-1} (C)[/tex], avec [tex]f^{-1} (\Omega_2 )\subset\Omega_1\in F_1[/tex].
Or, [tex]f^{-1} (C)\subset\sigma(f^{-1} (C))[/tex] donc [tex]f^{-1}(\Omega_2)∈σ(f^{-1}(C))[/tex].
En conclusion, [tex]\Omega_2\in T[/tex].

Est-ce que c'est correct ?

Pied de page des forums