有限集合だけを考える。 $`A = \{a_1, a_2, a_3\}`$ $`B = \{b_1, b_2\}`$ $`C = \{c_1, c_2\}`$ $`A`$ を次のように描く、$`B, C`$ も同様。 関数も関係も集合だと思えば列挙可能。有限集合の世界では、あらゆるものが具体的に列挙可能。 関数は逆関数が作…

(仮名)アルファさんの図法は、ちょっと衝撃的だった。「こだわりのなさ」に驚いた。アルファ図法のアイディアをまとめておく。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ in }} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\u}[1]…

(仮名)アルファさんの発想が面白い。本人のなかでは一貫している（飛躍がない）のかも知れない。「教わったとおりにやった」だけかも知れない。檜山が言ったであろうこと（あまり憶えてないが絶対言いそう）： 無限集合は難しいから最初は有限集合で考えたほ…