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
https:///mymemo.xyz/wiki/api.php?action=feedcontributions&user=182.171.246.130&feedformat=atom
miniwiki - 利用者の投稿記録 [ja]
2024-05-17T14:12:54Z
利用者の投稿記録
MediaWiki 1.31.0
部分集合
2016-01-18T08:17:38Z
<p>182.171.246.130: </p>
<hr />
<div>[[集合]] ''A'' が集合 ''B'' の'''部分集合'''(ぶぶんしゅうごう、<em lang="en">subset</em>; 下位集合)であるとは、''A'' が ''B'' の一部(あるいは全部)の要素だけからなることである。''A'' が ''B'' の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に'''包含関係'''があるという。<br />
[[Image:Venn A subset B.svg|thumb|right|真部分集合の[[オイラー図]]による視覚化]]<br />
<br />
== 定義 ==<br />
集合 ''A'' の要素はすべて集合 ''B'' の要素でもあるとき、すなわち、<br />
:<math>\forall x (x\in A \rightarrow x\in B)</math><br />
が成り立つとき、''A'' は ''B'' の'''部分集合'''であるといい、<br />
:<math>A\sube B</math><br />
で表す。''A'' が ''B'' の部分集合であることを、「''A'' は ''B'' に(部分集合として)含まれる({{lang|en|contained}}; 包含される)」、「''A'' は ''B'' に包まれる({{lang|en|included}}; 包摂あるいは内包される)」などということもある。またこのとき、''B'' は ''A'' の'''上位集合'''(じょういしゅうごう、{{lang|en|superset}}; スーパーセット)であるということもある。''A'' が集合 ''B'' の要素であることも「''A'' が ''B'' に含まれる」と表現している文献が存在するため、単に「''A'' が ''B'' に含まれる」と言ったときは、''A'' &isin; ''B'' と ''A'' &sube; ''B'' のどちらの意味で用いられているのかを文脈から判断することが必要である。<br />
<br />
定義から任意の集合 ''B'' は自分自身の部分集合である。''B'' 以外の集合で ''B'' の部分集合であるようなものは、''B'' の'''真部分集合'''(しんぶぶんしゅうごう、{{lang|en|proper subset}})あるいは'''狭義'''({{lang|en|strict}}; 強い意味で)'''の部分集合'''と呼ばれる。すなわち、集合 ''A'' が集合 ''B'' の真部分集合であるとは、''A'' &sube; ''B'' かつ ''A'' &ne; ''B'' が成り立つことである。''A'' が ''B'' の真部分集合であることを<br />
:<math>A\sub B</math><br />
で表す。<br />
<br />
== 記法に関する注意 ==<br />
<div style="float:right"><br />
{| class=wikitable style="text-align:center; margin:1em;"<br />
! 部分集合 !! 真部分集合<br />
|-<br />
| ''A'' &sube; ''B'' || ''A'' &sub; ''B''<br />
|-<br />
| ''A'' &sub; ''B'' || ''A'' ⊊ ''B''<br />
|- <br />
| ''A'' &sube; ''B'' || ''A'' &sube; ''B'' かつ ''A'' &ne; ''B''<br />
|- <br />
| ''A'' &sub; ''B'' || ''A'' &sub; ''B'' かつ ''A'' &ne; ''B''<br />
|- <br />
| ''A'' &sube; ''B'' || ''A'' ⊊ ''B''<br />
|}</div><br />
<br />
上の定義においては、''A'' が ''B'' の部分集合であることを ''A'' &sube; ''B'' で表し、''A'' が ''B'' の真部分集合であることを ''A'' &sub; ''B'' で表した。実際、包含関係を[[順序集合|順序]]と見なせば、''x'' &le; ''y'' かつ ''x'' &ne; ''y'' のとき ''x'' &lt; ''y'' と記す慣例の類似で、''A'' &sub; ''B'' を ''A'' &sube; ''B'' かつ ''A'' &ne; ''B'' であるという意味で用いることは自然である。しかし、これとは異なった記法もいくつか存在し、統一されていない。例えば、''A'' が ''B'' の部分集合であることを ''A'' &sub; ''B'' で表し、''A'' が ''B'' の真部分集合であることを ''A'' ⊊ ''B'' で表すという流儀もあり、この記法も広く用いられている。この他にも、部分集合には &sube; を用い、真部分集合には &sub; かつ &ne; を用いるなど、さまざまなバリエーションがある(右表を参照)。部分集合であることを表すのに &sube; 、真部分集合であることを表すのに ⊊ を用いると誤解を招く恐れがなくなるため、この記法も好まれる。<br />
<br />
== 基本的な性質 ==<br />
以下、''A'', ''B'', ''C'' を集合とする。<br />
* ''A'' = ''B'' と ''A'' &sube; ''B'' かつ ''B'' &sube; ''A'' は同値である([[集合#外延性の原理|外延性の原理]])。<br />
* [[空集合]] &empty; はすべての集合の部分集合である。<br />
* ''A'' ⊆ ''A'' 。<br />
* ''A'' ⊆ ''B'' かつ ''B'' ⊆ ''C'' ならば ''A'' ⊆ ''C'' である。<br />
* ''A'' ⊆ ''A'' ∪ ''B'' 。<br />
* ''A'' ⊆ ''B'' ならば ''A'' ∪ ''C'' ⊆ ''B'' ∪ ''C'' 。<br />
* ''A'' ⊆ ''C'' かつ ''B'' ⊆ ''C'' ならば ''A'' ∪ ''B'' ⊆ ''C'' 。<br />
* ''A'' ∩ ''B'' ⊆ ''A'' 。<br />
* ''A'' ⊆ ''B'' ならば ''A'' ∩ ''C'' ⊆ ''B'' ∩ ''C'' 。<br />
* ''A'' ⊆ ''B'' かつ ''A'' ⊆ ''C'' ならば ''A'' ⊆ ''B'' ∩ ''C'' 。<br />
* ''A'' - ''B'' ⊆ ''A'' 。<br />
* ''A'' ⊆ ''B'' ならば ''A'' - ''C'' ⊆ ''B'' - ''C'' 。<br />
* ''A'' ⊆ ''B'' かつ ''A'' ⊆ ''C'' <sup>''C''</sup> ならば ''A'' ⊆ ''B'' - ''C'' 。<br />
* 以下は[[同値]]である:<br />
**''A'' ⊆ ''B'' 。<br />
**''A'' ∩ ''B'' = ''A'' 。<br />
**''A'' ∪ ''B'' = ''B'' 。<br />
**''A'' − ''B'' = &empty; 。<br />
* ''A'' と ''B'' がともに ''U'' の部分集合のとき、''A'' &sube; ''B'' と ''U'' - ''B'' ⊆ ''U'' - ''A'' は同値である。<br />
<br />
== 関連項目 ==<br />
*[[集合]]<br />
*[[集合論]]<br />
*[[集合の代数学]]<br />
<br />
{{集合論}}<br />
{{DEFAULTSORT:ふふんしゆうこう}}<br />
[[Category:集合論]]<br />
[[Category:初等数学]]<br />
[[Category:数学に関する記事]]<br />
<br />
[[ro:Mulțime#Submulțimi]]</div>
182.171.246.130
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