関数空間
函数空間(かんすうくうかん、function space)とは、特定の空間上で、ある性質を持つ函数の全体を幾何学的な考察の対象として捉えたものである。
概要
函数空間はもとの空間の様々な性質を自然な形で内包しており、素性のよい空間であれば、その函数空間からもとの空間を「復元」することができる。通常、考察の対象となる函数は実数値函数や複素数値函数のように終域を共有するものである。函数の終域として、必要に応じて特定の体や環といった代数系をとることになるが、それにより函数空間にはベクトル空間や環上の加群の構造があらかじめ与えられていると考えることができる。もとの空間が代数的なものでなくても、函数空間へ移れば代数的な操作を利用した考察が可能となるということが、函数空間を考える動機のひとつである。つまり、函数空間の代数的な性質をもとの空間に還元してやることで、それまでには知られていなかった性質が発見されたり、逆にもとの空間の幾何学的な構造を函数空間に移して考えることで、ある種の代数系の性質が決定されることを知ったりするのである。
また、函数空間には様々の位相が定義されて、位相空間を成す。
- この場合、「函数」という言葉に位相空間や一様空間に値をとるような(また定義域も位相空間であるような)写像を含めるほうが都合がよいため、しばしばそのように扱われる。もちろん、実数の全体 R や複素数の全体 C は通常の位相で一様位相空間である。
どのような位相が扱われるのかは議論の文脈により変わるが、たとえば X から Y への配置空間を X を添字とする Y の(X の濃度の分だけの)コピーの直積位相空間と見なして自然に導入される各点収束位相であるとか、またたとえば一様収束位相はルベーグ空間の L∞-ノルムによる距離位相を例としてしばしば目にすることができるものであるし、また局所コンパクト空間上の函数空間でのコンパクト開位相は、函数とその変数とを相対化して同等に扱い、(函数も一つの変数だと思って)同時に動かすときに連続性に関して自然な位相として現れてくる。
函数空間上の函数空間といった概念も様々な形で現れる。例えばディラックの分布の理論は、函数空間上の函数空間として超函数全体の成す空間を規定するものであるし、また例えば微分形式は、局所的には多様体の表面をその上の函数空間である接空間と同一視し、さらにその余接空間とよばれる函数空間上で定義される函数(の芽)である(大域的には微分形式は余接束の切断である)。