合同記号とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 情報 > 記号 > 記号 > 合同記号の意味・解説 

合同記号

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 10:08 UTC 版)


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

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

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

文字名称は、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本線)を使う。合同記号として「≡」を用いたのはボーヤイ・ヤーノシュである[5]

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

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

使用例

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

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

恒等式


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

たとえば:

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

定義する

≡ ≔ ≜ ≝


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

たとえば:

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

同値

≡ = ⇔ ⟺ ↔ ⇌


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

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

たとえば:

はいずれも、「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 Consortium『the Unicode Standard』により、この文字の例示された字体は逆チルダとなっているが、チルダか逆チルダかは異字体の関係でありどちらでもよいと解説されているので、表示環境によってはチルダとなる。

出典

関連項目





合同記号と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「合同記号」の関連用語

合同記号のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



合同記号のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの合同記号 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS