数学において、ブール代数に対するストーンの表現定理(ストーンのひょうげんていり、英: 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
ラクエンロジック (redirect from 植田佳奈と徳井青空のラクエンロジックラジオ)
の若き定理者達は街と人々を守る為にテトラヘヴンの女神達と合体し、戦場に身を投じていた。ある『ロジック』が欠落しながらも家族と幸せな生活を送っていた民間人、剣美親はある日、美しき女神アテナと出会い、思いがけない運命へと導かれる。若き定理者達の『運(ラック)』と『論理(ロジック)』に、世界の未来が託された。...
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
普遍性 (section ファン・カンペンの定理)
pushout)、ストーン-チェックのコンパクト化などが存在する。 このような構成は個別の数学の分野において議論されていたが、横断的な議論を試みたのは1948年のピエール・サミュエル (en:Pierre Samuel) の論文によって初めて行われ、その後ブルバキによって広められたとされる。...
15 KB (2,046 words) - 12:45, 10 November 2022