• 数学において、ブール代数に対するストーンの表現定理ストーンのひょうげんていり、英: Stone's representation theorem)は、任意ブール代数が何らかの集合代数 (field of sets) に同型であることを述べるものである。この定理は20世紀前半に浮上してきたブール代数...
    5 KB (667 words) - 00:48, 17 September 2023
  • スチュワートの定理 ストークス定理 ストーンの表現定理 ストーン・ワイエルシュトラス定理 ストラトノビッチ積分 セール定理 ソフィー・ジェルマン素数 ソボレフ空間 高木曲線 ダランベール収束判定法 ダルブー積分 チェバ定理 チューリングマシン ツェルメロ・フレンケル集合論 ツォルンの補題 テイト数...
    10 KB (930 words) - 16:34, 19 September 2024
  • マーシャル・ハーヴィー・ストーン(Marshall Harvey Stone, 1903年4月8日 - 1989年1月9日)は、アメリカ数学者。関数解析・ブール代数等に関する業績で知られ、ストーンの表現定理ストーン空間にその名を残す。 原子爆弾投下で終結した太平洋戦争中に米国...
    5 KB (619 words) - 10:36, 12 March 2024
  • ストーン双対性により位相空間は束と対応づけられるので、この双対性は点集合論代わりに束論に基いて位相空間論を定式化(ポイントレス位相空間論(pointless topology))できる事を意味する。この為本稿ではポイントレス位相空間論についても述べる。ストーンの双対性定理ストーンの表現定理一般化でもある。...
    21 KB (3,270 words) - 21:17, 16 September 2023
  • ブール代数 (category 数学エポニム)
    ISBN 978-0-387-90094-0, https://books.google.co.jp/books?id=_JPfBwAAQBAJ  集合代数学 数理論理学 ストーンの表現定理 束論 環 (数学) デジタル回路 ブール関数 ブール論理 ラダー・ロジック 論理回路 西村敏男『ブール代数』 - コトバンク 『ブール束』...
    8 KB (1,028 words) - 12:26, 4 July 2024
  • Springer-Verlag, ISBN 0-387-05468-5  誘導表現(英語版) アイソタイプ表現(英語版) SL2(R) の表現論(英語版) ローレンツ群の表現(英語版) ストーン・フォン・ノイマンの定理(英語版) star Lie superalgebra ユニタリ表現(英語版) 帯球関数(英語版)...
    9 KB (1,079 words) - 10:29, 22 January 2024
  • 数理論理学 (category 日本語版記事がリダイレクト仮リンクを含む記事)
    不完全性定理は再帰理論と証明論マイルストーンであるだけではなく、様相論理におけるレープ定理(英語版)を導く。強制法手法は集合論、モデル理論、再帰理論ほか直観主義的数学研究などでも用いられる。 圏論分野では多く形式公理的方法を用いる。それには圏論的論理(英語版)...
    72 KB (7,671 words) - 07:50, 13 April 2024
  • 若き定理者達は街と人々を守る為にテトラヘヴンの女神達と合体し、戦場に身を投じていた。ある『ロジック』が欠落しながらも家族と幸せな生活を送っていた民間人、剣美親はある日、美しき女神アテナと出会い、思いがけない運命へと導かれる。若き定理者達『運(ラック)』と『論理(ロジック)』に、世界未来が託された。...
    114 KB (16,489 words) - 01:25, 19 May 2024
  • が有界になる事を要請しているが、両者定義はリースの表現定理より同値になる。 ^ ただしH13では逆に直積分によるスペクトル定理から掛け算作用素によるスペクトル定理を導出しているので、下記「証明」は循環論法となる。 [新井97] 新井朝雄 (1997/1/25). ヒルベルト空間と量子力学. 共立講座21世紀数学16....
    148 KB (26,087 words) - 11:37, 3 October 2023
  • 有限要素法 (category すべてスタブ記事)
    の表現定理、ラックス=ミルグラム定理など)と結びついて、数学的に整然としている。 FEMを用いて現象を研究・分析することを「有限要素解析(FEA)」と呼ぶことがある。 各小領域内を一次関数で補間(近似空間が元解空間部分空間になる場合はある種...
    24 KB (3,806 words) - 21:44, 27 September 2024
  • pushout)、ストーン-チェックコンパクト化などが存在する。 このような構成は個別数学分野において議論されていたが、横断的な議論を試みたは1948年ピエール・サミュエル (en:Pierre Samuel) 論文によって初めて行われ、その後ブルバキによって広められたとされる。...
    15 KB (2,046 words) - 12:45, 10 November 2022