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 16-09-2024 11:38:30

bibmgb
Membre
Inscription : 16-04-2017
Messages : 58

Algèbre isomorphisme

Bonjour,
Soit [tex]\varphi : \mathcal{P}(\Omega) \rightarrow \left(\mathbb{Z}/2\mathbb{Z}\right)^{\Omega}[/tex] qui à [tex]E [/tex] associe [tex]f_E[/tex] où [tex]f_E(x)=\overset{\cdot}{0}[/tex] si [tex]x\in E[/tex] et [tex]f_E(x)=\overset{\cdot}{1}[/tex] si [tex]x\notin E[/tex].

On demande de montrer que pour tous [tex]E,F\subset\Omega[/tex], [tex]\varphi(E\triangle F)=\varphi(E)+\varphi(F)[/tex].
L'idée est de montrer que [tex]\varphi[/tex] est compatible avec les lois [tex]\triangle[/tex] et [tex]+[/tex].

Je n'y arrive pas. En effet si je prends [tex]x\in E\backslash F[/tex] alors [tex]x\in E\triangle F[/tex] donc [tex]\varphi(E\triangle F)(x)=\overset{\cdot}{0}[/tex]. Par ailleurs, [tex]\varphi(E)(x)+\varphi(F)(x)=\overset{\cdot}{0}+\overset{\cdot}{1}=\overset{\cdot}{1}[/tex]. Ces deux fonctions ne sont donc pas égales.

Je ne comprends pas quelle est mon erreur. La voyez-vous ?
Merci.

Hors ligne

#2 16-09-2024 13:04:30

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 197

Re : Algèbre isomorphisme

Bonjour,

  Dans ce que tu as écrit, je ne vois pas d'erreur. Est-ce qu'il n'y pas une inversion dans la définition de $f_E(x)$ entre le cas $x\in E$ et le cas $x\notin E$?

F

Hors ligne

#3 16-09-2024 13:05:36

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

Re : Algèbre isomorphisme

Bonjour,

Vous avez du inverser les valeurs dans l'énoncé...
A mon avis.

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

#4 16-09-2024 15:53:01

bibmgb
Membre
Inscription : 16-04-2017
Messages : 58

Re : Algèbre isomorphisme

J'ai vu cette fonction définie comme ceci dans une vidéo de maths adulte sur la fonction indicatrice. L'enseignant note cette fonction [tex]\underline{\mathbb{1}_E}[/tex] et non [tex]\mathbb{1}_E[/tex] en précisant que ce n'est pas tout à fait la fonction indicatrice de E (c'est celle de son complémentaire).
Par contre si on prend la fonction indicatrice de E dans la définition, effectivement ça marche, on a l'égalité demandée.
Merci pour vos réponses.

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)?
quatre-vingt dix-sept moins cinquante 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.

Pied de page des forums