逆対応・一対一対応

逆対応・一対一対応の定義についてのノートを、大幅に加筆して、アップロード。

対応の合成

対応の合成についてのノートのデザインを一新してアップロード。

族family・列sequence

族familyと列sequenceの定義についてのノートを改装、アップロード。

対応の定義

対応の定義についてのノート。

大幅加筆でアップロード。

対応の諸類型の対比軸～いかなる観点で切り分けられたか？

『対応の諸類型の対比軸～いかなる観点で切り分けられたか？』を初公開。

一意対応、写像、単射、全射、全単射などなど、

対応の様々な類型が教科書にはのっているけれども、

これら諸類型が、どういう観点で、分けられているのか、

明示的に語られている教科書はみない。

そこで、これら諸類型の対比軸を整理してみたノートが、

この『対応の諸類型の対比軸～いかなる観点で切り分けられたか？』。

空集合の記号

wikiによると、正統な「空集合の記号」は、html では、∅で表示されるという。

やってみたが、どうも、デザインが悪い。ほかの記号と、段がずれるように思える。

どうも、ギリシャ文字のφのほうが、すわりがいい。

さて、ギリシャ文字のφのままでいくか、それとも、、∅に乗り換えるべきか。

写像と集合族・集合列の性質

写像と「集合族」と「集合列」の性質についてのノートもリフォームしてアップロード。

集合族、集合列の∪,∩の性質

「集合族」と「集合列」の∪∩の性質についてのノートを大幅にリフォームしてアップロード。

集合族・集合列の定義

「集合族」と「集合列」を定義するノートを大幅にリフォーム。

bibliographyの更新

・解析学のビブリオグラフィー
・線型代数のビブリオグラフィー
・論理と集合論のビブリオグラフィー
・代数のビブリオグラフィー
・確率論と統計学のビブリオグラフィー
を更新。一部版元へのリンクを設置してみる。