Si
Réciproquement, on admet que si
On note alors
Je ne comprends pas comment on en déduit à partir de
Sous ensemble
4 messages
- Page 1 sur 1
Sous ensemble
par mehdi-128 » 08 Juin 2019, 02:35
Bonsoir,
Si
est un ensemble et 
une partie de , alors 
est un prédicat de la variable 
défini sur .
Réciproquement, on admet que si)
est un prédicat dépendant de et défini sur alors il existe une unique partie de telle que :
 \Leftrightarrow x \in F))
On note alors \})
Je ne comprends pas comment on en déduit à partir de que
Si
Réciproquement, on admet que si
On note alors
Je ne comprends pas comment on en déduit à partir de
Re: Sous ensemble
par GaBuZoMeu » 08 Juin 2019, 08:20
Encore quelque chose d'évident quand on ne se prend pas la tête, mais qu'on prend un peu de recul. 
Re: Sous ensemble
par mehdi-128 » 08 Juin 2019, 13:03
On a : (*)
Montrons que \})
Soit
. Donc 
. On a alors d'après (*)
On a montré :
Montrons que \} \subset F)
Soit \})
. Alors 
et )
. D'après (*), 
On a montré
Finalement : \})
Montrons que
Soit
On a montré :
Montrons que
Soit
On a montré
Finalement :
4 messages
- Page 1 sur 1
Qui est en ligne
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 39 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 ;-)
Identification
Pas encore inscrit ?
Ou identifiez-vous :