登場人物紹介
僕:数学が好きな高校生。
テトラちゃん:僕の後輩。 好奇心旺盛で根気強い《元気少女》。言葉が大好き。
僕とテトラちゃんは、 《関係》を《集合》で表すことについておしゃべりを続けている。
《関係》を《集合》で表すと、 思いがけない二つのものに共通点が見つかるという話題だ。
いまはちょうど、 《$1$ を足して $3$ で割った余りを得る関数 $f$》 と 《じゃんけんの勝ち負け》 とを同一視できたところ(第466回参照)。
関数 $f$ を《表》で表す

じゃんけんを《表》で表す
(行の手に対して列の手が勝ったときに○、負けるかあいこのときに×)

僕「なかなか楽しいね。 《表》を見れば当たり前なんだけど、 ちゃんと《集合》として等しくなることが確かめられる(第466回参照)」
テトラ「おもしろいと思います。 じゃんけんの手を数で表すというのは不思議じゃありませんけど、 うまく対応づけるとぴったり同じになるというのがいいですね。 じゃんけんの勝ち負けと関数……」
僕「そうだね」
テトラ「……ちょっとお待ちください。 うまく対応づけることができれば良いんですよね?」
テトラちゃんはそういうと、何かを書き始めた。
僕「?」
テトラ「たとえば、 こういう《表》でもじゃんけんを表現しているものと同じになりますね」
テトラの《表》

僕「え、ああ、うん、そうだね。 これもじゃんけんを表現した《表》と同一視できるよ。 《表》の中の○と×の配置が同じだから」
テトラ「ですよね!」
僕「ねえ、でもテトラちゃん。 この漢字は、いったい何?」
テトラ「何だと思います?」
僕「《伍》と《弐》と《零》……?」
テトラ「簡単なクイズですよ、先輩っ!」
クイズ
この《表》に、あたしが書いた漢字は何を表しているでしょうか?


僕「……」
テトラ「……どうです?」
僕「わかった、なるほどね。 これは《じゃんけんの手》と《指の数》を対応させたんだね」
テトラ「そういうことです!」

僕「確かに、こういう対応を付ければじゃんけんそのものになる。 そしてもちろん、じゃんけんの勝ち負けとも対応がつけられるね」
テトラ「はい。 こうやって自分で新しい例を作ってみると、 《関係》を作るということと《お友達》になれた感じがします」
僕「なるほど……これは、 $$ A = \SET{\text{伍},\text{弐},\text{零}} $$ という集合を考えて、 $A \times A$ の部分集合として、 $$ K = \SET{(\text{伍},\text{弐}), (\text{弐},\text{零}), (\text{零},\text{伍})} $$ を作ったことになるんだね(第466回参照)。 伍と弐では弐が勝つ。弐と零では零が勝つ、零と伍では伍が勝つ」
テトラ「そういうことです! 実は最初、ローマ数字で表してみようと思ったんですよ。 いつものアラビア数字ではつまらないので」
僕「なるほど?」
テトラ「《パー》は $5$ なので『V』を使い、《チョキ》は $2$ なので『II』を使って……とも考えたんですが、 《グー》で駄目なことに気付きました」
僕「どうして?」
テトラ「ローマ数字には『ゼロ』がないんです!」
僕はテトラちゃんの《零・弐・伍》の表を見ながら少し考えた。
僕「テトラちゃんの例を見ていて気付いたんだけど、 僕たちは、無意識のうちに対応付けをしていることになるんだね」
テトラ「《対応付け》と、いいますと?」
僕「テトラちゃんの《表》から、僕は $$ K = \SET{(\text{伍},\text{弐}), (\text{弐},\text{零}), (\text{零},\text{伍})} $$ という集合を作った。そして、確かにじゃんけんと同じだと思った」
テトラ「そうですね。じゃんけんの勝ち負けの関係を表す集合は、 《パー》を $0$ 、《チョキ》を $1$ 、《グー》を $2$ で表すと $$ J = \SET{(0,1),(1,2),(2,0)} $$ です(第466回参照)。 同じように、 集合 $K$ で 《パー》を表す《伍》を $0$ 、 《チョキ》を表す《弐》を $1$ 、 《グー》を表す《零》を $2$ で表した集合 $K'$ は $$ K' = \SET{(0,1),(1,2),(2,0)} $$ になって、 $J = K'$ ですね」
僕「ほらそこ!」
テトラ「どこでしょう?」
無料で「試し読み」できるのはここまでです。 この続きをお読みになるには「読み放題プラン」へのご参加が必要です。
ひと月500円で「読み放題プラン」へご参加いただきますと、 460本以上の記事がすべて読み放題になりますので、 ぜひ、ご参加ください。
参加済みの方/すぐに参加したい方はこちら
結城浩のメンバーシップで参加 結城浩のpixivFANBOXで参加(2026年4月3日)