Union d'intersections
Bonsoir je cherche a démontrer ce truc svp.
$$\bigcup_{j\in J}\Big(\bigcap _{i\in I_{j}}A_i^j\Big)=\bigcup_{ (i_j)\in\prod_{j\in J}I_j}\Big(\bigcap_{j\in J}A_{i_j}^j\Big)$$
$$\bigcup_{j\in J}\Big(\bigcap _{i\in I_{j}}A_i^j\Big)=\bigcup_{ (i_j)\in\prod_{j\in J}I_j}\Big(\bigcap_{j\in J}A_{i_j}^j\Big)$$
Réponses
-
Tu t'es trompé dans ton code LaTeX ; tu parles dans le titre d'intersection de réunions, et je ne vois dans ta formule que des réunions d'intersections.
Commence donc par écrire une formule correcte, et ensuite explicite les définitions des ensembles de chaque côté du symbole "=". -
Et une fois que tu auras corrigé tes coquilles, tu verras qu'il n'y a rien à démontrer, car ce n'est pas démontrable***, c'est juste une manière (si ce n'est LA manière soit dit en passant) d'écrire l'axiome du choix.
*** en ce sens que c'est l'axiome du choix et que ZF ne le prouve que si ZF est contradictoire.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 63 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 313 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres