Axiom of choiceとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Axiom of choiceの意味・解説 

選択公理

(Axiom of choice から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/10/23 09:30 UTC 版)

選択公理(せんたくこうり、: axiom of choice選出公理ともいう)とは公理的集合論における公理のひとつで、どれも空でないような集合とする集合(すなわち、集合の集合)があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年エルンスト・ツェルメロによって初めて正確な形で述べられた[1]


注釈

  1. ^ 1926年アドルフ・リンデンバウム英語版アルフレト・タルスキが示したが、証明は散逸した。同内容を1943年ヴァツワフ・シェルピニスキが再発見し1947年に出版した。

出典

  1. ^ Zermelo, Ernst (1904). "Beweis, dass jede Menge wohlgeordnet werden kann". Mathematische Annalen 59: 514-16.
  2. ^ 田中(1987)、36頁。
  3. ^ Jech, Thomas J. (2008-07-24), The Axiom of Choice, Dover Books on Mathematics (Paperback ed.), United States: Dover Publications Inc., ISBN 978-0-486-46624-8


「選択公理」の続きの解説一覧

「Axiom of choice」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

Axiom of choiceのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Axiom of choiceのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの選択公理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2024 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2024 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2024 GRAS Group, Inc.RSS