※本記事は抽象的な数学の内容を含みます
※本記事は遊戯王OCGの内容をほぼ含みません
やあ。
みんなは、「斬機」カテゴリを知ってるかな?
そう、あの、シグマだとかナブラだとかいうよく分からん名前の、ロボットみたいな見た目をしたカテゴリだ。
きょうは、その「斬機」のカード名に使われている“数学の用語”について解説していこう。
アディオン
サブトラ
マルチプライヤー
ディヴィジョン
それぞれ足し算()、引き算()、掛け算()、割り算()のこと。
英語のaddition、subtraction、multiplication、divisionから来ている。
これら4つは合わせて四則演算と呼ばれ、最も基本的な2項演算(2つの数を使って1つの数を作る演算)である。
なおみなさんは自然数()、整数(,負の数も含めたもの)、有理数(分数も含めたもの)といった数の種類をよく知っていることと思うが、自然数、整数に関してはこの四則演算について閉じていない。
“閉じていない”とは、自然数、整数同士の2項演算の結果が、それぞれ自然数、整数となるとは限らないということ。
自然数は引き算について閉じていない(は自然数ではない)し、整数は割り算について閉じていない(は整数ではない)ことが簡単に確かめられるだろう。
ここで、有理数まで数の範囲を広げれば、これは四則演算について閉じていることになる。
どんな分数同士の2項演算の結果もまた、分数となるからだ。
この有理数のように、「四則演算について閉じている数の集合」のことを、数学用語で体(たい)(field)と呼ぶ。
四則演算が重要なのは、この“体”という概念が重要であるからに他ならない。
シグマ
(sigma)と書く。
は総和記号である。
数列に対して、とは、からまでの総和
を表す。
また、これの極限
は、数列の項を無限に足し合わせていったものを表すことになる。
これを級数と呼び、単に
と書く。
結局、表記を簡略化するための記号ということだね。
ファイナルシグマ
シグマ()と同じ“シグマ”だが、と書く。
これはシグマの語末形(ファイナル)と呼ばれる形である。
(は大文字、は小文字)
数学では、この記号はシグモイド関数を表す記号として使われる。
シグモイド関数とは、
という形の関数のことである。
(※これは標準形と呼ばれる形)
グラフはこうなっている。
この通り、値がからに変化していくなめらかな関数となっている。
ふつう、値がからに変化する関数であれば、こういうものを用いればよい。
ただ、これはにおいて微分不可能なのである。
このようなからに変化する関数を扱いたいとき、実用上それが微分可能な関数であってほしいことが多いため、コレの代わりにシグモイド関数を使うのである。
考えた人は頭がよいね!
ダイア
と書き、直径記号(diameter)と呼ぶ。
円の直径のことである。
この記号のみ他の記号とは使い方が異なり、数式の中で使うのではない。
図の中で「」などと書き、直径の長さが10であることを表すために使う。
ぶっちゃけこれだけものすごく浮いている。
マグマ
代数的構造のひとつ、マグマ(magma)のことである。
亜群とも呼ぶ。
という記号で書かれることが多い。
代数的構造とは、ある規則を持つ、ある集合と演算の組のことである。
先ほど口走った、“四則演算のできる数の集合「体」”も代数的構造の一種である。
「群」という代数的構造があるのだが、「マグマ」は群よりも満たさすべき規則が少ない代数的構造なので、「亜群」と呼ばれているのだ。
では、マグマとはどのような代数的構造なのか。
集合と演算の組がマグマであるとは、
を満たすことである。
つまり、集合の要素同士を使った2項演算の結果もまた、の要素となればよい、というものである。
(※こういうのを、はについて“閉じている”と呼ぶのであった)
自然数同士の足し算、整数同士の掛け算など、マグマとなる集合と演算の組はそこら辺にいっぱいあるが、注目すべきはマグマはこれら2つなんかよりもよっぽど、緩い構造でもよいのである。
例えば、整数同士の掛け算は
・任意のについて
・任意のについてとなる(には依存しない)が存在する
・任意のについて
などが成立するが、マグマでは別にこれらは成り立たなくてもよい。
唯一マグマが要求する条件は、演算について閉じているということだけなのだから。
ナブラ
と書き、ナブラ演算子(nabla)と呼ぶ。
これは微分演算を表す記号で、ベクトルとして扱う。
座標空間においては、は
(※ は偏微分記号で、関数に対してとは、のを定数だとみなしについて微分したもののこと)
というベクトルとして扱い、関数に対してその関数の勾配、ベクトル場に対してそのベクトル場の発散、回転などといったものを表すために使われる。
それぞれ、
勾配:
発散:
回転:
となる。
このように、は特定の作用素ではなく、作用素を項とするベクトルなのである。
便利!
ラプラシアン
ラプラシアンは、ある関数に対してその勾配の発散を求める作用素である。
勾配は、発散はだったので、すなわちラプラシアンは、
ということになる。
座標空間においては、
と書ける。
つまり、関数に対してその勾配の発散は、
ということだ。
楽しいね!
ダランベルシアン
と書き、ダランベール演算子(d'alembertian)と呼ぶ。
ダランベルシアンは、ラプラシアンをミンコフスキー空間に適用させたものである。
ミンコフスキー空間とは、空間の3つの軸に時間軸を加えた4次元の空間(を表せるもの)のことである。
座標系においてラプラシアンはどうなるかというと、
(ミンコフスキー空間ではを計算するとき全ての項の積和を取るのではなく、前半の積和から後半の積和を引いたものを用いる。これをミンコフスキー計量という。今回はが前半、が後半にあたる)
となる。
4次元だから、という記号なのだ。
かっちょいいね!
ナユタ
那由多。
のべき乗を表す数詞のひとつで、を表す。
のべき乗を表す数詞とは、から順に、万、億、兆、京(けい)、垓(がい)、𥝱(じょ)、穣(じょう)、溝(こう)、澗(かん)、正(せい)、載(さい)、極(ごく)、恒河沙(ごうがしゃ)、阿僧祇(あそうぎ)、那由多(なゆた)、不可思議(ふかしぎ)、無量大数(むりょうたいすう)、のことである。
最後の“無量大数”は、を表す。
小学2年生のとき算数の教科書に書いてあるこれを一生懸命覚えて暗唱することに熱を上げたことのある人も少なくないだろう。
あと個人的な推測ではあるのだが、最後の4つ「恒河沙、阿僧祇、那由多、不可思議」が敵の組織の幹部4人組の名前であった場合、那由多は間違いなく紅一点の美少女キャラクターであるだろう。
方程式
方程式(equation)とは、などの記号を含む等式のことである。
このを未知数と呼び、等式を変形しての形にする、すなわち未知数の値を求めることを方程式を解くという。
そして、そのの値のことを方程式の解と呼ぶ。
また、関数とその導関数(を微分したもの)、任意階の導関数を含む等式を微分方程式と呼び、変形しての形にすることを微分方程式を解くという。
そして、その関数を、微分方程式の解と呼ぶ。
「方程式」という言葉は日常生活や決闘において「○○が成功するための方程式」「勝利の方程式」などポジティブなこと(方程式が解ける)のフラグとして用いられることがあるが、そもそも方程式には解が存在しないことや、任意の要素が解になってしまうこと、解は存在するが解を表記できないことなどがある。
つまり、勝利の方程式が全て揃ったとしても、その方程式が解ける保証などどこにも無く、勝利できるとは限らないということである。
(方程式はあくまで等式であり、解けるか解けないか、解がどうなのかについては条件を課さないのだ)
帰納法
数学的帰納法(mathematical induction)のこと。
数学的帰納法とは、自然数に関する主張が任意の自然数について成り立つということを証明するための手順である。
その手順とは以下。
i. のとき成り立つことを示す
ii. 任意のについて、「のとき成り立つならばのとき成り立つ」が成り立つことを示す
以上。
この2つを示せば、i.によりのときは成り立ち、これとii.によりのときも成り立ち、これとii.によりのときも成り立ち、・・・と任意のについて成り立つことが示されたことになる。
考えた人すごいね。
で、話は一転「数学的帰納法」という名前についてだが、まず数学とは関係無い用語である帰納法と演繹法について説明する。
帰納法とは、特殊な事象から一般の法則を推論する思考法のことである。
(特殊→一般)
演繹法とは、一般の法則から特殊な事象を推論する思考法のことである。
(一般→特殊)
ということは、演繹法は必ず正しい推論であり、帰納法は正しいとは限らない推論であるということである。
なぜならば、一般の法則というのはどんな特殊な事象もそれを満たすはずであるが、特殊な事象があってもそれが一般的であるとは限らないからだ。
(この国の羊はみな黒い。よって、あそこにいる羊は黒いはずだ。→正しい推論
あそこにいる羊は黒い。よって、この国の羊はみな黒いはずだ。→正しくない推論)
一方、数学で行う推論は正しくなくてはならないので、数学で行う推論に帰納法を用いることは無い。
のだが、「数学的帰納法」はなぜか名前に「帰納法」とついている。
これは純粋な命名の間違いであり、当然「数学的帰納法」は「帰納法」ではない。
なんとなく帰納法っぽく見えるからという理由だけでこのような名前になってしまったのだ。
かわいそうだね数学的帰納法!
超階乗
超階乗(superfactorial)のことであり、自然数に対してと書く。
まず、階乗というものがある。
自然数の階乗とは、
のことであり、つまりからずつ小さくしていったものを全部掛けた数のことである。
これに対しての超階乗は、
のことである。
階乗よりも圧倒的に大きな数となり、その大きくなる速さは日常で使うレベルの数の大きさをすぐ遥かに越える。
少し計算してみよう。
まあ。
まあ。
ん?これちょっとやばk
ア゜
・・・
というふうに、いきなり訳分からんほど大きな数が登場する。
しかし、このように理解し難いほど大きな数も、やと書けば平気で扱える。
思えば我々は、例えば那由多個のモノなど実際に見たこともないはずなのだが、と書けば、なんかその大きさを理解できているような気がするのだ。
それほど、数の表記法というのは偉大なモノなのである。
そんな、理解し難いほど大きな数を表記することを研究する分野を、その数そのものの名前で巨大数といい、インターネット上でも盛んに研究されてきた。
ニコニコ動画などには関連の動画があるので、興味のある人はぜひ見てみることをおすすめする。
・・・
以上!
これで現時点で発売している全斬機カードのカード名に使われている記号・用語を扱った。
特に、斬機モンスターは全て1文字の記号で表記できる()ので、斬機モンスターを呼ぶとき3,4文字の名前を書くのが面倒であれば、これらの記号で簡略化して書くことができる。
また、これら記号の意味を知っていればアディオンとサブトラを見て「どっちが攻撃力アップでどっちが攻撃力ダウンだっけ?」などの疑問を抱くこともなくなる。
(私は対戦相手に言われたことがある)
これを見て斬機に興味を持った人は、ぜひ斬機デッキを組んで遊んでみようね!
・・・
それでは。
・・・
この記事がオモシロかったら、ぜひ記事のツイートのリツイートをお願いします↓
斬機を使って公認大会も優勝できたので、斬機のブログを書きました!
— バラノラ (@psychicbaranora) 2020年7月24日
斬機のカード名に使われている全ての「数学用語」について、解説いたします。#遊戯王BN
斬機の数学用語解説 - 螺旋式うぇーぶhttps://t.co/RFhybSemCJ
誤字・脱字・内容の指摘、質問・感想など↓