Что-то я не вижу никакой логики за этим предположением. Поясните подробнее?
ну, наподобие, состояние в текущий момент времени должно зависеть только от состояния в непосредственно предыдущий момент времени. А поскольку "непосредственно предыдущего" в случае с непрерывным временем нет, то это должно выражаться в чем-то наподобие "к какому бы состоянию мы не пришли в предыдущий момент времени, состояние, к которому мы приходим в текущий момент времени, должно зависеть только от предыдущего состояния и от того, что произошло за данный промежуток времени":
, где
- оператор эволюции из одного состояния в состояние за время
. А таким свойством обладают решения дифференциальных уравнений. Может, это как-то связано.. Ну, типа, что дифференцируемость - ключевое свойство для этого...Что нет других таких полугрупп без предположения дифференцируемости...