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 26-02-2011 11:35:20

mathieu64
Membre
Inscription : 06-11-2009
Messages : 192

algébre de boole

Bonjour,
j'aimerais démontrer qu'une algébre de boole constituée d'un nombre dénombrable d'élément engendre une tribu constituée d'un nombre dénombrable d'élément. Est ce que l'énoncé tiens la route. Je veux pas la solution, juste savoir si c'est vrai.
merci

Hors ligne

#2 26-02-2011 12:29:39

Groupoid Kid
Membre
Lieu : Entre les catégories Gpd et HS
Inscription : 09-02-2011
Messages : 155

Re : algébre de boole

Alors ça ça me paraît compromis : il me semble que l'algèbre des intervalles à bornes rationnelles engendre la tribu Borélienne de [tex]\mathbb{R}[/tex], non ?

Hors ligne

#3 26-02-2011 13:33:09

mathieu64
Membre
Inscription : 06-11-2009
Messages : 192

Re : algébre de boole

oui je m'en suis rendu compte et en plus il n'y a pas de tribu denombrable vu que le cardinal des parties de N est le cardinal de R.
Merci

Hors ligne

#4 26-02-2011 21:07:51

Groupoid Kid
Membre
Lieu : Entre les catégories Gpd et HS
Inscription : 09-02-2011
Messages : 155

Re : algébre de boole

Bien vu, j'avais complètement oublié ce théorème, qui utilise la partition en atomes. (La preuve est d'ailleurs sur Wikipédia) :-)

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)?
quaranteneuf plus soixante sept
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