Да реализовывать можно по-разному. Факт, что для каждого момента времени ZOH возвращает значение функции в целочисленный момент времени непосредственно предшествовавший данному. ZOH можно рассматривать как оператор, применимый к непрерывным функциям. Да, все правильно, только ZOH( Fs, f ), т. е. отображение (R, R->R) -> (R->R). Если же ZOH определен как (Fs, (Z->R)) -> (R -> R), то переставить его с аргументом, очевидно, невозможно - разные области определения. Замечу, что первое определение ZOH линейно по функциональному аргументу и коммутирует с ним.