レッスン
理論 — 不等式741語
不等式を解くということは、条件を満たす値の集合を明らかにすることに他なりません。この集合はふたつの要素によって決まります。境界がどこにあるかということと、境界となる点自身が集合に含まれるかどうかです。
各記号の意味
<- 狭義の関係です。境界は除外され、解集合のその端は開いています。
≤- 広義の関係です。境界が含まれるため、解集合のその端は閉じています。
sup- 上限。集合内のどの要素もそれを超えることのない、最小の値です。上に有界な集合であれば、集合自身がその値を含んでいるかどうかにかかわらず必ず存在します。
- 前提
- 境界とは両辺が完全に等しくなる場所である、という前提です。だからこそ不等式を解く際には、方程式を解くのと同じ計算を用います。関係自体が計算を行っているわけではありません。関係が担っているのは、どちら側を選ぶかという決定と、境界を含めるかどうかの判断なのです。
- 成り立たない場合
- 等号を含めるかどうかの選択は、単なる要素の所属よりもはるかに重大な事実を決定づけます。最大値がそもそも存在するかどうかです。
x ≤ 5の最大の解は 5 であり、具体的な数として誰かに手渡すことができます。ところがx < 5には最大の解が存在しません。5 未満のどんな値を候補に挙げても、その数と 5 の中間の値が、さらに大きな解として集合内に必ず見つかります。これが永遠に続くのです。集合の最小の上界が 5 であることに変わりはありません。単に、集合自身がそれを含んでいないだけなのです。同じ最適化問題でも、≤なら答えを出せるのに、狭義の制約下では解を持たなくなる理由はここにあります。学校の演習では句読点のようにしか見えなかった記号の違いが、いざ最大化を論じる段になると、全体の構造を根底から支える決定的な意味を持つようになるのです。
全プロセスの詳細解説
-
予算20未満で5に加えて1キロメートルあたり2かかる配達 7 ステップ
配達料金は5、それに加えてキロメートルごとに2かかります。予算は20未満です。どこまで遠くまで行けるでしょうか。また、もし料金体系が割引として提示されていたら、数式はどう変化するでしょうか。
-
ぴったり20になる距離を求めているわけではないので、方程式ではなく不等式として書き表します。
-
両辺から5を引きます。足す数の符号が何であれ、足し算と引き算が不等号の向きに影響を与えることはありません。
-
2で割ります。正の数なので不等号の向きはそのままです。これで、上端が開いた領域として答えが求まりました。
-
7.5キロメートル未満です。予算は厳密に20未満なので、端点は含まれません。距離がちょうど7.5のとき、料金はぴったり20になります。たとえわずかであっても、言葉の定義から言えば予算オーバーになるからです。
-
今度は割引のケースを考えてみましょう。20のクレジットからキロメートルごとに2が差し引かれ、残高を5より大きく保つ必要があるとします。
-
−2で割ることで不等号の向きが反転し、先ほどと同じ領域が答えになります。当然です。全く同じ道のりを逆の視点から説明しているだけですから。もし反転を忘れると x > 7.5 となり、予算に収まるはずの範囲ではなく、予算オーバーとなる側の範囲が出てきてしまいます。
-
そしてここから先、計算はもう助けにはなりません。どちらの式からも x < 7.5 が導かれますが、7.5自体が予算内に収まるかどうかは式からは決まりません。「20未満」が19.99を意味するのか、それとも20を含むのかは契約の問題であり、不等式の問題ではないのです。代数の計算では確かめられない仕事を、この厳密な不等号が担っています。
解答
7.5キロメートル未満であり、7.5自体は除外されます。これを割引として書き表した場合、同じ道のりでも−2での割り算、つまり不等号の反転が必要になります。それを忘れると、予算外となる側の領域が導かれてしまいます。
-
-
x が残っていない不等式 6 ステップ
このプリセットは 2x + 5 ≥ 2x + 5 です。これを解いたうえで、x を失った不等式は答えを出しそこねたのか、それとも非常に大きな答えを出したのかを判断してください。
-
両辺から 2x を引きます。同じ量を両辺に足しても関係は保たれます。その量が何であってもです。ですからこの操作は x を含んでいても安全であり、x を掛ける操作とはまさにそこが違います。
-
残るのは 5 ≥ 5 です。両辺とも x の係数が 0 になったので、孤立させるものも、割るものもありません。
-
境界の公式は同じ行き詰まりを計算の形で示します。ax + b ≥ cx + d を解くと x = (d − b)/(a − c) となり、ここでは 0 ÷ 0 です。パネルの境界の行にダッシュが出るのは、表示すべき境界が存在しないからです。
-
5 ≥ 5 は真であり、しかも x に触れずに真です。したがって元の不等式はすべての実数で成り立ち、答えの行はそのとおりに表示します。
-
関係を厳密にすると 5 > 5 は偽になり、当てはまる数はありません。かわりに右辺の定数を 5.001 に動かすと、主張は 0 ≥ 0.001 となってこれも偽です。四つの数はほとんど同じなのに、解集合は数直線全体から空になります。
-
この飛躍は不連続に見えますが、そうではありません。右辺を 5.001 に固定したまま、二つの x の係数を一致させるのではなく ε だけずらしてみましょう。境界は 0.001/ε に来ます。ε = 0.1 なら答えは x ≥ 0.01、ε = 0.001 なら x ≥ 1、ε = 0.0001 なら x ≥ 10 です。ε が閉じるにつれて半直線は無限遠へ退いていきます。これが空集合の到来をスローモーションで見たものです。
解答
すべての x です。空の答えはこの反対ではなく双子です。二つの x の係数が一致すると x の項が消え、二つの定数だけで決着します。ですから主張は、真であってすべての数が解になるか、偽であって解が一つもないかのどちらかです。どちらの場合も境界は存在せず、だからこそ境界の行は両方とも空欄になり、読む価値があるのは答えの行だけになります。他のどのプリセットでも一点しか動かさない「厳密かどうか」の選択が、このプリセットでは実数直線の全体を動かすのです。
-
学習の道すじ
xについて解く:マイナス記号からの積み上げ
参考文献 (1)
- Where the guarantee comes from that a least upper bound always exists, even when no largest member does: R. Dedekind, Stetigkeit und irrationale Zahlen. Vieweg, Braunschweig, 1872.