- 英
- subset
- 関
- 部分集合
WordNet
- a set whose members are members of another set; a set contained within another set
PrepTutorEJDIC
- (一組・一団などの一部を成す)小さな一組 / (数学の集合論で)部分集合
Wikipedia preview
出典(authority):フリー百科事典『ウィキペディア(Wikipedia)』「2014/05/23 01:15:28」(JST)
[Wiki ja表示]
集合 A が集合 B の部分集合(ぶぶんしゅうごう、subset; 下位集合)であるとは、A が B の一部(あるいは全部)の要素だけからなることである。A が B の一部分であるという意味で部分集合という。二つの集合の一方が他方の部分集合であるとき、この二つの集合の間に包含関係があるという。
目次
- 1 定義
- 2 記法に関する注意
- 3 基本的な性質
- 4 関連項目
定義
集合 A の要素はすべて集合 B の要素でもあるとき、すなわち、
が成り立つとき、A は B の部分集合であるといい、
で表す。A が B の部分集合であることを、「A は B に(部分集合として)含まれる(contained; 包含される)」、「A は B に包まれる(included; 包摂あるいは内包される)」などということもある。またこのとき、B は A の上位集合(じょういしゅうごう、superset; スーパーセット)であるということもある。A が集合 B の要素であることも「A が B に含まれる」と表現している文献が存在するため、単に「A が B に含まれる」と言ったときは、A ∈ B と A ⊆ B のどちらの意味で用いられているのかを文脈から判断することが必要である。
定義から任意の集合 B は自分自身の部分集合である。B 以外の集合で B の部分集合であるようなものは、B の真部分集合(しんぶぶんしゅうごう、proper subset)あるいは狭義(strict; 強い意味で)の部分集合と呼ばれる。すなわち、集合 A が集合 B の真部分集合であるとは、A ⊆ B かつ A ≠ B が成り立つことである。A が B の真部分集合であることを
で表す。
記法に関する注意
部分集合 |
真部分集合 |
A ⊆ B |
A ⊂ B |
A ⊂ B |
A ⊊ B |
A ⊆ B |
A ⊆ A かつ A ≠ B |
A ⊂ B |
A ⊂ B かつ A ≠ B |
A ⊆ B |
A ⊊ B |
上の定義においては、A が B の部分集合であることを A ⊆ B で表し、A が B の真部分集合であることを A ⊂ B で表した。実際、包含関係を順序と見なせば、x ≤ y かつ x ≠ y のとき x < y と記す慣例の類似で、A ⊂ B を A ⊆ B かつ A ≠ B であるという意味で用いることは自然である。しかし、これとは異なった記法もいくつか存在し、統一されていない。例えば、A が B の部分集合であることを A ⊂ B で表し、A が B の真部分集合であることを A ⊊ B で表すという流儀もあり、この記法も広く用いられている。この他にも、部分集合には ⊆ を用い、真部分集合には ⊂ かつ ≠ を用いるなど、さまざまなバリエーションがある(右表を参照)。部分集合であることを表すのに ⊆ 、真部分集合であることを表すのに ⊊ を用いると誤解を招く恐れがなくなるため、この記法も好まれる。
基本的な性質
以下、A, B, C を集合とする。
- A = B と A ⊆ B かつ B ⊆ A は同値である(外延性の原理)。
- 空集合 ∅ はすべての集合の部分集合である。
- A ⊆ A 。
- A ⊆ B かつ B ⊆ C ならば A ⊆ C である。
- A ⊆ A ∪ B 。
- A ⊆ B ならば A ∪ C ⊆ B ∪ C 。
- A ⊆ C かつ B ⊆ C ならば A ∪ B ⊆ C 。
- A ∩ B ⊆ A 。
- A ⊆ B ならば A ∩ C ⊆ B ∩ C 。
- A ⊆ B かつ A ⊆ C ならば A ⊆ B ∩ C 。
- A - B ⊆ A 。
- A ⊆ B ならば A - C ⊆ B - C 。
- A ⊆ B かつ A ⊆ C C ならば A ⊆ B - C 。
- 以下は同値である:
- A ⊆ B 。
- A ∩ B = A 。
- A ∪ B = B 。
- A − B = ∅ 。
- A と B がともに U の部分集合のとき、A ⊆ B と U - B ⊆ U - A は同値である。
関連項目
集合論 |
|
公理 |
外延性公理・分出公理・対の公理・和集合公理・冪集合公理
・置換公理・無限公理・正則性公理・選択公理
|
|
演算 |
直積・和集合・積集合・商集合・集合差・対称差・冪集合・補集合
|
|
概念 |
濃度・基数・順序数・クラス・元・1対1の対応・ベン図
|
|
集合 |
可算集合・空集合・有限集合・無限集合・部分集合
|
|
理論 |
カントールの定理・素朴集合論・公理的集合論・パラドックス・ラッセルのパラドックス
|
|
人々 |
ゲオルグ・カントール・バートランド・ラッセル・エルンスト・ツェルメロ・アドルフ・フレンケル
|
|
UpToDate Contents
全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.
Japanese Journal
- <原著>乳がんの病期に伴う末梢血CD14^<high>CD16^+単球の増加
- 山元 奈穂,白川 愛子,塩﨑 均,綿谷 正弘,義江 修
- 近畿大学医学雑誌 36(2), 81-90, 2011-6
- … 近年様々な疾患で,両者の中間型サブセットCD14^<high>CD16^+単球の増加が報告されている.今回,健常者と乳がん患者の末梢血中単球分画を比較した結果,組織型やHER2・ホルモンレセプターの発現の有無には関わらず,病期の進行した症例ではCD14^<high>CD16^+単球の有意な増加を認めた.ケモカインレセプター(CCR2, XCR4,CXCR7,CX_3CR1)の発現パターンからはCD14^<high>CD16^+単球はCD14^<high>CD16^-単球とCD14^<low …
- NAID 120003222434
- 自動チューニング数理基盤ライブラリATMathCoreLib
- 須田 礼仁
- 情報処理学会研究報告. [ハイパフォーマンスコンピューティング] 2011-HPC-129(14), 1-12, 2011-03-08
- … ニング数理ライブラリを用いる.次に,上記4DACに基づいて構築された自動チューニング数理ライブラリATMathCoreLibを提案する.現在のATMathCoreLibは,オンライン自動チューニングのための線形モデル構築とワンステップ近似による実験計画を提供する.本論文では,ATMathCoreLibが仮定する4つのAを述べ,4つのCの実装の概略を説明する.また,ATMathCoreLibの基本的な使い方とともに,無限希釈,ランダムサブセット法への応用方法を説明する. …
- NAID 110008583344
Related Links
- サブセットとは、全体に対する一部分のことである。例えば、システム全体に対する インターフェース部分や、本来の規格に関する限定部分、あるいはソフトウエアの機能を 限定して使えるようにしたものなどのことを指す。
Related Pictures
![サブセット)」が表示されます](https://1mg.info/0/7/5/2674.jpg)
![サブセットフォントメーカー](https://1mg.info/0/7/5/2675.jpg)
![埋め込みサブセットと](https://1mg.info/0/7/5/2676.jpg)
![サブセットフォントメーカーの](https://1mg.info/0/7/5/2677.jpg)
![サブセットフォントメーカー](https://1mg.info/0/7/5/2678.jpg)
★リンクテーブル★
[★]
[★]
- 英
- subset
- 関
- サブセット
[★]
- 英
- lymphocyte subset
- 関
- リンパ球亜群
[★]
- 英
- B-cell subset、B-lymphocyte subset
[★]
- 英
- T-cell subset、T-lymphocyte subset
[★]
- 英
- set、set
- 関
- 固化、設定