翻訳と辞書
Words near each other
・ RingCentral
・ RingCube vDesk
・ Ringdansen
・ Ringdocus
・ Ringdown
・ Ringdown SSSI, Somerset
・ Ringdroid
・ Ringe
・ Ringe Municipality
・ Ring of Pietroassa
・ Ring of polynomial functions
・ Ring of quotients
・ Ring of Red
・ Ring of Saturn
・ Ring of Scorpio
Ring of sets
・ Ring of Silvianus
・ Ring of Spies
・ Ring of steel
・ Ring of Steel (film)
・ Ring of Steel (Kabul)
・ Ring of steel (London)
・ Ring of Stone
・ Ring of Stones
・ Ring of Sweden
・ Ring of symmetric functions
・ Ring of Terror
・ Ring of the Fisherman
・ Ring of the Nibelungs
・ Ring of Time


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Ring of sets : ウィキペディア英語版
Ring of sets

In mathematics, there are two different notions of a ring of sets, both referring to certain families of sets.
In order theory, a nonempty family of sets \mathcal is called a ring (of sets) if it is closed under intersection and union. That is, the following two statements are true for all sets A and B,
#A,B\in\mathcal implies A \cap B \in \mathcal and
#A,B\in\mathcal implies A \cup B \in \mathcal.〔.〕
In measure theory, a ring of sets \mathcal is instead a nonempty family closed under unions and set-theoretic differences.〔.〕 That is, the following two statements are true for all sets A and B (including when they are the same set),
#A,B\in\mathcal implies A \setminus B \in \mathcal and
#A,B\in\mathcal implies A \cup B \in \mathcal.
This implies the empty set is in \mathcal. It also implies that \mathcal is closed under symmetric difference and intersection, because of the identities
#A\,\triangle\,B = (A \setminus B) \cup (B \setminus A) and
#A\cap B=A\setminus(A\setminus B).
(So a ring in the second, measure theory, sense is also a ring in the first, order theory, sense.)
Together, these operations give \mathcal the structure of a boolean ring. Conversely, every family of sets closed under both symmetric difference and intersection is also closed under union and differences. This is due to the identities
#A \cup B = (A\, \triangle\, B)\, \triangle\, (A \cap B) and
#A \setminus B = A\, \triangle\, (A \cap B).
==Examples==
If ''X'' is any set, then the power set of ''X'' (the family of all subsets of ''X'') forms a ring of sets in either sense.
If (''X'',≤) is a partially ordered set, then its upper sets (the subsets of ''X'' with the additional property that if ''x'' belongs to an upper set ''U'' and ''x'' ≤ ''y'', then ''y'' must also belong to ''U'') are closed under both intersections and unions. However, in general it will not be closed under differences of sets.
The open sets and closed sets of any topological space are closed under both unions and intersections.〔
On the real line R, the family of sets consisting of the empty set and all finite unions of intervals of the form (''a'', ''b''], ''a'',''b'' in R is a ring in the measure theory sense.
If ''T'' is any transformation defined on a space, then the sets that are mapped into themselves by ''T'' are closed under both unions and intersections.〔
If two rings of sets are both defined on the same elements, then the sets that belong to both rings themselves form a ring of sets.〔

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Ring of sets」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.