C'est juste une définition qui évite d'introduire une notation annexe, mais c'est équivalent à cette version : on dit que f est étagée si il existe un nombre fini de scalaires a_i et d'ensemble mesurables A_i tels que f = somme_i a_i * 1_{A_i}. Une fois que tu as écrit ça, tu te rends compte que si tu choisis les a_i tous distincts, A_i = f^{-1}({a_i}). C'plus clair ?
