形式的な例
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2012/02/08 14:56 UTC 版)
次に A と B の系がなぜ上述のように言えるのかを、形式的な証明によって示す。証明するために、第二の定義（系が時不変であるとき、その系のブロックは任意の遅延について可換である）を利用する。 系 A: 遅延のある入力 を与えると、次のようになる。 ここで出力を δ のぶんだけ遅延させる。 であることは明らかであり、従ってこの系は時不変ではない。 遅延のある入力 を与えると、次のようになる。 ここで出力を δ のぶんだけ遅延させる。 であることは明らかであり、従ってこの系は時不変である。他にも証明方法はあるが、これが最も容易である。
※この「形式的な例」の解説は、「時不変系」の解説の一部です。
「形式的な例」を含む「時不変系」の記事については、「時不変系」の概要を参照ください。
ウィキペディア小見出し辞書の「形式的な例」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 形式的な例のページへのリンク
