どうもこんにちは、🐟️🍊みかん🍊🐟️です。今回は絶対値について喋ってみようと思います。今回のテーマは「検証時の場合分け回数の最小化を図る」です。実は場合分けしなくても絶対値式同士の相当は示せる場合が多いのですが、結局のところ計算量を増大させることも多いのであまり意味がありません。さて、絶対値関数
で定義される関数で、特にこれは実数体のノルムであることはよく知られています。よく習う記号
普段手書きするときには非対称的な別の括弧を使うことでごまかしていますが、TeXに読み込ませるのが面倒なのでlvertとrvertで書いています。(といっても見た目上同じ記号...)
ざっくりといえば絶対値を含む多項式を絶対値式といいますが、多変数の場合も含めそれなりに僕によって研究されていて、そこそこ著しい結果が得られています。なお、この記事では略記のため他変数に対しては
のような多重指数的な記法を用いることがあります。また、この記事での等号は点ごとでの一致としておきます。
この章では僕が新しく定義したものを書いていきます。最初の定義は読まなくてもどうにかなります(そういう風に記事を作ってあります)。とりあえず考える対象を明確化させている、と捉えていただければ構いません。
まず
とする。さらに一般の
として全ての自然数
の元を絶対値式という。
この定義では分かりにくいかもしれませんが、実は「多項式を含み、(有限回の)和と積と絶対値を取る動作それぞれについて閉じている最小の集合である」という性質を満たすことが知られています。なので、こちらを元に定義しても構いません。絶対値式全体が集合になるかどうか不安に思う方もいるでしょうが、これは(選択公理とは独立に)ZFの公理をみたす「もの」なので、集合とよぶことができます。
勿論色々な解釈がありますが、 Periodさんの記事 にも書いてあるようにZermero--Frankelの集合系は集合に関する定義を直接行っているわけではなく、対象に対する制約を課しているだけです。仮にZF公理系上で「集合」を定義するなら、全ての対象ということになります。そのため、文脈で対象と判定できるものであるから本稿では「ZFの公理をみたす対象」ではなく「ZFの公理をみたすもの」という(多少曖昧な)表現を使用しました。集合論に関してあまり詳しくないので、より適切な表現が存在するのであれば教えていただけると助かります。
考える対象を明確化して色々なことを演繹していくのも楽しいかもしれませんが、この記事は「絶対値の面白味を知らせたい」というのと、「場合分けが面倒」という固定観念を打ち破るために書いているので、もう少し分かりやすい話題をしていきましょう。というか、まともな絶対値研究者が存在しない中でガチの記事を書いても誰も読まないと思います。(というか、それは論文の仕事だと思います。)
まず、(非常に絶対値界隈では有名な)次のような初見では非自明な等式を見ていきます。
これを証明せよ、と言われたらみなさんどうしますか。恐らく多くの人が試みる
任意の絶対値式は連続であるから、
より成立する。
となって両辺一致するから、正しい。従って上記公式を得る。
これで労力が半減、というか多分それ以上にしました。どうやって上記公式を見つけたかなどについては、様々な方法がありますが、 このpdf の定理2.15に従う方法などがあります。構成的な証明なので証明方法が分かれば似たような等式は一変数に限ればいくらでも得られます。もちろんもっと効率的な、例えば場合分けに頼らない方法なも幾つか発見されています。基本的な恒等式なので、色々いじって遊びやすいですね。
現在の絶対値研究の目標の一つに、先の例も含めて非常に多くあると考えられる絶対値式同士の等式を非常に多く作ることができる理論を構築する、というものがあります。
さて、場合分け最短化の練習問題を一つつけておきます。どうすれば最も簡単にできるでしょうか。
任意の実数
出典はあるとすれば彳亍さんの某吹き出しです。閉じと開きが分かりにくいので、確認したければ次のコードを参照してみてください。
2\lvert\lvert x+y+\lvert x\rvert\rvert -x\rvert=\lvert x-y+\lvert x+y\rvert\rvert-\lvert x+y+\lvert 3x+y\rvert\rvert+\lvert 3x+y\rvert+\lvert x+y\rvert+2y
よく高等学校の定期試験に出題されるような、方程式を解く際も公式を天下りして解く方が簡単です。(慣れてないと厳しいでしょう)この記事が好評だったら今度、既知の絶対値の恒等式(の一部)を纏めた記事を作ろうと思っていますが、使いやすいものだけは先に紹介しておこうと思います。この式を適当に変数変換したりすると楽しいです。
次の公式がなりたつ。
証明は演習問題とします。
さて、質問が来そうなので先に述べておくと、先の練習問題の絶対値式はより一般的な結果を用いることで絶対値の中に絶対値が入っていない形式(少しくだけた表現を用いるとネストされた最小回数が
興味があればこの事実を証明してみましょう。もし良かったら一緒に絶対値研究しませんか。
今回は僕が高校生活で一番時間を費やした研究対象である絶対値について、できるだけ身近に語ってみました。もう少し語りたいので、あと一つだけ。絶対値式全体の集合の全商環(要するに零因子以外で割れるようにしたもの)を
のようなものが作れてしまうので、適当に場合分けしてあげればネストされた回数を
最後まで読んでいただきありがとうございました。