Il y a dans mon cours que on peut remarquer une bijection naturelle entre les extractrices et les parties infinies de N:
{Extractrices} --> {Parties infinies de N}
A |--> {A(0), A(1) ,..., A(n) ,...}
(n|--> kn) <--| {k0, k1 ,..., kn,...}
Où k0
Une sous-suite peut donc se noter (Ukn)nEN voir, (Unk)kEN
Help :marteau:
