P-invaranti

2 cose:

  • "invariante" è un sostantivo maschile (e non femminile) e quindi va detto ad esempio "il P-invariante" e non "la P-invariante", "i P-invarianti" e non "le P-invarianti"

  • nei passaggi viene detto:

Se m′ è raggiungibile da m, allora esiste una sequenza di scatti ammissibile s tale per cui m′=m+Cs,

è quindi possibile moltiplicare entrambi i membri per h

in modo da avere hm=h(m+Cs)

in realtà se moltiplichi per h ... ottieni hm' = h(m+Cs) e dovresti poi applicare hm'= hm

Secondo me è più "chiaro" dire (come ho detto a lezione)

sostituisco m' in hm=hm' con m+Cs e ottengo hm=h(m+Cs)