Per i miei colleghi rinnovo anche il mio dubbio su C3
alegh ha scritto:Ho un problema con C3: dopo che in F vengono suddivisi i sottoinsiemi di X tra quelli con il primo elemento e quelli senza non ho capito quale parte si supponga averne almeno $ 2^{n-2}+1 $
Inoltre nell'induzione n>1
si considera X senza il primo elemento e viene citata un'ipotesi induttiva. Dovrebbe essere quella che i sottoinsiemi con il primo elemento contengono almeno $ 2^{n-2}+1 $ cosicchè F contenga solo $ 2^{n-2} $ elementi e confermi m?
Grazie per qualunque risposta.
p.s. nel caso avessi ragione (ne dubito) bisogna considerare anche l'altro caso: l'insieme senza il primo elemento contiene almeno $ 2^{n-2}+1 $?
(non ho capito il senza perdere generalità....)