媒介変数
数学における媒介変数(ばいかいへんすう)、助変数(英: auxiliary variable)、補助変数、母数、径数、あるいはパラメータ(英: parameter[注 1])とは、主たる変数(主変数)に対して補助的に用いられる変数である。 各分野において特定の意味で用いられることもあるが、一般に「パラメータ」は特定の系を決定し、分類し、あるいは特徴付ける助けとなる量を言う。 媒介変数はそれが変化したときの系の振る舞いを見るという意味で「変数」と見ることもできるが、対照的に主変数の変化に伴う系の振る舞いを調べたい場合などでは、しばしば補助変数は(「値を取り換えることができる」という意味で値は任意にとれるけれども)「定数」として扱われる。 パラメータは系の同定(あるいは、状態や振る舞いの評価、条件の特定など)に際して有用あるいは重大な役割を果たす系の要素となるものである。
概観
編集補助的な変数を含む函数
編集
函数を定義することには、一つまたは複数の変数を、独立変数として指定することが含まれる。補助変数を含む形で函数を定義することもできるが、ふつう補助変数はその函数のとる引数としてはリストしない。補助変数を含めて考えるとき、実際には一つの函数ではなく函数の族の全体を定めているのだと考えなければならない。例えば、一般の二次函数を
と宣言する場合、この函数の引数は xであり、a, b, c は︵a がゼロでないという条件を満たす︶﹁任意定数﹂である。この﹁任意定数﹂ a, b, c の値を一つ決めるごとに個々の特定の二次函数が決定されると考えることができるという意味で、a, b, c はこの二次函数の族のパラメータである。二次函数のグラフを描いたとき、パラメータ aが放物線の形を決定しており、パラメータは個々の二次函数を特徴付ける量である。
函数がパラメータに依存して決まることを陽に表すために、パラメータを函数名に含めてることができる。例えば、底 b-の対数を定義するのに定義式として
と書けば、左辺で対数函数の記号 log に付けられた添字 bは今どの対数が用いられているかを指し示すパラメータである。このパラメータは対数函数の引数ではなく、例えば微分 (logb x)′ = d(logb x)/dx を考えるときなどには﹁定数﹂として扱われる。
厳密さを要しない場面では、慣習的な手段として︵あるいは歴史的経緯から︶函数の定義に現れるすべての記号をパラメータと呼ぶこともあるが、函数の定義においてどの記号を変数と見るかパラメータと見るかという選択を変えれば、その函数がどのような数学的対象であるかということ自体も変化しうる。例えば下降階乗冪
の概念は、︵k を定数︵パラメータ︶と見るとき︶n を変数とする多項式函数を定義するが、︵n をパラメータとして止めるとき︶k を変数とする多項式函数ではない︵実際、少なくとも非負整数しか引数に取れない︶。このような状況をより厳密に言い表すには、典型的には︵パラメータとしたい記号まで全部変数として扱った︶多変数の函数
を考察の最も基本的な対象として考え、カリー化などを用いてより少ない変数を持つ函数を定義することになる。
パラメータを含む函数の全体をひとつの﹁パラメータ付けられた族﹂(parametric family), すなわち函数の添字付けられた族と見ることはしばしば有用である。
解析幾何学
編集「パラメトリック方程式」も参照
解析幾何学において曲線は区間 Iから適当な空間︵例えば
︶への連続写像 fにより与えられる。この写像 fは径数付曲線と呼ばれる[1]。
例えば、原点を中心とする半径 1の円は
と表わすことができる。このような表示は径数表示、あるいは媒介変数表示と呼ばれる。原点を中心とする半径 1の円は三角関数の恒等式
を用いて媒介変数 tを消去すれば
と表わすこともできる。このような表示は陰関数表示︵陰伏関係式︶と呼ばれる。
連続写像により写される終域が位相群で、径数の加法が群の構造を保つとき一径数群と呼ばれる。
解析学
編集
解析学において、補助変数に依存する積分をしばしば考える。例えば
において tは左辺の函数 Fの引数であるが、同時に右辺の積分がそれに依存してきまるという意味でパラメータである。右辺の積分の評価に際して tは一貫して﹁定数﹂として扱われる︵つまり、その意味ではパラメータであると考えるべきである︶。しかし Fが tの異なる値に対して値をどう変えるかを知りたいならば tは変数として扱われなければならない。なお xは﹁積分変数﹂と呼ばれる見かけの変数 (dummy variable) である︵これも紛らわしいことに積分のパラメータと呼ぶことがある︶。
論理学
編集現象のモデル化
編集「モデル (自然科学)」も参照
関連項目
編集脚注
編集注釈
編集出典
編集- ^ 杉浦『解析入門 1』 p.342
参考文献
編集- 杉浦光夫『解析入門 I』東京大学出版会〈基礎数学〉。ISBN 4-13-062005-3。