>>657
ありがとうございます。
じゃあ、

系の状態が有限次元である

というのは必要な仮定（少なくとも取り除いたものが自明に成り立つわけではない）ですよね？