一般に、AとBが等しいとき、A=Bと書き表す。何をもって「等しい」というかは、その対象によって定義が異なる。
なおプログラム言語ではしばしば左辺に右辺を代入して「等しく」する演算子として用いられる。
=は数学において最もよく使われる記号のひとつであるため、日常会話にも度々使用される。しかし、=を使うことができるのはある条件を満たす必要があるため、日常会話で使用される場合には誤用も存在する。まず、次の文をご覧頂きたい。
何の違和感もなかった方は、次の文もご覧頂きたい。
おそらく、この文には違和感を覚える方が多かったであろう。
この違和感は「A = B」を、ABに日本語の単語が入っていることから、脳内で「AはBである」と読み替えていることに起因する。日本語の「AはBである」という文章は、数学的には「A = B」というよりも「A ⊂ B(AはBに含まれる)」という論理構造に近い。
BであってAでないものが存在するとき、「AはBである」からといって「BはAである」というのは誤りである。
上記の例では動画共有サイトであってニコニコ動画でないもの(YouTube, Zoomeとか)が存在するので、「動画共有サイト = ニコニコ動画」に違和感を覚えるのである。
ABが数式でなければ「A = B」は数式と解釈されないので上記読み替えの対象となることも多いが、それを根拠に「B ⊂ A」という話に持って行こうとして間違うと理系でなくてもつっこまれる。
結論から言うと、前者を正しい、後者を間違いだと思った方は、=に対する解釈の仕方が間違っている。つまり、=を「ニコニコ動画=動画共有サイトだが、動画共有サイト=ニコニコ動画ではない」という風に使うのは、数学的には誤用なのである。
ではなぜ誤用なのか。概要にもあるように、定義は対象によって異なる。しかし共通するのは、「同値関係」であるという点だ。同値関係とは、2つの物が同じ物であるとみなすことができる関係のことである。具体的には、二項関係「~」が次の条件を満たしているときをいう。
同値関係は=の他にも、⇔(同値)、≡(合同)、∽(相似)などがある。意味がわからない方は、~を=に置き換えるとわかりやすいだろう。ここで重要なのは2番目である。つまり、x=yが満たされていれば、y=xも満たされていなければならないのである。それが成り立たなければ、同値関係を満たしているとは言えず、=で結べないのである。では、前述の誤用を含む文をどのように言い直せばいいか。「ニコニコ動画∈動画共有サイトであるが、動画共有サイト={ニコニコ動画}ではない」「ニコニコ動画⊂動画共有サイトであるが、動画共有サイト⊂ニコニコ動画ではない」等の表現が考えられるであろう。ニコニコ動画を動画共有サイトの要素と解釈したのが前者、部分集合と解釈したのが後者である。しかし、もっとわかりやすい述べ方もある。「ニコニコ動画は動画共有サイトのひとつであるが、動画共有サイトがすべてニコニコ動画というわけではない」つまり、数学記号を使わなければいいのだ。数学は厳密な議論によって成り立っているので、記号も厳密に定義されている。自然言語は時とともに変化するので「言葉は生き物」と言われることがあるが、数学記号に関してそのようなことは決してない。数学記号の厳密な定義を知らないことが、誤用を招く原因にもなる。知ったかぶりしてると、理系の人に突っ込まれるかもよ。
掲示板
66 ななしのよっしん
2017/06/19(月) 22:21:31 ID: UKNuaQgx/a
>>65
「A⇔B」は「A=B」と意味が同じ
⇔も=も、形が違うだけで使い方は同じ
例えば「1+1=2」は「1+1⇔2」と意味が同じ
https://
数式でない普通の文章なら、そもそも数式記号を使わない方がいい
どうしても使うように強制されたとか、どうしても使いたいとかなら、ニアリーイコール"nearly equal"「≒」を使うのがいいかと
≒も数式記号だから、本当は使わない方がいいけど
67 ななしのよっしん
2019/08/05(月) 12:39:11 ID: 4xve/sNCXa
1+1,2自体は数であって命題ではないので1+1⇔2なんて使い方はしない
「A⇔BはA=Bと意味が同じ」も反証可能
1+1=2⇔1+1-2=0だが1+1=2=1+1-2=0は明らかに偽
68 ななしのよっしん
2022/01/04(火) 00:49:37 ID: AV+VmatWcL
「ニコニコ動画⊂動画共有サイトであるが、動画共有サイト⊂ニコニコ動画ではない」と
「ニコニコ動画は動画共有サイトのひとつであるが、動画共有サイトがすべてニコニコ動画というわけではない」の間で分かりやすさに大した差があるとは思えないんだけど
それに"であるが、動画共有サイト⊂ニコニコ動画ではない"の部分必要なくないか?
>>63
「AはBである」も「AとBは同じだ」と言いたいのか「AはBに属する」「AはBの性質を持つ」と言いたいのか判別つかない、判別つかなくない?
むしろ「A=B」なら文脈無しでも「つまり『AとBは同じだ』という意味だな」と推測できる
>>67
1+1=2⇔1+1-2=0に2⇔1+1-2が含まれないのに1+1=2=1+1-2=0には2=1+1-2が含まれる判定なのって反証として適切なんですかね…
急上昇ワード改
最終更新:2024/04/23(火) 17:00
最終更新:2024/04/23(火) 17:00
スマホで作られた新規記事
ウォッチリストに追加しました!
すでにウォッチリストに
入っています。
追加に失敗しました。
ほめた!
ほめるを取消しました。
ほめるに失敗しました。
ほめるの取消しに失敗しました。