Warning : Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning : Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning : session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning : session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning : session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
http:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=1.114.1.182
miniwiki - 利用者の投稿記録 [ja]
2024-06-18T04:31:48Z
利用者の投稿記録
MediaWiki 1.31.0
集合
2017-06-14T08:57:05Z
<p>1.114.1.182: /* 外部リンク */ +1</p>
<hr />
<div>{{Otheruses|数学における集合|クルアーンのスーラ|集合 (クルアーン)}}<br />
[[数学]]における'''集合''' (しゅうごう、{{lang-en-short|''set''}}, {{lang-fr-short|''ensemble''}}, {{lang-de-short|''Menge''}}) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を[[構成]]する個々の「もの」のことを'''[[元 (数学)|元]]''' (げん、{{Lang-en-short|''element''}}; '''要素''') という。<br />
<br />
集合は、[[集合論]]のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と[[写像]]の言葉で書かれていると言ってよい。<br />
<br />
慣例的に、ある種の集合が'''系''' (けい、{{Lang-en-short|''system''}}) や[[族 (数学)|族]] (ぞく、{{Lang-en-short|''family''}}) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系(「相互に連立する」方程式の集合)、[[集合族]](「一定の規則に基づく」集合の集合)、[[加法族]](「加法的な性質を持つ」集合族)など。<br />
<br />
== 導入 ==<br />
'''集合'''は「もの」の「集まり」である。集合の'''元'''(要素)として集められる対象となる「もの」は、[[数]]、[[文字]]、[[記号]]などをはじめ、どんなものでも(もちろん集合でも)構わない。<br />
<br />
一方で、どんな「集まり」でも集合と呼んでよいわけではない。その「集まり」が集合と呼ばれるためには、対象が「その集まりの元であるかどうかが不確定要素なしに一意に決定できる」ように定義されていなければならない。<br />
<br />
たとえば、[[トランプ]]の[[スート]]全体 {♠, ♦, ♣, ♥} やトランプの数字全体<br />
{A, 2, 3, 4, 5, 6, 7, 8, 9, 10, J, Q, K} は集合の例である。トランプは(ジョーカーを除いて)これらの組<br />
: {(♠,A), ..., (♠,K), (♦,A), ..., (♦,K), (♣,A), ..., (♣,K), (♥,A), ..., (♥,K)}<br />
を符牒とする52枚のカードであるが、これもまた集合の一例になっている。とくにこれはスートの集合と数字の集合との[[直積集合]]の例であり、また 52 というのはこの集合の[[濃度 (数学)|濃度]]を表している。また、先のスートの集合、数字の集合の濃度はそれぞれ 4, 13 である。<br />
<br />
{| style="margin:1ex auto 1ex auto;" class="wikitable"<br />
|+ トランプの記号<br />
|-<br />
! !! A !! 2 !! 3 !! 4 !! 5 !! 6 !! 7 !! 8 !! 9 !! 10 !! J !! Q !! K<br />
|-<br />
! ♠<br />
|| (♠,A) || (♠,2) || (♠,3) || (♠,4) || (♠,5) || (♠,6) || (♠,7) || (♠,8) || (♠,9) || (♠,10) || (♠,J) || (♠,Q) || (♠,K) <br />
|-<br />
! ♦<br />
|| (♦,A) || (♦,2) || (♦,3) || (♦,4) || (♦,5) || (♦,6) || (♦,7) || (♦,8) || (♦,9) || (♦,10) || (♦,J) || (♦,Q) || (♦,K) <br />
|-<br />
! ♣<br />
|| (♣,A) || (♣,2) || (♣,3) || (♣,4) || (♣,5) || (♣,6) || (♣,7) || (♣,8) || (♣,9) || (♣,10) || (♣,J) || (♣,Q) || (♣,K) <br />
|-<br />
! ♥<br />
|| (♥,A) || (♥,2) || (♥,3) || (♥,4) || (♥,5) || (♥,6) || (♥,7) || (♥,8) || (♥,9) || (♥,10) || (♥,J) || (♥,Q) || (♥,K) <br />
|}<br />
集合を表す[[プレースホルダ]]にはしばしば[[ラテン文字]]の大文字 ''A'', ''B'', ..., ''E'', ''F'', ..., ''M'', ''N'', ..., ''S'', ''T'', ..., ''X'', ''Y'', ... など<ref>定数や変数に対する慣例を踏襲して ''A'', ''B'', ... や ''X'', ''Y'', ... が使われるほか、英語の {{lang|en|''set''}}, ドイツ語の {{lang|de|''Menge''}}, フランス語の {{lang|fr|''ensemble''}} の頭文字 ''S'', ''M'', ''E'' やその周辺の文字がよく使われる。</ref>を使い、集合の元は(とくに集合を表すのに使った文字に対応する)[[ラテン小文字]] ''a'', ..., ''e'', ..., ''m'', ..., ''s'', ..., ''x'', ... とすることが多い<ref>ラテンアルファベット以外にも[[ギリシャ文字]]を使うこともある。集合の集合を考えるときは、元である集合に大文字を使うことから、[[筆記体]] <math>\scriptstyle \mathcal{A,\ldots, E,\ldots, M,\ldots, S,\ldots, X,\ldots}</math>や[[ドイツ文字]] <math>\scriptstyle \mathfrak{A,\ldots, M,\ldots, X,\ldots}</math>で記したりする。このような入れ子構造は何重にも複雑な形で現われたり、同じものが違った見方をされたりするので、このような文字種の変更を行わないこともよくある。</ref>。<br />
<br />
== 帰属と包含 ==<br />
{{main|部分集合|包含関係|元 (数学)|帰属関係}}<br />
[[file:Venn_A_subset_B.svg|150px|thumb|right|包含関係: A は B の部分である。B は A の上にある。]]<br />
集合と元、集合と集合などの間には含んだり含まれたりといった素朴な関係を考えることができる。<br />
<br />
; 帰属関係: 対象 ''a'' が集合 ''A'' を構成するものの一つであるとき、「''a'' は集合 ''A'' に属す」「''a'' は集合 ''A'' の要素(あるいは元)である」「集合 ''A'' は ''a'' を要素として持つ」などといい、''a'' &isin; ''A'' あるいは ''A'' &ni; ''a'' と表す。<br />
<br />
; 包含関係: 2 つの集合 ''A'', ''B'' について、''A'' に属する元がすべて ''B'' にも属するとき、すなわち ''x'' &isin; ''A'' &rArr; ''x'' &isin; ''B'' が ''a'' の取り方に依らずに成り立つとき、「''A'' は ''B'' の[[部分集合]]である」「''A'' は ''B'' に集合として含まれる」「''B'' は ''A'' を包含する」などといい、''A'' &sub; ''B'' または ''A'' &sube; ''B'' あるいは ''B'' &sup; ''A'' または ''B'' &supe; ''A'' と記す。<br />
<br />
帰属関係と包含関係は異なる概念であって、混同してはならない。例えば、''X'' &sub; ''Y'' &sub; ''Z'' ならば必ず ''X'' &sub; ''Z'' であるが、''X'' &isin; ''Y'' &isin; ''Z'' からは ''X'' &isin; ''Z'' は必ずしも導かれない。また、''x'' &isin; ''A'' &sub; ''B'' ならば ''x'' &isin; ''B'' であるが、''x'' &sub; ''A'' &isin; ''B'' からは ''x'' &isin; ''B'' を帰結することは一般にはできない。<br />
<br />
== 記法 ==<br />
集合の記法には、おおまかに2通りの方法がある。論理的な概念として「[[内包と外延|外延と内包]]」というものがあるが、ほぼそれに相当するもので、その要素をすべて列挙するという方法と、その集合に含まれるのであれば必ず満たされ、含まれないのであれば必ず満たされない条件を明示するという方法である。<br />
<br />
「外延」に相当する、すべて列挙する方法では、例えば、1, 3, 5, 7, 9 からなる集合は、 <br />
: <math>\{1, 3, 5, 7, 9\}</math><br />
と表記する。<!--集合の'''外延的記法''' ({{lang-en-short|''extensional definition''}}) と言う。--><!--definitionと「記法」は普通は対応させないと思う--><br />
<br />
「内包」に相当する、属するために満たすべき条件を明示する方法では、例えば、10 未満の正の[[奇数]]全体の集合を、 <br />
: {&thinsp;''x'' | ''x'' は 10 未満の正の奇数&thinsp;}<br />
と表記する。一般に、条件 ''P''(''x'') があったとき、それをみたす対象'''だけ'''を'''全て'''集めた集合を、<br />
: <math>\{x \mid P(x)\}</math><br />
と表記する。<!--'''内包的記法''' ({{lang-en-short|''intensional definition''}}) と言う。--><!--definitionと「記法」は普通は対応させないと思う-->ここでは ''x'' という変数を用いているが、{ ''y'' | ''P''(''y'') } と書いても { ''a'' | ''P''(''a'') } と書いても構わない。set-builder notation([[:en:Set-builder notation]])やset comprehension、日本語では内包表記などとも言う。前述のようにそれぞれ、論理的な概念の外延と内包に由来するものであり日本語圏では数学分野でも今もそれらの語がよく使われているが、英語圏ではそれぞれの原語であるextensionとintensionはこの分野では今はあまり見なくなっている。<br />
<br />
条件 ''P''(''x'') は「''x'' が ''X'' の元であって、さらに条件 ''Q''(''x'') を満たす」というような形で与えられることが多い<ref>「''x'' が ''X'' の元であって」というような断り書きをしない場合にも、実際には「普遍集合」 ({{Lang-en-short|''universal set'')}} あるいは「[[宇宙 (数学)|宇宙]]」 ({{Lang-en-short|''universe''}}) と呼ばれる、必要な議論を展開することができる程度に十分大きな集合を考え、集合と言えば必ずその普遍集合の部分集合だけを考えているといったようなことがしばしば行われる。条件 ''P''(''x'') の形から ''x'' の属するべき集合 ''X'' がある程度限定される場合にも、断り書きはしばしば省略される。</ref>が、このとき定まる集合を {''x'' | ''x'' &isin; ''X'' かつ ''Q''(''x'')} のように書く代わりに、しばしば簡単に<br />
: <math>\{x \in X \mid Q(x)\}</math><br />
などと略記する。集合 {''x'' &isin; ''X'' | ''Q''(''x'')} は ''X'' の部分集合となる。また、条件 ''P''(''x'') が「条件 ''Q''(''y'') を満たすようなある ''y'' を用いて ''x'' = ''f''(''y'') と表すことができる」というような形のときは、集合 { ''x'' | ''P''(''x'') } を<br />
: <math>\{f(y) \mid Q(y)\}</math> <br />
のように表すこともある。<br />
<br />
要素を外延的に書きつくせないような集合、例えば自然数全体の集合を<br />
: <math>\{0, 1, 2, 3, \dots \}</math><br />
のように書き表すこともあるが、"..." による省略部分は誤解を生じる余地があるため、このような記法はその省略された内容の意味が明らかである場合に限られる。<br />
<br />
== 外延性の公理 ==<br />
''A'', ''B''を任意の集合とするとき、もし任意の集合''X''について「''X''がAの[[要素]]であるならば、そのときに限りXはBの要素である」が成り立つならば、AとBは等しい、とする。すなわち、<br />
:<math>\forall A \, \forall B \, ( \forall X \, (X \in A \iff X \in B) \Rightarrow A = B)</math><br />
である。<br />
{{see|外延性の公理}}<br />
直感的な説明としては、たとえば、{1, 3, 5, 7, 9} と { ''x'' | ''x'' は 10 未満の正の奇数 } は異なる表現だが、どちらも自然数 1, 3, 5, 7, 9 を要素とする集合であるので、等しい集合だとする、ということである。<!--<br />
{1, 3, 5, 7, 9} と { ''x'' | ''x'' は 10 未満の正の奇数 } は異なる表し方をされているが、どちらも自然数 1, 3, 5, 7, 9 を要素とする集合である。このように全く同じ要素からなる集合は等しいと考える。これを'''外延性の原理'''({{Lang-en-short|''principle of extensionality''}})と呼ぶ。外延性の原理を正確に書くと次のようになる:<br />
: 任意の対象 ''x'' に対して ''x'' &isin; ''A'' &hArr; ''x'' &isin; ''B'' が成り立つならば、''A'' = ''B'' 。<br />
<br />
外延性の原理より、<br />
* { ''x'', ''y'' } = { ''y'', ''x'' }<ref name="ord-multi">集合 {''x'', ''y''} を ''x'' と ''y'' との順序を気にしない対という意味で'''非順序対''' ({{Lang-en-short|''unordered pair''}}) と呼ぶことがある。また、集合では {''x'', ''x''} = {''x''} だが、[[多重集合]]では {''x'', ''x''} &ne; {''x''} である(''x'' の重複度が左辺は 2 で右辺は 1)。</ref>,<br />
* {(&minus;1)<sup>1</sup>, (&minus;1)<sup>2</sup>, (&minus;1)<sup>3</sup>, ..., (&minus;1)<sup>''n''</sup>} = {1, &minus;1},<br />
のようにそこに現れる元の順番を入れ替えたり、そこに含まれるのと同じ元をあらたに書き加えてももとの集合に等しい<ref name="ord-multi"></ref>。<br />
<br />
{{要検証範囲|1=なお、外延性の原理の逆:<br />
: ''A'' = ''B'' ならば、任意の対象 ''x'' に対して ''x'' &isin; ''A'' &hArr; ''x'' &isin; ''B'' <br />
は ''A'' = ''B'' の意味(''A'' と ''B'' が同一の対象を表す)から明らかに成り立つ。ここで、任意の対象 ''x'' に対して ''x'' &isin; ''A'' &hArr; ''x'' &isin; ''B'' が成り立つというのは、''A'' &sube; ''B'' かつ ''B'' &sube; ''A'' と同値であるから、<br />
: ''A'' = ''B'' &hArr; ''A'' &sube; ''B'' かつ ''B'' &sube; ''A''<br />
が成り立つ。|date=2012年2月}}<br />
--><br />
<br />
== 特別な集合 ==<br />
数学では、1 つも要素を持たないような集合も考える。外延性の原理によれば、このような集合はただ一つしか存在しないので、これを[[空集合]] ({{Lang-en-short|''empty set''}}) といい &empty; で表す。&empty; は任意の集合 ''A'' の部分集合である。なぜなら、任意の対象 ''x'' に対して ''x'' &notin; &empty; より ''x'' &isin; &empty; &rArr; ''x'' &isin; ''A'' は真だからである。空集合の他にも決まった記号によって表される集合がいくつかある:<br />
* <math>\mathbb{N}</math> は[[自然数]]全体の集合を表す。<br />
* <math>\mathbb{Z}</math> は[[整数]]全体の集合を表す。<br />
* <math>\mathbb{Q}</math> は[[有理数]]全体の集合を表す。<br />
* <math>\mathbb{R}</math> は[[実数]]全体の集合を表す。<br />
* <math>\mathbb{C}</math> は[[複素数]]全体の集合を表す。<br />
* <math>\mathbb{H}</math> は[[四元数]]全体の集合を表す。<br />
* <math>\mathbb{U}</math> は[[グロタンディーク宇宙]]を表す。<br />
<br />
== 濃度 ==<br />
{{main|濃度 (数学)}}<br />
有限個の元からなる集合を'''[[有限集合]]''' (ゆうげんしゅうごう、{{Lang-en-short|''finite set''}}) と呼び、集合 ''A'' の元の個数を #(''A''), |''A''|, card(''A'') などの記号で表すことが多い。有限集合でない集合を'''無限集合''' (むげんしゅうごう、{{Lang-en-short|''infinite set''}}) という。無限集合に対しても「個数」の概念を広げて、[[濃度 (数学)|濃度]] (のうど、{{Lang-en-short|''potency''}}) 、または'''基数''' (きすう、{{Lang-en-short|''cardinal number''}}, {{Lang-en-short|''cardinality''}}) というものを考える。[[数え上げ|個数を数える]]代わりに、ある集合を使って、その元で別の集合をラベル付け ({{Lang-en-short|''indexing''}}; 添字付け) して、[[全単射|一対一の対応]]がとれるかどうかを調べるのである。そうすると有限集合の濃度はちょうど元の個数で決まるので、ちゃんと無限集合への「個数」の拡張となる概念が定まっていることが確認できる。<br />
<br />
無限集合はどれも「[[無限]]個」の元を持っているわけだが、どの無限もみな同じというわけではなく、濃度の概念ではたくさんの無限を区別して扱うことになる。たとえば、自然数と有理数が同じ濃度を持つ、自然数と実数は真に異なる濃度を持つといったような事実は数学を学ぶ者にとってよく知られた内容である。同様の事実に、平面 '''R'''<sup>2</sup> と数直線 '''R''' は同じ濃度を持ち、平面を覆いつくす'''平面充填曲線'''と呼ばれる不思議な平面曲線が何種類も存在することが述べられる。より[[次元]]の高い空間でも同様で、空間を埋め尽くす'''空間充填曲線'''が構築される。異なる次元をもつ空間が同じ濃度をもつというのは、次元や濃度が一方が他方を測るようなものではない異なる尺度であることを表しているのである。<br />
<br />
== 集合の演算 ==<br />
いくつかの集合を扱い、その関係性について論じるとき、もともと考えていた集合たちから新しい集合を作って調べるというのは有効な手段の一つである。これらの操作は、集合に対する[[演算]]と見なすことによって、[[集合族]]に関するいくつかの[[代数系]]を提供する。それらの代数系を抽象代数系と見なせば、抽象代数学の一般論を適用することでまたいくつかの概念を提供することになる。<br />
<br />
=== 基本的な集合演算 ===<br />
<br />
; 結び・合併・和: {{main|合併 (集合論)}} [[file:Venn0111.svg|150px|thumb|right|結びの模式図]]<br />
: 二つの集合を「くっつけ」て一緒にしてしまうことで新しい集合を取り出すことができる。加法的な集合族の基本となる演算のひとつ。[[合併 (集合論)|和集合]]。<br />
:: <math>A\cup B := \{x\mid x\in A \or x\in B\}.</math>{{clear}}<br />
; 交わり・交叉・積: {{main|交叉 (集合論)}} [[file:Venn0001.svg|150px|thumb|right|交わりの模式図]]<br />
: 二つの集合の共通した部分を見つけることで、新しい集合を取り出すことができる。乗法的な集合族の基本となる演算。[[共通部分 (数学)|共通部分]]。<br />
:: <math>A\cap B := \{x\mid x\in A\and x\in B\}.</math>{{clear}}<br />
; 差・相対補: {{main|差集合}} [[file:Venn0100.svg|150px|thumb|right|差集合の模式図]]<br />
: 二つの集合のうちの一方の集合について、それに帰属する元のうち、同時に他方にも含まれる元を取り除いて新しい集合を作ることができる。差は一方と他方の補集合との交わりであり、乗法的な演算である。<br />
:: <math>A\smallsetminus B := \{x\mid x\in A \and x\notin B\}.</math>{{clear}}<br />
; 補・絶対補: {{main|差集合}} [[file:Venn1010.svg|150px|thumb|right|補集合の模式図]]<br />
: 全体集合(普遍集合)が与えられ、任意の集合は全体集合の部分集合であるという仮定のもとで、一つの集合の全体からの差。勝手な集合はその補集合と交わりを持たず、それらの和は全体集合に一致する。<br />
:: <math>\complement A := \{x\mid x\notin A\}.</math>{{clear}}<br />
; 対称差: {{main|対称差}} [[file:Venn0110.svg|150px|thumb|right|対称差の模式図]]<br />
: 二つの集合の結びに帰属する元から、その交わりに属する元を取り除いて新しい集合を考えることができる。これは結びから交わりを引いた差である。結びと同様に加法的な演算。<br />
:: <math>A\,\triangle\,B := (A\smallsetminus B)\cup(B\smallsetminus A).</math>{{clear}}<br />
<br />
[[指示関数]]はこれらの集合演算を 0 と 1 からなる世界の代数的な演算に置き換える手段を与える。<br />
: <math>A \harr \mathbf{1}_A(x):=\begin{cases}1&(x\in A)\\0&(x\notin A)\end{cases}.</math><br />
{{clear}}<br />
=== その他の演算 ===<br />
上記演算は、全体集合が一つ与えられ、演算の引数となる集合たちがその部分集合であるならば、その演算結果もふたたび同じ全体集合の部分集合となるようなものである。一方、もとの全体集合の中に演算結果を求めるのではなく、むしろ引数となる集合たちをもとに新しい集合を作り出すことを目的とする演算もある。<br />
; 冪: {{main|冪集合}} [[file:Hasse_diagram_of_powerset_of_3.svg|150px|thumb|right|三元集合の冪の模式図]]<br />
: 与えられた集合に対して、その冪集合とは与えられた集合に包含される集合全体の集合である。ある集合の冪集合はその集合の部分集合からなる集合族のなかで最大のものであると言っても同じである。<br />
:: <math>\mathcal{P}(X) := \{S\mid S\subseteq X\}. </math>{{clear}}<br />
; 直積: {{main|直積集合}} [[file:2D Cartesian.svg|150px|thumb|right|直積の模式図]]<br />
: 二つの集合に対し、それぞれに帰属する元の[[順序対|順序付けられた対]]を要素とする集合を作ることができる。<br />
:: <math>X\times Y := \{(x,y)\mid x\in X\and y\in Y\}.</math>{{clear}}<br />
; 直和・非交和: {{main|非交和}} 二つの集合の、交わりを持たない和。<br />
; 配置集合・写像空間: {{main|配置集合}}<br />
: ある集合から別の集合への[[写像]]を一つの元と見なすならば、その全体として新たな集合が見出される。直積集合は、順序数の各元に任意の集合を対応させる写像からなる配置集合と見ることもできる。<br />
:: <math>Y^X := \{f\mid f\text{ is a mapping from }X\text{ to }Y \}.</math><br />
; 商: {{main|商集合}} [[file:Linalg partition.png|150px|thumb|right|集合の類別の模式図]]<br />
: 集合に[[同値関係|類別]]を与えるとき、各類をその要素とする集合を考えることができる。<br />
:: <math>X/{\sim} {}:= \{[x]\mid x\in X\}, \text{ where } [x] := \{y\in X\mid y\sim x\}.</math>{{clear}}<br />
<br />
=== いくつかの集合族 ===<br />
{{main|集合の代数学|集合族}}<br />
集合からなる族 {{math|'''A'''}} を考える。{{math|'''A'''}} が集合演算についていくつかの性質を満たすとき、それらには特別の名前が与えられることがある。<br />
* {{math|'''A'''}} が(有限)交叉について閉じているとき {{仮リンク|π-系|en|pi-system}}であるといい、π-系が空集合を含むとき[[乗法族]]である<ref>例えば[http://www.math.nagoya-u.ac.jp/~hora/Kakuritsu10-Memo.pdf 定義 2.1.]</ref>という<ref>しばしば π-系と乗法族はこれと逆に扱われたり同義語の場合もある。例えば[http://www-an.acs.i.kyoto-u.ac.jp/~kigami/analysis1.pdf 定義 1.3.6.]や[http://link.springer.com/article/10.1023%2FA%3A1026102701631#page-1 ]は乗法族 (multiplicative class) に交叉について閉じていることのみを課している。</ref>([[ディンキン族]]も参照)。さらに可算交叉について閉じているとき [[δ-乗法族]]であるという。また、乗法族が包含関係を持つ任意の二つの集合に対し、一方から有限回の非交和を行って他方へ達する列を持つとき[[集合半環]]という。<br />
* {{math|'''A'''}} が(有限)和と(有限)交叉について閉じているとき、集合の[[束 (束論)|束]]あるいは[[集合環|環]]という。{{math|'''A'''}} が空集合でなく(あるいは空集合を元として含み)、和と差について閉じている(あるいは同じことだが対称差と交叉について閉じている)場合に限って集合環と呼ぶ場合もある。さらに可算交叉について閉じていれば [[δ-集合環]]、可算和について閉じていれば [[σ-集合環]]という。また、これらが全体集合を含むならば[[集合代数|代数]]あるいは[[集合体|体]]という。δ-集合体は [[σ-集合体]]である。<br />
* {{math|'''A'''}} が空集合を含み、(有限)和および補について閉じているとき加法族、特に[[有限加法族]]であるという。さらに可算和について閉じているならば[[完全加法族]]という。集合族 {{math|'''A'''}} が加法族であることは集合体であることと等価であり、同様に完全加法族は σ-集合体の別名である。<br />
* [[単調族]]は包含関係に関する単調列の極限について閉じている集合族<br />
* [[ディンキン族]](d-族、δ-族)は全体集合を含み、包含関係を持つ集合同士の差について閉じていて、可算増大列の極限について閉じている。[[ディンキン族|λ-系]]は全体集合を含み、補について閉じていて、可算非交和について閉じている。この二つは同じ概念を定める。<br />
* [[層族]]はそれに属する任意の集合 {{mvar|A, B}} が {{math|''A'' &sub; ''B''}} または {{math|''A'' &sup; ''B''}} または {{math|''A'' &cap; ''B'' ≠ &empty;}} の何れか一つのみを満たす。 <br />
* [[ブール環]]<br />
<br />
== 注記 ==<br />
<div class="references-small"><references /></div><br />
<br />
== 関連項目 ==<br />
{{wiktionary}}<br />
* [[写像]]<br />
* [[集合論]] - [[素朴集合論]]/[[公理的集合論]]<br />
* [[定義]] - 外延と内包<br />
* [[セット (抽象データ型)]] - コンピュータ上での実装<br />
<br />
== 外部リンク ==<br />
* {{SpringerEOM|urlname=Set|title=Set}}<br />
* {{MathWorld|urlname=Set|title=Set}}<br />
* {{PlanetMath|urlname=Set|title=set}}<br />
* {{nlab|urlname=set|title=Sets}}<br />
<br />
{{集合論}}<br />
{{Normdaten}}<br />
{{DEFAULTSORT:しゆうこう}}<br />
[[Category:集合論|*しゆうこう]]<br />
[[Category:初等数学]]<br />
[[Category:数学的対象]]<br />
[[Category:数学に関する記事]]</div>
1.114.1.182
テンプレート:Nlab
2017-06-14T08:54:03Z
<p>1.114.1.182: </p>
<hr />
<div>{{#if: {{{title|}}} |<br />
[https://ncatlab.org/nlab/show/{{{id|{{{urlname|HomePage}}}}}} {{{title|{{PAGENAME}}}}}] in ''[[:en:nLab|nLab]]'' | [https://ncatlab.org/nlab/show/{{{id|{{{urlname|HomePage}}}}}} {{{id|{{PAGENAME}}}}}] in ''[[:en:nLab|nLab]]''}}<noinclude><br />
[[Category:特定の出典テンプレート]]<br />
[[Category:数学の出典テンプレート]]<br />
</noinclude></div>
1.114.1.182
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46