汎函数

数学の特に函数解析や変分法における汎函数（はんかんすう、）は、ベクトル空間からその係数体あるいは実数値函数の空間への写像のことを指して言う。言い換えると、ベクトルを入力引数とし、スカラーを返す函数である。よくある状況として、考えるベクトル空間が函数の空間のときには函数を入力の引数としてとるので、汎函数のことを「函数の函数」と考えることもある。変分法において汎函数の使用は、ある種の汎函数を最小化する函数を求めることから始まった。物理学への特別に重要な応用として、を最小とする系の状態を探すことがある。
例と導入.
双対性.
函数 formula_1が与えられているとき、これを formula_2 を止めてformula_3 を formula_2 の引数と見た写像
と理解することができるが、それと同時に formula_6 を止めて formula_2 が動くものと見た
は汎函数である。このとき formula_3 はパラメータと理解することができる。
formula_2 が線型空間からその係数体への線型写像ならば、上に挙げた二つの写像は互いに双対な線型写像となるので、函数解析においてはいずれも線型汎函数と呼ぶ。
定積分.
定積分は汎函数の特殊なクラスを与える。例えば
の形の定積分は、"H" が実数値のとき、函数 "f" をある実数（積分値）へ写すので汎函数になっている。定積分が与える汎函数の例として
などを挙げることができる。
ベクトルのスカラー積.
ベクトル空間 formula_15 の任意のベクトル formula_16 に対し、他のベクトル formula_17 とのスカラー積（formula_18 もしくは formula_19 と書く）はスカラーとなる。この積がゼロであるようなベクトルの集合は、formula_15 の部分空間となり、formula_15 のヌル空間とか核とかと呼ばれる。
局所性と非局所性.
汎函数の値が与えられたの曲線の小さな部分に対して計算可能で、足し合わせてトータルの値を見いだせる場合には、函数は局所的と呼ばれる。そうでない場合は、非局所的と呼ばれる。例えば、
は局所的であることに対し、
は、非局所的である。質量中心の計算のような、積分が式の分子と分母で別れる場合には、一般にこのようなことが発生する。
汎函数の微分と積分.
汎函数微分はラグランジュ力学で使われる。汎函数の微分は、函数が小さな量だけ変化するとき、どのように汎函数が変化するかという情報である。変分法を参照。
リチャード・ファインマンは、量子力学の経路積分の定式化の中で中心的なアイデアとしてを使った。この使い方は、ある函数空間を渡る積分という意味を持っている。