Tribu engendrée par deux familles de parties distinctes

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Samoth
Membre Naturel
Messages: 25
Enregistré le: 09 Déc 2020, 20:30

Tribu engendrée par deux familles de parties distinctes

par Samoth » 30 Nov 2021, 08:03

Bonjour,

Soient , deux familles de parties d'un ensemble .
On suppose que . Alors .

Pour montrer l'inclusion ...
Comme , alors car est la plus petite tribu qui contient , et .
Je n'arrive pas à en déduire que , même en passant par la définition formelle de .

Pour l'inclusion réciproque, comme est une tribu qui contient , elle contient aussi .

Merci pour vos indications !
Modifié en dernier par Samoth le 01 Déc 2021, 09:15, modifié 1 fois.



tournesol
Membre Irrationnel
Messages: 1209
Enregistré le: 01 Mar 2019, 20:31

Re: Tribu engendrée par deux familles de parties distinctes

par tournesol » 30 Nov 2021, 11:59

si C1 est inclus dans s(C2) , s(C2) est une tribu qui contient C1 . Donc elle contient la plus petite tribu qui contient C1 .
rappel : s(C1) est l'intersection de toutes les tribus qui contiennent C1 .
Donc s(C1) est incluse dans toute tribu qui contient C1 .Donc dans s(C2) .

Samoth
Membre Naturel
Messages: 25
Enregistré le: 09 Déc 2020, 20:30

Re: Tribu engendrée par deux familles de parties distinctes

par Samoth » 30 Nov 2021, 12:25

Merci tournesol.

Samoth
Membre Naturel
Messages: 25
Enregistré le: 09 Déc 2020, 20:30

Re: Tribu engendrée par deux familles de parties distinctes

par Samoth » 30 Nov 2021, 14:56

Donc si je comprends bien, étant l'intersection de toutes les tribus contenant la famille de parties , alors en notant une tribu contenant la famille de parties , on a par construction .

Ainsi, est incluse dans toute tribu qui contient .

Finalement, étant une tribu qui contient , on en déduit que

tournesol
Membre Irrationnel
Messages: 1209
Enregistré le: 01 Mar 2019, 20:31

Re: Tribu engendrée par deux familles de parties distinctes

par tournesol » 30 Nov 2021, 21:49

Autre point de vue:
l'inclusion est une relation d'ordre PARTIEL sur les parties de
Par définition la tribu engendrée par A est la plus petite tribu s(A) qui contient A .
Plus petite veut dire que malgré l'ordre partiel , s(A) est comparable à toute tribu qui contient A , et elle lui est inférieure ou égale . Ce qui veut dire qu'elle est par définition incluse dans toute tribu qui contient A .
Elle est unique si elle existe car si deux candidates postulent pour être s(A) , elles sont par définition l'une incluse dans l'autre .
Elle existe car l'intersection de toutes les tribus qui contient A est une tribu qui répond au cahier des charges de S(A) .

Samoth
Membre Naturel
Messages: 25
Enregistré le: 09 Déc 2020, 20:30

Re: Tribu engendrée par deux familles de parties distinctes

par Samoth » 01 Déc 2021, 09:14

Très intéressant, merci tournesol.

Pour terminer la preuve, il reste à démontrer .

Par hypothèse, . Donc est une tribu qui contient , et donc par définition de .

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 22 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite