Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
和集合の公理(わしゅうごうのこうり、英: axiom of union)とは、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものである。対の公理と合わせることで、任意の二つの集合に対し、それらの要素のみからなる集合(和集合)の存在が導ける。 任意の集合
ここで P は A の冪集合 P ( A ) {\displaystyle {\mathcal {P}}(A)} を表す。この公理を通常の言葉で言い直すと、次のようになる: 任意の集合 A が与えられたとき、ある集合 P ( A ) {\displaystyle {\mathcal {P}}(A)}
はノルウェー語などで用いられるアルファベット Ø(スラッシュ付きオー)に由来している。形の似ているギリシャ文字のφ, Φ(ファイ)、キリル文字のФ, ф(エフ)および ⌀(直径記号、まる)、その他似た文字とは全く関係がない。 集合とは、素朴には一定の決まりに従っている数学的な対象の集まりのことであるが、集
公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。 現在一般的に使われている集合の公理系はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる選択公理(Axiom of Choice)を加えた ZFC公理系(Zermelo-Fraenkel
(1)いくつかのものを一か所に集めること。 また, 集まること。 聚合。
集合の圏 Set における始対象は空集合(に空写像をその唯一の射と考えたもの)で与えられ、終対象は任意の単集合(で、始域のすべての元をその唯一の元に写す写像を射としたもの)で与えられる。ゆえに集合の圏 Set において零対象は存在しない。 集合の圏 Set は完備かつ余完備である。Set
(1)一般に広く通用する真理・道理。
(1)論理にかなっていて理性でとらえることができること。