第385回 シーズン39 エピソード5

「理解する」を理解する（前編）

図書室にて

僕「……これで、『$K$ を、体（たい）とします』を読んだことになるね。 ここからさらに体の定義を厳密に追う方向に進む選択肢もあるけど、 いまは《カード》を先に進めることにしようか」

テトラ「《理解の最前線》……といえるかどうかわかりませんが、いま読んでいる《最前線》が一歩進みました！」

僕「そうだね。《二人三脚読み》で一歩進んだことになる！」

テトラ「それでは、引き続き《カード》を読んでいきましょう！」

加法群

僕「なるほど。今度は $V$ だね」

テトラ「はい。先ほどは $K$ についてでした。今度は $V$ についてです。 ここから先、《カード》に出てくる $V$ というものが何を表しているか。 $V$ はいったい何を表すものとして議論が進むのか……それをはっきりさせるために、 ここで $V$ の説明が書かれいてる——わけですよね？」

僕「そうだね」

テトラ「それはいいんですけれど、あたし……正直いいまして、目がちらちらします」

僕「というと？」

テトラ「$K$ については、《体》という一言で済みました。 でも、ここに出てくる $V$ では《加法群》《群演算》《加法》《二項演算子》《アーベル群》という用語がどんどこ襲ってきます……こういう状況は、 苦手なんです」

僕「なるほど……どんどこ、ね。でも、テトラちゃんは群について、知ってるんじゃない？」

【ＣＭ】

ユーリ「テトラさんの《群》へのチャレンジは、『数学ガール／フェルマーの最終定理』をどーぞ！」

テトラ「はい……ぜんぜんわからないわけではありません。先輩やミルカさんから《群》についてのお話は何回かおうかがいしましたから。 でも、《加法群》《群演算》《加法》《二項演算子》《アーベル群》のようにばばばばっとやってくると、 あれもこれも、あたしはちゃんと理解はしていないんだ……と思ってしまいます。それで、どきどきしちゃうんです」

僕「テトラちゃんは、すべての用語といっぺんに《お友達》になろうとする傾向があるからね」

テトラ「ああ……そうかもしれません」

僕「たくさんの用語が出てくると、確かにちょっと焦っちゃうけれど、逆に手がかりが増えるから助かるともいえるよ」

テトラ「手がかり——といいますと？」

数学用語との付き合い

僕「つまりね、文章を読みながら、出てくる用語を使って、自分の理解が正しいかどうかを軽くチェックできるということ。 《体》という一言だと、それを知ってるかどうかだけで決まっちゃうけど、 いろんな用語が書かれていると、それを使って自分の理解をチェックできる」

テトラ「はあ……でも、意味がわからない用語があると、困りませんか？」