Propriété et partition sur un ensemble.
Bonjour
Cela peut paraitre trivial, mais j'aimerais avoir une confirmation. Si on a une propriété $P(x,y)$ avec $x\in E$ et $y \in Y$
Si $(E_i)$ est une partition de $E$, a-t-on:
$A=\{x\in E/(\forall y\in Y) (P(x,y))\}=\bigcup_i\{x\in E_i/(\forall y\in Y)(P(x,y))\} $
merci.
Cela peut paraitre trivial, mais j'aimerais avoir une confirmation. Si on a une propriété $P(x,y)$ avec $x\in E$ et $y \in Y$
Si $(E_i)$ est une partition de $E$, a-t-on:
$A=\{x\in E/(\forall y\in Y) (P(x,y))\}=\bigcup_i\{x\in E_i/(\forall y\in Y)(P(x,y))\} $
merci.
Réponses
-
Puisque $(E_i)_{i\in I}$ est une partition de $E$,
$$x\in E \Longleftrightarrow \exists i\in I \quad x\in E_i\;.$$ -
Même sans partition, si $E = \bigcup_i E_i$ alors $$x\in E \Longleftrightarrow \exists i\in I \quad x\in E_i.$$ Tu peux donc bien écrire ce que tu as écrit en utilisant la relation bien connue entre quantification existentielle et union. Le fait que tu as une partition te permet de dire que ton union est disjointe en plus.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 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
- 62 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
- 312 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
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres