演算 (数学)

ウィキペディア

索引トップランキングカテゴリー

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/12 00:06 UTC 版)

形式的分類

「アリティ」も参照

単項演算子

「単項演算」も参照

単項演算子（英: unary operator）とは、被演算子が一つだけの演算を表す演算子。その記法には、通常は被演算子の前に単項演算子を置く前置記法（ポーランド記法）を用い、被演算子を明示するための括弧 "( )" を伴うことも多い。

代表的な単項演算子として、以下がある。

・平方根を表す根号 "√ " ^{[注 1]}

・負を表す（減算ではない）負符号（例: −3）

・絶対値を表す2本の縦線（例: |x|）

・階乗を表す感嘆符（例: n!）（例外的に後置記法で書く）

関数 f(x) の "f( )" も単項演算子であり、符牒となる文字列 "f" を関数子などと呼ぶ場合もある。関数子としては任意の文字列を使用することができ、代表的なものとして三角関数 "sin", "cos", "tan" などが挙げられる。微分作用素の "d/dx" または "D" や、差分作用素 "Δ" も単項演算子である。関数に対する「′」も微分作用素である。例えばf(x)の微分をf′(x)と表せる。また、定数 a を与えるごとに（a が代入可能である限りにおいて）対数関数 log_a x が考えられるが、このとき log_a は定数一つを含む形で単項演算子として働く（そのような場合、a は e や 10 などに固定されているため、文脈上明らかな場合は省略を受け、単に log と記して扱われることも少なくはない）。ただし、仮に a をも変化させて扱うならば log_a x なる式において log は二つの被演算子 a と x を持つ二項演算子（後述）と解されることになる。

二項演算子

「二項演算」も参照

二項演算子（英: binary operator）とは、二つの被演算子から一つの結果を得る演算を表す演算子。数学での写像を表現するのに通常は前置記法で書くのに対して、二項演算子は中置記法で書くことが多い。つまり、"k + 3" のように演算子を二つの被演算子の中間に置く。

二項演算を2変数の関数として、B(·, ·) のように関数子と括弧とコンマを用いた形式で（「·」の位置にそれぞれ適当な被演算子を配置して）表すこともしばしばある。このような形式で被演算子を併記する方法では二項以上の多項演算も表現することができる。明示的な関数子をもたない場合もあり、例えば内積 "<·, ·>", 微分作用素（リー代数）の括弧積（リーのブラケット）"[·, ·]", ポアソン括弧 "{·, ·}", ルジャンドル記号 "(· / ·)" などが挙げられる。これらは複数の記号で一つの演算子の働きをする。また、例えば二項係数の2種類の記法

{}_{\bullet }{\rm {C}}_{\bullet },\quad {\bullet  \choose \bullet }

のように、一つの演算に対して複数の異なる記法の（場合によっては形式も異なる）演算子が用いられていることもある。

多項演算子

二項演算子における記法の多くはそれ以上の任意有限個の被演算子を持つ演算子に対しても、引数を列記する方法を与えるなどの適当な方法で拡張を受ける。さらに、添字集合を適当に指定することによって複数（一般には無限個）の被演算子を一つの被演算子に見立てることも有限的な記述には効果的である。それによって無限個の被演算子を持つ演算子に有限項演算の記法を援用することが可能になる。また、このとき与えた添字もやはり被演算子と解釈することが可能である。

また、前述の log に対する記述とまったく同じ理屈を逆に考えれば、二項演算子のとる二つの被演算子のうち一つを固定する（代入可能な値を代入する）ならば、それによって新たに単項演算子が得られる（あるいは固定する被演算子を添字とする単項演算子の族が得られる）ということが理解される。同様にして、多くの被演算子を持つ多項演算子のうち一つあるいは複数の被演算子を固定することによって、与えられた多項演算子をより制限された数の被演算子を持つ演算子族と読みかえることができる（カリー化）。

脚注