存在定理とは何？わかりやすく解説 Weblio辞書

存在定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/03/22 18:56 UTC 版)

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2019年9月）

翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。

英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。
万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
翻訳後、{{翻訳告知|en|Existence theorem|…}}をノートに追加することもできます。
Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索^?: "存在定理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年9月）

存在定理（そんざいていり。英: existence theorem^[1]または英: theorem of existence^[2]）とは、何らかの数学的対象の存在をいう定理の総称。定理の内容や証明において、対象の具体的な構成方法は必ずしも示されない。

具体例

存在定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/05 05:30 UTC 版)

「類体論」の記事における「存在定理」の解説

詳細は「高木の存在定理」を参照 𝔪を代数体Kの任意の整因子とし、Hを𝔪を法とする任意の合同群とする。このとき、あるアーベル拡大L/Kが存在して H = H𝔪(L/K)が成り立つ。これを（高木の）存在定理（Existence Theorem）という。

※この「存在定理」の解説は、「類体論」の解説の一部です。
「存在定理」を含む「類体論」の記事については、「類体論」の概要を参照ください。

ウィキペディア小見出し辞書の「存在定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。お問い合わせ。


	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの存在定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
	Text is available under GNU Free Documentation License (GFDL). Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの類体論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。