Bonjour,
J'ai un DM à faire, jusqu'ici tout va bien mais dans l'énoncé il y a ce symbole : http://zoonek.free.fr/LaTeX/Fontes/I...subsetneqq.gif
Mais voilà : ça veut dire quoi ?
D'ailleurs, quelqu'un pourrait-il me traduire ceci : (je note R le symbole en question )
(ensemble vide) = E0 R E1 R E2 R E3 R ... En = E
(les En sont des parties de E)
Merci !
(PS : pourquoi le forum ne prend pas tous les symboles ? notmalement \subsetneqq aurait du marcher...)
Ce symbole vaut dire "inclu mais différent".
Du coup la suite que tu as marqué veut dire que les E_0 .. E_n forment une suite que l'on pourrait qualifier de propre de sous ensembles de E.
Ok, mais je ne comprends toujours pas !
Voici le début de l'énoncé :
Soit E un ensemble,, E0, E1, ..., En, des parties de E telles que :
(ensemble vide) = E0 R E1 R ... R En = E
Que vient faire l'ensemble vide ici ?? Si E = ensemble vide, cet énoncé (la suite) n'a strictement aucun intérêt !
(et en plus, l'ensemble vide comme E n'est pas égal à une propriété vraie ou fausse
Il n'y a pas de problèmes, ce que ça veut dire c'est que E_0 c'est l'ensemble vide et que les E_i , 1<=i<n-1 sont des sous parties strictes de E qui sont inclues les unes dans les autres sont être égales et que E_n=E.
Un exemple d'une telle suite avec R^3 pour te fixer les idées :
je mets juste inclu pour ton symbole bizarre
ok j'avais compris l'énoncé totalement de travers...
Faudrait que j'arrête de bosser... !
Merci !
Pour etre plus précis et éviter des erreurs qui pourraient couter cher, ca veut dire "est inclu dans mais est différent"Envoyé par GuYem
@pluche et bon courage!
ce symbole siginifie simplement "inclus strictement"
(noublions pas que l'inclusion est une relation d'ordre)
