アジマティクス

鯵坂です。

アジマティクス

鯵坂です。

同値関係の定義式は減らせる

この記事は数学の記事であり、日記です。日記性は中盤以降に出てきます。 同値関係同値関係とは、集合S上の関係「〜」であって、Sのすべての元a,b,cについて以下の３条件を満たすもののことをいいます。 同値関係の一例である「=」のことを想像するとわかりやすいですが、「どんな元も自分自身とは同値である」みたいなことです。 「aがbと同値なら、bはaと同値である」と読めます。 これも具体例として「=」を見るとわかりやすいですが、a=bであってかつb=cなら、a=cを結論付けら

アジマティクス

    • 1+1=2はどこから来たの？謎の演算を考える

      「なんで1+1=2なの？」とか「1+1=2の証明は難しいらしい」みたいなやつはよく言われることで、数学と縁遠い人でも一度は聞いたことがある/疑問に思ったことがあるかもしれません。 今回はそんな疑問に直接答える話、というわけではありませんが、「1+1=2」というそれそのものについて興味深い示唆を与える話を紹介しましょう。 謎の演算「◯」 自然数に対して定義される、なんだかわからない謎の演算「◯」を新たに考えてみます。記号は適当であり、何でもいいです。 つまり、「1+1」や

      アジマティクス

      • ところで私の好きなぎなた読みを紹介しますね

        「弁慶がなぎなたを持って」と書いたら「弁慶がな、ぎなたを持って」と読めてたのしいね、というのがぎなた読みだ。インターネットでは古くから多くのぎなた読みが発見され、愛でられている。 この記事では私の好きなぎなた読みの好きな部分を紹介していきますね。基本的に有名所ばかりですが。なので「紹介」というよりは「品評」です。 なぜ急にこんなことをするかといえば、ぎなた読み界隈につい最近、彗星のように新たなぎなた読みが登場したのでテンションがあがってしまったからだ。 1.「樹齢１００

        アジマティクス

        • 新婚旅行のエジプトで死にかけた話

          【注】「妻がいてくれたおかげで助かった」が出てきます。苦手な方はご注意ください。「学生時代から付き合っていた」は出てきません。ご安心ください。 平成31年4月15日に結婚した。いつでもよかったから円周率っぽい日付にした。 会社勤めの妻が6月にまとまった休みが取れたと言うので、エジプトに新婚旅行に行くことにした。 エジプトを選んだのは、数学的に意味のある土地だったから……というといい話っぽいかもしれないが、ただ普通のところに行きたくはなかったというだけだ。旅行代理店でエジ

          アジマティクス

        同値関係の定義式は減らせる

        アジマティクス