合同記号(ごうどうきごう)は、元来、合同式の合同(モジュロ)を表すための記号であり、「≡」が使われる。

記号「≡」は、それ以外に、以下の意味:

でも使われる。これらは、記号「≡」を使う以外の記法もあるので、必要に応じ、それらの記法についても述べる。

文字名称は、UnicodeJIS X 0213では「identical to」(~に恒等である)、日本語では「常に等しい/合同」とも呼ばれる。

各々の意味編集

合同式編集


整数論にて、合同記号の左右の整数の値を括弧内のmodで示した値で割った余りが等しいことを示す「合同式」に用いられる。

歴史編集

カール・フリードリヒ・ガウスは、1801年に『Disquisitiones Arithmeticae』で数の合同の記号として使用した。当時の形は

 
 

だった[1]

使用例編集

 
 
 
 

などはいずれも、「abm を法として合同である」すなわち「ab の各々を m で割った余りが等しい」ことを意味する。ここで、「合同記号」とは「≡」のみのことであり、「mod」は含めない。

法が文脈から明らかだったり、法によらず合同式が成立する場合は、

 

と法を省略できる。

幾何学的な合同編集

≡ ≅ ≌ ≃

歴史編集

ゴットフリート・ライプニッツは、1710年ベルリン大学のジャーナル誌であるベルリン論集(Miscellanea Berolinensia)に発表したMonitumで、「≃」(1本線の上にチルダ)を図形の合同を表す目的として使用した[2]

ヨハン・フリードリッヒ・ハセラーは、1777年Anfangsgründe der Arith., Alg., Geom. und Trigで「≌」[注 1]等号の上に逆チルダ)を使用した[2]

1824年カール・モルワイデが、逆チルダをチルダに変更した「≅」(等号の上にチルダ)を使用するようになった[2]

現在の用法編集

現在、多くの国で、モルワイデの「≅」(等号の上にチルダ)を使う[3]

例外的に、日本・韓国[4]では、もっぱら「≡」(3本線)を使う。

ハセラーの「≌」(等号の上に逆チルダ)を使うこともある。

2次元図形に対して使う機会が多いが、3次元以上の場合にも同じ記号が用いられる(1次元以下にも理論上定義できるが使う意義はほとんどない)。

使用例編集

 
 

はいずれも、「三角形ABCと三角形DEFが合同である」ことを意味する。なお、これを

 

と書くと、「三角形ABCと三角形DEFは面積が等しい」という意味になる。

恒等式編集


左辺と右辺が常に等しい「恒等式」を表す。ベルンハルト・リーマン1899年に『楕円関数論』で使用した。

たとえば:

 

は「常に ab = ba である」ことを表す。

定義する編集

≡ ≔ ≜ ≝


左辺を右辺の式で定義するときに使う[5]。これには、「≔」(等号の左にコロン[5]、「≜」(等号の上に三角形[5]、「≝」(等号の上に「def」)[6]も使われる。

たとえば:

 
 
 
 
 

はいずれも、「f(x) を x2 と定義する」あるいは「定義により f(x) = x2 である」ことを意味する。

同値編集

≡ = ⇔ ⟺ ↔ ⇌


左辺と右辺の命題もしくは論理式同値であることを表す。E・H・ムーアや、アルフレッド・ノース・ホワイトヘッドバートランド・ラッセルが、1910年に使用した[7]

他に、「=」(等号[7]、「⇔」(二重左右矢印[7]、「⟺」(長い二重左右矢印)[7]、「↔」(一重左右矢印)[7]、「⇌」(右向きと左向きの半分の矢印を上下に重ねたもの)[7]も使う。

たとえば:

 
 
 
 
 
 

はいずれも、「PQ が同値である」ことを意味する。

合同否定編集


「≢」は、UnicodeとJIS X 0213では「not identical to」(恒等でない)、日本語では「合同否定」とも呼ばれる。

「A ≢ B」は、「A ≡ B でない」ことを意味する。たとえば:

 

は、「abm を法として合同でない」すなわち「ab の各々を m で割った余りが異なる」ことを意味する。

符号位置編集

記号 Unicode JIS X 0213 文字参照 名称
U+2261 1-2-65 ≡
≡
常に等しい、合同
identical to
U+2243 1-2-76 ≃
≃
漸進的に等しい、ホモトープ
asymptotically equal to
U+2245 1-2-77 ≅
≅
同形
approximately equal to
U+224C ≌
≌
all equal to
U+2262 1-2-75 ≢
≢
合同否定
not identical to

脚注編集

注釈編集

  1. ^ Unicode Consortiumthe Unicode Standard』により、この文字の例示された字体は逆チルダとなっているが、チルダか逆チルダかは異字体の関係でありどちらでもよいと解説されているので、表示環境によってはチルダとなる。

出典編集

関連項目編集