等号
等号の最新ニュースをまとめて検索!
等号(とうごう、equal sign)は「=」のかたちをした数学記号である。「イコール」と読むことが多い。等号の左右が等価であることを表し、等号で結ばれた数式を「等式」と呼ぶ。1557年にウェールズの数学者ロバート・レコードによって発明された。
目次 |
[編集] 歴史
等号の「=」は国際的に認知された記号であるが、最初に使用したのは、ウェールズの数学者ロバート・レコードである。そのときの字形は現在よりもとても長いものであった。
当時使用されていた等号としては「=」はメジャーではなく、「‖」や「æ」、「œ」が使用されていた。
[編集] 関連記号
[編集] 恒等
詳細は「合同記号」を参照
常に等号が成り立つ恒等式を、方程式と明確に区別したいとき、「≡」が使われる。ただし、「=」を使っても間違いではない。
A ≡ B (AとBは常に等しい)
「=」と「≡」の違いは次の例でわかりやすい。
x + 1 = 0 (方程式) x + 1 ≡ 1 + x (恒等式)
また、定義を通常の等式と区別したいときも、「≡」が使われる。ただし、「=」を使っても間違いではない。
A ≡ B (AをBと定義する)
[編集] 等号否定
「≠」は等号の否定を表し等号否定と呼ばれる。この符号は≠の左右が同一でないことを示す。
A ≠ B (AとBは等しくない)
これと「A = B でない」はまったく同じ意味である。
[編集] ほぼ等しい
「∼」「≃」「≈」「≒」などは「ほぼ等しい」「おおよそ等しい」「近似的に等しい」を表し、近似式や近似値などに使われる。いくつか似た意味の記号があるが明確な使い分けはなく、また許容誤差など厳密な意味は文脈に依存する。
A ≒ B (AはBにほぼ等しい)
一般に日本語の文章中に記載される場合は、数学の専門書を除き「≒」が使用されることが多い。また、数学的な意味以外でも、日本語の文章では「ほとんど同じ」という意図で「たばこ≒麻薬」などのように使用されることもある。
[編集] 定義
ある記号Aが意味するものを、ある記号Bが意味するものと同じであると定義するには、「:=」を用いて「A:=B」と書く。このほかにも、「=」の上に小さく"def"や"△"などを書いた記号が用いられることともある。
[編集] 特殊な使い方
[編集] 数学
- 図形については、「=」は長さ、面積、体積が等しいことを意味する。「△ABC = △DEF」は2つの三角形の面積が等しいということである。2つの図形が同一である、つまり合同であることを示すには「≡」を使う。
- 総和記号や総乗記号では、
のように書くが、等号は第1項での i の値を表す。
[編集] プログラム言語
C言語、perl、Javaなど多くのプログラム言語では、「=」は右辺の値を左辺の変数へ代入することを表す代入演算子である。一方、数学での「=」に当たる等価演算子(多くの場合、比較演算子の一種とされる)は「=」を2つ続けた「==」(ダブルイコール)である。
「=」を代入に使うのはFORTRANが起源とされる。FORTRANは文字・記号の種類を非常に少なく設計しており、なおかつプログラムでは頻繁に使われる代入を簡単に表せるようにするため、このような言語仕様になった。なおのちの多くの言語と異なり、FORTRANの等価演算子は「==」ではなく「.EQ.」である。
これらの言語に対し、Pascalなどでは、数学での用法と同じく、等価演算子は「=」である。代入演算子はPascalやPL/SQLなどでは「:=」(コロンイコール)、APLなどでは「←」である。抽象アルゴリズムの記述では数学での「=」の意味と矛盾しないこれらの記法のほうが好まれる。
BASICでは、同一の演算子記号「=」が文脈によって等価演算子か代入演算子か判断される。
「≠」にあたる不等価演算子には、「!=」(等価演算子に「==」を使う言語の多く)、「<>」(等価演算子に「=」を使う言語の多く)、「/=」、「^=」などが使われる。
C言語、perl、Javaなどでは、通常の代入演算子以外に、加算代入演算子「+=」、減算代入演算子「-=」、乗算代入演算子「*=」、除算代入演算子「/=」などを備える。
異なる意味合いの比較に、別の演算子を用意している言語もある。たとえばPerlでは「==」「!=」は数値としての比較、「eq」「ne」は文字列としての比較をする演算子である。
[編集] 符号位置
| 記号 | Unicode | JIS X 0213 | 文字参照 | 名称 |
|---|---|---|---|---|
| = | U+003D | 1-1-65 | = = |
等号 |
| ≠ | U+2260 | 1-1-66 | ≠ ≠ |
等号否定 |
| ≒ | U+2252 | 1-2-66 | ≒ ≒ |
ほとんど等しい |
| ≃ | U+2243 | 1-2-76 | ≃ ≃ |
漸進的に等しい、ホモトープ |
| ≈ | U+2248 | 1-2-78 | ≈ ≈ |
近似的に等しい、同相 |


