ブラウザよりも高速アクセス！
20 関係: 位相空間、作用素、作用素環論、微分方程式、バナッハ空間、ヒルベルト空間、フーリエ変換、ベクトル空間、ソボレフ空間、積分方程式、線型代数学、線型位相空間、線型写像、解析学、超関数、関数 (数学)、関数空間、関数方程式、数学、数学的構造。
位相空間
数学における位相空間（いそうくうかん, topological space）とは、集合にある種の情報（位相、topology）を付け加えたもので、この情報により、連続性や収束性といった概念が定式化可能になる。 位相空間論は位相空間の諸性質を研究する数学の分野である。.
新しい！!: 関数解析学と位相空間 · 続きを見る »
作用素
数学における作用素（さようそ、operator）は、しばしば写像、函数、変換などの同義語として用いられる。函数解析学においては主にヒルベルト空間やバナッハ空間上の（必ずしも写像でない部分写像の意味での）線型変換を単に作用素と呼ぶ。そのような空間として特に函数空間と呼ばれる函数の成す無限次元線型空間は典型的であり（同じものを物理学の分野、特に量子力学などでは演算子（えんざんし）と呼ぶ）、このとき、作用素を関数を別の関数にうつす写像として理解することができる。数（定数関数）の集合に値をとる作用素は汎函数（はんかんすう、functional）と呼ばれる。 また、群や環が空間に作用しているとき、群や環の各元が定める空間上の変換、あるいはその変換が引き起こす関数空間上の変換のことを作用素ということがある。.
作用素環論
作用素環論（さようそかんろん、）とは、作用素環とよばれるクラスの位相線型環を主に研究する数学の分野である。研究対象の直接的な定義からは複素数体上無限次元の線型代数学と言え、普通関数解析学に分類されている。しかし、その手法や応用はいわゆる代数学・幾何学・解析学の諸分野に幅広くわたり、アラン・コンヌが提唱する非可換幾何の枠組みを与えていることでも特筆される。 作用素環とは普通ヒルベルト空間上の有界線型作用素（連続な線型写像）のなす複素数体上の線型環に適当なノルムによる位相を定めたもので、随伴作用とよばれる対合変換で閉じたもののことを指す。この随伴作用は複素行列の共役転置作用をヒルベルト空間上の作用素について考えたものであり、有限次元の線型代数学と同様に自己共役作用素やユニタリ作用素が理論の展開に重要な役割をはたす。主要な作用素環のクラスとしては、局所コンパクト空間上の複素数値連続関数環の「量子化」を与えていると考えられるC*-環や、可測関数環に対応するフォン・ノイマン環があげられる。それ以外にも、考える作用素環の無限性をとらえる非有界（自己共役）作用素も決定的な役割を果たしているし、多様体上の微分構造に対応するより繊細な構造の位相環と、それらに対するド・ラームコホモロジーの類似物なども研究されている。 このような作用素環が可換になったり I 型とよばれる簡単な構造を持つ場合にさまざまな（作用素環以前の）古典的な対象が現れ、作用素環の構造が複雑になるほど古典的な数学では捉えにくい複雑な状況が表されていると考えられる。作用素環論の主な目標として、このように作用素環によって「非可換」化・量子化された幾何的対象を表現し、通常の図形と（可分）位相群などとを統一的に理解することや、それらに対するホモロジー・コホモロジー的な理論（K理論）の構成と理解などが挙げられる。 1930年代のとフォン・ノイマンのフォン・ノイマン環に関する一連の論文や、1940年代のイズライル・ゲルファントとによるC*-環に関する研究が作用素環論の始まりだといわれている。可換環と局所コンパクト空間の圏の同値性を与えるゲルファント・ナイマルクの定理はアレクサンドル・グロタンディークによるスキームの概念にも影響を与えている。1970年代に冨田・竹崎理論を駆使してコンヌが III 型フォン・ノイマン環の分類をほぼ完成させた。1980年代にはヴォーン・ジョーンズによって部分因子環の理論と、その派生物としてトポロジーにおける結び目の不変量を与えるようなジョーンズ多項式が得られた。一方で作用素環はそのはじめから数理物理（特に量子力学）の定式化に使われることが意識されており、現在でも物理学とのあいだに活発な交流がある。 日本の作用素環論の研究者で1994年以降、ICMで全体講演をしたものはいないが、招待講演者の中には小沢登高、泉正己がいる。.
新しい！!: 関数解析学と作用素環論 · 続きを見る »
微分方程式
微分方程式（びぶんほうていしき、differential equation）とは未知関数とその導関数の関係式として書かれている関数方程式である長倉三郎ほか編、『 』、岩波書店、1998年、項目「微分方程式」より。ISBN 4-00-080090-6。 物理法則を記述する基礎方程式は多くが時間微分、空間微分を含む微分方程式であり、物理学からの要請もあり微分方程式の解法には多くの関心が注がれてきた。微分方程式論は解析学の中心的な分野で、フーリエ変換、ラプラス変換等はもともと微分方程式を解くために開発された手法である。また物理学における微分方程式の主要な問題は境界値問題、固有値問題である。 線型微分方程式の研究は歴史が長く。それに比して、非線型微分方程式の研究は歴史が浅く比較的簡単な方程式しか解析できていない。例えばナビエ-ストークス方程式は、流体の支配方程式として重要であるが、その解の存在性は未解決問題でありミレニアム懸賞問題にも選ばれている。 その他有名な微分方程式については:Category:微分方程式を参照。.
新しい！!: 関数解析学と微分方程式 · 続きを見る »
バナッハ空間
数学におけるバナッハ空間（バナッハくうかん、Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。 解析学に現れる多くの無限次元函数空間、例えば連続函数の空間（コンパクトハウスドルフ空間上の連続写像の空間）、 ''L''''p''-空間と呼ばれるルベーグ可積分函数の空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。 バナッハ空間の名称は、この概念をハーンとヘリーらと共に1920-1922年に導入したポーランドの数学者ステファン・バナフに因む。.
新しい！!: 関数解析学とバナッハ空間 · 続きを見る »
ヒルベルト空間
数学におけるヒルベルト空間（ヒルベルトくうかん、Hilbert space）は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。 ヒルベルト空間は、典型的には無限次元の関数空間として、数学、物理学、工学などの各所に自然に現れる。そういった意味でのヒルベルト空間の研究は、20世紀冒頭10年の間にヒルベルト、シュミット、リースらによって始められた。ヒルベルト空間の概念は、偏微分方程式論、量子力学、フーリエ解析（信号処理や熱伝導などへの応用も含む）、熱力学の研究の数学的基礎を成すエルゴード理論などの理論において欠くべからざる道具になっている。これら種々の応用の多くの根底にある抽象概念を「ヒルベルト空間」と名付けたのは、フォン・ノイマンである。ヒルベルト空間を用いる方法の成功は、関数解析学の実りある時代のさきがけとなった。古典的なユークリッド空間はさておき、ヒルベルト空間の例としては、自乗可積分関数の空間 、自乗総和可能数列の空間 、超関数からなるソボレフ空間 、正則関数の成すハーディ空間 などが挙げられる。 ヒルベルト空間論の多くの場面で、幾何学的直観は重要である。例えば、三平方の定理や中線定理（の厳密な類似対応物）は、ヒルベルト空間においても成り立つ。より深いところでは、部分空間への直交射影（例えば、三角形に対してその「高さを潰す」操作の類似対応物）は、ヒルベルト空間論における最適化問題やその周辺で重要である。ヒルベルト空間の各元は、平面上の点がそのデカルト座標（直交座標）によって特定できるのと同様に、座標軸の集合（正規直交基底）に関する座標によって一意的に特定することができる。このことは、座標軸の集合が可算無限であるときには、ヒルベルト空間を自乗総和可能な無限列の集合と看做すことも有用であることを意味する。ヒルベルト空間上の線型作用素は、ほぼ具体的な対象として扱うことができる。条件がよければ、空間を互いに直交するいくつかの異なる要素に分解してやると、線型作用素はそれぞれの要素の上では単に拡大縮小するだけの変換になる（これはまさに線型作用素のスペクトルを調べるということである）。.
新しい！!: 関数解析学とヒルベルト空間 · 続きを見る »
フーリエ変換
数学においてフーリエ変換（フーリエへんかん、Fourier transform; FT）は、実変数の複素または実数値函数を別の同種の函数に写す変換である。変換後の函数はもとの函数に含まれる周波数を記述し、しばしばもとの函数の周波数領域表現 と呼ばれる。これは、演奏中の音楽を聴いてそれをコードに書き出すというようなことと同様な思想である。実質的に、フーリエ変換は函数を振動函数に分解する。 フーリエ変換 (FT) は他の多くの数学的な演算と同様にフーリエ解析の主題を成す。特別の場合として、もとの函数とその周波領域表現が連続かつ非有界である場合を考えることができる。「フーリエ変換」という術語は函数の周波数領域表現のことを指すこともあるし、函数を周波数領域表現へ写す変換の過程・公式を言うこともある。なおこの呼称は、19世紀フランスの数学者・物理学者で次元解析の創始者とされるジョゼフ・フーリエに由来する。.
新しい！!: 関数解析学とフーリエ変換 · 続きを見る »
ベクトル空間
数学、特に線型代数学におけるベクトル空間（ベクトルくうかん、vector space）、または、線型空間（せんけいくうかん、linear space）は、ベクトルと呼ばれる元からなる集まりの成す数学的構造である。ベクトルには和が定義され、またスカラーと呼ばれる数による積（「スケール変換」）を行える。スカラーは実数とすることも多いが、複素数や有理数あるいは一般の体の元によるスカラー乗法を持つベクトル空間もある。ベクトルの和とスカラー倍の演算は、「ベクトル空間の公理」と呼ばれる特定の条件（後述）を満足するものでなければならない。ベクトル空間の一つの例は、力のような物理量を表現するのに用いられる幾何ベクトルの全体である（同じ種類の任意の二つの力は、加え合わせて力の合成と呼ばれる第三の力のベクトルを与える。また、力のベクトルを実数倍したものはまた別の力のベクトルを表す）。同じ調子で、ただしより幾何学的な意味において、平面や空間での変位を表すベクトルの全体もやはりベクトル空間を成す。 ベクトル空間は線型代数学における主題であり、ベクトル空間はその次元（大雑把にいえばその空間の独立な方向の数を決めるもの）によって特徴づけられるから、その観点からはよく知られている。ベクトル空間は、さらにノルムや内積などの追加の構造を持つこともあり、そのようなベクトル空間は解析学において主に函数をベクトルとする無限次元の函数空間の形で自然に生じてくる。解析学的な問題では、ベクトルの列が与えられたベクトルに収束するか否かを決定することもできなければならないが、これはベクトル空間に追加の構造を考えることで実現される。そのような空間のほとんどは適当な位相を備えており、それによって近さや連続性といったことを考えることができる。こういた位相線型空間、特にバナッハ空間やヒルベルト空間については、豊かな理論が存在する。 歴史的な視点では、ベクトル空間の概念の萌芽は17世紀の解析幾何学、行列論、連立一次方程式の理論、幾何ベクトルの概念などにまで遡れる。現代的な、より抽象的な取扱いが初めて定式化されるのは、19世紀後半、ペアノによるもので、それはユークリッド空間よりも一般の対象が範疇に含まれるものであったが、理論の大半は（直線や平面あるいはそれらの高次元での対応物といったような）古典的な幾何学的概念を拡張することに割かれていた。 今日では、ベクトル空間は数学のみならず科学や工学においても広く応用される。ベクトル空間は線型方程式系を扱うための適当な線型代数学的概念であり、例えば画像圧縮ルーチンで使われるフーリエ展開のための枠組みを提示したり、あるいは偏微分方程式の解法に用いることのできる環境を提供する。さらには、テンソルのような幾何学的および物理学的な対象を、抽象的に座標に依らない で扱う方法を与えてくれるので、そこからさらに線型化の手法を用いて、多様体の局所的性質を説明することもできるようになる。 ベクトル空間の概念は様々な方法で一般化され、幾何学や抽象代数学のより進んだ概念が導かれる。.
新しい！!: 関数解析学とベクトル空間 · 続きを見る »
ソボレフ空間
数学においてソボレフ空間（ソボレフくうかん、Sobolev space）は、函数からなるベクトル空間で、函数それ自身とその与えられた階数までの導函数の ''Lp''-ノルムを組み合わせて得られるノルムを備えたものである。ここでいう微分を適当な弱い意味での微分と解釈することにより、ソボレフ空間は完備距離空間、したがってバナッハ空間を成す。直観的には、ソボレフ空間は（偏微分方程式のような応用範囲に対して）十分多くの導函数を持つ函数からなるバナッハ空間あるいはヒルベルト空間であって、函数の大きさと滑らかさの両方を測るようなノルムを備えたものということである。 ソボレフ空間の名称はロシア人数学者のセルゲイ・ソボレフに因む。ソボレフ空間の重要性は、偏微分方程式の解というものは古典的な意味での導函数を備える連続函数からなる古典的な空間の中ではなく、むしろソボレフ空間の中にあるとして捉えたほうが自然であるという事実にある。.
新しい！!: 関数解析学とソボレフ空間 · 続きを見る »
積分方程式
積分方程式（せきぶんほうていしき、Integral equation）は、数学において、未知の関数が積分の中に現れるような方程式である。積分方程式と微分方程式には密接な関係があり、そのどちらでも問題を定式化することができる場合もある。 積分方程式は次の3種類の分類方法がある。この分類によれば、8種類の積分方程式が存在する。.
新しい！!: 関数解析学と積分方程式 · 続きを見る »
線型代数学
線型代数学（せんけいだいすうがく、linear algebra）とは、線型空間と線型変換を中心とした理論を研究する代数学の一分野である。現代数学において基礎的な役割を果たし、幅広い分野に応用されている。また、これは特に行列・行列式・連立一次方程式に関する理論を含む。線形などの用字・表記の揺れについては線型性を参照。 日本の大学においては、多くの理系学部学科で解析学（微分積分学）とともに初学年から履修する。なお、高校教育においては平成27年度からの新課程では行列の分野が除外されている。.
新しい！!: 関数解析学と線型代数学 · 続きを見る »
線型位相空間
数学における線型位相空間（せんけいいそうくうかん、）とは、ベクトル空間の構造（線型演算）とその構造に両立する位相構造を持ったもののことである。係数体は実数体 R や複素数体 C などの位相体であり、ベクトルの加法やスカラー倍などの演算が連続写像になっていることが要請される。線型位相空間においては、通常のベクトル空間におけるような代数的な操作に加えて、興味のあるベクトルを他のベクトルで近似することが可能になり、関数解析学における基本的な枠組みが与えられる。 ベクトル空間の代数的な構造はその次元のみによって完全に分類されるが、特に無限次元のベクトル空間に対してその上に考えられる位相には様々なものがある。有限次元の実・複素ベクトル空間上の、意義のある位相はそれぞれの空間に対して一意的に決まってしまうことから、この多様性は無限次元に特徴的なものといえる。.
新しい！!: 関数解析学と線型位相空間 · 続きを見る »
線型写像
数学の特に線型代数学における線型変換（せんけいへんかん、linear transformation、一次変換）あるいは線型写像（せんけいしゃぞう、linear mapping）は、ベクトルの加法とスカラー乗法を保つ特別の写像である。特に任意の（零写像でない）線型写像は「直線を直線に移す」。 抽象代数学の言葉を用いれば、線型写像とは（体上の加群としての）ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。 「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像（自己準同型）の意味で用いていることも少なくない。また函数解析学の分野では、（特に無限次元空間上の）線型写像のことを「線型作用素」（せんけいさようそ、linear operator）と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」（いちじけいしき、linear form, one-form; 線型形式; 1-形式）とも呼ばれる一次の微分形式（一次微分形式もしくは微分一次形式; differential one-form）を単に「一次形式」または「1-形式」(one-form) と呼ぶこともある。これとの対照のため、本項に云う意味での一次形式を「代数一次形式」(albegraic one-form) と呼ぶ場合がある。。 線形等の用字・表記の揺れについては線型性を参照。.
新しい！!: 関数解析学と線型写像 · 続きを見る »
解析学
解析学（かいせきがく、英語：analysis, mathematical analysis）とは、極限や収束といった概念を扱う数学の分野である 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN978-4-00-080309-0 C3541 。代数学、幾何学と合わせ数学の三大分野をなす。 数学用語としての解析学は要素還元主義とは異なっており、初等的には微積分や級数などを用いて関数の変化量などの性質を調べる分野と言われることが多い。これは解析学がもともとテイラー級数やフーリエ級数などを用いて関数の性質を研究していたことに由来する。 例えばある関数の変数を少しだけずらした場合、その関数の値がどのようにどのぐらい変化するかを調べる問題は解析学として扱われる。 解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する。また解析学は応用分野において微分方程式を用いた理論やモデルを解くためにも発達し、物理学や工学といった数学を用いる学問ではよく用いられる数学の分野の一つである。 解析学は微積分をもとに、微分方程式や関数論など多岐に渡って発達しており、現代では確率論をも含む。 現代日本においては解析学の基本的分野は概ね高校2年から大学2年程度で習い、進度の差はあれ世界中の高校や大学等で教えられている。.
超関数
数学において超関数（ちょうかんすう、generalized function）は、関数の概念を一般化するもので、いくつかの理論が知られている。超関数の重要な利点として、不連続関数の扱いを滑らかな関数に似せることができることが挙げられる。また点電荷のような離散的な物理現象の記述にも便利である。超関数の応用範囲は極めて広く、特に物理学や工学においても利用されている。 超関数の応用例としては主に、不連続関数の微分、デルタ関数、アダマール有限部分積分、緩増加関数のフーリエ変換などが挙げられる。 超関数の起源は演算子法に見ることができるが、直接的には、セルゲイ・ソボレフやローラン・シュヴァルツらの仕事がその始まりである。 1935年にソボレフが、部分積分を形式的に用いて、微分方程式の解の拡張をしたのをはじめ、何人かの数学者によって微分の拡張が行われ始め、1940年代末にはシュワルツがこれらを超関数の理論としてまとめた。1958年に佐藤幹夫が層コホモロジーの理論を応用して、シュワルツらとは別の見地に立った超関数論を組み立てた。超関数論に重要な影響を与えたのは、偏微分方程式や群の表現の理論などからの技術的な要請であった。.
関数 (数学)
数学における関数（かんすう、、、、、函数とも）とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.
新しい！!: 関数解析学と関数 (数学) · 続きを見る »
関数空間
関数空間（かんすうくうかん、、函数空間）とは、特定の空間上で、ある性質を持つ関数の全体を幾何学的な考察の対象として捉えたものである。.
新しい！!: 関数解析学と関数空間 · 続きを見る »
関数方程式
数学、及びその応用分野において、関数方程式（かんすうほうていしき、functional equation）は、単一の（または複数の）関数のある点と他の点での値の関係を示す方程式である。関数の性質は、与えられた条件を満たす関数方程式の種類などをもとに決定することができる。通常は代数方程式に帰着できない方程式を指す。 リーマンゼータ関数やその類似物が満たす特殊な関数方程式は、関数等式と呼ばれることが多い。.
新しい！!: 関数解析学と関数方程式 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数学的構造
数学における構造（こうぞう、mathematical structure）とは、ブルバキによって全数学を統一的に少数の概念によって記述するために導入された概念である。集合に、あるいは圏の対象に構造を決めることで、その構造に対する準同型が構造を保つ写像として定義される。数学の扱う対象は、基本的には全て構造として表すことができる。.
新しい！!: 関数解析学と数学的構造 · 続きを見る »
