同値関係と同値類
概要
同値関係・同値類についての解説と例を紹介します。
定義
集合に対して二項関係を定める。(二項関係とはといったものである。例えばのように、2つの対象がある関係を満たしているかといったものを考える。ここで先程の写像の形式で書くと「$x$と$y$が関係$\sim$を満たしている」を*1というように表記する。)
ここで、二項関係が以下の関係を満たしている時、を同値関係という。
- についてが成り立つ(反射律)
- ならば必ずが成り立つ(対称律)
- かつならば必ずが成り立つ(推移律)
ここで、の同値類を以下のように定める。記号ではと書くことがよくある
$$[x]:=\{y|x\sim y\} $$
そしてによる剰余集合を、以下のように定める。
$$X/\sim :=\{[x]|x\in X\}$$
結局これは集合の集合みたいな形になっている。
注意点
反射律は必要不可欠なものである。
「となるようなものに対して、対称律よりとなるため推移律よりとなるため反射律が導かれる」みたいな論法があるが、これはとなるようなが存在することを暗黙の前提としているのである。よって逆に「となるようなが存在しない例」をうまく考えれば反例を構成することができる。
たとえばとなるような二項関係は対称律と推移律を満たしている(A⇒BのAが偽であるためBの真偽に関わらず命題が真となる)が、反射律は満たしていないため、これは同値関係にはならない。
性質
同値な性質
$x,y\in X$とその中の同値類$\sim$に対して、
- $x\sim y$
- $[x]=[y]$
- $[x]\cap [y]\neq \emptyset$
が同値になるらしい。
以下証明
1⇒2
を任意に取ってくると,で仮定よりとなるため推移律よりとなる。よってとなるため、となる。を逆転させて同様の議論をすると,が言えるため結局となる。
2⇒3
反射律よりである。よってよりであるため、となるため特にとなる。
3⇒1
を任意に取ってくると、このときより、よりとなる。よって対称律と推移律によりとなることがいえる。
証明終
結局同値関係は(イコール)と似たような性質を持っていて、それを剰余集合の世界に移動すると、同値関係が(イコール)と同じような性質を持つことになる。現にならばとなるための世界で(イコール)の関係となる。
商写像
集合とその同値類に対して、写像を
$$p(x)=[x]$$
と定めるとこれは全射となる。「商写像」や「自然な全射」といった表現を見かけたときは、これを指していることが多い。
位相構造
を位相空間、を同値関係としたとき、商集合を以下のように定める。
が開集合⇔がの位相で開集合(は商写像)
⇔が(Xの位相で)開集合
これを商位相と言ったりもする。
具体例
三角形と相似
ここでを「平面上の三角形全体の集合」として、を「相似の関係(ならば三角形と三角形が相似となる)」とする。このときは同値関係になっている。その場合、同値類というものは「と相似な三角形全体の集合」となるが、剰余集合というものは実は「大きさを無視した三角形全体の集合」と同一視できる。そうすると結局の所、の元は3頂点の角度の情報だけで表すことができるというようなことが分かってくる。
写像
を集合としてを写像とする。このとき、に対して同値関係を以下のように定める。
$$x\sim y\Leftrightarrow f(x)=f(y)$$
ここでwell-defined性に注意(ならばとなるかを確認せよ)
単射についてはならばとなるためOK
ちなみに写像を適当に持ってきたら、というように変化させれば自然に全単射になるように改造することができる。という変換によって単射になって、という変換によって全射になる。
群(剰余群)
を群として、をの部分群とする。このとき、に対して
$$a\sim b\Leftrightarrow ab^{-1}\in N$$とすると、は同値関係となる。
反射律はより明らか、対称律はより言える。反射律についてはより言える。
ここで、が正規部分群であるならば(以下単純にとかく)は群構造をなす。これを剰余群という。
ここで、の元はとなり、が正規部分群であることからと書ける。ここで剰余群の積はと定義される。
以下関連記事
環とイデアル(剰余環)
を環とする。*2(念の為零環ではない可換環だけを考える。つまり積についての交換法則を仮定する。)このとき、の部分集合が以下を満たしている時をイデアルという。(ここで、0を加法単位元として1を乗法単位元とする)
- 任意のについてとなる
- 任意のについてとなる
- 任意のについてとなる
ここで、について同値関係を以下で定める。
$$x\sim y \Leftrightarrow (x-y)\in I$$
対称律は明らか、反射律についてはよりOK、推移律についてはよりOK。
環を和という演算だけ見た時群になるが、このときイデアルはの部分群となる。よって剰余集合を定めることができる。これも群のときと同じように大抵はという表記をする。また、はの正規部分群でもあるため、(加法について可換なのでより部分群はすべて正規部分群となる。)は加法について群の構造をなしている。ここで、の元はというような表記ができるが、和についてはとなることが言える。
ここででの積を以下のように定める。
「を任意に取ってきたときの」
これはwell-definedであることに注意。についてとなるためとなるため、積の結果は剰余集合の元として一意に定まる。これは明らかに分配法則・結合法則を満たしているため、は環となる。このとき、を剰余環という。
ベクトル空間(商線形空間)
関連記事
をベクトル空間、をその部分空間としたとき、集合に対して同値関係を以下で定める。
$$x\sim y\Leftrightarrow (x-y)\in W$$
これは群のときとほとんど同じである。
このとき、同値類はと表記されて、これを商線形空間と呼ぶ。
の元はまたはと表記されるが、と定めることでこれは無事線形空間となることが確認できる。
商体
を整域*3とする。このとき、に対して同値類を
$$(a,b)\sim (c,d)\Leftrightarrow ad=bc$$
と定めると、は体となる。これを商体という。という表記がされているらしい。
和を、積をと定める
体のいくつかの性質について確認してみる。
となるため結合法則が成立
より分配法則が成立
このとき、に対して,これが加法の単位元と異なればが言えるためはの乗法逆元となる。
また、をと定めるとこれは単射となる。
具体例としては、が成り立つ。
ホモトピック
を弧状連結な位相空間とし、とする。このとき、連続写像がホモトピックであることをと表記して以下で定義する。
$f\simeq g$⇔「というの意味で連続な写像が存在して、を満たす」
これは同値関係となっている。
対称律については明らか(とすればよい)
反射律についてはとすればいいのでOK
推移率についてはがについて,がという写像についてホモトピックであるようにできると、
$$H(t,s)=F(t,2s):(0\leq s\leq 1/2);G(t,2s-1):(1/2\lt s\leq 1)$$
とすればはとをホモトピックとするための写像となる。
このホモトピックに対する同値類というものは基本群を定義する上で登場する。
具体的には固定されたに対してとなるような連続関数全体の集合について、ホモトピックという同値関係で割った同値類を考える。このときの商集合の元はというような表記をして、これをホモトピー類という。これに対して和や逆元などの演算を適切に定めると、演算が群構造をなすようにできて、この同値類全体の集合からなる群をの基本群といい、と書く。
が弧状連結ならばをどのようにとってもは同型であるため単にと書くこともある。
ホモトピー同値
を位相空間として、ある写像・が存在して以下の条件を満たせばとはホモトピー同値であるといい、とかく。
条件:「が(という恒等写像)とホモトピックであり、かつがとホモトピックである」
これは同値関係となる。反射律と対称律は明らか。推移律については写像の合成をすればよい。
ホモトピー同値は位相同型よりもゆるい関係である。位相同型ならばホモトピー同値となるが、ホモトピー同値だからといって位相同型とは限らない。
先程のホモトピックの例と関連させると、例えばならば(ホモトピー同値が群の同型に対応する)といったような性質がある。