Bonjour, je ne sais pas par ou commencer pour résoudre cette implication, merci de m'indiquer la voie à suivre :
Soit pour tout A la proposition :
F(A) : x A(complémentaire), >0, ]x-,x+[ A=.
Montrer que pour A et B deux sous ensembles de ,
a_ F(A) et F(B) F(AB).
b_ F(A) et F(B) F(AB).
Bonjour à vous deux
Ayoub>Ca a tout-à-fait un sens
En fait le prédicat F(A) se traduit par : "A est fermé".
sarra13>pour a, considère d'abord x dans le complémentaire de AB.
x n'est donc ni dans A ni dans B, qu'en déduis-tu?
Tigweg
Faut croire que j'ai pas lu l'énoncé. Je viens de voir le prédicat au dessus. Bon, je vais essayer de me rattraper en le faisant désormais.
N'oublie pas que A n'est pas fermé ,
c'est à dire que x A tel que >0 :]x-, x+ [ A
ça pour demontre que si A B pas fermé donc A pas fermé ou B pas fermé !!!?
dans ce cas vous avez a_ !!!!
Il travaille par contraposée, si j'ai bien compris ce qu'il veut faire. Mais bon, je suis pas très fort en télégraphique.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :