数学とか 同型写像って何やねん
続き。同型写像2つの数学的対象が同型 (isomorphic) であるとは、それらの間に同型写像が存在することをいう。自己同型写像は始域と終域が同じ同型写像である。同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使って...
写像
数学とか 数学とか 頭の体操
集合Aの部分集合とはすなわちべき集合とその濃度。二つの要素を持つ集合のべき集合の要素数はA=aがあるB=bがあると定義すると要素の組み合わせは四通り(A,¬B)(¬A,B)(¬A,¬B)(A,B)べき集合の任意の要素xについては常に、「ある...
数学とか 順序集合の定義の気持ち
大小関係について考えていたら、=と>から受ける印象って異なるよなあ、となったので、その理由を考えました。=で結ばれる関係は組み合わせ方次第ですが、一対一対応の写像だと言えます。【写像】集合 A の各元に対してそれぞれ集合 B の元をただひと...
数学とか 同値関係について、また考える
既に同値についてはどんな関係なのかを色々考えてきましたが、除法や減法のように我流で定義してみようと思います。と言っても一度きちんとした定義は学んでいるので、なぜそのような定義になったのか？に個人的な文脈を与えます。同値関係等しいの認識一言で...
数学とか 大小関係の雰囲気
まだ論理学の範疇をウロウロしてる段階ですが、参考にしている本の中で大小関係の説明があったので、その文脈で大小関係を僕が解釈できるか挑戦します。大小関係の雰囲気だけ加法とし大小関係本の中では下のような論理式で定義されています。3>1⇔∃x(1...
数学とか 含意と因果関係と写像
含意は因果関係含意の認識論理学や数学の基礎を成す人の認識について考えていきます。含意「aならばb」は因果関係とみなすことができます。「殴られた→痛い」という含意は「殴られた」という命題が真なら「痛い」という命題も真となる因果関係の認識。「殴...
数学とか 集合の濃度と全単射
とりあえず1か月振りなのでこれまでの流れを復習します。ここまでの流れ。集合について学んでいると同値関係って言葉が頻出したので、かなり脱線して「同値」って何ぞやってことをWikipediaの記事を潜って学んでいました。同値類は反射律、推移律、...
数学とか 二項演算とマグマと写像
プログラミングでもやっていない限り「演算」は日常的には使いませんが、かっこい言葉ですよね。代表的な演算は四則演算と呼ばれ、+,-,×,÷の記号で表されます。【二項演算】集合の一つの元（幾つかのものの組であってもよい）に他の一つの元を対応させ...
数学とか 直積集合と関係と写像のドツボ
「関係」という概念のドツボにハマりました。まあでも、ここを走り抜けば何か見えてくるはず。「関係」「直積集合」「写像」のそれぞれの概念を定義する議論は理解していると僕は思っています。なので、それぞれを眺めているだけなら何かを感じることはないの...
数学とか 写像は関係の一種？
集合論の理解を進めようとする度に起こる僕の混乱を共有します。「『=』は集合AとBの対応を表す写像なんだ！」と納得して順序関係に進もうと「≦」を見た瞬間に気が付きましたが、大小”関係”を表す「≦」は写像の定義満たしてません。写像の定義では集合...
数学とか 集合と写像の個人的なイメージ
「＝」の数学的な概念は理解できました。しかし、とてつもない違和感を覚えます。それは「＝」の数学的に定義された概念と僕が日常的に使用している「＝」に抱く主観的な意識内容である観念が一致していないからです。数学の「＝」の概念は僕の意識内にある何...
数学とか 数学は何をしているの？何が学べるの？何が楽しいの？
今回は僕が独学してハマった数学の僕なりの面白さ、数学が本質的に何をしているのか？という僕なりの解釈をお話します。そのとっかかりとして「演算」という概念の話をします。演算の定義数学のやりたいこと数学は真理を解き明かす学問で、そのための議論の雛...