そもそも「分数」とは何か？

はじめに ―小学校では分数をどのように習ったか―

　分数という概念は，数学だけでなく日常生活のいたるところで使われている，とても身近なものです．例えば，何かを等分するときに「何分の何」というような表現をしますね．もちろん数学においては分数が数え切れないほど出てきますし，高校になると多項式の分数（教科書では分数式と呼ばれる）が登場します．
　調べてみると，小学校3,4年で分数の意味と通分をしない加減について，5,6年で分数の加減乗除と小数への変換について学習するそうです．ここで，小学校ではどのように分数の導入がされているのでしょうか．例えば$\frac{3}{4}$について考えてみます．まず，$\frac{1}{4}$という数が，1mのテープなどを例にして「$1$を4つに分けたもの」として説明されます．そして，「その$\frac{1}{4}$が3つ集まったものが$\frac{3}{4}$である」と教えられます．つまり，式でかけば
$$\frac{m}{n}=\frac{1}{n}\times m$$
ということです．小学校3,4年でこのように教わったあと，小学校5年で割り算としての分数，つまり$\frac{m}{n}=m\mathbf{\nabla }\mathbf{\cdot }n$という形を習います．
　次に分数の計算をどのように教わるか見てみましょう．まず通分と約分ですが，これはまたテープなどを用いて，「2つに分けたうちの1つ，4つに分けたうちの2つ，6つに分けたうちの3つもすべて長さは同じ」という観察をした後，次の性質

を教わります．そして，「通分，約分をして2つの分数の分母をそろえることで足し算，引き算をする」という流れで加減の方法を習います．ここまでは小学校5年で扱うそうです．最後に分数の乗除については，

• 分数同士の掛け算は，「分母同士，分子同士をそれぞれ掛ける」ことで計算できる
• 分数同士の割り算は，「割る数を逆数にして，分数の掛け算をする」ことで計算できる

と習います．
　ところで，小学校では分数の他に小数という概念も教わります（小学校4年から）．これについては，まず$0.1,0.01,0.001,\dots$という形の小数（つまり$\frac{1}{{10}^n}$で表される小数）を導入し，「それらと$1$をいくつか組み合わせたもの」として$1.234$のような小数が導入されます．そして，その後「筆算」によって小数の加減乗除を習うことになります．これに上で述べた分数の割り算による表現を使えば，分数の加減乗除は小数の加減乗除と対応することがわかります．つまり，この事実は小学校の時点ですでに知っていることになり，それ以降（中学校や高校）では特に言及なしに使われることになります．
　少し前置きが長くなりましたが，ここから本題に入っていくことにします．

疑問

この記事のテーマは次の問題です．

「分数」とは何か？

• 「$1$を$n$個に分けたもの」とはどういうことか？
• $m$が$n$で割り切れないとき，$m\mathbf{\nabla }\mathbf{\cdot }n$はどのように定められる数なのか？
• 通分，約分（公式1）は例を見たことで導入されたが，本当に成り立っているのか？

　1つ目，2つ目の疑問に対しては，はじめにの最後で触れた小数を思い浮かべるかもしれません．しかし，$0.1,0.01,0.001,\dots$とはどういうものなのでしょうか？これを「$1$を10個に分けたもの」のように説明してしまうと1つ目の疑問に戻ってきてしまいます．
　ここで，数学に親しみのある方の中には2つ目（加えて1つ目）の疑問に対して次のような回答を思いついた人もいるでしょう．

ところが，この定義にも問題が残ります．それは，文章中に出てくる「数$x$」の数の部分です．その数とは一体なにを指しているのでしょうか？もしかしたら「有理数」や「実数」とすればいいんじゃないか？と思ったかもしれませんが，（中学，高校においては）そもそも有理数は「分数で表せる数」，無理数は「分数で表せない数」と定めていたのでこれでもまた逆戻りしてしまいます．
　では，一体どのようにしたら「分数」というものを正確に定められるのでしょうか．以降，その問題について考えていきます．

分数を「定義」する

　ここから分数を正確に定めていきます．分数は

• 「分数」は2つの整数$m,n$に対して定められる（$\frac{m}{n}$という形をしているため）．
• 「分数」の分母には$0$は現れない（つまり$\frac{m}{0}$という形はありえない）．
• 「分数」の分母と分子に同じ数をかけても，それらは「同じ」になる．逆に，2つの「分数」が「同じ」なら，どちらかの分数の分母・分子にある整数をかけたものがもう一方の分数になっている．

という性質があるものでした．つまり，これらを加味して定義を行うことになります．

Step1：準備

　まず，与えられた整数$m,n$で，$n$が$0$でないものに対して，その2つの組を$(m,n)$と書きます．この$(m,n)$に色々な細工をして分数を定めます．簡単のために，以下ではそのような「整数$m$と$0$でない整数$n$の組$(m,n)$」のことを前分数と呼ぶことにします（筆者が勝手につけた名前なので一般的ではないことに注意してください．仮の分数なので仮分数にしたいところですがすでに使われているため pre- の意味で"前"をつけました）．
　ここで，一般に2つの整数の組$(m,n)$と$(n,m)$は異なることに注意してください．中学生のときに習う「座標」を思い出すとそのことがわかると思います（例えば，点$(2,3)$と点$(3,2)$は明らかに異なる点を表します）．

Step2：「同じさ」を定める

　この章の冒頭で述べたように，2つの分数が等しいなら，どちらかの分数の分母・分子にある整数をかけたものがもう一方の分数になっているのでした．これを参考にして，次の定義を設けます．

　イメージとしては，2つの分数$\frac{a}{b},\frac{c}{d}$に対して$\frac{a}{b}=\frac{c}{d}$なら$ad=bc$が成り立つので，これを意識した定義をした，という感じになります．

Step3：分数の定義と通分の証明

　このステップではついに分数を定義します．Step2において，前分数に対し「分数のイコール」に似た同等という概念を定義しました．ここで注意しておきたいのは，同等というのは「イコール」というわけではない，ということです．例えば，2つの前分数$(1,2),(2,4)$に対して$1\times 4=2\times 2$が成り立つため$(1,2)\sim (2,4)$ですが，明らかに$1\ne 2,2\ne 4$なので$(1,2)\ne (2,4)$です．
　しかし，分数の場合，$\frac{1}{2}=\frac{2}{4}$というように「イコール」が成り立ちますが$1=2,2=4$であるというわけではありません．つまり，分数を定義するためには，$(a,b)\sim (c,d)$のとき$\frac{a}{b}=\frac{c}{d}$となるようにうまく前分数$(a,b)$から"記号"$\frac{a}{b}$を定める必要があります．そこで，次のように分数$\frac{a}{b}$を定義します．

　「どういうこと？」と思った方もいると思うので詳しく説明します．まず，上の定義より$\frac{a}{b}$という記号は"集まり"を表している，ということに注意します．$(a,b)\sim (c,d)$のとき$\frac{a}{b}=\frac{c}{d}$が成り立つようにしなければならないのでした．$\frac{a}{b},\frac{c}{d}$はそれぞれ，
$$\begin{array}{rl}& \frac{a}{b}=\text{「 }(a,b)\text{ と同等になる前分数 }(x,y)\text{ すべての集まり」}\\ & \frac{c}{d}=\text{「 }(c,d)\text{ と同等になる前分数 }(x,y)\text{ すべての集まり」}\end{array}$$
となりますが，$(a,b)\sim (c,d)$なら「$(a,b)$と同等になる前分数$(x,y)$」は「$(c,d)$と同等になる前分数$(x,y)$」であり，またその逆もしかりです．

　このことから，
$$\begin{array}{rl}\frac{a}{b}& =\text{「 }(a,b)\text{ と同等になる前分数 }(x,y)\text{ すべての集まり」}\\ & =\text{「 }(c,d)\text{ と同等になる前分数 }(x,y)\text{ すべての集まり」}\\ & =\frac{c}{d}\end{array}$$
が成り立ち，結局$(a,b)\sim (c,d)$のとき$\frac{a}{b}=\frac{c}{d}$であることがわかりました．つまり，これで分数を正確に定義することができたことになります！
　以上の結果を用いると，分数の「通分」が成り立つことを証明することができます．

　Step3では，まず，前分数$(a,b)$があったときに，そこから分数$\frac{a}{b}$を「$(a,b)$と同等になる前分数$(x,y)$すべての集まり」と定義し，すると"通分"ができることを正確に証明できることを見ました．しかしここで行ったのはあくまで分数自体の定義をすることであり，つまりまだ分数の足し算や掛け算は定められていません．よって，次にそれらを定める必要があります．

Step4: 「足し算」と「掛け算」

　通常の（小学校で習った）分数に対しては，
$$\begin{array}{rl}& \frac{a}{b}+\frac{c}{d}=\frac{ad+bc}{bd}\\ & \frac{a}{b}\times \frac{c}{d}=\frac{ac}{bd}\end{array}$$
が成り立つのでした．それゆえ Step3 で改めて定義した分数に対してもこのように定義するべきでしょう．つまり，次のようになります．

　ここで，$\frac{a}{b}=\frac{a^{\prime }}{b^{\prime }}$，$\frac{c}{d}=\frac{c^{\prime }}{d^{\prime }}$としたとき$\frac{a}{b}+\frac{c}{d}$と$\frac{a^{\prime }}{b^{\prime }}+\frac{c^{\prime }}{d^{\prime }}$，$\frac{a}{b}\times \frac{c}{d}$と$\frac{a^{\prime }}{b^{\prime }}\times \frac{c^{\prime }}{d^{\prime }}$はそれぞれ等しくなってほしいですよね．この$\frac{a}{b}+\frac{c}{d}$や$\frac{a}{b}\times \frac{c}{d}$はそれ自体で1つの記号なので，この段階では，
$$\begin{array}{rl}\frac{a}{b}+\frac{c}{d}& =\frac{a^{\prime }}{b^{\prime }}+\frac{c}{d}\\ & =\frac{a^{\prime }}{b^{\prime }}+\frac{c^{\prime }}{d^{\prime }}\end{array}$$
という式変形は明らかではありません．つまり，$\frac{a}{b}+\frac{c}{d}=\frac{a^{\prime }}{b^{\prime }}+\frac{c^{\prime }}{d^{\prime }}$と$\frac{a}{b}\times \frac{c}{d}=\frac{a^{\prime }}{b^{\prime }}\times \frac{c^{\prime }}{d^{\prime }}$はしっかり定義に基づいて証明する必要があります．では，証明してみましょう．

　これでやっと分数の足し算や掛け算が行えることになります！例えば
$$\begin{array}{r}\frac{1}{2}+\frac{1}{3}=\frac{1\times 3+2\times 1}{2\times 3}=\frac{5}{6}\end{array}$$
や
$$\begin{array}{r}\frac{7}{14}+\frac{5}{15}=\frac{1}{2}+\frac{1}{3}=\frac{5}{6}\end{array}$$
といった計算ができますね．　
　引き算については，マイナスの分数を足す，すなわち
$$\begin{array}{r}\frac{a}{b}-\frac{c}{d}=\frac{a}{b}+(-\frac{c}{d})\end{array}$$
とみることができます．ここで，$-\frac{c}{d}$は
$$\begin{array}{r}-\frac{c}{d}:=\frac{-c}{d}=\frac{c}{-d}\end{array}$$
を意味します（2つ目のイコールは$(-c)(-d)=dc$よりわかります）．

Step5：分数の割り算

　さて，最後に分数の割り算について見ていきます．まず，（自然数の）割り算$a\mathbf{\nabla }\mathbf{\cdot }b$は$a$に$\frac{1}{b}$をかけたものとみることができるのでした．このことから，$\frac{a}{b}\mathbf{\nabla }\mathbf{\cdot }\frac{c}{d}$は分数$\frac{a}{b}$に対して分数$\frac{c}{d}$の「逆数」をかけることで定義できると考えられます．分数$\frac{c}{d}$の逆数は$\frac{c}{d}x=1$をみたす分数$x$ということができ，この$x$は明らかに$\frac{d}{c}$です．以上の議論より，分数の割り算を次のように定義します．

　掛け算の場合により，もし$\frac{a}{b}=\frac{a^{\prime }}{b^{\prime }},\frac{c}{d}=\frac{c^{\prime }}{d^{\prime }}$であるときには$\frac{a}{b}\mathbf{\nabla }\mathbf{\cdot }\frac{c}{d}=\frac{a^{\prime }}{b^{\prime }}\mathbf{\nabla }\mathbf{\cdot }\frac{c^{\prime }}{d^{\prime }}$となることがわかります．
　以上で分数の割り算がしっかり定義できたため，$a\mathbf{\nabla }\mathbf{\cdot }b$を$\frac{a}{b}$と書いたように，$\frac{a}{b}\mathbf{\nabla }\mathbf{\cdot }\frac{c}{d}$を
$$\frac{\frac{a}{b}}{\frac{c}{d}}$$
と書くことにすれば，これで「分数の分数」という概念も正当化できたことになります．割り算についてはすでに定義していた掛け算についての事実を用いただけだったので追加の議論をせずに済みましたね．

分数式の場合

　前章では，整数に対しその「分数」の厳密な定義はどういうものになるのか，ということを見ました．ここで，はじめにの一番初めにも触れた，多項式に対する「分数式」はどうやって定義できるのか？という疑問が生じます．実はこの「分数式」も整数の場合と同じようにして定義することができるのです．では，実際にどうやるのかを見てみましょう（議論がかぶる部分が多いためさらっと説明することにします）．
　まず用語についての注意です．中学数学や高校数学では，項が1つの式を単項式，単項式を足し合わせたものを多項式とよび，単項式と多項式をあわせて整式とよんでいますが，ここでは単項式を項が1つの多項式とみなし，整式という用語の代わりに多項式という言葉を使うことにします．

Step1

　多項式$P$と$0$でない多項式$Q$に対して，組$(P,Q)$を前分数とよびます．整数の場合と同様，これが分数のもととなります．

Step2

　2つの前分数$(P,Q),(R,S)$に対して，$(P,Q)$と$(R,S)$が同等であるとは$PS=QR$が成り立つこととします．また，このとき記号で$(P,Q)\sim (R,S)$と書きます．

Step3

　前分数$(P,Q)$に対して，分数式$\frac{P}{Q}$を

と定義します．このとき，整数の場合と同様に$(P,Q)\sim (R,S)$のとき$\frac{P}{Q}=\frac{R}{S}$が成り立つことがわかります（ぜひ手を動かして実際に確かめてみてください）．

Step4

　2つの分数式$\frac{P}{Q},\frac{R}{S}$に対して，新しい分数$\frac{P}{Q}+\frac{R}{S}$と$\frac{P}{Q}\times \frac{R}{S}$を，

と定義します．このとき，また整数の場合と同様に，$\frac{P}{Q}=\frac{P^{\prime }}{Q^{\prime }},\frac{R}{S}=\frac{R^{\prime }}{S^{\prime }}$なら$\frac{P}{Q}+\frac{R}{S}=\frac{P^{\prime }}{Q^{\prime }}+\frac{R^{\prime }}{S^{\prime }}$と$\frac{P}{Q}\times \frac{R}{S}=\frac{P^{\prime }}{Q^{\prime }}\times \frac{R^{\prime }}{S^{\prime }}$が成り立ちます（これもぜひ確かめてみてください）．

　分数式の割り算は特に議論することがないため省略します．以上によって分数式も厳密に定義することができました．

おわりに ―「分数」の拡張と大学の数学の世界―

　この記事では，まず小学校で習った分数の概念を振り返り，疑問点を提示しました．そして，ではどうすれば「正確に」分数というものを定義できるのか，ということで2章において分数の「構成」を追っていきました．最後に，その整数に対する分数の構成が分数式の場合にも行える，ということを確認しました．
　実は，今回紹介した正確に分数を定義する方法は環の局所化と呼ばれるものの一例になっています．全く知らない方は「え？」となっていると思うので，（正確さには欠けますが）なんとなく雰囲気だけでも掴んでいただけるような説明をしようと思います．

　まず，私たちに馴染みの深い「整数」は，足し算・引き算・掛け算ができるもので，さらに交換法則，結合法則，分配法則などが成り立っています（これは小学校や中学校で習いますね）．また，おそらく中学校や高校で，なぜか「数の範囲が自然数だと引き算は常にできると限らず，数の範囲が整数だと割り算は常にできると限らない……」みたいな「それはそうでしょ」と思うようなことをやったと思います．実は，このことは専門的な（大学で習うような）数学の一つである代数学につながる内容なのです．
　代数学において，整数のような

のことを環とよびます（いきなり定義を書いてもある程度用語を知らないと混乱してしまうと思うので，"などの条件"のようにぼかして書いています）．注意しておきたいのは，ここでの「数」は私たちが慣れ親しんでいるような数字である必要はなく，常識的には「数」と考えられないようなものであったとしても，それらに足し算・引き算・掛け算のようなものが定まっていてかつ環であるための条件を満たしさえすればよいということです．整数の集まりが満たす「良い条件」を「抜き出して」きて，逆にその抜き出した条件以外を「捨て去る」ことにより得られた一般的な概念が環であるというわけです．
　例えば，もちろん整数は環になっています．他に，多項式の集まりは足し算，引き算，掛け算ができ，また整数などは変数を含まない1項の多項式と見れるので$0,1$も存在して，さらに中学高校で習ったように結合法則や分配法則が成り立ちます．つまり，多項式全体の集まりも環をなします（そもそも環の条件を書いていないので正確に証明したことにはなっていませんが）．
　これで「環の局所化」という言葉の「環」の部分はなんとなくわかったと思います．ではその「局所化」とは一体何なのでしょうか？まず，環には足し算・引き算・掛け算は定まっていましたが「割り算」は必ずしもできるとは限りません．これは整数のとき割り算ができなかったことをイメージすればよいです．実は，「環の局所化」とは，環において割り算をできるようにする操作のこと，言い換えればその環に含まれる「数」を使って分数をつくる操作のことをいいます．
　上で述べたように整数全体や多項式全体は環をなしますから，本文で議論した整数の分数をつくる操作や多項式の分数をつくる操作が「環の局所化」の一例となっていることは想像がつくと思います．逆にいえば，「環の局所化」とは，整数・多項式とは違う，しかしそれに似た「数の世界」において整数・多項式の場合と同じように「分数」を構成する操作だといえるでしょう．

　このように，私たちが普段何気なく使っている数学の概念の裏には，奥深い数学の世界が潜んでいます．この記事ではその「普段何気なく使っている数学の概念」の1つとして「分数」というものを取り上げましたが，それ以外にも「整数，実数，多項式，方程式，関数，ベクトル，…」など，掘り下げると興味深い話題で溢れている概念がたくさんあります．もし，今回の話を「面白い！」と感じたらぜひインターネットや本などを使って色々調べてみてください！きっとあなたの好奇心を揺さぶる話題に出会えるはずです．
　今回はここまでです．最後までご覧いただきありがとうございました！！