等号

＝

等号（とうごう）は「=」のかたちをした数学記号である。「イコール」と読むことが多い。等号の左右が等価であることを表し、等号で結ばれた数式を「等式」と呼ぶ。1557年にウェールズの数学者ロバート・レコードによって発明された。

歴史

等号の「=」は国際的に認知された記号であるが、最初に使用したのは、ウェールズの数学者ロバート・レコードである。そのときの字形は現在よりもとても長いものであった。

当時使用されていた等号としては「=」はメジャーではなく、「‖」や「æ」、「œ」が使用されていた。

関連記号

恒等

≡

詳細は「合同記号」を参照

常に等号が成り立つ恒等式を、方程式と明確に区別したいとき「≡」が使われる。ただし「=」を使っても間違いではない。

 $A \equiv B$  （ $A$  と  $B$  は恒等的に等しい）

「=」と「≡」の違いは次の例でわかりやすい。

 $x + 1 = 0$  （方程式）
 $x + 1 \equiv 1 + x$  （恒等式）

また、定義を通常の等式と区別したいときも「≡」が使われる。ただし「=」を使っても間違いではない。

 $A \equiv B$  （ $A$  を  $B$  と定義する）

この他の定義の表し方については#定義を参照。

等号否定

「否定」も参照

≠

「≠」は等号の否定を表し等号否定と呼ばれる。この符号は ≠ の左右が等価でないことを示す。

 $A \neq B$  （ $A$  と  $B$  は等しくない）

これと「 $A = B$ でない」はまったく同じ意味である。

ほぼ等しい

「近似」も参照

∼ ≃ ≈ ≒

「∼」「≃」「≈」「≒」などは「ほぼ等しい」「おおよそ等しい」「近似的に等しい」「約(およそ)」などを表し、近似式や近似値などに使われる。それぞれの記号は用途によって使い分けられるが、記号ごとの意味の対応は明確ではなく、厳密な定義は著者に委ねられている。

 $A ≒ B$  （ $A$  は  $B$  にほぼ等しい）

日本などの東アジアの一部地域では「2 項がほぼ等しい」という意味で「≒」が用いられるが、その他の地域や数学などの専門的な文献においては「≃」を用いることが多い。また、数学的な意味以外でも、日本語の文章では「ほとんど同じ」という意図で使用されることもある。

定義

「定義」も参照

≔ ≕ def = Δ =

ある記号 $A$ が意味するものを、ある記号 $B$ が意味するものと同じであると定義するには「≔」を用いて

 $A ≔ B$  （ $A$  を  $B$  によって定義する）

と書く。このほかにも、「＝」の上に小さく "def" ^[1]や "△" ^[2]などを書いた記号が用いられることもある。

 $A def = B$ 
 $A Δ = B$

「:=」については，「A := B」と同じ意味で

B =: A

とかくこともある．つまりは「コロン“：”のある側の内容を，無い側の内容（こちらはその文脈において既に定義されているものに限る）で定義する」という使い方をする．たとえば， $a,b\in \mathbb {R}$ に対する区間 $[a,b)\ ;$ 和 $\sum _{i=1}^{5}a_{i}$ を定義するときに

 $[a,b):=\{x\in \mathbb {R} \ |\ a\leq x<b\}\ ;\ \sum _{i=1}^{5}a_{i}:=a_{1}+a_{2}+a_{3}+a_{4}+a_{5},$

または

 $\{x\in \mathbb {R} \ |\ a\leq x<b\}=:[a,b)\ ;\ a_{1}+a_{2}+a_{3}+a_{4}+a_{5}=:\sum _{i=1}^{5}a_{i}$

と書いたりする．

特殊な使い方

数学

図形については、「=」は長さ、面積、体積が等しいことを意味する。「△ABC = △DEF」は2つの三角形の面積が等しいということである。2つの図形が同一である、つまり合同であることを示すには「≡」を使う。
総和記号や総乗記号では、 $\sum _{i=0}^{10}x_{i}$ のように書くが、等号は第1項での i の値を表す。

プログラム言語

C言語、perl、Javaなど多くのプログラム言語では、= は右辺の値を左辺の変数へ代入することを表す代入演算子 (assignment operator) である。一方、数学での「=」に当たる等価演算子（多くの場合、比較演算子の一種とされる）は = を 2 つ続けた == （ダブルイコール）である。

= を代入に使うのは FORTRAN が起源とされる。FORTRAN は文字・記号の種類を非常に少なく設計しており、なおかつプログラムでは頻繁に使われる代入を簡単に表せるようにするため、このような言語仕様になった。なお、のちの多くの言語と異なり、FORTRAN の等価演算子は == ではなく .EQ. である。

これらの言語に対し、Pascalなどでは、数学での用法と同じく、等価演算子は = である。代入演算子はPascalやPL/SQLなどでは :=（コロンイコール）、APLなどでは「←」である。抽象アルゴリズムの記述では数学での「=」の意味と矛盾しないこれらの記法のほうが好まれる。

BASICでは、同一の演算子記号「=」が文脈によって等価演算子か代入演算子か判断される。

「≠」にあたる不等価演算子には、!=（等価演算子に「==」を使う言語の多く）、<>（等価演算子に「=」を使う言語の多く）、/=、^= などが使われる。

C言語、perl、Java などでは、通常の代入演算子以外に、加算代入演算子 +=、減算代入演算子 -=、乗算代入演算子*=、除算代入演算子 /= などを備える。例えば a が変数のとき、a += 5; は a = a + 5;（a の値を、元の値に 5 を加えた値で置き換える）と同じである。

異なる意味合いの比較に、別の演算子を用意している言語もある。たとえば Perl では ==!= は数値としての比較、eqne は文字列としての比較をする演算子である。

人名

ハールーン・アッ＝ラシード (Hārūn al-Rashīd) のように名前の読みがリエゾンする場合に「＝」を用いる事もあるが、正しくはこれは「゠」のダブルハイフンを使用するのが正しい。

符号位置

記号	Unicode	JIS X 0213	文字参照	名称
=	`U+003D`	`1-1-65`	`=` `=`	等号 EQUALS SIGN
＝	`U+FF1D`	`1-1-65`	`＝` `＝`	等号（全角） FULLWIDTH EQUALS SIGN
≠	`U+2260`	`1-1-66`	`≠` `≠` `≠`	等号否定 NOT EQUIVALENT TO
≒	`U+2252`	`1-2-66`	`≒` `≒`	ほとんど等しい APPROXIMATELY EQUAL TO^[3]
≃	`U+2243`	`1-2-76`	`≃` `≃`	漸進的に等しい、ホモトープ
≈	`U+2248`	`1-2-78`	`≈` `≈` `≈`	近似的に等しい、同相

脚注

^ define,definitionの略である
^ define,definitionの頭文字のDに対応するギリシャ文字Δ（デルタ）に由来する
^ http://www.unicode.org/charts/PDF/U2200.pdf (PDF)

歴史