fbpx
ウィキペディア

共通部分 (数学)

数学において集合族共通部分(きょうつうぶぶん、: intersection)とは、与えられた集合の集まり(族)全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合(きょうつうしゅうごう)、交叉(こうさ、交差)、交わり(まじわり、meet)、積集合(せきしゅうごう)、積(せき)[1]などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。

定義

二つの集合の交叉

 
共通部分のベン図による視覚化

集合 A, B の交わりは AB と記される[4]。これは

xABxA かつ xB

ということであり、記号では

AB = { x | xA xB }

と書ける。AB に含まれるような元が存在するとき AB とは互いに交わるあるいは交わりを持つといい、そのような元の存在しないとき AB互いに素であるまたは交わりを持たない (disjoint) という。

有限個の交叉

有限個の集合 M1, … Mk の交わり

 

は、そのすべてに共通に含まれる元の全体である。集合の交わりは結合的、つまり

(AB) ∩ C = A ∩ (BC)

を満たすから、(一般結合法則)により有限個の集合の交わりは

 

に等しく、また括弧の付け方に依らない。

 

とも表す。

任意の交叉

集合の(でない)

 

に対して、その交わりを集合族に属する全ての集合に属する元、つまり

すべての λ ∈ Λ に対して xMλ

となる x の全体であると定義して

 

などで表す。特に集合 {Mn}nN の交わり(可算交叉)の場合には

 

のようにも書く[5]

与えられた集合族の共通部分が空集合となるとき、つまり全ての集合に共通に含まれる元が一つも存在しないとき、その集合族は交わりを持たない (disjoint) という。また、どの二つの集合を取っても交わらないとき、その集合族は対ごとに交わりを持たない (pairwise disjoint) と言う。disjoint ではないが pairwise disjoint な集合族が存在する。

P = {1, 3, 5, 7, 9} (10 以下の奇数の集合)、Q = {2, 3, 5, 7} (10 以下の素数の集合)とすると、PQ = {3, 5, 7} である。また、R = {2, 4, 6, 8, 10} (10 以下の偶数の集合)とすると PR には共通の要素が存在しないから PR は空集合である。

実数からなる開区間の族 M = { (0, 1 + 1/n) | n は 1 以上の自然数 } の共通部分は半開区間 (0, 1] である:

 

実際、(0, 1] はどの区間にも含まれるので共通部分に含まれることは直ちに言える。一方、1 < x とするならば x = 1 + ε となる正の実数 ε が取れるが、1 / ε < n なる自然数は必ず存在して、x はそのような n に対する (0, 1 + 1 / n) に属さない。したがって上記の等式が成立する。また、同様の区間族 L = { (0, 1 − 1/n) | n は 1 以上の自然数 } は n = 1 に対応する区間が空集合であるので共通部分 L も空集合、つまり L は交わりを持たない。

空なる交叉

上記、任意個数の集合の交叉の定義において、族が空集合 () となる場合を排除したことに注意しなければならない。これは集合族 M の交わりを

 

で定義するために、M が空ならば AM なる集合は存在しないから「x が満たすべき条件は一体何であるか」という問題を生じるからである。M が空なるときの上記条件は空虚な真(英語版)の一例であるから、答えは「可能な限りの全ての x」となるべきである。すなわち、空な集合族の交わりは普遍集合(交叉演算の単位元)と定義することになる[6]

困ったことに標準的な集合論 (ZFC) には普遍集合が存在しないから、これを部分的に回避するために宇宙と呼ばれる一つの大きな集合 U を固定してその部分集合となる集合のみを考えることがよく行われる。このような条件下での U の部分集合族の交わりは

 

と定義されるべきものであって、ここで M を空にとっても何も問題は生じない。即ち、空な交叉は定義により well-defined であって宇宙全体 U に一致する。そしてそれは U の部分集合全体の上で定義される交叉演算の単位元である。

  1. ^ 集合の代数学あるいは集合族のブール代数において、この場合、和に相当するのは集合論的差または対称差である(集合環なども参照)。集合論的和は結びと呼ばれ、補集合を取る操作に通じて積と同等の役割を果たす。
  2. ^ Cajori, F. (1993). A History of Mathematical Notations. 688: Dover. ISBN 0-486-67766-4. https://books.google.com/books?id=_byqAAAAQBAJ 
  3. ^ Calcolo geometrico, secondo l'Ausdehnungslehre di H. Grassmann - インターネット・アーカイブ
  4. ^ 交わりの記号 結びの記号 と共に1888年ジュゼッペ・ペアノによって導入された[2][3]
  5. ^ 集合が非増大列 M1M2 ⊃ … をなすとき、それらの共通部分は逆極限を用いて   と書くこともできる。
  6. ^ Megginson, Robert E. (1998), “Chapter 1”, An introduction to Banach space theory, Graduate Texts in Mathematics, 183, New York: Springer-Verlag, pp. xx+596, ISBN 0-387-98431-3 

関連項目

外部リンク

共通部分 (数学)
共通部分, 数学, この記事は検証可能な参考文献や出典が全く示されていないか, 不十分です, 出典を追加して記事の信頼性向上にご協力ください, このテンプレートの使い方, 出典検索, 共通部分, 数学, ニュース, 書籍, スカラー, cinii, stage, dlib, ジャパンサーチ, 2015年10月, 数学において集合族の共通部分, きょうつうぶぶん, intersection, とは, 与えられた集合の集まり, 全てに共通に含まれる元を全て含み, それ以外の元は含まない集合のことである, 共通集合, き. この記事は検証可能な参考文献や出典が全く示されていないか 不十分です 出典を追加して記事の信頼性向上にご協力ください このテンプレートの使い方 出典検索 共通部分 数学 ニュース 書籍 スカラー CiNii J STAGE NDL dlib jp ジャパンサーチ TWL 2015年10月 数学において集合族の共通部分 きょうつうぶぶん 英 intersection とは 与えられた集合の集まり 族 全てに共通に含まれる元を全て含み それ以外の元は含まない集合のことである 共通集合 きょうつうしゅうごう 交叉 こうさ 交差 交わり まじわり meet 積集合 せきしゅうごう 積 せき 1 などとも呼ばれる ただし 積集合は直積集合の意味で用いられることが多い 目次 1 定義 1 1 二つの集合の交叉 1 2 有限個の交叉 1 3 任意の交叉 2 例 3 空なる交叉 4 注 5 関連項目 6 外部リンク定義 編集二つの集合の交叉 編集 共通部分のベン図による視覚化 集合 A B の交わりは A B と記される 4 これは x A B x A かつ x Bということであり 記号では A B x x A x B と書ける A B に含まれるような元が存在するとき A と B とは互いに交わるあるいは交わりを持つといい そのような元の存在しないとき A と B は互いに素であるまたは交わりを持たない disjoint という 有限個の交叉 編集 有限個の集合 M1 Mk の交わり M 1 M 2 M k displaystyle M 1 cap M 2 cap cdots cap M k は そのすべてに共通に含まれる元の全体である 集合の交わりは結合的 つまり A B C A B C を満たすから 一般結合法則 により有限個の集合の交わりは M 1 M 2 M 3 M k displaystyle cdots M 1 cap M 2 cap M 3 cap dotsb cap M k に等しく また括弧の付け方に依らない n 1 k M n M 1 M 2 M k displaystyle bigcap n 1 k M n M 1 cap M 2 cap dotsb cap M k とも表す 任意の交叉 編集 集合の 空でない 族 M M l l L displaystyle mathfrak M M lambda lambda in Lambda に対して その交わりを集合族に属する全ての集合に属する元 つまり すべての l L に対して x Mlとなる x の全体であると定義して M M M M l L M l displaystyle bigcap mathfrak M quad bigcap M in mathfrak M M quad bigcap lambda in Lambda M lambda などで表す 特に集合列 Mn n N の交わり 可算交叉 の場合には n 1 M n M 1 M 2 M 3 M 1 M 2 M 3 displaystyle bigcap n 1 infty M n M 1 cap M 2 cap M 3 cdots M 1 cap M 2 cap M 3 cap cdots のようにも書く 5 与えられた集合族の共通部分が空集合となるとき つまり全ての集合に共通に含まれる元が一つも存在しないとき その集合族は交わりを持たない disjoint という また どの二つの集合を取っても交わらないとき その集合族は対ごとに交わりを持たない pairwise disjoint と言う disjoint ではないが pairwise disjoint な集合族が存在する 例 編集P 1 3 5 7 9 10 以下の奇数の集合 Q 2 3 5 7 10 以下の素数の集合 とすると P Q 3 5 7 である また R 2 4 6 8 10 10 以下の偶数の集合 とすると P と R には共通の要素が存在しないから P R は空集合である 実数からなる開区間の族 M 0 1 1 n n は 1 以上の自然数 の共通部分は半開区間 0 1 である M n 1 0 1 1 n 0 1 displaystyle bigcap mathbf M bigcap n 1 infty left 0 1 frac 1 n right 0 1 実際 0 1 はどの区間にも含まれるので共通部分に含まれることは直ちに言える 一方 1 lt x とするならば x 1 e となる正の実数 e が取れるが 1 e lt n なる自然数は必ず存在して x はそのような n に対する 0 1 1 n に属さない したがって上記の等式が成立する また 同様の区間族 L 0 1 1 n n は 1 以上の自然数 は n 1 に対応する区間が空集合であるので共通部分 L も空集合 つまり L は交わりを持たない 空なる交叉 編集 空積 束論 空な合併 も参照 上記 任意個数の集合の交叉の定義において 族が空集合 となる場合を排除したことに注意しなければならない これは集合族 M の交わりを M x A M x A displaystyle bigcap mathbf M x forall A in mathbf M x in A で定義するために M が空ならば A M なる集合は存在しないから x が満たすべき条件は一体何であるか という問題を生じるからである M が空なるときの上記条件は空虚な真 英語版 の一例であるから 答えは 可能な限りの全ての x となるべきである すなわち 空な集合族の交わりは普遍集合 交叉演算の単位元 と定義することになる 6 困ったことに標準的な集合論 ZFC には普遍集合が存在しないから これを部分的に回避するために宇宙と呼ばれる一つの大きな集合 U を固定してその部分集合となる集合のみを考えることがよく行われる このような条件下での U の部分集合族の交わりは M x U A M x A displaystyle bigcap mathbf M x in U forall A in mathbf M x in A と定義されるべきものであって ここで M を空にとっても何も問題は生じない 即ち 空な交叉は定義により well defined であって宇宙全体 U に一致する そしてそれは U の部分集合全体の上で定義される交叉演算の単位元である 注 編集 集合の代数学あるいは集合族のブール代数において この場合 和に相当するのは集合論的差または対称差である 集合環なども参照 集合論的和は結びと呼ばれ 補集合を取る操作に通じて積と同等の役割を果たす Cajori F 1993 A History of Mathematical Notations 688 Dover ISBN 0 486 67766 4 https books google com books id byqAAAAQBAJ Calcolo geometrico secondo l Ausdehnungslehre di H Grassmann インターネット アーカイブ 交わりの記号 は結びの記号 と共に1888年にジュゼッペ ペアノによって導入された 2 3 集合が非増大列 M1 M2 をなすとき それらの共通部分は逆極限を用いて lim M n displaystyle textstyle varprojlim M n と書くこともできる Megginson Robert E 1998 Chapter 1 An introduction to Banach space theory Graduate Texts in Mathematics 183 New York Springer Verlag pp xx 596 ISBN 0 387 98431 3 関連項目 編集集合の代数学 和 差 積 商 素集合 非交和 p 系 英語版 有限交叉で閉じている集合族 コンパクト空間 有限交叉性 finite intersection property で特徴付けられる 論理積外部リンク 編集Weisstein Eric W Intersection MathWorld 英語 intersection PlanetMath 英語 https ja wikipedia org w index php title 共通部分 数学 amp oldid 92066647 から取得, ウィキペディア、ウィキ、本、library、

論文

、読んだ、ダウンロード、自由、無料ダウンロード、mp3、video、mp4、3gp、 jpg、jpeg、gif、png、画像、音楽、歌、映画、本、ゲーム、ゲーム。