同値関係

提供: miniwiki
2018/8/19/ (日) 17:45時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内、検索


数学において、同値関係（どうちかんけい、英: equivalence relation）は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割（類別）する。

同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 R に関して二元 a, b が同値であることを "a ~ b" や "a ≡ b" で表すのがもっともよく用いられる記法である。R に関して同値であることを明示する場合には、"a ~R b" や "a ≡R b" あるいは "aRb" などと書かれる。

定義

ある集合 S において、二項関係 ∼ が次の性質を満たすとき、∼ は S 上の同値関係であるという。S の任意の元 a, b, c に対し、

上の三つをまとめてしばしば同値律という[1]。∼ が同値関係であるとき、a ∼ b であることを、a と b は同値であると言う[1]。

例

  • 相等関係 (=)：集合としてあるいは集合の元として同じである。表現形式や構成要素が同一である。
  • 図形の合同関係：位置や裏表や向きの違いを無視して、図形として同じである。
  • 図形の相似関係：裏表・向き・大きさの比率の違いを無視して、図形の "形" としては同じである。
  • 量の比例関係：増え方・減り方の割合としては同じである。
  • 整数の合同関係：ある数で割った余りが同じである。

以下のものは一般には、類における "関係" となる。

  • 集合の濃度の対等 "関係"：集合の中身は別として、集合の大きさとしては同じである。
  • 命題が同値であるという "関係"：二つの命題において、真偽（真理値）が同じである、または互いに片方から他方を証明できる。

諸概念

同値類

"「同値類」"

集合 S の上に同値関係 ∼ が定義されているときには、S の各元 a に対して a に同値である元を全て集めた集合を考えることができる。この S の部分集合を、a を代表[2]あるいは代表元 (representative) とする同値類 (equivalence class) または単に a の（属する）類[2]と呼び、普通 [a], a, C(a)[3] などと書く：

[math][a] := \{ x \in S \mid a \sim x\}.[/math]

また、一つの同値類 X に対して、[x] = X となる S の元 x を1つ定めることを、X の代表元として x をとるという。1つの同値類は、それに含まれている元のうちどれをとっても、それを代表元とする同値類はもとと同じ集合になる（代表元の取替えによって不変である）：

[math]X = [x],\ y \in X \iff y \in [x] \iff x \sim y \iff x \in [y] \iff [y] = X,\, x \in X.[/math]

ゆえに同値類に関する性質を代表元の性質のみによって記述することは、一般には適当でない。X 上の同値関係 ~ が与えられたとき、X の元に関する性質 P が x ~ y なるとき常に P(x) ならば P(y) を満たすならば、性質 P は同値関係 ~ のもとで well-defined であるとか、各同値類上で不変 (class invariant; 類不変) であるなどという。

そのようなものとしてよくあるのが、写像 f: X → Y で、x1 ~ x2 ならば f(x1) = f(x2) なるときである。この場合、f は各同値類上で定数 (class invariant under ~)、あるいは ~ のもとで不変 (invariant under ~), より短く ~-不変などという。このようなものは例えば有限群の指標論などで見かけることができる。また、このような写像の性質を可換三角図式として書き表すことができる（不変量なども参照）。文献によっては、不変という代わりに、~ に関する準同型 (morphism; 射) であるとか ~ と両立する (compatible with ~) とか適合する ("respects ~") などのように言うこともある。

より一般に、（ある関係 ~A に関して）同値なものを（べつの関係 ~B に関して）同値なものへ写す写像を考えることができて、そのような写像を ~A から ~B への準同型（あるいは射）などと呼ぶ。

商集合

集合 S の同値関係 ∼ に関する同値類全体のなす集合を、S を同値関係 ∼ で割った集合、あるいは S の ∼ による商集合と呼び、

[math]S/{\sim} := \{[x] \mid x \in S\}[/math]

と表す。集合 S の元にそれが属する同値類を対応させることで、商集合への自然な全射

[math]\pi\colon S \twoheadrightarrow S/{\sim};\ x \mapsto [x][/math]

が与えられる。これを同値関係 ∼ に付随する商写像や標準射影などと呼ぶ。

定理 (標準射影の普遍性)[4]
写像 f: X → B が a ~ b ならば f(a) = f(b) を満たすならば、商集合からの写像 g: X/~ → B で f = g ∘ π（π は標準射影）を満たすものが一意に存在する。さらに、f が全射かつ a ~ b ⇔ f(a) = f(b) を満たすとき、g は全単射となる。

また、S の相異なる同値類からはひとつずつ、全部の同値類から代表元を取り出して作った S の部分集合を、集合 S における同値関係 ∼ の（あるいは商集合 S/∼ の）完全代表系 (complete system of representatives) と呼ぶ。つまり、S の部分集合 A が同値関係 ∼ に関する完全代表系であるとは、包含写像と標準射影の合成 A ↪ S ↠ S/∼; a ↦ [a] が全単射となることである。

類別

"「集合の分割」"

集合 S に対して、S の空集合を含まない部分集合族 M で、M に属するどの2つの相異なる集合も交わりを持たず、M の和集合が S 全体に一致するとき、集合族 M を集合 S の類別または分類 (classification)[2] あるいは分割 (partition) と呼ぶ。

定理 (同値関係と類別の関係)
  • 集合 X 上の同値関係 ~ は X を類別する。
  • X の任意の類別に対して X 上の同値関係 ~ が一意的に対応する。

これが同値関係と類別の間の基本的な結果である[5][6][7]。 何れの主張も、X の分割のセル全体の成す集合が X の ~ に関する同値類全体の成す集合に一致する。X の各元 x は X の分割のセルのうちただ一つのみに属するのだから（かつ、各セルは同値類に同一視できるのだから）、各元 x は X の同値類のうちただ一つのみに属する。従って、X 上で可能な同値関係全体の成す集合と X の分割全体の成す集合との間に自然な全単射が存在することがわかる。

同値核

写像 f の同値核 (equivalence kernel) あるいは f に付随する同値関係[8]とは、

[math]x\sim y \iff f(x) = f(y)[/math]

で定義される関係 ~ を言う。

同値関係の比較

集合 S 上の二つの同値関係 ~, ≈ が a ~ b ならば a ≈ b を任意の a, b ∈ S に対して満たすとき、同値関係 ≈ は ~ より粗い (coarser) または弱いといい、~ は ≈ より細かい (finer) または強いという。

同値類の言葉で言えば

  • ~ が ≈ より細かいとは、~ に関する任意の同値類が ≈ に関する適当な同値類の部分集合となるときにいう。

それゆえ、≈ に関する任意の同値類は ~ に関する同値類の合併になる。すなわち

  • ~ が ≈ より細かいとは、~ の定める分割が ≈ の定める分割の細分となるときに言う。

とも言い換えられる。

相等関係は任意の集合上で最強の同値関係であり、自明な関係[9]はどの二元も互いに同値となるような最弱の同値関係となる。

集合 S を固定して考えるとき、その上の同値関係全体の成す集合上で、"~ は ≈ より細かい" という関係はそれ自身半順序を成し、それにより S 上の同値関係の全体は幾何束（English版）を成す[10]。

商集合の例

整数全体のなす集合 Z に、a と b の差 a − b が 3 の倍数であるときまたそのときに限って a ≡ b という関係 ≡ を決めると、これは同値関係になる。

この関係によって集合 Z が3つの同値類（この場合、剰余類 とも呼ばれる）に分割される。それぞれの同値類は 3 で割り切れるもの全体 [0]、1 余るもの全体 [1]、2 余るもの全体 [2] に対応している。

この商集合は普通 Z/3Z と書かれ、自然に演算が定義できて、加法に関するアーベル群、さらに乗法をいれて可換環になる（剰余類環）。また p が素数のとき Z/pZ は体（有限体）になる。

同様の例として、商線型空間（商ベクトル空間）、剰余群（剰余類群、商群）、剰余環（商環）、商位相空間などはそれぞれ適当な同値関係による商集合（に適切な構造を付与したもの）として定義される。

他の二項関係との関係

  • 半順序は反射的・反対称的かつ推移的な二項関係をいう。
  • 相等関係は半順序かつ同値関係となるような関係である。また、相等関係は反射的・対称的かつ反対称的な唯一の関係である。
  • 狭義半順序は、非反射的・推移的かつ非対称的をいう。
  • 半同値関係（English版）は推移的かつ対称的である。推移性と対称性から反射性が出るための必要十分条件は、各元 a ∈ X に対して適当な b ∈ X をとれば a ~ b とできることである。
  • 反射的かつ対称的な関係は、それが有限なとき従属関係（English版）といい、無限なとき容認関係（English版）という。
  • 前順序（English版） は反射的かつ推移的な関係をいう。
  • 合同関係は適当な代数系の台集合上で定義される同値関係で、付随する代数構造と両立するようなものをいう。一般に、合同関係は準同型の核と同じ役割を果たすもので、それによる商集合に商代数系の構造を入れることができる。多くの重要な場合において合同関係は考えている構造の部分構造として実現することができる（例えば、群の合同関係は正規部分群に対応する）。

ユークリッド関係

ユークリッドの著『原論』には

公理 1
同じものに等しいもの同士は互いに等しい

という公理がある。今日において、上の公理の「等しい」という部分をすべて「関係する」と書き換えた性質を満足する関係はユークリッド的（English版）であると言われる。二項関係 R に関して一般には aRb は bRa と相異なるから、ユークリッド関係も

  • 左ユークリッド関係: (aRc かつ bRc) ならば aRb
  • 右ユークリッド関係: (cRa かつ cRb) ならば aRb

の二種類が考えられる。ユークリッド関係と同値関係との関係は以下のように述べることができる:

定理
与えられた左（または右）ユークリッド関係が反射的ならば、その関係は対称的かつ推移的となる。

証明は以下のようにすればよい。

  • 左ユークリッド関係の性質 [(aRc かつ bRc) ならば aRb] において a = c ととれば、[(aRa かつ bRa) ならば aRb] を得る。いま仮定により R は反射的だから恒真となる aRa を除去すれば対称性 [bRa ならば aRb] を得る。
  • 対称性が示されたから、左ユークリッド関係の性質 [(aRc かつ bRc) ならば aRb] において bRc を cRb で置き換えて推移性 [(aRc かつ cRb) ならば aRb] を得る。

右ユークリッド関係についても同様。ゆえに、同値関係は反射的かつユークリッド的な二項関係として特徴づけられる。

一般化

"「余等化子」"

同値関係を圏論的に一般化した概念に余等化子がある。圏 C の射 f, g: X → Y の余等化子とは対象 Q と射 q: Y → Q の組であって、qf = qg を満たし、以下の普遍性を持つものである：対象 Qテンプレート:' と射 qテンプレート:': Y → Qテンプレート:' の組があって、qテンプレート:'f = qテンプレート:'g を満たすならば、次の図式を可換にする射 u: Q → Qテンプレート:' がただひとつ存在する[11]。

ファイル:Свойство коуравнителя.png

集合 S 上に同値関係 ∼ が与えられたとする。R = {(x, y) ∈ S × S | x ∼ y} とおき、写像 r1, r2: R → S を r1(x, y) = x, r2(x, y) = y で定義すると、商集合 S/∼ と標準射影 π: S → S/∼ の組は集合の圏における r1 と r2 の余等化子である。

注

  1. ↑ 1.0 1.1 松坂 1968, p. 54.
  2. ↑ 2.0 2.1 2.2 松坂 1968, p. 57.
  3. ↑ 松坂 1968, p. 56.
  4. ↑ Garrett Birkhoff and Saunders Mac Lane, 1999 (1967). Algebra, 3rd ed. p. 35, Th. 19. Chelsea.
  5. ↑ Wallace, D. A. R., 1998. Groups, Rings and Fields. p. 31, Th. 8. Springer-Verlag.
  6. ↑ Dummit, D. S., and Foote, R. M., 2004. Abstract Algebra, 3rd ed. p. 3, Prop. 2. John Wiley & Sons.
  7. ↑ Karel Hrbacek & Thomas Jech (1999) Introduction to Set Theory, 3rd edition, pages 29–32, Marcel Dekker
  8. ↑ 松坂 1968, p. 55.
  9. ↑ ProofWiki: Trivial_Relation, Trivial_Relation_is_Equivalence
  10. ↑ Birkhoff, Garrett (1995), Lattice Theory, Colloquium Publications, 25 (3rd ed.), American Mathematical Society, ISBN 9780821810255 . Sect. IV.9, Theorem 12, page 95
  11. ↑ (2006) Category theory. Oxford University Press. ISBN 0-19-856861-4. “テンプレート:Google books quote” 

参考文献

  • 松坂和夫 『集合・位相入門』 岩波書店、1968年。 

関連項目

外部リンク



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=同値関係&oldid=116536」から取得