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 11-10-2018 00:02:44

hicham alpha
Membre
Inscription : 20-03-2018
Messages : 111

Union, Inter

Bonjour


J'ai trouvé cela dans une fiche sur les ensembles et je n'ai pas pu le démontrer, pourriez vous m'aider s'il vous plait ?

Ui∈∅ Ai = ∅   et  ∩i∈∅ Ai =E.

bonne journée

Hors ligne

#2 11-10-2018 06:13:20

Michel Coste
Membre Expert
Inscription : 05-10-2018
Messages : 1 476

Re : Union, Inter

Démontrer quoi ?

Rappel : tous les ensembles Ai sont contenus dans la réunion des Ai.

Hors ligne

#3 11-10-2018 12:44:14

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Union, Inter

Bonjour,

C'est par définition, de la même façon que l'on pose :

$\sum \limits_{a \in \emptyset} a=0$ l'élément neutre de l'addition
$\prod \limits_{a \in \emptyset} a=1$ l'élément neutre pour la mutiplication.

$\emptyset$ est un élément neutre pour la réunion
$E$ l'ensemble totale dans lequel tu travailles est l'élément neutre pour l'intersection.

Et on comprend pourquoi l'on pose cela, en effet l'élement neutre ne change pas le résultat de l'opération.

Bonne journée.

Dernière modification par Dattier (11-10-2018 12:44:29)

Hors ligne

#4 11-10-2018 12:52:27

Dattier
Banni(e)
Inscription : 10-09-2017
Messages : 533
Site Web

Re : Union, Inter

Plus généralement, $\sum$ une opération associative et commutative, on veut conserver si $A\cap B=\emptyset$
$\sum\limits_{a \in A \cup B} a=(\sum\limits_{a\in A} a) \sum (\sum\limits_{b \in B} b)$

Ce qui motive le choix fait.

Dernière modification par Dattier (11-10-2018 13:02:18)

Hors ligne

#5 11-10-2018 19:01:02

Michel Coste
Membre Expert
Inscription : 05-10-2018
Messages : 1 476

Re : Union, Inter

Ah, je n'avais pas vu le [tex]\emptyset[/tex] en indice, ma vue baisse !

En fait, c'est une conséquence de la définition de l'intersection et de la réunion de parties de [tex] E[/tex]

[tex]\bigcup_{i\in I} A_i= \{ x\in E \mid \exists i\in I \ x\in A_i\}[/tex]

[tex]\bigcap_{i\in I} A_i= \{ x\in E \mid \forall i\in I \ x\in A_i\}[/tex]

Tu appliques ces définitions pour [tex]I=\emptyset[/tex] et ça te donne les égalités que tu as écrites.

Hors ligne

#6 12-10-2018 13:40:56

hicham alpha
Membre
Inscription : 20-03-2018
Messages : 111

Re : Union, Inter

Merci pour vos réponses.
Alors c'est juste la Definition.

Bonne journée

Hors ligne

Pied de page des forums