公理と圏論

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

公理と圏論の違い

公理 vs. 圏論

は、その他の命題を導き出すための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 圏論（けんろん、）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグ と ソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。

定理

定理（ていり、theorem）とは、数理論理学および数学において、証明された真なる命題をいう。

公理と定理 · 圏論と定理 · 続きを見る »

ニコラ・ブルバキ

ニコラ・ブルバキ（Nicolas Bourbaki, ブールバキとも）は、架空の数学者であり、主にフランスの若手の数学者集団のペンネームである。当初この数学者集団は秘密結社として活動し、ブルバキを一個人として活動させ続けた。日本で出版された38冊に及ぶ数学原論や、定期的に開催されるで有名。

ニコラ・ブルバキと公理 · ニコラ・ブルバキと圏論 · 続きを見る »

公理的集合論

公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。

公理と公理的集合論 · 公理的集合論と圏論 · 続きを見る »

空集合

空集合（くうしゅうごう、empty set）は、要素を一切持たない集合のことである。公理的集合論において、空集合は公理として存在を仮定される場合と、他の公理から存在が導かれる場合がある。

公理と空集合 · 圏論と空集合 · 続きを見る »

証明 (数学)

数学における証明 (しょうめい、Mathematical proof) とは、ある命題が正しいことを主張するための一連の演繹のこと。証明の各段階においては、前提（公理、定理等の認められた事実）や仮定から推論規則によって新たな命題を導くという形態をとる。ある証明の中で導入された仮定は、証明の別の部分で証明されるか、その証明の中で否定されなければならない（背理法）。 命題 P を証明したいとき、P をそのまま証明することを直接証明という。それに対して P が真であることを直接証明する代わりに、P と同値な別の命題が真であることを証明する方法を間接証明という（これらはあくまで直観的な分類に過ぎず、数学的な定義があるわけではない）。

公理と証明 (数学) · 圏論と証明 (数学) · 続きを見る »