Zebulon a écrit:La formule
=2^{card(E)})
vient justement du fait que

puisque
}{card(E)\choose k})
décrit exactement comment prendre de façon simple et systématique toutes les parties de E :
=\bigcup\limits_{k=0}^{card(E)} \{A\in\mathcal{P}(E)\ |\ card(A)=k\})
.
hmm par contre la, il vient effectivement aussi de la, mais il y a bien deux manieres de compter et on ne peut donc pas dire que :
"card(P(E))=2^(card(E)) vient justement du fait que

puisque
}{card(E)\choose k})
."
On peut effectivement faire la somme des combinaisons, puis calculer le resultat grace a la formule du binome et cela donne 2^n mais il s'agit bien d'une maniere de retrouver le resultat grace a des formules deja connu, en ce sens il ne decoule pas de cette maniere de compter, celle qui utilise la formule sur les combinaisons(et accesoirement du binome), le resultat en lui meme ne decoule pas de cela mais du fait que:
2^(card(E)) s'obtient de maniere plus immediate sans passer par la somme des combinaisons comme je le dis dans le post d'avant.
Compter le nombre de partie de E revient a choisir n=card(E) fois entre prendre et ne pas prendre un element de l'ensemble:
2*2*2*2*.........*2 n fois, le chiffre 2 permet de compter a la fois je prends l'element et a la fois je ne le prends pas et on fait cela n fois...
C'est comme ca que l'on compte les parties d'un ensemble. 2^n reflete cette maniere de compter la on choisit ou on ne choisit pas etc n=card(E) fois, 2^n ne se reflete pas immediatement dans la sommation par combinaison...
Cette formule ne fait appel a aucun acquit et card(P(E)) vient de cela.
Il n'est pas necessaire de connaitre les combinaisons ou la formule du binome pour retrouver ce resultat. En sommant les combinaisons de k elements on retrouve ce resultat deja connu en fait, d'ou ma joie de retrouver cette seconde maniere de compter les elements d'un ensemble

, qui n'est pas pour autant moins evidente mais qui n'est pas celle qui est intuitivement représenté dans le 2^n.
Quand je disais:
Je pensais a un truc plus con comme un lien direct entre somme des combinaisons et cardinal de l'ensemble des parties d'un ensemble vu que card(P(E))=2^n.
Je cherchais donc a relier cette maniere de compter( je prends, je ne prends pas n fois=2^(card(E))) a la somme des combinaisons. La formule du binome est alors inutile. Si l'on comprends que de faire n fois je prends ou je ne prends pas est identique a sommer toute les combinaisons de k elements on peut directement ecrire:
2^n=sigma(C(p,n)).
C'est cela que je voulais dire, relier la formule de comptage implicitement associé a 2^card(E)(qui n'est pas celle obtenu par sommation des combinaison) , 2^card(E) etant aussi le resultat de ta simplification sur la somme des combinaisons... Le binome n'etant ici qu'une maniere "analytique" de retrouver ce resultat de denombrement, c'est pour cela que je ne suis pas d'accord quand tu dis que 2^n decoule du binome et de la sommation par combinaison... A partir du moment ou tu utilises le binome tu n'es plus exclusivement dans les denombrements... C'est donc aussi pour cela que je disais c'est le coté denombrement qui m'interesse, c'est a dire relié la sommation par combinaison a la sommation par choix successif(je prends ou je ne preds pas) qui vaut 2^card(E), je cherchais a comprendre le probleme sous forme de denombrement pour comprendre ta simplification
"Je pensais a un truc plus con comme un lien direct entre somme des combinaisons et cardinal de l'ensemble des parties d'un ensemble vu que card(P(E))=2^n."
Ou 2^n=card(E) decoule donc de la sommation par choix successif...
et c'est comme cela que j'essayais de retrouver ta simplification, a partir du resultat connu par la sommation de choix successif, les deux sommations sont en effet identique. Le binome de Newton est une maniere analytique de retrouver le resultat, alors que la maniere combinatoire de retrouver le resultat utilise la sommation pare choix successif qui vaut 2^n et la compare a la sommation par combinaison qui est la meme, plus besoin du binome alors si l'on sait que la sommation par choix successif vaut 2^card(E), qui est pour moi le seul resultat de combinatoire elementaire qui implique que card(P(E))=2^card(E) ...
PS: pour l'autre post j'ai repondu

, j'ai repondu ici a celui ci car cela concernait encore cette discussion.