エンタメ解説

【数学小説】お嬢様はグレブナー基底がお好き

グレブナー基底

3334

漫画版「お嬢様はグレブナー基底がお好き！」

小説版（漫画の続き）

慎一郎「ハァッ……ハァッ……」

ポン酢が気管に詰まったようで、ひどくむせる慎一郎。

慎一郎「お嬢様ひどいですよ！いきなりポン酢を飲ませるなんて！」
リサ「し、慎一郎が悪いんですのよ…！わ、私の名前をつけたいなんて……変なこというから…」

頬を赤らめてぶつぶつと文句をいうリサ。

慎一郎「変なこと……？はっ！まさか僕、お嬢様に何か失礼なことを……！？」
リサ「な、なんでもないですわ！」
慎一郎「遠慮せずなんでも言ってください！僕はリサお嬢様の執事なんですから！」

リサをじっと見つめる慎一郎。
その純粋無垢な瞳に彼女はドキッとする。

リサ「慎一郎は……その……どう思ってるの？」
慎一郎「はい？」
リサ「その……好きとか、嫌いとか……」
慎一郎「えーと……すごく気になってますね」
リサ「え！気になるって、どういうこと？」
慎一郎「どうと言いますと、もっと知りたいといいますか……」
リサ「め、目の前でいうなんて、だ、大胆ですわね！」
慎一郎「そうですか？リサお嬢様も同じ気持ちじゃないんですか？」

彼女は慎一郎の問いかけに言葉が詰まってしまう。

リサ「そ、それは……」

声を震わせながら、慎一郎と目を合わせる。

リサ「わ、私も慎一郎のこと……す、す、す、す…………」

勇気を出して言い切ろうとするも、あと少しのところで止めてしまった。

リサ「やっぱりダメですわ！私と慎一郎は主人と執事。恋愛関係など言語道断、禁断の果実。亜修院家の公理に反しますわ！」
慎一郎「恋愛関係？何のことですか？」
リサ「え？」

慎一郎の一言に呆然とするリサ。

慎一郎「気になるって、グレブナー基底の話ですよね？お嬢様の分かりやすい説明で、もっと知りたくなりました」
リサ「え……」

自分の勘違いに気づき、沸騰したやかんのように顔が真っ赤になる。

リサ「そ、そ、そ、そうですわよね！グレブナー基底の話ですわよね！私だって最初からそう思ってましたわよ！」
慎一郎「お嬢様、大丈夫ですか？お顔が紅潮しているようですが、もしかして熱でもあるのでは……？」

おでこに手を当てて熱を測る慎一郎。
リサはいきなりの接近に動揺し、咄嗟に手を振り払った。

リサ「だ、大丈夫ですわ！それより、グレブナー基底の話の続きをしましょう！」
慎一郎「え？」
リサ「いいから、私から離れなさい！」
慎一郎「かしこまりました……。お嬢様が大丈夫ならそれでいいですが……無理だけはなさらないでくださいね……」

リサは深呼吸をして心を落ち着かせる。
そして、マーカーペンをとり、ホワイトボードに文字を書き始めた。

多項式の組 $\overset{変換}{⟹}$ 計算しやすい多項式の組（グレブナー基底）

リサ「さっき説明したように、グレブナー基底とは『計算がしやすい多項式の組』でしたわ！」
慎一郎「はい、そうですね」
リサ「では次に『もう少し厳密なグレブナー基底の定義』について、これから考えていきますわ！」
慎一郎「詳しいお話が聞けるわけですね。楽しみです」

§1 先頭項とグレブナー基底

リサ「さっきグレブナー基底と連立方程式について説明しましたわね」
慎一郎「はい。たしか、連立方程式の多項式をグレブナー基底にすると、解きやすくなるって感じでしたよね」
リサ「その通りですわ。では、元の連立方程式の多項式とグレブナー基底では何が違うか、見ていきますわ」

元の連立方程式
$\begin{array}{r} {\begin{cases} x^{2} + y^{2} & = 1 \\ 2 x + y & = 2 \end{cases} \end{array}$

グレブナー基底を使って、書き換えた連立方程式
$\begin{array}{r} {\begin{cases} 2 x + y & = 2 \\ 5 y^{2} - 4 y & = 0 \end{cases} \end{array}$

リサ「上の多項式と下の多項式、どういう風に違うかしら？」
慎一郎「どうって……あ、よく見ると $2 x + y = 2$ という式は共通してありますね。」
リサ「他には？」
慎一郎「うーんと、逆に違う部分としては、上の方では $x^{2} + y^{2} = 1$ という式で、下の方では $5 y^{2} - 4 y$ というのが出てきてますよね」
リサ「その通り！ここで、その事実を別の見方で見てみますわ！」
慎一郎「別の見方、ですか？」
リサ「それはズバリ……『先頭項』ですわ！」
慎一郎「セントウコウ……？なんですかそれは？」
リサ「ズバリ、グレブナー基底とは先頭項の情報を網羅した多項式の組ですの」
慎一郎「モウラ……？？」
リサ「まあ落ち着いて聞きなさいセバスチャン」
慎一郎「山田です」

リサは連立方程式の多項式の1番左の部分を赤く強調した。

元の連立方程式
$x^{2}$ $+ y^{2} = 1$
$2 x$ $+ y = 2$

グレブナー基底を使って、書き換えた連立方程式
$2 x$ $+ y = 2$
$5 y^{2}$ $- 4 y = 0$

リサ「これで再び上と下の違いを考えるとどうなるかしら？」
慎一郎「えーっと……あ！上の赤い部分は $x$ しか登場しないですが、下の赤い部分には $x$ と $y$ が登場していますね」
リサ「なかなか筋がいいわね、カトリーヌ」
慎一郎「山田です」
リサ「そう、今赤くした部分のことをそれぞれの多項式の『先頭項』というのですわ」
慎一郎「先頭項……あ！先頭の項というわけですか！？」
リサ「その通りよ」

リサはさっきの動揺は忘れたように、もうすっかり落ち着いていた。
数学の話をするとき、彼女は彼女らしくなる。

リサ「単項式の間に順序を入れたとき、『多項式の項の中で1番大きい部分』を先頭項というのですわ」
慎一郎「たしか単項式って、えーと、 $x^{2}$ とか $y$ とか、項が1個しかないもののことでしたっけ？」
リサ「ええ。例えば、 $x^{2} y$ や $x y^{3}$ も単項式ですわ」
慎一郎「なるほど。」
リサ「そして多項式 $f$ に対し、その先頭項を $LT (f)$ と表記しますわ」
慎一郎「えるてぃー……ですか？」

リサはホワイトボードにスラスラと筆記体で文字を書く。
Leading Term

リサ「英語で先頭項はLeading Termといいますの」
慎一郎「あ、その頭文字というわけですね」
リサ「ええ。ここで例えば、 $f = x^{2} + y^{2} - 1$ とすると、 $LT (f)$ は何になるかしら？」
慎一郎「えーっと……1番左の項だから、 $x^{2}$ ですか？」
リサ「そうね。つまり $LT (x^{2} + y^{2} - 1) = x^{2}$ になりますわ」
慎一郎「ほっ。よかった」
リサ「では、 $f = 2 x + y - 2$ の場合はどうかしら？」
慎一郎「その場合は…… $2 x$ ですか？つまり、 $LT (2 x + y - 2) = 2 x$ ？」
リサ「正解ですわ！なかなか筋がいいですわね」
慎一郎「いえ、リサお嬢様ほどでは」

慎一郎は反射的にお辞儀をする。

慎一郎「それで、その先頭項がどうグレブナー基底と関係するのですか？」
リサ「焦らないでくださいまし。順を追って説明しますわ」
慎一郎「失礼いたしました」
リサ「元々の連立方程式の多項式の先頭項を書いてみると、このようになりますわ」

元の連立方程式
$x^{2}$ $+ y^{2} = 1$ → $LT (x^{2} + y^{2} - 1) =$ $x^{2}$
$2 x$ $+ y = 2$ → $LT (2 x + y - 2) =$ $2 x$

リサ「さっきも言ったように、これらの式の先頭項には変数 $x$ しか登場しませんわね」
慎一郎「そうですね」
リサ「でも、それは連立方程式の特徴を表すのに、不十分ですわ」
慎一郎「不十分……ですか？」
リサ「ええ」

リサは連立方程式の横に番号を追加した。

$x^{2} + y^{2} = 1$ …①
$2 x + y = 2$ …②

リサ「今、上の方程式を①、下の方程式を②とした時に、①と②からはどんな方程式が作れるかしら？」
慎一郎「作る……？というのは……どういうことですか？」
リサ「言い方を変えましょう。ジョニーが普通に連立方程式を解くとしたら、どうやって解くかしら？」
慎一郎「えーっと……足したり引いたりしますね。あと山田です」
リサ「例えば？」
慎一郎「例えば……①と②を足すと、」

$x^{2} + y^{2} = 1$
+
$2 x + y = 2$
||
$x^{2} + 2 x + y^{2} + y = 3$

慎一郎「って感じで、 $x^{2} + 2 x + y^{2} + y = 3$ になります。あ、これだと上手く $x$ が消えてないので、①と②に何か掛けないとダメですね……えーっと……」

慎一郎はホワイトボードの前で少し黙り込む。
リサは慎一郎が口を開くのを静かに待った。

慎一郎「そうか、①に $2$ を掛けて、②に $x$ を掛けたものを引けばいいですね」

$2 x^{2} + 2 y^{2} = 2$ ……①× $2$
$-$
$2 x^{2} + x y = 2 x$ ……②× $x$
||
$- x y + 2 y^{2} = 2 - 2 x$
移項すると、 $(2 - y) x + 2 y^{2} - 2 = 0$

慎一郎「あ、でもまだこれだと、 $x$ が残ってるからダメですね」
リサ「そうかしら？さらに②を使えば、 $x$ を完全に消すことができないかしら？」
慎一郎「……あ！そうか！②に $\frac{1}{2} (2 - y)$ を掛けてあげれば、 $(2 - y) x$ が揃うから、」

$(2 - y) x + 2 y^{2} - 2 = 0$
$-$
$(2 - y) x + \frac{1}{2} (2 - y) y = \frac{1}{2} (2 - y) \cdot 2$ ……②× $\frac{1}{2} (2 - y)$
||
$2 y^{2} - \frac{1}{2} (2 - y) y - 2 = - 2 + y$
整理すると、 $5 y^{2} - 4 y = 0$

慎一郎「あ！ $y$ だけの式 $5 y^{2} - 4 y$ が出てきました！」
リサ「そうね。そして、 $5 y^{2} - 4 y$ の先頭項は $LT (5 y^{2} - 4 y) = 5 y^{2}$ 。すなわち、先頭項に $x$ しかなかった連立方程式から、新しく $y$ を変数に持つ先頭項を作り出すことができたの」

元の連立方程式
$x^{2}$ $+ y^{2} = 1$ → $LT (x^{2} + y^{2} - 1) =$ $x^{2}$
$2 x$ $+ y = 2$ → $LT (2 x + y - 2) =$ $2 x$

上の式に多項式を掛けたり、それらを足したり引いたりすることで、
新しく $5 y^{2} - 4 y = 0$ という式が作れた。
$LT (5 y^{2} - 4 y) =$ $5 y^{2}$ には $x$ が登場しない。

慎一郎「おおー！確かにそうですね！」
リサ「さっき $LT (x^{2} + y^{2} - 1) = x^{2}$ と $LT (2 x + y - 2) = 2 x$ では不十分と言ったのは、 $5 y^{2}$ の情報を含んでいないからですわ」
慎一郎「なるほど。足したり掛けたりすることで、先頭項を新しく作れる可能性があるってことですね」
リサ「その通り！実はグレブナー基底というのは、そのような先頭項の情報をすべて持っている多項式の組なのですわ！」
慎一郎「おおー！」
リサ「ここで、最初に書いたグレブナー基底を見てみましょう」

元の連立方程式
$x^{2}$ $+ y^{2} = 1$
$2 x$ $+ y = 2$

グレブナー基底を使って、書き換えた連立方程式
$2 x$ $+ y = 2$
$5 y^{2}$ $- 4 y = 0$

ここで、 ${2 x + y - 2, 5 y^{2} - 4 y}$ はグレブナー基底

リサ「グレブナー基底の多項式の先頭項は、 $LT (2 x + y - 2) = 2 x$ と $LT (5 y^{2} - 4 y) = 5 y^{2}$ で、 $x$ だけでなく $y$ も登場してますわね」
慎一郎「そうですね」
リサ「実は、元の連立方程式の多項式 $x^{2} + y^{2} - 1$ 、 $2 x + y - 2$ から作れるどんな多項式の先頭項も、必ず $2 x$ か $5 y^{2}$ の少なくともどちらかで割り切れるのですわ！」
慎一郎「え！？どういうことですか！？」

慎一郎は驚き目を丸くする。

リサ「例えば、さっき連立方程式を解く際に、 $x^{2} + y^{2} - 1$ に $2$ を掛けて、 $2 x + y - 2$ に $x$ を掛けたものを引きましたわね」
慎一郎「ええ」
リサ「それを式で表すとこのようになりますわ」

$2 (x^{2} + y - 1) - x (2 x + y - 2) =$ $- x y + 2 x + 2 y - 2$

慎一郎「そうですね」
リサ「 $x^{2} + y^{2} - 1$ と $2 x + y - 2$ から新しく、 $- x y + 2 x + 2 y - 2$ という多項式が作れましたわ」
慎一郎「はい」
リサ「この $- x y + 2 x + 2 y - 2$ の先頭項は何かしら？」
慎一郎「えーと、 $LT (- x y + 2 x + 2 y - 2) = - x y$ ですね」
リサ「そう。ここで、 $- x y$ というのは、 $LT (2 x + y - 2)$ （ $=$ $2 x$ ）で割り切ることができますわ」

$LT (- x y + 2 x + 2 y - 2) = - x y$ 、 $LT (2 x + y - 2) = 2 x$ であり、
$- x y = - \frac{1}{2} y (2 x)$
つまり、 $LT (- x y + 2 x + 2 y - 2)$ は $LT (2 x + y - 2)$ で割り切れる。

慎一郎「あ！本当ですね！」
リサ「少し一般化してみましょう。多項式 $h_{1}$ , $h_{2}$ を任意に取ってきますわ」
慎一郎「任意？とはなんですか？」
リサ「『任意』は数学用語で『どんなものでもいい』ということよ。別の言い方すると、 $h_{1}$ と $h_{2}$ は多項式であれば何でもいいってことね」
慎一郎「なるほど」
リサ「それで、 $x^{2} + y^{2} - 1$ と $2 x + y - 2$ にそれぞれ掛けて、足してみますわ」

$h_{1} (x^{2} + y^{2} - 1) + h_{2} (2 x + y - 2)$

リサ「長いので、これを $f$ とおきましょう」

$f = h_{1} (x^{2} + y^{2} - 1) + h_{2} (2 x + y - 2)$

慎一郎「それでこれがどうなるのですか？」
リサ「 $f$ は $x^{2} + y^{2} - 1$ と $2 x + y - 2$ から作られる多項式を意味してますわ。数学的な言い方では、 $f$ は $x^{2} + y^{2} - 1$ と $2 x + y - 2$ から生成されるといいますわ」
慎一郎「生成……！どこか化学っぽい響きがしますね」
リサ「そうね。そして、 $f$ の先頭項 $LT (f)$ を考えると、これは必ず、 $2 x$ または $5 y^{2}$ で割り切れるのですわ！」
慎一郎「え！？ $f$ が具体的によくわかってないのに、そんなことが分かるのですか！？」
リサ「それがグレブナー基底のすごいところなの。与えられた多項式から作られるどんな多項式の先頭項の情報も持ってるのがグレブナー基底ってわけね」
慎一郎「おおー！！」
リサ「数学的な定義を書いてみましょう」

グレブナー基底（多項式が2個の場合）

$g_{1}$ , $g_{2}$ を多項式とする。 $g_{1}$ , $g_{2}$ から生成される任意の多項式 $f = h_{1} g_{1} + h_{2} g_{2}$ に対して（ただし $f \neq 0$ とする）、 $LT (f)$ が $LT (g_{1})$ または $LT (g_{2})$ で割り切れるとき、 ${g_{1}, g_{2}}$ はグレブナー基底と呼ばれる。

慎一郎「なんか難しい感じになりましたね……」
リサ「見た目が難しそうなだけで、内容はさっき話したことをまとめただけですわ」
慎一郎「そうなんですか？」
リサ「ええ。例えば、さっきの例においては、 $g_{1} = 2 x + y - 2$ 、 $g_{2} = 5 y^{2} - 4 y$ で ${g_{1}, g_{2}}$ がグレブナー基底ってわけね」
慎一郎「ふむふむ……」
リサ「そして、 $g_{1}, g_{2}$ から生成される多項式 $f = h_{1} g_{1} + h_{2} g_{2}$ の先頭項 $LT (f)$ は必ず $LT (g_{1})$ または $LT (g_{2})$ で割り切れるってわけ。ただし、 $f = 0$ だと先頭項がないから、 $f \neq 0$ とするけどね」
慎一郎「へー、なるほどー！」
リサ「なんとなく感覚が掴めたかしら？」
慎一郎「はい。なんとなく先頭項っていうのが大事なんだなってのが分かりました。そして、グレブナー基底はその先頭項の情報を持っているんだなって」
リサ「その通りね。では多項式が $2$ 個より大きくした場合のグレブナー基底も考えてみましょう」

グレブナー基底

$g_{1}$ , $g_{2}$ , $\dots$ , $g_{m}$ を多項式とする。 $g_{1}$ , $g_{2}$ , $\dots$ , $g_{m}$ から生成される任意の多項式 $f = h_{1} g_{1} + h_{2} g_{2} + \dots + h_{m} g_{m}$ に対して（ただし $f \neq 0$ とする）、 $LT (f)$ が $LT (g_{1})$ , $LT (g_{2})$ , $\dots$ , $LT (g_{m})$ のいずれかで割り切れるとき、 ${g_{1}, g_{2}, \dots, g_{m}}$ はグレブナー基底と呼ばれる。

慎一郎「より複雑になりましたね……」
リサ「書いてあることは多項式の数をたくさんにしただけなので、心配ありませんわ」
慎一郎「そうなんですね」
リサ「ここまでで何か質問はあるかしら？」

リサの問いかけに慎一郎は少し考える。

慎一郎「そうですね……グレブナー基底が先頭項の情報を網羅してることは、なんとなくですが分かりました。でも、それがどう連立方程式を解くことにつながるんですか？」
リサ「いい質問ね！ゾルディック！」
慎一郎「山田です」
リサ「さっき山田が連立方程式を手で解く時に、 $x$ を消して $y$ だけの式を作りましたわね」
慎一郎「そうですね」
リサ「方程式に掛けたり足したりして新しい方程式を作ることが、さっきの『生成』が対応しているのですわ」
慎一郎「あ、そっか。確かに $f = h_{1} g_{1} + h_{2} g_{2}$ も掛けたり足したりしてるから、同じことしてますね」
リサ「つまり、 $g_{1}$ と $g_{2}$ から $y$ だけの多項式を作ることは、変数が $y$ だけの方程式を作ることを意味しますわ」
慎一郎「そうか。変数が $1$ 個だけなら解きやすいですもんね」

慎一郎は手をポンと叩いて納得する。

リサ「そうね。必ず解けるというわけではないけど、少なくとも『解きやすい』『計算しやすい形』にはなりますわ」
慎一郎「なるほどー！」
リサ「さらにいうと、 $y$ だけの式というのは、その先頭項も $y$ だけになりますわね」
慎一郎「あ、それはそうですね」
リサ「実は特定の条件下だと、その逆も言えるのですわ」
慎一郎「え？」
リサ「先頭項が $y$ だけならば、その多項式の他の項も $y$ だけになる」
慎一郎「ええー！」

$f$ を多項式とする。ある条件下においては、
$f$ の変数は $y$ だけ $⟺$ $LT (f)$ の変数は $y$ だけ

慎一郎「右は先頭項のことしか言っていないのに、他の項まで分かるなんてすごいですね」
リサ「そうね」
慎一郎「それで、その条件とはなんなんですか？」
リサ「それは $x$ を $y$ より最優先して考えるってことよ」
慎一郎「優先？」
リサ「例えば、 $2 x + y - 2$ の先頭項は $2 x$ としましたわね」
慎一郎「はい」
リサ「それは、 $x$ を $y$ より重要に考えてるってことですわ」
慎一郎「ああ、確かに $x$ は $y$ より左にありますね」
リサ「それを基本に考えるの。つまり、単項式の間に順序を入れる時、 $x$ の次数が高い方を最優先する」
慎一郎「なるほど？」

リサは慎一郎が納得していない様子を見て、説明の仕方を変える。

リサ「具体例を見た方がよさそうね。例えば、 $x + y^{3}$ という多項式があった時、 $y^{3}$ の方が $x$ より次数が高いわね」
慎一郎「そうですね」
リサ「でも、 $x$ の方が偉いから、 $x > y^{3}$ として考えて、 $x$ を先頭項とするの」
慎一郎「へー、 $y$ はいくら次数があっても $x$ に負けちゃうわけですね」
リサ「そう。これはもっと複雑な場合にも同様よ。例えば、 $x^{2} y^{3} + x y^{5}$ という式があった時、 $x y^{5}$ の方が合計の次数は高いけど、 $x^{2} y^{3}$ の方が $x$ をたくさん持ってるから、 $x^{2} y^{3} > x y^{5}$ となる」
慎一郎「なるほど。『 $x$ ファースト』というわけですね」
リサ「その通り。このような単項式の順序のことを『辞書式順序 $x > y$ 』というのですわ」
慎一郎「へー、そういう言葉があるんですね」

彼はうんうんとうなづいた。

リサ「この順序を元に、さっきの話を振り返りましょう」

$f$ を多項式とする。 $x$ を最優先する順序（辞書式順序 $x > y$ ）においては、
$f$ の変数は $y$ だけ $⟺$ $LT (f)$ の変数は $y$ だけ

リサ「右向きの $⟹$ についてはさっき言ったから、問題は $⟸$ の方ね」
慎一郎「はい」
リサ「 $LT (f)$ の変数は $y$ だけの時、 $f$ の他の項も変数が $y$ しか登場しないことを示しますわ」
慎一郎「そうですね」
リサ「仮に $f$ の中に $x$ を含む項があったとしますわ。そうするとどうなるかしら？」
慎一郎「えーと……どうなるんでしょう？」
リサ「さっきの" $x$ ファースト"を思い出してご覧なさい」
慎一郎「 $x$ ファースト……あ！そうか！もし $f$ に $x$ の項があったら、その項が先頭項になってしまいますね！」
リサ「その通りですわ！！！」

リサは興奮して腕をブンブン振る。

リサ「そうすると、 $LT (f)$ には変数 $y$ しか出ないことと矛盾しますわね。つまり、 $x$ が最優先される順序において、 $f$ の先頭項に $y$ しか出ないということは、 $f$ は $y$ だけの多項式であることを意味するのですわ！」
慎一郎「先頭項の情報だけでそこまで分かってしまうんですね」
リサ「そして、グレブナー基底は先頭項の情報を網羅していたものだから、グレブナー基底の中に『 $y$ だけの多項式』が登場するってわけ」
慎一郎「確かにさっき見たグレブナー基底 ${2 x + y - 2, 5 y^{2} - 4 y}$ には、 $y$ だけの式 $5 y^{2} - 4 y$ が登場してますね」
リサ「補足すると、連立方程式の解が（複素数の範囲で）有限個の時には、対応する辞書式順序 $x > y$ のグレブナー基底には必ず $y$ だけの式が登場するってことですわ！」
慎一郎「？？？よく分からないですが、少し条件が必要ってことですね」
リサ「以上の議論を詳細にまとめてみますわ！今日初めてグレブナー基底を勉強したので、今すぐ分からなくても問題ありませんわ！」

グレブナー基底で連立方程式が解きやすくなるメカニズム
仮定：連立方程式の解は（複素数の範囲で）有限個とする

連立方程式の式を掛けたり足したりすると（つまり多項式を生成して）、 $y$ だけの式 $f$ が登場する。
↓
$f$ の変数は $y$ だけなので、当然その先頭項 $LT (f)$ の変数も $y$ だけ。
↓
${g_{1}, \dots, g_{m}}$ を連立方程式に対応するグレブナー基底とする（辞書式順序 $x > y$ を考える）
↓
グレブナー基底の定義から、 $f$ の先頭項 $LT (f)$ を割り切る $LT (g_{i})$ がある。
↓
$LT (g_{i})$ は $LT (f)$ を割り切るから、 $LT (f)$ の変数は $y$ だけ
↓
$LT (g_{i})$ の変数は $y$ だけから、命題1より、 $g_{i}$ の他の項も $y$ だけ
↓
つまり、グレブナー基底の中には $y$ だけの多項式 $g_{i}$ が存在する
↓
$g_{i} = 0$ は $1$ 変数だけの方程式なので計算がしやすい

リサ「今日のまとめも書いてみますわね！」

まとめ

グレブナー基底は「計算がしやすい形の多項式の組」
グレブナー基底を使うと連立方程式が解きやすくなる
その理由は、グレブナー基底は「先頭項」の情報を網羅しているものであるため

――数分後。
慎一郎は用意した紅茶をリサの前に置いた。

慎一郎「お嬢様、どうぞ」
リサ「ありがとう」

リサは慎一郎が淹れてくれた紅茶を飲んで一息つく。

リサ「それで、グレブナー基底の魅力は分かったかしら？」
慎一郎「はい。おかげさまで、お嬢様が夢中になる理由が分かった気がしました。もちろんまだ分からないことも多いですが……。それはこれから考えていきたいですね」
リサ「よかったわ。あなたもグレブナー基底大好きになったというわけね」
慎一郎「いや、今日知ったばかりですし、大好きなんて恐れ多いです。それに私はしがない執事ですし……数学なんて高尚なものは不相応かと」
リサ「あら？どうして？」
慎一郎「はい？」

リサはカップをテーブルに置いて、慎一郎の目をじっと見た。

リサ「数学に身分なんて関係ないわ。身分も性別も、年齢も国籍も、人種も学力も関係なく誰もが自由に楽しめるのが数学ですわ。自分が好きだと思ったら、周りの視線なんて関係ありませんわ。大事なのは『自分が何をすべきか』ではなく『自分が何をしたいか』ですもの」
慎一郎「――そうですね」

慎一郎はリサの言葉に、彼女に仕えて本当によかったと思った。
彼はお嬢様のことを心の底から敬愛していた。

リサ「あら！もうこんな時間！グレ妹のアニメが始まってしまいますわ！今日は導来圏が登場する回ですから見逃せませんわ！」
慎一郎「急いでテレビの方を準備いたします」
リサ「ありがとう、慎一郎」

慎一郎はリサお嬢様の笑顔を見て、胸の奥が熱くなる。

慎一郎（あれ……？僕も熱があるのかな……？）

リサ「セバスチャン！急いでくださいまし！始まってしまいますわ！」
慎一郎「はい！今、テレビを持っていきます！」

彼がその『大好き』の気持ちに気づくには、まだ長い時間がかかるようだった。

〜終わり〜

あとがき

「お嬢様はグレブナー基底がお好き」をお読みいただきありがとうございましたぶな！グレブナー基底大好きbotですぶな！今回は漫画家の「ことり野デス子」さんにご協力いただき、グレブナー基底紹介漫画を作っていただきましたぶな！漫画では書ききれなかった部分を、数学小説として補足したのがこの記事になりますぶな！

グレブナー基底の定義をもう少し厳密にするには、単項式順序とイデアルの説明が必要になりますぶな。詳しくは専門書「グレブナ基底と代数多様体入門」を読むといいですぶな。

もし面白かったという方はぜひ記事にいいねを押していただけると嬉しいですぶな！また、もし続きが読みたいという人が多かったら、続編も書きたいと思いますぶな！

ちなみに漫画にも登場するブッフベルガー先生に漫画をお見せしたところ「グレブナー先生の若いころがすごい似てる」とおっしゃっていましたぶな。

投稿日：2021年12月24日