salut

sais-tu ce qu'est la fonction x --> 1_A(x) ? ....

Bonjour

vaut 1 si x est dans A et 0 sinon : quand on fait cette somme, on ajoute 1 pour chaque élément de A rencontré, donc à la fin on a bien le cardinal de A, non ?

voilà ce qu'on a écrit dans la démonstration:
on pose n=card A
-->si n=0, on a effectivement card A=0=_xE1_A(x)
-->sinon , soit :[1,n]---->A une bijection
_xE1_A(x)=_xA1_A(x)=_i=1ⁿ1_A((i))=_i=1ⁿ1=n=card A
c'est ce que j'ai pas compris.

à quoi sert cette démonstration ....

la démonstration repose uniquement sur la définition d'une fonction indicatrice ....

ça do_it être parce qu'on leur a défini le cardinal de A comme le n de [1;n] qui peut être mis en bijection avec A ....