現在２０２３年７月２０日２０時０６分である。
麻友「ブルバキ、ほとんど、１年ぶりくらいね」
私「詩のような、『星の王子さま』は訳せなくとも、数学のブルバキは、訳したい。本来、『数学原論』は、教科書としては、変わっている。でも、数学の山脈に登るのなら、一通り学んでみたい」
若菜「『最近、毛嫌いしていた、ブルバキの という記号のうちの、
の２つの記号の使い方が、分かったんだ』と、
の投稿で、喜んでいらっしゃいましたけど、どれくらい深刻な問題だったんですか？」
私「深刻なんてものじゃ、ないよ。２００５年に、最初に訳本を読み始めたときから、これの使い方が、分からなかったんだ。具体的に、例を使って、見せるよ」
結弦「見せられるの？」
私「やっとそこまでになった。２０２３年７月８日のことだ。まず、この、 は、ある条件を満たす数がある。ということを、言うために、使われる。例えば、
┌┐
と、書くと、四角に入る数のどれかを、表していることになる」
結弦「どれかって、どれなの？ この場合、 しか、有り得ないように、見えるけど」
私「この場合は、当てはまるものが、１つだけだから、 に決まる。でも、いくつかあった場合、例えば、
┌──┐
│┌┐│
だったら？」
若菜「ああ、 と、
と、２つありますね」
私「そうだろ。その場合、ブルバキは、それの表すのは、そのどれか１つと、曖昧なんだ。そして、もっと困ったのが、四角に入るものが、ひとつもない場合。この場合、上の で始まる式は、まったく不明なひとつの対象を表している。というんだ。これが、飲み込めなかったので、
や、
の現れない、
までしか、これまで、進めなかったんだ」
若菜「そうだった。お父さんのノート、 を、５ページ進んだところで、２０１４年４月６日に、止まってる。
の定義が、気持ち悪くて、分からなかったんだ」
結弦「でも、四角と、 を、つないで、何をしたかったの？」
私「こういうことだったんだ。
が、
の定義だとするんだ。
つまり、 が、成り立つ
が、存在しなければ、そもそもどんなものをもってきても、
は、成り立たないんだ。
は、
と、
を、
に置き換えるという意味ね。そして、
を満たす、
が、存在するなら、この場合、
だけど、それを、
と、表せるのだから、
が成り立つ
、 つまり
があるので、
と、書いて良いよね。ということだったんだ。四角を使うのは疲れるので、
などの文字を使う」
麻友「太郎さんは、２００５年から２０２３年まで、１８年も、取り組んできた謎だったのね。でも、訳本が３７巻もある『数学原論』で、そんなノロノロやってて、読み切れるのかしらね？」
私「ブルバキで、カバーできない分野もある。例えば、前から話題に上っている複素解析関数論や、多様体論が、ブルバキにない。ブルバキで、全部分かるわけではないことも、他の本で、補っていく」
若菜「今日は、フランス語は？」
私「もう２３時０２分だ。また今度にしよう。解散」
現在２０２３年７月２０日２３時０９分である。おしまい。
