数学で用いられる抽象的な概念。皆さんは、ニコニコ動画で動画を見る際に、どのようにして目的の動画にアクセスするだろうか。方法のひとつとして、キーワードやタグで検索するというものがある。検索結果は、ある条件に該当する動画が一覧になっているものである。このような一覧を、動画の「集まり」として見ることができる。この「集まり」を、数学では「集合」といい、それに属しているものを「要素」または「元」という。検索結果を例にとると、その検索結果に表示されている動画が元にあたる。集合は、単にものの集まりであればよいというわけではなく、「何が属していて、何が属していないのかがはっきりしていること」と「2つの元が同じものか違うものかがはっきりしていること」が必要である。「もっと評価されるべき動画からなる集合」は、「もっと評価されるべき」という基準がはっきりしていないので定義できない。「『もっと評価されるべき』というタグのついている動画からなる集合」は、タグがついているかついていないかで区別できるため、定義できる。タグは時間とともについたり外されたりするものなので、これも厳密には定義できないとも考えられる。時間を固定すれば問題ないことだが。日本の数学教育では高校の数学Aで初出。それでも「こんなのもありますよ」程度で済まされることが多い。大学に行くとこれでもかと言わんばかりに頻発する。大学では具体的な数や図形なども扱うが、さらに抽象的な対象を扱うことも多くなる。それらを記述するためには集合の概念が不可欠である。数学基礎論においては無くてはならないものである。場合によっては、集合そのものに「構造」を定義し、「空間」として扱うこともある。集合の例として、例えば次のようなものが挙げられる。フランドール・スカーレット}集合を作っているひとつひとつのことを要素、あるいは元(げん)と呼ぶ。数学の世界で集合と呼ばれるためには「誰が考えても同じ」になっている必要がある。そのため「俺の嫁の集合」というのは人によって変わってしまうので数学的には集合ではない。集合は大文字のアルファベットで表記することが多い。集合族(集合の集合)は太字で表記したり、特殊な文字を使ったりする。括弧内には元を具体的に列挙するか、元を表す記号とそれの満たす条件を|(縦線)で区切って書く。{...,-2,-1,0,1,2,...}{x|xは整数}前者のほうが具体的に書くことができるが、元の個数が無限である場合(無限集合という)、すべてを列挙することは不可能。集合の元の満たす条件が複雑な場合は、後者のほうがよりスマートに書ける。「○○全体の集合A」という言い回しがよく用いられる。実際、上の例はどちらも整数全体の集合である。これによって「aは○○を満たす」を「aはAに属する」と言い換えられ(逆もまた真)、条件についての表記を集合の表記に言い換える手段として用いられるのである。要素をまったく持たない集合。その性質から、あらゆる場面に登場する。考察する対象全体からなる集合。構造を定義して空間と呼ぶ場合もある。記号は、分野や筆者の書き方によって異なるが、XやAを用いることが多い(編集者の経験則)。次の集合には固有の記号が割り当てられており、太字か黒板太字で表される。要素との関係を表す際に、独特な記号を用いる。ここでは記号についてまとめる。アルファベット大文字は集合とする。帰属aがAに属すること。包含Aの元がすべてBに属すること。相等A⊂BかつB⊂Aを満たすこと。和集合AとBの少なくとも片方に属している元全体の集合。共通部分AとBの両方に属している元全体の集合。補集合Aに属さない元全体の集合。差集合Aに属して、かつBに属さない元全体の集合。(\はバックスラッシュ)直積Aの元とBの元の組(a,b)全体の集合。集合Aの部分集合全体の集合族。集合の大きさ集合の大きさを表す尺度として様々なものが考え出されている。包含関係による大小関係A=Bのとき、AとBは大きさが等しく、A≠BかつA⊂Bのとき、Aのほうが(真に)小さい、というもの。直観的でわかりやすいが、具体的な数値で表すことができない上、すべての集合を比べられるわけではない。集合の元の個数の概念を、無限集合にまで拡張したもの。「大きさを表す尺度」というと、これを思い浮かべる人も多いだろう。Aの濃度を記号では|A|や#Aと書く。AとBのそれぞれの元全体を、1対1に対応させることができるとき、AとBの濃度は等しいといい、|A|=|B|と表す。AとBは対等である、とも言う。AとBが対等でなく、かつAと対等なBの部分集合が存在するとき、AはBより濃度が(真に)小さいといい、|A|<|B|と表す。|A|=|B|または|A|<|B|であるとき、|A|≦|B|と表す。濃度による比較はあらゆる集合に対して行うことができる。A⊂Bのときは|A|≦|B|が成り立つため、包含関係による大小関係ともある程度対応している。(A=Bなら|A|=|B|だが、逆は一般には成り立たないので注意。)無限集合は無限というだけで一緒くたにされがちであるが、濃度では明確な違いがある。NとRは濃度が異なり、|N|<|R|であることが知られている(参照:可算無限と非可算無限)。このように、無限にも大小があるのである。Nと対等な集合を可算、もしくは可算無限集合という。ZやQは可算無限集合である。可算でない無限集合は非可算無限集合という。RやCがその例であるが、もっと濃度が大きいものも存在する。ちなみにRとCは濃度が等しい。可算無限集合は濃度でいうと無限集合の中では最小である。それどころか、非可算無限集合から見ると、可算無限集合はほとんど見えないようなものである。無限は有限に比べて、比べものにならないくらい途轍もなく大きいものであるが、非可算無限と可算無限にも同じことが言えるのではないだろうか。長さや面積等を、一般の集合に拡張したもの。線分の長さや平面図形の面積、空間図形の体積は、それ自体が図形の大きさを表す尺度と考えることができる。これを、空間内の様々な部分集合に適用することを考える。これが測度の最初の考えであり、ルベーグ測度と呼ばれるものにつながる。一般に測度とは、これを抽象化、一般化したもので、現在までに様々な測度が考え出されている。可測空間という、測度の定義できる集合族を設ける必要があり、かつ次の条件を満たさなければならない。測度は、無限大を含め0以上の値をとる。空集合の測度は0である。互いに素な高々可算個の集合に対し、その和集合の測度は、測度の和に等しい。ちなみに、前述した濃度は、測度のひとつとして考えることができる。「ある属性が同じ」という関係。=は勿論のことだが、他にも命題の同値(真偽が同じ)、整数の合同(余りが同じ)、図形の合同(形と大きさが同じ)や相似(大きさを無視して形が同じ)、ベクトルの0以外のスカラー倍(それを含む直線の方向が同じ)、集合の対等(濃度が同じ)、位相空間の同相や線形空間の同型(構造が同じ)等がある。一般に、集合Xで定義される関係「~」が次を満たす時、~を同値関係という。反射律:すべてのa∈Xに対して、a~a。対称律:a,b∈Xに対して、a~bならばb~a。~の定義された集合Xと、その元aに対して、次のようなXの部分集合を考えることができる。(Xの元で、aと同値なもの全体の集合)これをaの同値類という。次の3つの命題の真偽は一致する。a~b[a]=[b][a]∩[b]≠∅つまり、2つの元の間に同値関係が成り立てば、同値類が全く同じ集合になり、同値関係が成り立たなければ、同値類は全く交わりを持たない集合になる。この性質により、X全体を同値類によって分割することができる。Xの同値類全体の集合をX/~と表記する。nVn7wBR5sl載ってるじゃん。{∅,∅}が分かっているかどうかやな。02:59編集コメント:黒板太字追加。編集履歴を見るキャンセルウォッチリストに追加しました!すでにウォッチリストに入っています。OK追加に失敗しました。OK追加にはログインが必要です。キャンセルログインほめた!すでにほめています。ほめるを取消すOKすでにほめています。ほめるを取消すOKほめるを取消しました。OKほめるに失敗しました。OKほめるの取消しに失敗しました。OKほめるにはログインが必要です。キャンセルログインタグ編集にはログインが必要です。キャンセルログインタグ編集には利用規約の同意が必要です。キャンセル利用規約を読むTOP運営元:ドワンゴPC。