from 論理と集合から始める数学の基礎 読書会

数学記号の一つ。2つ用例がある

三角形ABCとCDFが合同 (幾何学)のとき、\triangle ABC\equiv\triangle DEFと書く

aを3で割った余りとbを3で割った余りが等しいとき、a\equiv b\pmod{3}と書く

「aとbが3を法に合同 (数論)である」と読む

割り算の余りで同じに見なすやつだ(?)

3を法としたうんぬん

例：曜日、時計、角度

そうそれです

もしかしたら論理と集合から始める数学の基礎 読書会#638a6e1b1280f0000096d258で伏線回収するかも

えっ「第10章 同値関係と商集合」で！？

(ページ切り出しによる行リンク行方不明問題の対策のためのわざとらしい説明口調)

こういう文を作るとき日本語はまどろっこしくなる

英語だともっとスパーっと表現できそう

説明口調わざとらしいための対策行方不明問題原因はページ切り出しによる行リンク

Deliberate explanatory tone to counter the problem of missing line links due to page cropping

リンクを出典アイコンにするUserCSSを使えば、「「第10章 同値関係と商集合」論理と集合から始める数学の基礎 読書会#638a6e1b1280f0000096d258 」とすっきり表現できたかも

「a^2+b^2をcと定義する」をc\equiv a^2+b^2と書く

この書き方は合同とかなり紛らわしいのでおすすめしない

等号による定義の場合は、c:=a^2+b^2やc\stackrel{\rm def}{=}a^2+b^2やc\stackrel{\Delta}{=}a^2+b^2のほうがおすすめ

論理同値による定義の場合は、R:\iff P\land Q、R:\stackrel{\rm def}{\iff} P\land Q、R:\stackrel{\Delta}{\iff} P\land Qなど

3番目の書き方は初めて見ました

どっかでみました

一時期、手書きしやすいので多用していた

\Deltaはdefineの頭文字をとってるのかな

たぶんそうです

1番目は左右をひっくり返してa^2+b^2=:cとも書けるので便利です

a\in AとA\ni aみたいに

1番目は一部のプログラミング言語の代入演算子としても採用されています

論理同値に採用する記号の流儀にて、\equiv派と\iff派と\leftrightarrow派がいる

≡と紛らわしい文字

Ξ：ギリシア語のξ(クサイ、クシー)の大文字

三：漢数字の3

：ハンバーガーメニュー

横棒3つ並べただけだしなぁ