Sommation sur les fonctions indicatrice
dans Arithmétique
Bonjour à tous les membres du groupe.
Je galère depuis des semaines sur cet exercice où on me demande de démontrer que l'égalité de la première ligne de ma pièce jointe est vraie.
Et j'ai décidé d'utiliser la récurrence.
Au rang n=1, y a pas de problème.
Mais au rang n=2, je n'arrive pas à le faire.
Et c'est la dernière ligne qui me pose problème, comment est avoir la forme 1A+1B-1AinterB.
Comme vous voyez sur la photo
(-1)^¹+¹(£ 1Ai1)=2×1Ai1.
Je galère depuis des semaines sur cet exercice où on me demande de démontrer que l'égalité de la première ligne de ma pièce jointe est vraie.
Et j'ai décidé d'utiliser la récurrence.
Au rang n=1, y a pas de problème.
Mais au rang n=2, je n'arrive pas à le faire.
Et c'est la dernière ligne qui me pose problème, comment est avoir la forme 1A+1B-1AinterB.
Comme vous voyez sur la photo
(-1)^¹+¹(£ 1Ai1)=2×1Ai1.
Réponses
-
C'est le principe d'inclusion exclusion. $1_{A\cup B} = 1_A+1_B-1_{A \cap B}$ donc si $1_{\cup_{i \le I} A_i} = \sum (-1)^K 1_{\cap A_{j_k}}$ alors $1_{\cup_{i \le I+1} A_i}=1_{A_{I+1} \cup_{i \le I} A_i} =...$
-
Conseil : passer au complémentaire. L'indicatrice d'une intersection, c'est le produit des indicatrices. Donc $1 - 1_{\bigcup A_k} = \prod(1-1_{A_k})$, puis on développe...
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 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
- 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