検証の結果、静電気で破壊する事はペースメーカーの構造上不可能、突然死の事故例も存在しないと判定され、同協議会は「視聴者に誤認させ装着者にも無用な不安を与えるもの」としてNHKに訂正放送申し入れた。NHKはこれを受けて、制作統括者(=チーフプロデューサー)名で公式サイトに「改めて検証したところ、ペースメーカーの静電気放電に対する安全性や耐久性は極めて高いことが分かりました」「ペースメーカーを使用されている方、ご家族、関係者に無用の心配をおかけすることになったことをおわびします」の文章を掲示した。概要.典型的に、が位置と運動量の座標を表すとして、は系が相空間の微小体積中に見つかる確率である。は個の粒子の系において、変数の組を表すのに便利な簡潔的表現である。この定理の結果で興味深いのは、時間発展に対して相空間中の体積が保存するということである。もし系が相空間で、ある体積を持って始まると分かっているとき、時間が経った後でも系は同じ体積を持つ部分空間にある。という定理である。に基づいている。もうひとつの別な説明は、相空間を通る点の集まりの軌跡を考えることである。ある座標–の中の集まりの流れ、いわば–は、対応する方向へ収縮し、積が定数のままであることを、直接示すことができる。同じことであるが、保存カレントの存在は、ネーターの定理を通して、対称性の存在を導く。対称性は時間変換に対し不変で、対称性の生成子(もしくは、ネーター・カレントはハミルトニアンである。その他の定式化.ポアソンの括弧.定理はよくポアソンの括弧のことばで、を、として言い換えることがよくある。エルゴード理論.正準量子化によってこの定理の量子力学版がもたらされ、密度行列の時間発展を記述する。この手続きは古典系から量子系の類似法則を作り出すのによく使われるが、そのためにはハミルトン力学を使って古典系を記述することが必要となる。古典力学的な変数は、量子力学的な演算子に解釈し直され、ポアソン括弧は交換子に置き換えられる。この場合の結果の量子化された方程式は、観測量の期待値へ適用するとき、対応する方程式はエーレンフェストの定理により与えられ、次の形をとる。