exo7 3036

Soit ∼\sim une relation d’équivalence sur un ensemble EE. Pour A⊂EA \subset E, on définit s(A)=⋃x∈Ax˙s(A) = \bigcup_{x \in A} \dot x.

1

Comparer AA et s(A)s(A).

2

Simplifier s(s(A))s(s(A)).

3

Montrer que : ∀ x∈E\forall\ x \in E, on a (x∈s(A))  ⟺  (x˙∩s(A)≠∅)(x \in s(A)) \iff (\dot x \cap s(A) \ne \varnothing). En déduire s(E∖s(A))s(E\setminus s(A)).

4

Démontrer que s(⋃i∈IAi)=⋃i∈Is(Ai)s\left(\bigcup_{i \in I} A_i \right) = \bigcup_{i \in I} s(A_i) et s(⋂i∈IAi)⊂⋂i∈Is(Ai)s\left(\bigcap_{i \in I} A_i \right) \subset \bigcap_{i \in I} s(A_i).

5

Donner un exemple d’inclusion stricte.

Exercice si7R

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?