Bourbaki

Exercice 1, § 1

Algèbre, I

Soient E un ensemble, A⊂E×EA \subset E \times E, et (x,y)↦x⊤y(x, y) \mapsto x \top y, (x,y)∈A(x, y) \in A, une loi de composition interne non partout définie sur E. Etant données deux parties X et Y de E, on désigne par X⊤YX \top Y l’ensemble des éléments de E de la forme x⊤yx \top y tels que x∈Xx \in X, y∈Yy \in Y et (x,y)∈A(x, y) \in A. On définit ainsi une loi de composition partout définie sur P(E)\mathscr{P}(E).

Si (Xα)α∈A(X_\alpha)_{\alpha \in A} et (Yβ)β∈B(Y_\beta)_{\beta \in B} sont deux familles quelconques de parties de E, on a

(⋃α∈AXα)⊤(⋃β∈BYβ)=⋃(α,β)∈A×B(Xα⊤Yβ). (\bigcup_{\alpha \in A} X_\alpha) \top (\bigcup_{\beta \in B} Y_\beta) = \bigcup_{(\alpha, \beta) \in A \times B} (X_\alpha \top Y_\beta).
Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.