「等しい（=）」って、何…？

数学の集合論を学んでいると「同値」て概念が気になって、寄り道して同値の議論を眺めていたら「＝」って記号が気になり始めて、「そう言えば『＝』って論理記号は当たり前のように使っているが、それはどう定義されているのだろう」とWikipediaを調べました。

二項関係と集合論で少し定義が異なるようで、二項関係の方を見てみると「相等」を意味すると記載があります。
「相等って…何やんねん」と。
これについてネットでいくら知らべてもWikipediaの不親切記事しかでてこない。

絶望しかけていたのですが「そもそも『＝』って公理とかそのレベルの話なんじゃね？」と視点を変えて検索してみると「等式」というページにたどり着きました。

「＝」の定義

「相等」の定義

等式の定義をWikipediaから引用します。

通常、等号は以下の２つの公理によって定義される^[1]

反射律: 対象 a が何であっても a = a は常に成り立つ。

代入原理: 対象 a, b が a = b であるときには、一つの自由変数 x を含むどんな命題関数 P(x) についても P(a) ⇔ P(b) が（両辺ともに一意的な意味を持つ限りにおいて）常に成り立つ。

さらに、代入原理と反射律から以下の性質が導かれる。^[2]

対称律: 対象 a, b について a = b が成り立っているときはいつでも b = a も同時に成り立つ。

推移律: 対象 a, b, c に対して a = b と b = c が同時に成り立っているときには常に a = c も同時に成り立つ。

Wikipedia

僕の知りたかった情報が載っている感じ。専門用語多すぎて混乱しますが、慌てず「反射律」もWikipediaから引用します。

反射律

集合 X における反射的な関係 R は、X の全ての元 a について、a が自分自身と R の関係を持つ。数学的記法では次のように表される。
$\displaystyle \forall a\in X,\ aRa$.

無反射的な関係 R は、X の全ての元 a について、a が決して自分自身と R の関係を持たない。数学的記法では次のように表される。
$\displaystyle \forall a\in X,\ \lnot (aRa).$

Wikipedia

Wikipediaって勉強もできて暇つぶしに歴史や事件事故の記事読んだりと正直Youtubeより重宝してるんですけど。如何せん、不親切すぎる。専門的な記事は専門家しか読めん。
人類史上でも見ても偉大な発明だと僕は思うのですけど。

閑話休題。
難しいので翻訳に挑戦していきます。
「集合Xにおける反射的な関係Rは～」のRは「条件」を意味しています。
「自分自身と関係Rを持つ」って表現だと日本語に馴染みがなさすぎて違和感というか日本語おかしくね？となるですが、頭を切り替えて「元aが元aのグループ属している」と僕はイメージしました。

例えば、集合Xの元長濱陸は長濱陸に属している、みたいな。
違和感が半端じゃないのですが。ラッセルのパラドックス的なイメージかなと。

素朴集合論とラッセルのパラドックス

数学を学んでいる時間が今は一番楽しくて、息抜きとして心が疲れた時にだけやっていいって決めてはいるのですが、一度始めると5時間とかはあっという間で。学生の頃に目覚めてくれればね。よかったのに。 ボクシングを考えるのが疎かになっています。頭の片...

riku-nagahama.xyz

2022.08.27

もしくはあるクラスの全員が自分を委員長に推薦しているみたいな。
写像ですかね？
$f\colon A \to A$
文字通り反射されるような感じだから反射律なのかなあ。
ちょっと漠然としたイメージですがやってれば輪郭が見えてくると思うので進めます。

素人が数学に挑戦　...写像？

ベクトル空間の理解のために写像って概念が必要なのでざっと学習します。写像は集合論に出てくる概念で、集合と集合の対応関係を表しています。 写像 定義 とりあえずいつも通りWikipediaの定義を読んでみます。 写像集合Aの各元に対してそれぞ...

riku-nagahama.xyz

2021.12.25

無反射関係は反射関係を否定しています。
どのaもa自身と関係がありません。
集合Xを日本の子供として、条件Rを親子という二項関係と定義した場合、集合Xのどの元を選んでもRの条件を満たすことはありません。

反射閉包（reflexive closure）R ⁼ は、R ⁼ = { (x, x) | x ∈ X } ∪ R と定義される。これはすなわち、R を含む X 上の最小の反射関係である。これは R を含む全ての反射関係の交叉と同じと見ることができる。

無反射核（irreflexive kernel）R^≠ は、 R^≠ = R $\backslash$ {(x, x) | x ∈ X}あるいは、関係Rにおいて無反射的な最大の部分集合として定義される。これはすなわち関係Rの無反射な部分関係すべての合併に等しい。

Wikipedia

反射閉包は集合X × Xの(1,1),(2,2)だけを抽出した部分集合？
無反射核はこれらを除いた部分集合？
ネット上では抽象的な説明だけで何故このような定義が要請されるに至ったか理解できていませんでした。まあ今後学んでいたら分かるだろうってことで、とりあえずは認めてしまおうと思います。

素朴集合論とラッセルのパラドックス

数学を学んでいる時間が今は一番楽しくて、息抜きとして心が疲れた時にだけやっていいって決めてはいるのですが、一度始めると5時間とかはあっという間で。学生の頃に目覚めてくれればね。よかったのに。 ボクシングを考えるのが疎かになっています。頭の片...

riku-nagahama.xyz

2022.08.27

対称律

対称関係（たいしょうかんけい、英: Symmetric relation）は、数学における二項関係の一種。集合 X における二項関係 R が「対称」であるとは、X に属する全ての a および b について、aRb が成り立つなら bRa も成り立つことをいう。

数学的に記述すると次のようになる。
${\displaystyle \forall a,b\in X,\ aRb\Rightarrow \;bRa}$

Wikipedia

$a < b$
はaとb入れ替えられないから対称律は満たさないのだけど
$a ≦ b$
はaとbを入れ替えられるから対称律を満たす。

推移律

推移関係（すいいかんけい、英: Transitive relation）は、数学における二項関係の一種。集合 X の二項関係 R が推移的であるとは、Xの任意の元 a、b、c について、a と b に R が成り立ち、b と c に R が成り立つとき、a と c にも R が成り立つことをいう。推移的関係とも。

一階述語論理でこれを表すと、次のようになる。${\displaystyle \forall a,b,c\in X,\ a\,R\,b\land b\,R\,c\;\Rightarrow a\,R\,c}$

Wikipedia

$a < b,b < c$
が成り立つなら
$a < c$
も成り立つので、推移律が満たされます。

=は反射律、推移律、対称律を満たす。
<は反射律を満たさない。
≦は条件つきで反射律、推移律、対称律を満たす。

僕の現状の理解が正しいのか疑問が残りますが、これ以上は頭がおかしくなりそうなので無理に理解しようとせず前へ進みます。
上記の定義が必要とされた状況に出会った時に納得できるでしょう。

「等しい」って

結局、冒頭の「等しい」に関する疑問は解決できませんでした。

当たり前のように「等しい」って僕らは使いますが、厳密に考えてみると僕は「等しい」が分からなくなるのです。

身近な僕の疑問だと水分子などの宇宙を構成する分子。
宇宙の至るところにそれはありますがが、例えば水分子は宇宙の果てから果てまで全て「等しい」のでしょうか。
巨視的には全ては同じように振舞うのでしょうが、とことん微視的にはどうなんだろうと僕は思うのです。
つまり、物質の最小単位まで厳密化した場合。
物質に最小単位があるということが前提になる議論ですが、もしも最小単位で「等しい」のなら何故、空間的に離れた分子同士の同期が起こるのか疑問に思います。
「距離の概念は人間だけのものだから？」「コンピューターゲームようにデータの参照が全て同じアドレスだから？」とSF的に考えてみるとワクワクします。

もし最小単位で見た時に別々の振る舞いをしている、つまり「等しくない」のなら、「等しい」とはどのラインから成立するのだろう、と僕は思うわけです。
水分子の話なら「一体全体どのラインから水分子は水分子たり得るの？」ってことですね。
その等しいラインをさらに厳密化していった時に、デジタルに境界線が見えるなら、それは奇妙ですし、曖昧に「等しい」のラインがあるのなら、それも僕は奇妙に感じるわけです。

この奇妙さって
「宇宙は最初からあった」「宇宙は突然生まれた」
って話とも共通しています。
いずれにしても因果関係から解き放たれていて気持ち悪い。