新演算の話の続き
こんにちは、急にブログのアクセス数が伸びてビビった108Hassiumです。
今回はたまたま拡散力のある人の影響を受けただけのような気がするので、今後は自力で注目を集められるように努力したいと思います。
さて、伸びの要因となった前回の記事ですが、書ききれなかった話題が残っているのでブチ撒けたいと思います。
定義域
あの記事では簡単さを重視したため、定義域についてあまり触れていませんでした。
例えば+₂の定義を導出(?)するとき、自然数のときだけ成り立つという式を勝手に実数に拡張して定義を完成させていました。
別にこの類の議論を真剣にやるつもりは毛頭ないんですが、完成した定義がどこまで適用可能なのかはちょっと気になります。
まず、
- 指数関数の定義域は実数全体
- 対数関数の定義域は正の実数全体
- 対数関数の値域は実数全体
なので、はaとbが正の実数であれば問題なく定義できます。
次に、の場合を考えます。
は、のとき0に収束、のとき発散します。
よって、のときで、のときはは定義できません。
+₃もやってみましょう。
- の定義域は
- の定義域は
よって、の定義域はかつかつかつです。
これ以降もの性質を調べることにより定義域を求めることができます。
ちなみにグラフ描画ツールでを描画してみると以下のようになりました。
左からです。
のときになることが分かりますね。
の値
の値がどのぐらいになるか気になったので、計算してみました。
あれ?もしかして何かの値に収束する?
1.44ぐらいの定数...あっ!
?!
本当にになるのかはわかりませんが、指数やら対数やらが入り乱れる式の極限がになるというのは「ありそう」な話ですね。
ちなみに、はが収束するような最大の実数であるという性質があります。
こちらのブログ「アジマティクス」さんに、この話に関する詳しい解説があります。
この記事、すごいです。一見の価値ありです。
(全然違う値だったら嫌だな)
合成演算
※ここから本編
あの記事で散々ボロクソに叩いた、「冪乗の分配法則」。
これを見て、ふと思いました。
「足し算と掛け算を『合成』して冪乗ができたみたいだ。」
こう考えると、は「とを合成したもの」と捉えることができます。
というわけで、演算の合成について考えました。
"&"
まず、新しい演算子"&"を考えます。
これは何に使うかというと、「とを合成した演算をとする」と書くのに使います。
例えばとを合成するとになりますが、これをと書く、という事です。
要するに「整数でないに対してを定義したい」という話なんですが、私の数学力ではを実数と見做せるかどうかはわかりませんでした。
なので、とりあえずここからは「は多分実数として扱えるだろう」という仮定の上で話を進めます。
数学力が有り余っている人はその真偽について真剣に考察してみると面白いかもしれません。(知らんけど)
まず、が満たすべき性質として現時点でわかっていることを挙げます。
これだけです。
どちらも演算の性質の共通点です。
なお、2番目の式との整合性が取れないためとし、冪乗はの形で表せないものとします。
せっかく話題を提供したのにその話題から排除されるなんて憐れですね。
合成
次はいよいよ合成演算について考えます。
との合成演算は、以下の性質を満たすものとします。
- ・・・単位元の存在
- ・・・分配法則
分配法則が何か妙な形をしていますが、これは「テトレーション」のような例のための対策です。
テトレーションは冪乗をさらに拡張した演算で、以下の性質を持ちます。
計算してみるとわかると思いますが、テトレーションには従来の形の分配法則が成り立ちません。
合成演算でもこのような現象が起こることを考慮して、あのような形に制限したのでした。
さて、まずはを計算してみましょう。
今のところの値は不明なので、計算できるのはここまでです。
現段階でわかることといえば、今までと違いは非可換であることが挙げられます。
※非可換:交換法則が成り立たないこと
あと交換法則といえば、演算自体が可換かどうかを確認していませんでした。
定義を見ても判断できないので、とりあえずを計算してみます。
全っ然違う式になりました。
ということは、演算は非可換であるということになります。
そして、も非可換です。
ところで、とを見比べてみると、
- は冪乗と割り算でできている
- は対数と掛け算でできている
という関係があることが分かります。
- 割り算と掛け算は互いに逆演算の関係である
- 冪乗と対数は互いに逆演算の関係である
…これ、何かありそうですね。
答えを先に言うと、
※は十分大きい任意の実数
という性質があります。
とはそれ単体では非可換でも、二つ組み合わせると可換になるんですね。
これが他の合成演算でも成り立つのか気になるので、計算してみます。
(使いまわしですみません)
やはりと、とでも同じ法則が成り立ちました。
さて、私の数学力ではここまでの検証が限界なので、ここで終わろうと思います。
それでは、さようなら。