等式

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動

等式(とうしき、: equality)とは、二つの対象の等価性相等関係 を表す数式のことである。

導入[編集]

等式は等号(とうごう、equal sign)と呼ばれる記号 "=" によって、二つの対象 a, b を結合させる二項関係として

のように記される。このとき、ab は(互いに等しい、(等しい相等であるなどという。また、a にあたる対象を等式の左辺b にあたる対象を等式の右辺といい、左辺と右辺を総じて両辺、各々を各辺と呼ぶ。また、この否定を

で表し、ab は等しくない、あるいは異なるという。記号 "≠" は等号否定と呼ばれる。通常、等号は以下の2つの公理によって定義される。[1]

  • 反射律: 対象 a が何であっても a = a は常に成り立つ。
  • 代入原理: 対象 a, ba = b であるときには、一つの自由変数 x を含むどんな命題関数 P(x) についても P(a) ⇔ P(b) が(両辺ともに一意的な意味を持つ限りにおいて)常に成り立つ。

さらに、代入原理と反射律から以下の性質が導かれる。[2]

  • 対称律: 対象 a, b について a = b が成り立っているときはいつでも b = a も同時に成り立つ。
  • 推移律: 対象 a, b, c に対して a = bb = c が同時に成り立っているときには常に a = c も同時に成り立つ。

このように、相当性は反射率、対称律、推移律を満たすため、相当性は同値関係の一種であり、また「相等性とは代入原理を満足する同値関係のことである」と言っても(冗長だが)定義と同じことである。等式は数学において最も基本的な同値関係を与えるものであると見ることができる。

ここで、見かけ上異なるものが等しいものを表したり、表記の都合などから見かけ上同じに見えるものが別の対象を指し示したりすることがあるため、何かが等しいというためには各辺にどのような対象をとるか、対象が何者であるかということを明確にしなければならないということを意識する必要がある。場合によっては相等といわず、同値同型合同などと呼んで、等号の代わりにそれぞれ特有の記号を用いることもある。

代入原理はもう少し一般に、対象 ai, bj が、

であるならば、l 個の自由変数 x1, x2, ..., xl を持ついかなる命題関数 P(x1, x2, ..., xl) に対しても

が成り立つ、という形に述べることもある。これは命題関数 P(x) において自由変数 x が複数回現れるとき、命題 P(a) に現れる a の一部をそれと等しいもので置き換えてもよいことを含意している。なんとなれば、全ての i について ai = a で、いくつかの j について bj = b かつそれ以外の j について bj = a と置いてみるとよい。

算術[編集]

四則演算について、a, b, c を勝手な定数として、a = b であるときには

  • a + c = b + c,
  • ac = bc,
  • ac = bc,
  • a/c = b/c

が両辺が定義可能である限りにおいて成り立つ。これは x ± c, xc, x/c なる式によって代入原理から導かれる。殊に、

a = b ± c

となることは複号同順で

a −(± c) = b

となることに同値であることが従う。これは見かけ上、一方の辺における一部の項を、符号を変えて他方の辺に移す操作に見えることから、この等価な 2 式の一方を他方に入れ替えることを移項(いこう、transpose)と呼ぶ。

参考文献[編集]

[ヘルプ]
  1. ^ 前原昭二, 2005,『記号論理入門 新装版』日本評論社 (ISBN 4-535-60144-5), p137
  2. ^ 前原昭二, 2005,『記号論理入門 新装版』日本評論社 (ISBN 4-535-60144-5) p189

関連項目[編集]

外部リンク[編集]

  • 等式の百科事典
  • Weisstein, Eric W. "Equality". MathWorld(英語).
  • equality - PlanetMath.(英語)