関数解析学

ウィキペディア

関数解析学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2026/03/21 07:03 UTC 版)

関数解析学（かんすうかいせきがく、英: functional analysis、仏: Analyse fonctionnelle、函数解析学とも書かれる。別名は位相解析学。）は数学（特に解析学）の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い。また、無限次元空間上での微分 (フレシェ微分など) を扱うため、無限次元空間上での微分積分学という捉え方も可能である。

名前の由来

1880年代に変分法の研究の中で関数の集合から実数への写像という概念が登場した。この写像をヴォルテラは汎関数（functional）と呼んだ。ピンケルレ、ヴォルテラ、アスコリ、アルツェラといったイタリアの数学者たちは、汎関数を用いた解析学の構築を試みた。その後、フランスのポール・レヴィがこの分野を関数解析（functional analysis）と呼び、この用語が定着した。

20世紀前半には、ステファン・バナッハ、ダフィット・ヒルベルト、ジョン・フォン・ノイマン、フリジェシュ・リースらによって、バナッハ空間やヒルベルト空間の理論が確立され、関数解析学は数学の独立した一分野として発展した。特に、1930年代のバナッハの研究は、この分野の基礎を築くものとなった。

第二次世界大戦後、関数解析学はさらなる発展を遂げた。1940年代から1950年代にかけて、ローラン・シュワルツによる分布(超関数)の理論が確立され、偏微分方程式論に革新をもたらした。イズライル・ゲルファントは表現論と関数解析を結びつけ、作用素環の理論を発展させた。1950年代にはアレクサンドル・グロタンディークによる位相ベクトル空間の一般理論が構築された。

概要

関数解析学の主要な研究対象は、無限次元のベクトル空間、特に関数空間とその上の線型作用素である。有限次元の線型代数学における概念(ベクトル、線型写像、固有値など)を無限次元空間に拡張し、完備性や位相の概念を取り入れることで、より豊かな理論が展開される。

関数解析学で扱われる主要な空間のクラスとして、バナッハ空間(完備なノルム空間)、ヒルベルト空間(内積を持つ完備空間)、フレシェ空間、より一般的な位相線型空間などがある。これらの空間上で定義される線型作用素、特に連続な線型作用素の性質を調べることが、関数解析の中心的なテーマの一つである。

関数解析学の理論は、偏微分方程式論、量子力学、数値解析、最適化理論、制御理論、機械学習など、数学内外の広範な分野において基礎的な役割を果たしている。

ノルム線型空間

関数解析学で研究された基本的かつ歴史的に最初の空間のクラスは、実数または複素数上の完備なノルム線型空間である。このような空間はバナッハ空間と呼ばれる。重要な例として、ノルムが内積から生じるヒルベルト空間がある。これらの空間は、量子力学の数学的定式化、機械学習（特に再生核ヒルベルト空間の理論）、偏微分方程式、フーリエ解析など、多くの分野において極めて重要である。

より一般的に、関数解析学はバナッハ空間よりも広いクラスの位相線型空間を扱う。重要な例としてフレシェ空間がある。フレシェ空間とは、可算個の半ノルムによって定義される距離化可能な位相を持ち、その距離に関して完備な局所凸空間である。滑らかな関数の空間 $C^{\infty }(\mathbb {R} ^{n})$

この項目は、解析学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。

• 表示
• 編集

ウィキペディア小見出し辞書

関数解析学

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

「解析学」の記事における「関数解析学」の解説

微分法は極値を求める問題であるが、これを一般化し、与えられた汎関数が極値を持つような関数を求める問題が変分法であり、物理学において広く応用されている。汎関数の解析学を更に一般化して関数を関数空間の点としてみなすことによって、関数解析学は誕生した。その起源はフレシェの1906年の抽象空間論 などに見られるが大元は積分方程式であろう。ここでディリクレ問題が重要となり、そのためにはディリクレ原理の正当化が必要となった。最初に研究したフレドホルムは失敗したが、ヒルベルトはその正当化に成功し、更に積分方程式の研究を進めるが、ノイマンはこれを更に一般化することによってヒルベルト空間を利用し量子力学の数学的基礎付けを成し遂げた。