语言
没有数据
通知
无通知
ゲーム理論における純化定理 (じゅんかていり,英: purification theorem) は,ノーベル経済学賞ジョン・ハーサニの 1973 年論文による貢献である.この定理は,混合戦略ナッシュ均衡において,各プレーヤーは正確率で選ぶすべての行動について完全に無差別であるにもかかわらず,他のプレ
ウリゾーンの定理は次のように言い換えることも出来る:ある位相空間が可分かつ距離可能であるための必要十分条件は、それが正則、ハウスドルフかつ第二可算的であることである。長田=スミルノフの距離化定理はこの内容を、非可分であるような場合に対しても拡張するものである。その定理によると、位相空間が距
であることが知られている。ループプログラムは、基本的な算術演算、大小比較、条件分岐(if-then-else)、(変数によってループ回数を指定する)計数ループ、からなる言語であり、ジャンプ命令(goto文)やbreak文のような機構を含まない。したがって、ループプログラムで記述されるアルゴリズムは構造化定理の求める条件を満たしている。
{\tfrac {f_{\mathrm {sampling} }}{2}}} をナイキスト周波数、またナイキスト周波数の逆数をナイキスト周期と言う。 標本化周波数が 2fmax 以下であった場合、原信号にはない偽の周波数 f s a m p l i n g − f m a x {\displaystyle
公理に基づき, 論証によって証明された命題。 また特に, 重要なもののみを定理ということがある。
※一※ (名)
一致の定理(いっちのていり、英: Identity theorem)は、実解析と複素解析において、通常は可算点列上で局所的に一致する2つの解析関数が大域的に一致することを主張する定理である。重要な定理であり、解析接続の一意性の証明にはこの定理が必要となる。 この定理