ブラウザよりも高速アクセス！
146 関係: 偏微分、偏微分方程式、収束半径、古典力学、可積分系、取り尽くし法、変化、変分法、媒介変数、実解析、実数、実数の連続性、対数、岡潔、工学、不定積分、常微分方程式、三角関数、幾何学、広義積分、代数学、代数学の基本定理、代数解析学、佐藤幹夫 (数学者)、佐藤超函数、微分幾何学、微分積分学、微分積分学の基本定理、微分法、微分方程式、応用数学、ペーター・グスタフ・ディリクレ、ノルム、ノーバート・ウィーナー、モーリス・ルネ・フレシェ、ヨハネス・ケプラー、ライプニッツの記法、リーマン積分、リヒャルト・デーデキント、ルネ・デカルト、ルベーグ積分、レオンハルト・オイラー、ローラン・シュヴァルツ、ボナヴェントゥーラ・カヴァリエーリ、ブラウン運動、ブルック・テイラー、ブレーズ・パスカル、ヒルベルト空間、ピエール・ド・フェルマー、テイラー展開、...、フランソワ・ビエト、フーリエ級数、フィールズ賞、ニュートンの記法、ダフィット・ヒルベルト、ベルナルト・ボルツァーノ、ベルンハルト・リーマン、ベルヌーイ家、ベクトル解析、初等関数、和算、アルキメデス、アンリ・ルベーグ、アンリ・カルタン、アンドレイ・コルモゴロフ、アイザック・ニュートン、イプシロン-デルタ論法、イギリス、エミール・ボレル、エウドクソス、オーギュスタン＝ルイ・コーシー、カヴァリエリの原理、カール・ワイエルシュトラス、ギヨーム・ド・ロピタル、ゲオルク・カントール、コリン・マクローリン、コーシーの積分定理、コーシーの積分公式、コーシー列、ゴットフリート・ライプニッツ、ゴッドフレイ・ハロルド・ハーディ、シュワルツ超函数、ジョン・フォン・ノイマン、ジョン・ウォリス、ジョゼフ・フーリエ、ジョゼフ＝ルイ・ラグランジュ、ジル・ド・ロベルヴァル、ソボレフ空間、サージ・ラング、冪級数、写像、公理的集合論、確率微分方程式、確率論、科学、積分法、積分方程式、級数、素数定理、線積分、絶対収束、無限小、熱伝導、留数、物理学、特殊関数、非線形科学、複素解析、複素数、解析力学、解析的整数論、調和解析、高木貞治、超準解析、近似、近似法、関数 (数学)、関数解析学、関数方程式、還元主義、量、量子力学、自由振動、自然数、英語、集合論、連続 (数学)、接線、極値、極限、楕円函数、比較判定法、指数関数、指数関数的減衰、有限要素法、流体力学、数、数学基礎論、数列、数値積分、数値解析、数理モデル、数理科学、数理物理学、数理論理学、曲線。 インデックスを展開 (96 もっと) »
偏微分
数学の多変数微分積分学における偏微分（へんびぶん、partial derivative）は、多変数関数に対して一つの変数のみに関する（それ以外の変数は）微分である（全微分では全ての変数を動かしたままにするのと対照的である）。偏微分はベクトル解析や微分幾何学などで用いられる。 函数 の変数 に関する偏微分は など様々な表し方がある。一般に函数の偏微分はもとの函数と同じ引数を持つ函数であり、このことを のように記法に明示的に含めてしまうこともある。偏微分記号 ∂ が数学において用いられた最初の例の一つは、1770年以降マルキ・ド・コンドルセによるものだが、それは偏差分の意味で用いられたものである。現代的な偏微分記法はアドリアン＝マリ・ルジャンドル が導入しているが、後が続かなかった。これを1841年に再導入するのがカール・グスタフ・ヤコブ・ヤコビである。 偏微分は方向微分の特別の場合である。また無限次元の場合にこれらはガトー微分に一般化される。.
偏微分方程式
偏微分方程式（へんびぶんほうていしき、partial differential equation, PDE）は、未知関数の偏微分を含む微分方程式である。.
新しい！!: 解析学と偏微分方程式 · 続きを見る »
収束半径
収束半径(しゅうそくはんけい、radius of convergence) とは、冪級数が収束する定義域を与える非負量（実数あるいは∞）である。 次の冪級数を考える。 ただし、中心 a や係数 cn は複素数（特に実数）とする。次の条件が成立するとき、r をこの級数の収束半径という。 であるとき、級数は収束し、 であるとき、級数は発散する。 もし、級数が全ての複素数 z に関して収束するならば、収束半径は ∞ となる。.
古典力学
古典力学（こてんりきがく、英語：classical mechanics）は、量子力学が出現する以前のニュートン力学や相対論的力学。物理学における力学に関する研究、つまり適当な境界の下に幾何学的表現された物質やその集合体の運動を支配し、数学的に記述する物理法則群に関する研究のうち、量子論以降の量子に関するそれを「量子力学」とするのに対し、レトロニム的に、量子論以前のもの（現代でもさかんに研究されている分野だが）を指してそう呼ぶ。 古典力学は、マクロな物質の運動つまり、弾道計算から部分的には機械動作、天体力学、例えば宇宙船、衛星の運動、銀河に関する研究に使われている。そして、それらの領域に対して、とても精度の高い結果をもたらす、最も古く最も広範な科学、工学における領域のうちの一つである。古典力学以外の領域としては気体、液体、固体などを扱う多くの分野が存在している。加えて、古典力学は光速に近い場合には特殊相対性理論を用いることによってより一般な形式を与えることとなる。同様に、一般相対性理論は、より深いレベルで重力を扱うこととなり、量子力学では、分子や原子における、粒子と波動の二重性について扱うこととなる。.
可積分系
数学や物理学では、可積分系 と名付けられた様々な考え方が知られている。 微分可能な系の一般論では、フロベニウス可積分性 が過剰な決定系として知られている。ハミルトン力学系の古典理論では、リウヴィル可積分性 がある。より一般的には、微分方程式の可積分性は、相空間の不変部分多様体による の存在に関係している。これらの考え方の各々は、葉層のアイデアを応用しているが、同じではない。量子力学や統計力学モデルの設定には完備可積分性 や完全可積分性 という考え方もある。可積分系は、微分作用素の代数幾何学へ引き戻して考える場合もある。.
取り尽くし法
取り尽くし法（method of exhaustion、methodus exaustionibus）は、与えられた図形の面積や体積を求める手法の1つで、その図形に内接する一連の多角形を描き、それらの面積を元の図形に収束させる方法である。積尽法、窄出法ともいう。また古代人の方法（méthode des anciens）とも呼ばれる。列を正しく構築すれば、n角形の面積と元の図形の面積の差は n が大きくなるにつれて小さくなっていく。この差を恣意的に小さくすれば、その図形の面積は一連の数列で得られる面積によって「取り尽くされ」、とりうる値の下限が体系的に定まる。この方法はアンティポンが起源だが、彼がどこまで明確に理解していたのかは不明である。厳密な理論付けをしたのはエウドクソスである。「取り尽くし法」という用語を最初に使ったのは、Grégoire de Saint-Vincent の Opus geometricum guadraturae circuli et sectionum coni（1647年）である。 取り尽くし法には一般に背理法の一種を必要とする。これは、ある領域の面積を第2の領域の面積と比較することによって求めることに相当し、それを「取り尽くす」ことで真の面積に恣意的に近づけていく。第2の面積より真の面積が大きいことを前提とし、その前提が偽であることを証明する。次に、真の面積が第2の面積より小さいことを前提として、その前提も偽であることを証明する。 取り尽くし法は微分積分学の先駆けと言える。17世紀から19世紀に解析幾何学と厳密な微分積分学が発展し（特に極限に厳密な定義が与えられ）、取り尽くし法は問題の解法としては使われなくなった。.
新しい！!: 解析学と取り尽くし法 · 続きを見る »
変化
変化（へんか、へんげ）.
変分法
解析学の一分野、変分法（へんぶんほう、calculus of variations, variational calculus; 変分解析学）は、汎函数（函数の集合から実数への写像）の最大化や最小化を扱う。汎函数はしばしば函数とその導函数を含む定積分として表される。この分野の主な興味の対象は、与えられた汎函数を最大・最小とするような「極値」函数、あるいは汎函数の変化率を零とする「停留」函数である。 そのような問題のもっとも単純な例は、二点を結ぶ最短の曲線を求める問題である。何の制約も無ければ二点を結ぶ直線が明らかにその解を与えるが、例えば空間上の特定の曲面上にある曲線という制約が与えられていれば、解はそれほど明らかではないし、複数の解が存在し得る。この問題の解は測地線と総称される。関連する話題としてフェルマーの原理は「光は二点を結ぶ最短の光学的長さを持つ経路を通る。ただし光学的長さは間にある物質によって決まる」ことを述べる。これは力学における最小作用の原理に対応する。 重要な問題の多くが多変数函数を含む。ラプラス方程式の境界値問題の解はディリクレの原理を満足する。 は空間内の与えられた周回路の張る面積が最小の曲面（）を求める問題であり、しばしばその解を石鹸水に浸した枠が張る石鹸膜として見つけるデモンストレーションを目にする。こうした経験は比較的容易に実験できるけれども、その数学的解釈は簡単とはほど遠い（局所的に最小化する曲面は複数存在し得るし、非自明な位相を持ち得る）。.
媒介変数
数学において媒介変数（ばいかいへんすう、パラメータ、パラメタ、parameter）とは、主たる変数（自変数）あるいは関数に対して補助的に用いられる変数のことである。なおこの意味でのパラメータは助変数（じょへんすう）とも呼び、また古くは径数（けいすう）とも訳された（後者はリー群の一径数部分群（1-パラメータ部分群）などに残る）。母数と呼ぶこともある。 媒介変数の役割にはいくつかあるがその主なものとして、主たる変数たちの間に陰に存在する関係を記述すること、あるいはいくつもの対象をひとまとまりのものとして扱うことなどがある。前者では関数の媒介変数表示とか陰関数などとよばれるもの、後者では集合族とか数列などが一つの例である。後者の意味を持つ媒介変数はしばしば文字の肩や斜め下に本文より少し小さな文字 (script style) で書かれ、添字 (index) と呼ばれる。.
実解析
数学において実解析（じつかいせき、Real analysis）あるいは実関数論（じつかんすうろん、theory of functions of a real variable）は（ユークリッド空間(の部分集合)上または(抽象的な)集合上の関数）について研究する解析学の一分野である。現代の実解析では、関数として一般に複素数値関数や複素数値写像あるいは複素数値関数に値をとる写像も含む。 実解析は、元々は実１変数実数値関数あるいは実多変数実数値およびベクトルに対する初等的な微分積分を意味していた。しかし現代の実解析は、積分論のいちぶとして測度論とルベーグ積分、関数空間((超)関数の成す線型位相空間)の理論、関数不等式、特異積分作用素などを扱う。関数解析におけるバナッハ空間の理論や作用素論・調和解析のフーリエ解析などの初歩的または部分的な理論も含むとされている。 関数空間の例には、L^p空間・数列空間・ソボレフ空間・緩増加超関数の空間・ベゾフ空間・トリーベル-リゾルキン空間・実解析版ハーディー空間・実補間空間がある。関数不等式の例には、作用素の実補間または複素補間による作用素または関数の有界性の調整・関数方程式について、初期値または非斉次項(非線型項)と未知関数の、有界性や可積分性または可微分性の関係を表すL^p-L^q評価と時空分散評価および時空消散評価・時間の経過に対する、関数の可微分性または可積分性を保存する意味を持つエネルギー(不)等式などの(解の存在を前提とした)評価式(アプリオリ評価)・別々の作用素を施された関数のノルムの関係、などがある。特異積分作用素には、「積分と微分を同時にする」リース変換や、流体力学と発展方程式の理論で現れるヒルベルト変換がある。 超関数とフーリエ変換は、実解析に入るのか関数解析に入るのか数学者の間でも扱いが分かれている。さらに今ではユークリッド空間だけではなく抽象的な集合(群または位相空間あるいは関数空間など)で定義された複素数値の写像(複素数値測度、複素数値線型汎関数)も取り扱う。そして特異積分作用素を扱う理論は「関数解析」における作用素論ではなく「実解析」として扱われている。複素解析の実解析への応用は(留数定理による実関数の積分の計算が)有名だが、実解析の複素解析への応用(その計算にルベーグの収束定理を適用することによる簡易化；フーリエ変換による複素解析版ハーディー空間とL^p関数の関係など)もある。現代数学では「実解析」の範囲は明確ではなく「複素解析」とは対をなす分野ではなくなっている。 また、実解析による偏微分微分方程式の解法は、主に関数空間と関数不等式およびフーリエ変換や特異積分作用素によるもので、解が具体的に表示できることも多いが計算が多くなる場面も多い。関数解析の作用素により論理を重ねる方法(例えば、リースの表現定理・変分法・半群理論・リース-シャウダーの理論・スペクトル分解などを使う解の存在証明)とは異なるが、高等的には両者を巧みに合わせて(関連しながら)解かれている。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
実数の連続性
実数の連続性(continuity of real numbers)とは、実数の集合がもつ性質である。 実数の連続性は、実数の完備性(completeness of the real numbers)とも言われる。また、実数の連続性を議論の前提とする立場であれば実数の公理と記述する場合もある。 また、実数の連続性における連続性とは関数の連続性とは別の概念である。.
新しい！!: 解析学と実数の連続性 · 続きを見る »
対数
対数（たいすう、logarithm）とは、ある数 を数 の冪乗 として表した場合の冪指数 である。この は「底を とする の対数（x to base; base logarithm of ）」と呼ばれ、通常は と書き表される。また、対数 に対する は（しんすう、antilogarithm）と呼ばれる。数 に対応する対数を与える関数を考えることができ、そのような関数を対数関数と呼ぶ。対数関数は通常 と表される。 通常の対数 は真数, 底 を実数として定義されるが、実数の対数からの類推により、複素数や行列などの様々な数に対してその対数が定義されている。 実数の対数 は、底 が でない正数であり、真数 が正数である場合この条件は真数条件と呼ばれる。 について定義される。 これらの条件を満たす対数は、ある と の組に対してただ一つに定まる。 実数の対数関数 はb に対する指数関数 の逆関数である。この性質はしばしば対数関数の定義として用いられるが、歴史的には対数の出現の方が指数関数よりも先であるネイピア数 のヤコブ・ベルヌーイによる発見が1683年であり、指数関数の発見もその頃である。詳細は指数関数#歴史と概観や を参照。。 y 軸を漸近線に持つ。.
岡潔
岡 潔（おか きよし、1901年〈明治34年〉4月19日 - 1978年〈昭和53年〉3月1日）は、日本の数学者。奈良女子大学名誉教授。理学博士（京都帝国大学、1940年〈昭和15年〉）。.
工学
工学（こうがく、engineering）とは、.
不定積分
関数の不定積分という用語には次に挙げる四種類の意味で用いられる場合がある。 (逆微分) 0) 微分の逆操作を意味する：すなわち、与えられた関数が連続関数であるとき、微分するとその関数に一致するような新たな関数（原始関数）を求める操作のこと、およびその原始関数の全体(集合)を 逆微分としての不定積分（antiderivative）と言う。 (積分論) 1) 一変数関数 に対して、定義域内の任意の閉区間 上の定積分が に一致する関数 を関数 の 不定積分 (indefinite integral) と言う。 (積分論) 2) 一変数関数の定義域内の定数 から変数 までの（端点が定数でない）積分で与えられる関数を関数 の を基点とする不定積分 (indefinite integral with base point) と言う。 (積分論) 3) ルベーグ積分論において定義域内の可測集合を変数とし、変数としての集合上での積分を値とする集合関数を関数 の 集合関数としての不定積分 (indefinite integral as a set-function) と言う。 海外の数学サイトでは wikipedia を含めて主として上記の (逆微分) 0) を記述している場合が多いが、岩波書店の数学辞典や積分論の現代的な専門書では上記の (積分論) での不定積分が記述されている。ただしこれらはそれぞれ無関係ではなく、後述するように、例えば (積分論) 1) は (積分論) 3) を数直線上で考えたものであって (逆微分) 0) と同等となるべきものであり、(積分論) 2) は本質的には (積分論) 1) や (積分論) 3) の一部分と見なすことができる。また (積分論) 2) から (逆微分) 0) を得ることもできるが、この対応は一般には全射でも単射でもない。これ以後、この項目で考える積分は、特に指定がない限り、リーマン積分であるものとする。 また後述するように、(積分論) の意味の不定積分を連続でない関数へ一般化すると、不定積分は通常の意味での原始関数となるとは限らなくなり、(初等数学) と一致しなくなるのだが、連続関数に対してはほぼ一致する概念であるため、しばしば混同して用いられる。.
常微分方程式
常微分方程式（じょうびぶんほうていしき、ordinary differential equation, O.D.E.）とは、数学において、未知関数とその導関数からなる等式で定義される方程式である微分方程式の一種で、未知関数が本質的にただ一つの変数を持つものである場合をいう。すなわち、変数 の未知関数 に対して、（既知の）関数 を用いて という形にできるような関数方程式を常微分方程式と呼ぶ。 は未知関数 の 階の導関数である。未知関数が単独でない場合には、関数の組をベクトルの記法を用いて表せば次のようになる。 \left(\boldsymbol^(t).
新しい！!: 解析学と常微分方程式 · 続きを見る »
三角関数
三角関数（さんかくかんすう、trigonometric function）とは、平面三角法における、角の大きさと線分の長さの関係を記述する関数の族および、それらを拡張して得られる関数の総称である。三角関数という呼び名は三角法に由来するもので、後述する単位円を用いた定義に由来する呼び名として、円関数（えんかんすう、circular function）と呼ばれることがある。 三角関数には以下の6つがある。.
幾何学
最先端の物理学でも用いられるカラビ-ヤウ多様体の一種。現代幾何学では図も書けないような抽象的な分野も存在する。 幾何学（きかがく、）は、図形や空間の性質について研究する数学の分野である広辞苑第六版「幾何学」より。イエズス会マテオ・リッチによる geometria の中国語訳である。以前は geometria の冒頭の geo- を音訳したものであるという説が広く流布していたが、近年の研究により否定されている。 もともと測量の必要上からエジプトで生まれたものだが、人間に認識できる図形に関する様々な性質を研究する数学の分野としてとくに古代ギリシャにて独自に発達しブリタニカ国際大百科事典2013小項目版「幾何学」より。、これらのおもな成果は紀元前300年ごろユークリッドによってユークリッド原論にまとめられた。その後中世以降のヨーロッパにてユークリッド幾何学を発端とする様々な幾何学が登場することとなる。 幾何学というとユークリッド幾何学のような具体的な平面や空間の図形を扱う幾何学が一般には馴染みが深いであろうが、対象や方法、公理系などが異なる多くの種類の幾何学が存在し、現代においては微分幾何学や代数幾何学、位相幾何学などの高度に抽象的な理論に発達・分化している。 現代の日本の教育では、体系的な初等幾何学はほぼ根絶されかけたが、近年、中・高の数学教育で線型幾何/代数幾何を用いない立体を含む、本格的な綜合幾何は見直されつつある。.
広義積分
解析学において、広義積分（こうぎせきぶん、improper integral）とは何らかの定積分の積分区間を動かしたときの極限である。積分区間の端点（片方または両方）は何らかの実数か正または負の無限大に近づく。.
代数学
代数学（だいすうがく、algebra）は数学の一分野で、「代数」 の名の通り数の代わりに文字を用いて方程式の解法を研究する学問として始まった。しかし19世紀以降の現代数学においては、ヒルベルトの公理主義やブルバキスタイルに見られるように、代数学はその範囲を大きく広げているため、「数の代わりに文字を用いる数学」や「方程式の解法の学問」という理解の仕方は必ずしも適当ではない。現代数学においては、方程式の研究は方程式論（代数方程式論）という代数学の古典的一分野として捉えられている。現在は代数学と言えば以下の抽象代数学をさすのが普通である。 現代代数学は、一般的に代数系を研究する学問分野であると捉えられている。以下に示す代数学の諸分野の名に現れる半群・群・環・多元環（代数）・体・束は代数系がもつ代表的な代数的構造である。 群・環・多元環・体の理論はガロアによる代数方程式の解法の研究などに起源があり、束論はブールによる論理学の数学的研究などに起源がある。 半群は、群・環・多元環・体・束に共通する最も原始的な構造である。 現代日本の大学では 1, 2 年次に、微分積分学と並んで、行列論を含む線型代数学を教えるが、線型代数学は線型空間という代数系を対象とすると共に、半群・群・環・多元環・体と密接に関連し、集合論を介して、また公理論であるために論理学を介して、束とも繋がっている。 現代ではまた、代数学的な考え方が解析学・幾何学等にも浸透し、数学の代数化が各方面で進んでいる。ゆえに、代数学は数学の諸分野に共通言語を提供する役割もあるといえる。.
代数学の基本定理
代数学の基本定理（だいすうがくのきほんていり、fundamental theorem of algebra）は「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」 という定理である。.
新しい！!: 解析学と代数学の基本定理 · 続きを見る »
代数解析学
代数解析学（だいすうかいせきがく、Algebraic analysis）とは数学の一分野であり、 代数的な手法を用いて解析学を研究する分野のことである。 超関数などのような関数の一般化やその性質を調べる複素解析学と層の理論を用いて線形偏微分方程式を扱う。 この分野は佐藤幹夫によって1959年頃に確立された。 Category:代数学 Category:複素解析 Category:層の理論 Category:超関数 Category:数学に関する記事.
佐藤幹夫 (数学者)
佐藤 幹夫（さとう みきお、男性、1928年4月18日 - ）は、日本の数学者で佐藤超函数、概均質ベクトル空間、D加群の創始者。大阪大学教授を経て京都大学数理解析研究所名誉教授。京都大学数理解析研究所元所長。1992年退官。東京都出身。 東京大学理学部数学科で彌永昌吉に師事した後、一時期高校教師を務めるなど異色の経歴を持つ。ノーベル物理学賞受賞の物理学者朝永振一郎に学んだこともある。.
新しい！!: 解析学と佐藤幹夫 (数学者) · 続きを見る »
佐藤超函数
数学における佐藤超函数（さとうちょうかんすう、hyperfunction）は函数の一般化で、ある正則函数ともう一つの正則函数との境界上での「差」: として表される（正則関数F(z)はf(x)の定義関数といい、f(x).
微分幾何学
数学における微分幾何学（びぶんきかがく、ドイツ語: Differentialgeometrie、英語：differential geometry）とは微分を用いた幾何学の研究である。また、可微分多様体上の微分可能な関数を取り扱う数学の分野は微分位相幾何学（びぶんいそうきかがく、ドイツ語: Differentialtopologie、英語: differential topology）とよばれることがある。微分方程式の研究から自然に発生したこれらの分野は互いに密接に関連しており、特に一般相対性理論をはじめとして物理学に多くの応用がある。これらは可微分多様体についての幾何学を構成しているが、力学系の視点からも直接に研究される。.
微分積分学
微分積分学（びぶんせきぶんがく, ）とは、解析学の基本的な部分を形成する数学の分野の一つである。微分積分学は、局所的な変化を捉える微分と局所的な量の大域的な集積を扱う積分の二本の柱からなり、分野としての範囲を確定するのは難しいが、大体多変数実数値関数の微分と積分に関わる事柄（逆関数定理やベクトル解析も）を含んでいる。 微分は、ある関数のある点での接線、或いは接平面を考える演算である。数学的に別の言い方をすると、基本的には複雑な関数を線型近似して捉えようとする考え方である。従って、微分は線型写像になる。但し、多変数関数の微分を線型写像として捉える考え方は 20世紀に入ってからのものである。微分方程式はこの考え方の自然な延長にある。 対して積分は、幾何学的には、曲線、あるいは曲面と座標軸とに挟まれた領域の面積（体積）を求めることに相当している。ベルンハルト・リーマンは（一変数の）定積分の値を、長方形近似の極限として直接的に定義し、連続関数は積分を有することなどを証明した。彼の定義による積分をリーマン積分と呼んでいる。 微分と積分はまったく別の概念でありながら密接な関連性を持ち、一変数の場合、互いに他の逆演算としての意味を持っている（微分積分学の基本定理）。微分は傾き、積分は面積を表す。.
微分積分学の基本定理
微分積分学の基本定理（びぶんせきぶんがくのきほんていり、fundamental theorem of calculus）とは、「微分と積分が互いに逆の操作・演算である」 ということを主張する解析学の定理である。微分積分法の基本定理ともいう。ここで「積分」は、リーマン積分のことを指す。 この事実こそ、発見者のニュートンやライプニッツらを微分積分学の創始者たらしめている重要な定理である。 この定理は主に一変数の連続関数など素性の良い関数に対するものである。これを多変数（高次元）の場合に拡張する方法は一つではないが、ベクトル解析におけるストークスの定理はその一例として挙げられるだろう。また、どの程度病的な関数について定理が成り立つのかというのも意味のある疑問であるといえる。 現在では微分積分学の初期に学ぶ基本的な定理であるが、この定理が実際に発見されたのは比較的最近（17世紀）である。この定理が発見されるまでは、微分法（曲線の接線の概念）と積分法（面積・体積などの求積）はなんの関連性も無い全く別の計算だと考えられていた。.
新しい！!: 解析学と微分積分学の基本定理 · 続きを見る »
微分法
数学における微分法（びぶんほう、differential calculus; 微分学）は微分積分学の分科で、量の変化に注目して研究を行う。微分法は積分法と並び、微分積分学を二分する歴史的な分野である。 微分法における第一の研究対象は函数の微分（微分商、微分係数）、および無限小などの関連概念やその応用である。函数の選択された入力における微分商は入力値の近傍での函数の変化率を記述するものである。微分商を求める過程もまた、微分 (differentiation) と呼ばれる。幾何学的にはグラフ上の一点における微分係数は、それが存在してその点において定義されるならば、その点における函数のグラフの接線の傾きである。一変数の実数値函数に対しては、一点における函数の微分は一般にその点における函数の最適線型近似を定める。 微分法と積分法を繋ぐのが微分積分学の基本定理であり、これは積分が微分の逆を行う過程であることを述べるものである。 微分は量を扱うほとんど全ての分野に応用を持つ。たとえば物理学において、動く物体の変位の時間に関する導函数はその物体の速度であり、速度の時間に関する導函数は加速度である。物体の運動量の導函数はその物体に及ぼされた力に等しい（この微分に関する言及を整理すればニュートンの第二法則に結び付けられる有名な方程式 が導かれる）。化学反応の反応速度も導函数である。オペレーションズ・リサーチにおいて導函数は物資転送や工場設計の最適な応報の決定に用いられる。 導函数は函数の最大値・最小値を求めるのに頻繁に用いられる。導函数を含む方程式は微分方程式と呼ばれ、自然現象の記述において基本的である。微分およびその一般化は数学の多くの分野に現れ、例えば複素解析、函数解析学、微分幾何学、測度論および抽象代数学などを挙げることができる。.
微分方程式
微分方程式（びぶんほうていしき、differential equation）とは未知関数とその導関数の関係式として書かれている関数方程式である長倉三郎ほか編、『 』、岩波書店、1998年、項目「微分方程式」より。ISBN 4-00-080090-6。 物理法則を記述する基礎方程式は多くが時間微分、空間微分を含む微分方程式であり、物理学からの要請もあり微分方程式の解法には多くの関心が注がれてきた。微分方程式論は解析学の中心的な分野で、フーリエ変換、ラプラス変換等はもともと微分方程式を解くために開発された手法である。また物理学における微分方程式の主要な問題は境界値問題、固有値問題である。 線型微分方程式の研究は歴史が長く。それに比して、非線型微分方程式の研究は歴史が浅く比較的簡単な方程式しか解析できていない。例えばナビエ-ストークス方程式は、流体の支配方程式として重要であるが、その解の存在性は未解決問題でありミレニアム懸賞問題にも選ばれている。 その他有名な微分方程式については:Category:微分方程式を参照。.
応用数学
応用数学（おうようすうがく、英語：applied mathematics）とは、数学的知識を他分野に適用することを主眼とした数学の分野の総称である。 数学のさまざまな分野のどれが応用数学であるかというはっきりした合意があるわけではなく、しばしば純粋数学と対置されるものとして、大まかには他の科学や技術への応用に歴史的に密接に関連してきた分野がこう呼ばれている。なお、過去の高等学校学習指導要領において、科目「応用数学」が存在した。.
ペーター・グスタフ・ディリクレ
ヨハン・ペーター・グスタフ・ルジューヌ・ディリクレ（Johann Peter Gustav Lejeune Dirichlet, 1805年2月13日 - 1859年5月5日）はドイツの数学者で、現代的形式の関数の定義を与えたことで知られている。.
新しい！!: 解析学とペーター・グスタフ・ディリクレ · 続きを見る »
ノルム
解析学において、ノルム (norm, Norm) は、平面あるいは空間における幾何学的ベクトルの "長さ" の概念の一般化であり、ベクトル空間に対して「距離」を与えるための数学の道具である。ノルムの定義されたベクトル空間を線型ノルム空間または単にノルム空間という。.
ノーバート・ウィーナー
ノーバート・ウィーナー（Norbert Wiener, 1894年11月26日 - 1964年3月18日）はアメリカ合衆国の数学者。ミズーリ州コロンビア生まれ。サイバネティックスの提唱者として知られている。 父親はイディッシュ語研究などで知られるビャウィストク出身のポーランド系ユダヤ人言語学者レオ・ウィーナー（ヴィーネル、 Leo Wiener）。.
新しい！!: 解析学とノーバート・ウィーナー · 続きを見る »
モーリス・ルネ・フレシェ
モーリス・ルネ・フレシェ（Maurice René Fréchet、1878年9月2日 - 1973年6月4日）はフランスの数学者。点集合トポロジー（位相空間論）に多大な貢献をし、また距離空間の概念をきちんとした形で導入した。また、微分積分学同様に統計学および確率論の分野にもいくつかの重要な貢献を為している。フレシェの博士論文は距離空間上の汎函数論を拓くものであり、また彼はそこでコンパクト性の概念を導入している。リースとは独立に、ルベーグ自乗可積分函数の空間 L2 の表現定理を発見した。.
新しい！!: 解析学とモーリス・ルネ・フレシェ · 続きを見る »
ヨハネス・ケプラー
ヨハネス・ケプラー（Johannes Kepler、1571年12月27日 - 1630年11月15日）はドイツの天文学者。天体の運行法則に関する「ケプラーの法則」を唱えたことでよく知られている。理論的に天体の運動を解明したという点において、天体物理学者の先駆的存在だといえる。一方で数学者、自然哲学者、占星術師という顔ももつ。欧州補給機（ATV）2号機、アメリカ航空宇宙局の宇宙望遠鏡の名前に彼の名が採用されている。.
新しい！!: 解析学とヨハネス・ケプラー · 続きを見る »
ライプニッツの記法
ライプニッツの記法 (らいぷにっつのきほう、英語: Leibniz's notation) とは、数学における微分の記法のひとつである。 Δx と Δy がそれぞれ x と y の有限微小変化量を表すように x と y の微小な変化量すなわち無限小変化量を表す記号として dx と dy を用いる。17世紀のドイツの哲学者・数学者であるゴットフリート・ライプニッツにより提唱された。x の関数 y すなわち、 において x に関する y の微分が、 で表されるとき、それはライプニッツによると x の微小変化量と y の微小変化量の比、すなわち で表される。ここに右辺は x における 微分 f のラグランジュの記法である。同様に、現代の数学者はしばしば不定積分、 を次の極限で表す。 ここに Δx は xi の間隔であり、ライプニッツは無限小 f(x) dx の総和 (積分記号は総和を意味する) として表現した。 このライプニッツによる考え方の長所は、その次元解析との整合性である。例えば、ライプニッツの記法では二階導関数は、 であり、\frac と同じ次元を持つ。また、多くの微積分に関する公式の表現との整合性があることも特筆できる(#微分に関するライプニッツの記法)。.
新しい！!: 解析学とライプニッツの記法 · 続きを見る »
リーマン積分
数学の実解析の分野において、リーマン積分（リーマンせきぶん、Riemann integral）とは、区間上の関数の積分の最初の厳密な定式化であり、ベルンハルト・リーマンによって創始された。多くの関数や実際的な応用に対しては、リーマン積分は微分積分学の基本定理による計算や数値積分による近似計算が可能である。 リーマン積分は の有界集合上の関数に対して定義されるが、積分範囲にある種の極限を考えることにより、広義リーマン積分が定義される。広義リーマン積分との対比で、通常のリーマン積分を狭義リーマン積分とも呼ぶ。 リーマン積分は積分の多くの性質を示すのに有効であるが、積分と極限との交換に関係する性質を示すには理論的困難を伴うなど、いくつかの技術的欠点がある。この為こうした欠点を補うべくリーマン–スティルチェス積分やルベーグ積分など積分概念の別の定式化方法も提案されている。.
新しい！!: 解析学とリーマン積分 · 続きを見る »
リヒャルト・デーデキント
ブラウンシュヴァイクの中央墓地にあるデデキントの墓 ユリウス・ヴィルヘルム・リヒャルト・デーデキント（デデキント、Julius Wilhelm Richard Dedekind、1831年10月6日 - 1916年2月12日）は、ドイツのブラウンシュヴァイク出身の数学者。代数学・数論が専門分野。1858年からチューリッヒ工科大学教授、1894年からブラウンシュヴァイク工科大学教授を歴任した。彼の名前にちなんだ数学用語としては、デデキント環、デデキント切断などがある。.
新しい！!: 解析学とリヒャルト・デーデキント · 続きを見る »
ルネ・デカルト
ルネ・デカルト（René Descartes、1596年3月31日 - 1650年2月11日）は、フランス生まれの哲学者、数学者。合理主義哲学の祖であり、近世哲学の祖として知られる。.
新しい！!: 解析学とルネ・デカルト · 続きを見る »
ルベーグ積分
数学において、一変数の非負値関数の積分は、最も単純な場合には、その関数のグラフと 軸の間の面積と見なすことができる。ルベーグ積分（ルベーグせきぶん、Lebesgue integral）は、より多くの関数を積分できるように拡張したものである。ルベーグ積分においては、被積分関数は連続である必要はなく、至るところ不連続でもよいし、関数値として無限大をとることがあってもよい。さらに、関数の定義域も拡張され、測度空間と呼ばれる空間で定義された関数を被積分関数とすることもできる。 数学者は長い間、十分滑らかなグラフを持つ非負値関数、例えば有界閉区間上の連続関数、に対しては、「曲線の下部の面積」を積分と定義できると理解しており、多角形によって領域を近似する手法によってそれを計算した。しかしながら、より不規則な関数を考える必要が、例えば解析学や確率論において極限を考えるときに生じたため、より注意深い近似の手法が適切な積分を定義するために必要なことが明らかとなった。また、局所コンパクト群のような、実数直線よりも一般の空間上で積分をしたいことがある。ルベーグ積分はこの重要な仕事をするために必要な正しい抽象化を与える。例えば、フーリエ級数などの関数列の極限として表される関数に対して、積分と極限操作が可換となるかどうかをリーマン積分で考えると非常に繊細な議論が必要だが、ルベーグ積分では、積分と極限操作の交換が可能であるための簡単な十分条件が分かっている。 ルベーグ積分は実解析と呼ばれる数学の分野に属する確率論や、他の多くの数理科学分野において、重要な役割を果たす。ルベーグ積分という名前は、その積分を導入した数学者アンリ・ルベーグ (Henri Lebesgue, 1875–1941) に由来している。それはまたの中枢部でもある。 ルベーグ積分 (Lebesgue integration) という用語は、カラテオドリに始まる一般の測度に関する関数の積分の一般論を意味することもあるし、ルベーグ測度に関して実数直線の部分集合上定義された関数を積分するという特定の場合を意味することもある。.
新しい！!: 解析学とルベーグ積分 · 続きを見る »
レオンハルト・オイラー
レオンハルト・オイラー（Leonhard Euler, 1707年4月15日 - 1783年9月18日）は、18世紀の数学者・天文学者（天体物理学者）。 18世紀の数学の中心となり、続く19世紀の厳密化・抽象化時代の礎を築いた 日本数学会編『岩波数学辞典 第4版』、岩波書店、2007年、項目「オイラー」より。ISBN 978-4-00-080309-0 C3541 。スイスのバーゼルに生まれ、現在のロシアのサンクトペテルブルクにて死去した。.
新しい！!: 解析学とレオンハルト・オイラー · 続きを見る »
ローラン・シュヴァルツ
ーラン・シュヴァルツ（Laurent Schwartz, 1915年3月5日2002年7月4日）は、フランスの数学者である。 今日シュワルツ超関数と呼ばれる、超関数 (distribution) の理論を構築による業績で知られる。終生のトロツキストを自称していた闘いの世紀を生きた数学者。またブルバキのメンバーの一人である。.
新しい！!: 解析学とローラン・シュヴァルツ · 続きを見る »
ボナヴェントゥーラ・カヴァリエーリ
フランチェスコ・ボナヴェントゥーラ・カヴァリエーリ（Francesco Bonaventura Cavalieri、1598年 - 1647年11月30日）はイタリアの数学者。微分積分分野の権威として理論形成に多大な影響を残し、カヴァリエリの原理の提唱者として知られる。.
新しい！!: 解析学とボナヴェントゥーラ・カヴァリエーリ · 続きを見る »
ブラウン運動
ブラウン運動（ブラウンうんどう、Brownian motion）とは、液体のような溶媒中媒質としては気体、固体もあり得る。に浮遊する微粒子（例：コロイド）が、不規則（ランダム）に運動する現象である。1827年、ロバート・ブラウンが、水の浸透圧で破裂した花粉から水中に流出し浮遊した微粒子を、顕微鏡下で観察中に発見し、論文「植物の花粉に含まれている微粒子について」で発表した。 この現象は長い間原因が不明のままであったが、1905年、アインシュタインにより、熱運動する媒質の分子の不規則な衝突によって引き起こされているという論文が発表された。この論文により当時不確かだった原子および分子の存在が、実験的に証明出来る可能性が示された。後にこれは実験的に検証され、原子や分子が確かに実在することが確認された。同じころ、グラスゴーの物理学者が1905年にアインシュタインと同じ式に到達し、ポーランドの物理学者も1906年に彼自身によるブラウン運動の理論を発表した。 数学のモデルとしては、フランス人のルイ・バシュリエは、株価変動の確率モデルとして1900年パリ大学に「投機の理論」と題する博士論文を提出した。今に言う、ランダムウォークのモデルで、ブラウン運動がそうである、という重要な論文であるが、当時のフランスの有力数学者たちに理解されず、出版は大幅に遅れた。 ブラウン運動と言う言葉はかなり広い意味で使用されることもあり、類似した現象として、電気回路における熱雑音（ランジュバン方程式）や、希薄な気体中に置かれた、微小な鏡の不規則な振動（気体分子による）などもブラウン運動の範疇として説明される。.
新しい！!: 解析学とブラウン運動 · 続きを見る »
ブルック・テイラー
ブルック・テイラー（Sir Brook Taylor, 1685年8月18日 - 1731年12月29日）は、イギリスの数学者。.
新しい！!: 解析学とブルック・テイラー · 続きを見る »
ブレーズ・パスカル
ブレーズ・パスカル（Blaise Pascal、1623年6月19日 - 1662年8月19日）は、フランスの哲学者、自然哲学者、物理学者、思想家、数学者、キリスト教神学者である。 早熟の天才で、その才能は多分野に及んだ。ただし、短命であり、三十代で逝去している。死後『パンセ』として出版されることになる遺稿を自身の目標としていた書物にまとめることもかなわなかった。 「人間は考える葦である」などの多数の名文句やパスカルの賭けなどの多数の有名な思弁がある遺稿集『パンセ』は有名である。その他、パスカルの三角形、パスカルの原理、パスカルの定理などの発見で知られる。ポール・ロワヤル学派に属し、ジャンセニスムを代表する著作家の一人でもある。 かつてフランスで発行されていた500フラン紙幣に肖像が使用されていた。.
新しい！!: 解析学とブレーズ・パスカル · 続きを見る »
ヒルベルト空間
数学におけるヒルベルト空間（ヒルベルトくうかん、Hilbert space）は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。 ヒルベルト空間は、典型的には無限次元の関数空間として、数学、物理学、工学などの各所に自然に現れる。そういった意味でのヒルベルト空間の研究は、20世紀冒頭10年の間にヒルベルト、シュミット、リースらによって始められた。ヒルベルト空間の概念は、偏微分方程式論、量子力学、フーリエ解析（信号処理や熱伝導などへの応用も含む）、熱力学の研究の数学的基礎を成すエルゴード理論などの理論において欠くべからざる道具になっている。これら種々の応用の多くの根底にある抽象概念を「ヒルベルト空間」と名付けたのは、フォン・ノイマンである。ヒルベルト空間を用いる方法の成功は、関数解析学の実りある時代のさきがけとなった。古典的なユークリッド空間はさておき、ヒルベルト空間の例としては、自乗可積分関数の空間 、自乗総和可能数列の空間 、超関数からなるソボレフ空間 、正則関数の成すハーディ空間 などが挙げられる。 ヒルベルト空間論の多くの場面で、幾何学的直観は重要である。例えば、三平方の定理や中線定理（の厳密な類似対応物）は、ヒルベルト空間においても成り立つ。より深いところでは、部分空間への直交射影（例えば、三角形に対してその「高さを潰す」操作の類似対応物）は、ヒルベルト空間論における最適化問題やその周辺で重要である。ヒルベルト空間の各元は、平面上の点がそのデカルト座標（直交座標）によって特定できるのと同様に、座標軸の集合（正規直交基底）に関する座標によって一意的に特定することができる。このことは、座標軸の集合が可算無限であるときには、ヒルベルト空間を自乗総和可能な無限列の集合と看做すことも有用であることを意味する。ヒルベルト空間上の線型作用素は、ほぼ具体的な対象として扱うことができる。条件がよければ、空間を互いに直交するいくつかの異なる要素に分解してやると、線型作用素はそれぞれの要素の上では単に拡大縮小するだけの変換になる（これはまさに線型作用素のスペクトルを調べるということである）。.
新しい！!: 解析学とヒルベルト空間 · 続きを見る »
ピエール・ド・フェルマー
ピエール・ド・フェルマー ピエール・ド・フェルマー（Pierre de Fermat、1607年末または1608年初頭 - 1665年1月12日）はフランスの数学者。「数論の父」とも呼ばれる。ただし、職業は弁護士であり、数学は余暇に行ったものである。.
新しい！!: 解析学とピエール・ド・フェルマー · 続きを見る »
テイラー展開
数学において、テイラー級数 (Taylor series) は関数のある一点での導関数たちの値から計算される項の無限和として関数を表したものである。そのような級数を得ることをテイラー展開という。 テイラー級数の概念はスコットランドの数学者ジェームズ・グレゴリーにより定式化され、フォーマルにはイギリスの数学者ブルック・テイラーによって1715年に導入された。0 を中心としたテイラー級数は、マクローリン級数 (Maclaurin series) とも呼ばれる。これはスコットランドの数学者コリン・マクローリンにちなんでおり、彼は18世紀にテイラー級数のこの特別な場合を積極的に活用した。 関数はそのテイラー級数の有限個の項を用いて近似することができる。テイラーの定理はそのような近似による誤差の定量的な評価を与える。テイラー級数の最初のいくつかの項として得られる多項式はと呼ばれる。関数のテイラー級数は、その関数のテイラー多項式で次数を増やした極限が存在すればその極限である。関数はそのテイラー級数がすべての点で収束するときでさえもテイラー級数に等しいとは限らない。開区間（あるいは複素平面の開円板）でテイラー級数に等しい関数はその区間上の解析関数と呼ばれる。.
新しい！!: 解析学とテイラー展開 · 続きを見る »
フランソワ・ビエト
フランソワ・ビエト（François Viète、1540年 - 1603年2月13日）は16世紀のフランスの法律家、数学者。.
新しい！!: 解析学とフランソワ・ビエト · 続きを見る »
フーリエ級数
フーリエ級数（フーリエきゅうすう、Fourier series）とは、複雑な周期関数や周期信号を、単純な形の周期性をもつ関数の（無限の）和によって表したものである。フーリエ級数は、フランスの数学者ジョゼフ・フーリエによって金属板の中での熱伝導に関する研究の中で導入された。 熱伝導方程式は、偏微分方程式として表される。フーリエの研究の前までには、一般的な形での熱伝導方程式の解法は知られておらず、熱源が単純な形である場合、例えば正弦波などの場合の特別な解しかえられていなかった。この特別な解は現在では固有解と呼ばれる。フーリエの発想は、複雑な形をした熱源をサイン波、コサイン波の和として考え、解を固有解の和として表すものであった。 この重ね合わせがフーリエ級数と呼ばれる。 最初の動機は熱伝導方程式を解くことであったが、数学や物理の他の問題にも同様のテクニックが使えることが分かり様々な分野に応用されている。 フーリエ級数は、電気工学、振動の解析、音響学、光学、信号処理、量子力学および経済学などの分野で用いられている。.
新しい！!: 解析学とフーリエ級数 · 続きを見る »
フィールズ賞
フィールズ賞（フィールズしょう）は、若い数学者のすぐれた業績を顕彰し、その後の研究を励ますことを目的に、カナダ人数学者ジョン・チャールズ・フィールズ (John Charles Fields, 1863–1932) の提唱によって1936年に作られた賞のことである。.
新しい！!: 解析学とフィールズ賞 · 続きを見る »
ニュートンの記法
ニュートンの記法（にゅーとんのきほう、Newton's notation）は、数学における微分の記法のひとつである。 この記法はアイザック・ニュートンが （流率・流動率） と呼称した時間に対する変化率を表すために導入したもので、関数名の上部に微分の階数と同数のドット符号を記す。 ニュートンの記法は主として古典力学あるいは機械工学で用いられ、次のように定義される。 ドット記号の個数により微分回数を表すため、あまり高階の微分には有用ではない。しかし古典力学あるいは他の工学分野の対象においては高階導関数はあまり出現せず、例えば位置の一階微分である速度、二階微分である加速度などとしての利用が大半である（例外として躍度がある）。 ニュートンの記法は、時間に限らずあらゆる変数の微分に対して用いられてきたが、現在では、物理学などにおいては専ら時間微分に対してのみ用いられている。これはニュートンの記法が微分する変数を明示しないためである。ライプニッツの記法などでは、どの独立変数に対する微分かを明示しているため、混同の恐れがある限りにおいて、ニュートンの記法は用いない。 ニュートンの記法は、ラグランジュ力学において、一般化座標 と組になる一般化速度 を表わすために広く用いられている。 積分についてはニュートンは標準的記法は考案しなかったが、広く認知・定着したのはライプニッツの積分の記法である。.
新しい！!: 解析学とニュートンの記法 · 続きを見る »
ダフィット・ヒルベルト
ーニヒスベルクにて私講師を務めていた頃（1886年） ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト（David Hilbert,, 1862年1月23日 - 1943年2月14日）は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット，ダヴィド、ダーフィットなどとも表記される。.
新しい！!: 解析学とダフィット・ヒルベルト · 続きを見る »
ベルナルト・ボルツァーノ
ベルナルト・ボルツァーノ（Bernard Placidus Johann Nepomuk Bolzano,1781年10月5日 - 1848年12月18日）は、チェコの哲学者、数学者、論理学者、宗教学者。ライプニッツの哲学に影響を受け、反カント哲学の立場から、客観主義的な論理学や哲学を打ち立てた。その成果は、フランツ・ブレンターノやエトムント・フッサールらに影響を与えた。彼の名前は、ベルナルド・ボルツァーノやドイツ語圏ではベルンハルト・ボルツァーノとも呼ばれている。.
新しい！!: 解析学とベルナルト・ボルツァーノ · 続きを見る »
ベルンハルト・リーマン
ルク・フリードリヒ・ベルンハルト・リーマン（Georg Friedrich Bernhard Riemann, 1826年9月17日 - 1866年7月20日）は、ドイツの数学者。解析学、幾何学、数論の分野で業績を上げた。アーベル関数に関する研究によって当時の数学者から高く評価されたが、先駆的な彼の研究は十分に理解されず、20世紀になって彼のそれぞれの研究分野で再評価されるようになった。19世紀を代表する数学者の一人である。 彼の名前が残っている数学用語に、リーマン積分、コーシー＝リーマンの方程式、リーマンのゼータ関数、リーマン多様体、リーマン球面、リーマン面、リーマン＝ロッホの定理、リーマン予想などがある。.
新しい！!: 解析学とベルンハルト・リーマン · 続きを見る »
ベルヌーイ家
ベルヌーイ家（Bernoulli 、）は、17世紀以降に活躍したヨーロッパの学者の一族。3世代のうちに8人の傑出した数学者を輩出した。ベルヌイ、ベルヌーリ、ベルヌリとも呼称される。.
新しい！!: 解析学とベルヌーイ家 · 続きを見る »
ベクトル解析
ベクトル解析（ベクトルかいせき、英語：vector calculus）は空間上のベクトル場やテンソル場に関する微積分に関する数学の分野である。 多くの物理現象はベクトル場やテンソル場として記述されるため、ベクトル解析は物理学の様々な分野に応用を持つ。 物理学では3次元ユークリッド空間上のベクトル解析を特によく用いられるが、ベクトル解析は一般のn次元多様体上で展開できる。.
新しい！!: 解析学とベクトル解析 · 続きを見る »
初等関数
初等関数（しょとうかんすう、）とは、実数または複素数の1変数関数で、代数関数、指数関数、対数関数、三角関数、逆三角関数および、それらの合成関数を作ることを有限回繰り返して得られる関数のことである。ガンマ関数、楕円関数、ベッセル関数、誤差関数などは初等関数でない。初等関数のうちで代数関数でないものを初等超越関数という。双曲線関数やその逆関数も初等関数である。 初等関数の導関数はつねに初等関数になるが、初等関数の不定積分や初等関数を用いた微分方程式の解なども一般に初等関数にはならない。例えば、次の二つの不定積分 f(x).
和算
和算（わさん）は、日本独自に発達した数学である。狭義には大いに発展した江戸時代の関孝和以降のそれを指すが、西洋数学導入以前の数学全体を指すこともある。.
アルキメデス
アルキメデス（Archimedes、Ἀρχιμήδης、紀元前287年? - 紀元前212年）は、古代ギリシアの数学者、物理学者、技術者、発明家、天文学者。古典古代における第一級の科学者という評価を得ている。.
新しい！!: 解析学とアルキメデス · 続きを見る »
アンリ・ルベーグ
アンリ・レオン・ルベーグ（Henri Leon Lebesgue、1875年6月28日 ボーヴェ生まれ - 1941年7月26日 パリ没）は、フランスの数学者。17世紀以来の積分の概念の一般化を与えたルベーグ積分の理論で知られる。この理論は1902年にナンシー大学に提出した博士論文の中で構築された。.
新しい！!: 解析学とアンリ・ルベーグ · 続きを見る »
アンリ・カルタン
アンリ・ポール・カルタン（Henri Paul Cartan、1904年7月8日 - 2008年8月13日）は、フランスの数学者。数学者エリ・カルタンの長男。ニコラ・ブルバキの創始者のひとり。 1904年ナンシー生まれ。1929年高等師範学校卒業。リール大学準教授を経て、1938年からストラスブール大学教授、1940年からソルボンヌ大学教授を務めた。アメリカ、ドイツなどでも教え、1975年までパリ第11大学で教鞭を執った。2008年にパリで104歳という長寿を全うした。 多変数複素関数論、ホモロジー代数に業績を残した。このうち多変数複素関数論では岡潔の業績を層の概念を用いて整理し、多くの数学者に受け入れられるようにした。 Category:フランスの数学者 040708 -040708 Category:ウルフ賞数学部門受賞者 Category:ブルバキ Category:フランス科学アカデミー会員 Category:日本学士院客員 Category:王立協会外国人会員 Category:ロシア科学アカデミー外国人会員 Category:パリ大学の教員 Category:ストラスブール大学の教員 Category:リール大学の教員 Category:ナンシー出身の人物 Category:長寿の人物 Category:数学に関する記事 Category:1904年生 Category:2008年没.
新しい！!: 解析学とアンリ・カルタン · 続きを見る »
アンドレイ・コルモゴロフ
アンドレイ・ニコラエヴィッチ・コルモゴロフ（Андре́й Никола́евич Колмого́ров, Andrey Nikolaevich Kolmogorov, 1903年4月25日 - 1987年10月20日）はロシアの数学者であり、確率論および位相幾何学の大きな発展に寄与した。彼以前の確率論はラプラスによる「確率の解析的理論」に基づく古典的確率論が中心であったが、彼が「測度論に基づく確率論」「確率論の基礎概念（1933年）」で公理主義的確率論を立脚させ、現代確率論の始まりとなった。 初期には直観論理やフーリエ級数に関する研究を行っており、乱流や古典力学に関する研究成果もある。また彼はアルゴリズム情報理論の創始者でもある。なお、イズライル・ゲルファント、ウラジーミル・アーノルドをはじめ、コルモゴロフには数多くの弟子がいる。.
新しい！!: 解析学とアンドレイ・コルモゴロフ · 続きを見る »
アイザック・ニュートン
ウールスソープの生家 サー・アイザック・ニュートン（Sir Isaac Newton、ユリウス暦：1642年12月25日 - 1727年3月20日、グレゴリオ暦：1643年1月4日 - 1727年3月31日ニュートンの生きていた時代のヨーロッパでは主に、グレゴリオ暦が使われ始めていたが、当時のイングランドおよびヨーロッパの北部、東部ではユリウス暦が使われていた。イングランドでの誕生日は1642年のクリスマスになるが、同じ日がグレゴリオ暦では1643年1月4日となる。二つの暦での日付の差は、ニュートンが死んだときには11日にも及んでいた。さらに1752年にイギリスがグレゴリオ暦に移行した際には、3月25日を新年開始の日とした。）は、イングランドの自然哲学者、数学者、物理学者、天文学者。 主な業績としてニュートン力学の確立や微積分法の発見がある。1717年に造幣局長としてニュートン比価および兌換率を定めた。ナポレオン戦争による兌換停止を経て、1821年5月イングランド銀行はニュートン兌換率により兌換を再開した。.
新しい！!: 解析学とアイザック・ニュートン · 続きを見る »
イプシロン-デルタ論法
ε-δ 論法（イプシロンデルタろんぽう、(ε, δ)-definition of limit）は、解析学において、（有限な）実数値のみを用いて極限を議論する方法である。.
新しい！!: 解析学とイプシロン-デルタ論法 · 続きを見る »
イギリス
レートブリテン及び北アイルランド連合王国（グレートブリテンおよびきたアイルランドれんごうおうこく、United Kingdom of Great Britain and Northern Ireland）、通称の一例としてイギリス、あるいは英国（えいこく）は、ヨーロッパ大陸の北西岸に位置するグレートブリテン島・アイルランド島北東部・その他多くの島々から成る同君連合型の主権国家である。イングランド、ウェールズ、スコットランド、北アイルランドの4つの国で構成されている。 また、イギリスの擬人化にジョン・ブル、ブリタニアがある。.
エミール・ボレル
ミール・ボレル (Félix Édouard Justin Émile Borel, 1871年1月7日-1956年2月3日) は、フランスの数学者、政治家。ボレル測度などで知られ、アンリ・ルベーグとともに測度論の先駆者となった。また、ゲーム理論に関する論文もいくつか発表した。.
新しい！!: 解析学とエミール・ボレル · 続きを見る »
エウドクソス
エウドクソス（Eudoxos）は、紀元前4世紀の古代ギリシアの数学者、天文学者。エジプトで長く暮らし、後にアテネに移住した。 彼は紀元前4世紀ごろに天動説を唱えた。円錐の体積は、同じ半径、同じ高さの円柱の体積の3分の1になることを証明した。これらの成果は、ユークリッドの著書に記載された。 天文学者としては、地球が中心にあり、他の天体がその周りを回る天動説を唱えたとされるが、著書は残っていない。ただし、この考え方は後にアリストテレスやプトレマイオスによって体系化された。 Category:紀元前4世紀の哲学者 Category:古代ギリシアの哲学者 Category:古代ギリシアの数学者 Category:ギリシャの天文学者 4100000 Category:アカデメイア派 Category:数学に関する記事 Category:天文学に関する記事.
新しい！!: 解析学とエウドクソス · 続きを見る »
オーギュスタン＝ルイ・コーシー
ーギュスタン＝ルイ・コーシー（Augustin Louis Cauchy, 1789年8月21日 - 1857年5月23日）はフランスの数学者。解析学の分野に対する多大な貢献から「フランスのガウス」と呼ばれることもある。これは両者がともに数学の厳密主義の開始者であった事にも関係する。他に天文学、光学、流体力学などへの貢献も多い。.
新しい！!: 解析学とオーギュスタン＝ルイ・コーシー · 続きを見る »
カヴァリエリの原理
ヴァリエリの原理（カヴァリエリのげんり、Cavalieri's principle）は、面積や体積に関する一般的な法則のひとつである。カヴァリエリの定理、不可分の方法 (method of indivisibles) ともいう。例えば体積についてのカヴァリエリの原理とは、大まかには「切り口の面積が常に等しい2つの立体の体積は等しい」という主張である。カヴァリエリは17世紀のイタリアの数学者。.
新しい！!: 解析学とカヴァリエリの原理 · 続きを見る »
カール・ワイエルシュトラス
ール・ワイエルシュトラス カール・テオドル・ヴィルヘルム・ワイエルシュトラス（Karl Theodor Wilhelm Weierstraß, 1815年10月31日 – 1897年2月19日）はドイツの数学者である。姓のワイ (Wei) の部分はヴァイと表記するほうが正確である。また、"er" に当たる部分はエル/ヤ/ア、"st" はシュト/スト、"raß" はラス/ラースとそれぞれ表記されることがある。.
新しい！!: 解析学とカール・ワイエルシュトラス · 続きを見る »
ギヨーム・ド・ロピタル
ピタル侯爵ギヨーム・フランソワ・アントワーヌ（Guillaume François Antoine, Marquis de l'Hôpital, 1661年 - 1704年2月2日）は、フランスの数学者。微分積分学における平均値の定理の別名、ロピタルの定理にその名を残しているが、当の定理はロピタルの発見によるものではない。 ロピタルという名前は一般的に l'Hospital または l'Hôpital と綴られる。前者は古いフランス語綴りの習慣によるものであり彼自身は s を入れて綴っていたが、現代フランス語綴りでは黙字である s が抜け、先行母音の上にサーカムフレックスが付く。このことと l' が定冠詞であるためか、日本語の微分積分学書の一部ではロピタルの定理をホスピタルの定理と紹介していることがあるが間違いとは言い切れない。 ロピタルはパリで生まれた。初めは軍人になろうと思っていたが、視力が悪かったために数学者の道へ進むことにした。彼はアイザック・ニュートンらとは別に独自に最速降下曲線の問題を解き、パリで亡くなった。 彼はまた、ヨーロッパで最初の微分積分学のテキストである ":en:L'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes" を1696年に出版した。テキストの中には師であるヨハン・ベルヌーイによる講義も含まれ、その中でベルヌーイは不定形の0/0についても論じている。 1694年、ロピタルは彼の著書へアイデアを使用させてもらう謝礼として毎年300フラン支払うというベルヌーイとの約束を反故にした。1704年にロピタルが死ぬとベルヌーイはその約束を世間に公開し、ロピタルの著書の中の結果の多くはベルヌーイのアイデアであることを公表した。1922年にベルヌーイの主張を裏付けるテキストが発見された。ロピタル自身がロピタルの定理を発見したという信用を得ようとしたという話は間違いである。なぜなら、彼はその本を匿名で出版し、序章でベルヌーイの助力によるものと謝辞を入れており、しかもロピタルの定理の発見の主張は全くしていない。 Image:L'Hospital - Analyse des infiniment petits pour l'intelligence des lignes courbes, 1715 - 1425244.jpg|Analyse des infiniment petits pour l'intelligence des lignes courbes Image:L'Hospital - Traité analytique des sections coniques et de leur usage pour la resolution des equations dans les problemes tant déterminez qu'indéterminez, 1720 - 1358532.jpg|Traité analytique Category:フランスの数学者 Category:ブルボン朝の人物 Category:パリ出身の人物 Category:1661年生 Category:1704年没 Category:数学に関する記事.
新しい！!: 解析学とギヨーム・ド・ロピタル · 続きを見る »
ゲオルク・カントール
ルク・カントール ゲオルク・フェルディナント・ルートヴィッヒ・フィリップ・カントール（Georg Ferdinand Ludwig Philipp Cantor, 1845年3月3日 - 1918年1月6日）は、ドイツで活躍した数学者。.
新しい！!: 解析学とゲオルク・カントール · 続きを見る »
コリン・マクローリン
リン・マクローリン（Colin Maclaurin, 1698年2月 - 1746年6月14日）は、スコットランドの数学者である。マクローリン展開で知られる。.
新しい！!: 解析学とコリン・マクローリン · 続きを見る »
コーシーの積分定理
ーシーの積分定理（コーシーのせきぶんていり、Cauchy's integral theorem）は、コーシーの第1定理ともいわれる、オーギュスタン＝ルイ・コーシーによって示された、数学、特に微分積分学において、複素平面上のある領域において正則な関数の複素積分についての定理である。.
新しい！!: 解析学とコーシーの積分定理 · 続きを見る »
コーシーの積分公式
ーシーの積分公式（コーシーのせきぶんこうしき）は、コーシーの第2定理、コーシーの積分表示 (Cauchy's integral expression) ともいわれ、オーギュスタン＝ルイ・コーシーによって示された、ガウス平面上のある領域において正則な関数の周回積分についての定理である。.
新しい！!: 解析学とコーシーの積分公式 · 続きを見る »
コーシー列
解析学におけるコーシー列（コーシーれつ、Cauchy sequence）は、数列などの列で、十分先のほうで殆ど値が変化しなくなるものをいう。基本列（きほんれつ、fundamental sequence）、正則列（せいそくれつ、regular sequence）、自己漸近列（じこぜんきんれつ）などとも呼ばれる。実数論において最も基本となる重要な概念の一つである。 各 ''n'' に対して順番に縦軸上にプロットしたコーシー列の例。 ''x''''n''.
ゴットフリート・ライプニッツ
ットフリート・ヴィルヘルム・ライプニッツ（Gottfried Wilhelm Leibniz、1646年7月1日（グレゴリオ暦）/6月21日（ユリウス暦） - 1716年11月14日）は、ドイツの哲学者、数学者。ライプツィヒ出身。なお Leibniz の発音は、（ライプニッツ）としているものと、（ライブニッツ）としているものとがある。ルネ・デカルトやバールーフ・デ・スピノザなどとともに近世の大陸合理主義を代表する哲学者である。主著は、『モナドロジー』、『形而上学叙説』、『人間知性新論』など。.
新しい！!: 解析学とゴットフリート・ライプニッツ · 続きを見る »
ゴッドフレイ・ハロルド・ハーディ
ッドフレイ・ハロルド・ハーディ（Godfrey Harold Hardy, 1877年2月7日 - 1947年12月1日）は、イギリスの数学者。.
新しい！!: 解析学とゴッドフレイ・ハロルド・ハーディ · 続きを見る »
シュワルツ超函数
解析学におけるシュワルツ超函数（シュワルツちょうかんすう、distribution; 分布）あるいは超函数（generalized function; 広義の函数）は、函数の一般化となる数学的対象である。シュワルツ超函数の概念は、古典的な意味での導函数を持たない函数に対しても微分を可能とする。特に、任意の局所可積分函数は超函数の意味で微分可能である。シュワルツ超函数は偏微分方程式の弱解（広義の解）の定式化に広く用いられる。古典的な意味での解（真の解）が存在しないか構成が非常に困難であるような場合でも、その微分方程式の超函数解はしばしばより容易に求まる。シュワルツ超函数の概念は、多くの問題が自然に解や初期条件がディラック・デルタのような超函数となるような偏微分方程式として定式化される物理学や工学においても重要である。 広義の函数としての超函数 (generalized function) は1935年セルゲイ・ソボレフによって導入されたが、その後1940年代になって一貫した超函数論を展開するローラン・シュヴァルツによって再導入される。 超函数(distribution)の拡張の一つとして、佐藤超函数があるとみなすことができる。.
新しい！!: 解析学とシュワルツ超函数 · 続きを見る »
ジョン・フォン・ノイマン
ョン・フォン・ノイマン（ハンガリー名：Neumann János（ナイマン・ヤーノシュ、）、ドイツ名：ヨハネス・ルートヴィヒ・フォン・ノイマン、John von Neumann, Margittai Neumann János Lajos, Johannes Ludwig von Neumann, 1903年12月28日 - 1957年2月8日）はハンガリー出身のアメリカ合衆国の数学者。20世紀科学史における最重要人物の一人。数学・物理学・工学・計算機科学・経済学・気象学・心理学・政治学に影響を与えた。第二次世界大戦中の原子爆弾開発や、その後の核政策への関与でも知られる。.
新しい！!: 解析学とジョン・フォン・ノイマン · 続きを見る »
ジョン・ウォリス
ョン・ウォリス（John Wallis、1616年11月23日 - 1703年10月28日）は、イングランドの数学者で、微分積分学への貢献で知られている。1643年から1689年までイングランド議会（後には王宮）に暗号研究者として雇われた。また、小惑星 31982 Johnwallis は彼の名を冠している。.
新しい！!: 解析学とジョン・ウォリス · 続きを見る »
ジョゼフ・フーリエ
ャン・バティスト・ジョゼフ・フーリエ男爵（Jean Baptiste Joseph Fourier, Baron de、1768年3月21日 - 1830年5月16日）は、フランスの数学者・物理学者。 固体内での熱伝導に関する研究から熱伝導方程式（フーリエの方程式）を導き、これを解くためにフーリエ解析と呼ばれる理論を展開した。フーリエ解析は複雑な周期関数をより簡単に記述することができるため、音や光といった波動の研究に広く用いられ、現在調和解析という数学の一分野を形成している。 このほか、方程式論や方程式の数値解法の研究があるほか、次元解析の創始者と見なされることもある。また統計局に勤務した経験から、確率論や誤差論の研究も行った。.
新しい！!: 解析学とジョゼフ・フーリエ · 続きを見る »
ジョゼフ＝ルイ・ラグランジュ
ョゼフ＝ルイ・ラグランジュ（Joseph-Louis Lagrange, 1736年1月25日 - 1813年4月10日）は、数学者、天文学者である。オイラーと並んで18世紀最大の数学者といわれている。イタリア（当時サルデーニャ王国）のトリノで生まれ、後にプロイセン、フランスで活動した。彼の初期の業績は、微分積分学の物理学、特に力学への応用である。その後さらに力学を一般化して、最小作用の原理に基づく、解析力学（ラグランジュ力学）をつくり出した。ラグランジュの『解析力学』はラプラスの『天体力学』と共に18世紀末の古典的著作となった。.
新しい！!: 解析学とジョゼフ＝ルイ・ラグランジュ · 続きを見る »
ジル・ド・ロベルヴァル
ジル・ド・ロベルヴァル ジル・ド・ロベルヴァルまたはロベルヴァルのジル・ペルセンヌ（Gilles Personne de Roberval、1602年8月10日 - 1675年10月27日）はフランスの数学者。運動力学に業績があり、微積分学の先駆者の一人である。 ルネ・デカルトと同じく1627年のラ・ロシェルの包囲戦に参加した。同じ年パリにでて、1631年にジェルヴェ・コレージュ(Gervais College)の自然科学の教授に任じられた。その2年後、フランス王立学院の数学者となり、1675年に没するまでその地位にあった。 微積分学が確立される直前の数学者の一人で曲線の接線を求める解法に”Method of Indivisibles“という方法を用いた。 数学以外の分野では、コペルニクスの地動説を擁護する宇宙論を記し、「ロベルヴァルの秤」と呼ばれる、秤の機構を発明した。 Category:フランスの数学者 Category:コレージュ・ド・フランスの教員 Category:パリ大学の教員 Category:1602年生 Category:1675年没 Category:数学に関する記事.
新しい！!: 解析学とジル・ド・ロベルヴァル · 続きを見る »
ソボレフ空間
数学においてソボレフ空間（ソボレフくうかん、Sobolev space）は、函数からなるベクトル空間で、函数それ自身とその与えられた階数までの導函数の ''Lp''-ノルムを組み合わせて得られるノルムを備えたものである。ここでいう微分を適当な弱い意味での微分と解釈することにより、ソボレフ空間は完備距離空間、したがってバナッハ空間を成す。直観的には、ソボレフ空間は（偏微分方程式のような応用範囲に対して）十分多くの導函数を持つ函数からなるバナッハ空間あるいはヒルベルト空間であって、函数の大きさと滑らかさの両方を測るようなノルムを備えたものということである。 ソボレフ空間の名称はロシア人数学者のセルゲイ・ソボレフに因む。ソボレフ空間の重要性は、偏微分方程式の解というものは古典的な意味での導函数を備える連続函数からなる古典的な空間の中ではなく、むしろソボレフ空間の中にあるとして捉えたほうが自然であるという事実にある。.
新しい！!: 解析学とソボレフ空間 · 続きを見る »
サージ・ラング
ージ・ラング（Serge Lang, 1927年5月19日 - 2005年9月12日）は、フランスパリ生まれのアメリカの数学者。イェール大学名誉教授。10代の頃に家族でアメリカへ移住し、1946年カリフォルニア工科大学を卒業、1951年プリンストン大学にて博士号を取得。1955年からシカゴ大学教授、コロンビア大学教授、イェール大学教授を歴任した。整数論分野の仕事および多くの教科書の執筆者として知られる。ニコラ・ブルバキのメンバー。.
新しい！!: 解析学とサージ・ラング · 続きを見る »
冪級数
数学において、（一変数の）冪級数（べききゅうすう、power series）あるいは整級数（せいきゅうすう、série entière）とは の形の無限級数である。ここで は 番目の項の係数を表し、 は定数である。この級数は通常ある知られた関数のテイラー級数として生じる。 多くの状況において （級数の中心 (center)）は である。例えばマクローリン級数を考えるときがそうである。そのような場合には、冪級数は簡単な形 \sum_^\infty a_n x^n.
写像
写像（しゃぞう、mapping, map）とは、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。函数（関数）、変換、作用素、射などが写像の同義語として用いられることもある。 ブルバキに見られるように、写像は集合とともに現代数学の基礎となる道具の一つである。現代的な立場では、「写像」と（一価の）「函数」は論理的におなじ概念を表すものと理解されているが、歴史的には「函数」の語は解析学に出自を持つものであり、一部には必ずしも写像でないものも函数の名の下におなじ範疇に扱われる（多価函数参照）。文献によっては「数の集合（大抵の場合実数体 または複素数体 の部分集合）を終域に持つ写像」をして特に「函数」と呼び、「写像」はより一般の場合に用いる。函数、二項関係、対応の各項も参照のこと。.
公理的集合論
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。.
新しい！!: 解析学と公理的集合論 · 続きを見る »
確率微分方程式
率微分方程式（かくりつびぶんほうていしき、stochastic differential equation）とは、一つ以上の項が確率過程である微分方程式であって、その結果、解自身も確率過程となるものである。一般的に、確率微分方程式はブラウン運動（ウィーナー過程）から派生すると考えられる白色雑音を組み込むが、不連続過程の様な他の無作為変動を用いることも可能である。.
新しい！!: 解析学と確率微分方程式 · 続きを見る »
確率論
率論（かくりつろん、,, ）とは、偶然現象に対して数学的な模型(モデル)を与え、解析する数学の一分野である。 もともとサイコロ賭博といった賭博の研究として始まった。現在でも保険や投資などの分野で基礎論として使われる。 なお、確率の計算を問題とする分野を指して「確率論」と呼ぶ用例もあるが、本稿では取り扱わない。.
科学
科学（かがく、scientia、 仏:英:science、Wissenschaft）という語は文脈に応じて多様な意味をもつが、おおむね以下のような意味で用いられている。.
積分法
積分法（せきぶんほう、integral calculus）は、微分法と共に微分積分学で対を成す主要な分野である。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分 (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie) は、略式的に言えば f のグラフと x-軸、および x.
積分方程式
積分方程式（せきぶんほうていしき、Integral equation）は、数学において、未知の関数が積分の中に現れるような方程式である。積分方程式と微分方程式には密接な関係があり、そのどちらでも問題を定式化することができる場合もある。 積分方程式は次の3種類の分類方法がある。この分類によれば、8種類の積分方程式が存在する。.
級数
数学における級数 (きゅうすう、series) とは、ひと口に言えば数や関数など互いに足すことのできる数学的対象の列について考えられる無限項の和のことである。ただし「無限の項の総和」が何を表しているのかということはしばしば解析学の言葉を用いて様々な場合に意味を与える（#級数の収束性の節を参照）ことができるが、そのようなことができない「発散する級数」もあれば、級数自体を新たな形式的対象としてとらえることもある。小さくなっていく実数を項とする級数の収束性については様々な判定条件が与えられている。 級数を表す記法として、和記号 を用いた表現 や三点リーダ を用いた表現 などがある。 有限個の項以外は とすることで有限個の対象の和を表すこともでき、無限項の和であることを特に強調する場合には無限級数とも言う。無限の項の和の形に表された級数が何を表しているかということは一見必ずしも明らかではないため、何らかの意味付けを与えなければならない。最もよく採用される理解の方法は、有限個の項の和が収束する先を無限級数の値とすることである。例えば、 より となる。このほかに、解析接続などの手法により、みかけ上発散している級数に対して のような等式が意味付けされることもある。.
素数定理
素数定理（そすうていり、、）とは自然数の中に素数がどのくらいの「割合」で含まれているかを述べる定理である。整数論において素数が自然数の中にどのように分布しているのかという問題は基本的な関心事である。しかし、分布を数学的に証明することは極めて難しく、解明されていない部分が多い。この定理はその問題について重要な情報を与える。.
線積分
数学における線積分（せんせきぶん、line integral; 稀に, ）は、曲線に沿って評価された函数の値についての積分の総称。ベクトル解析や複素解析において重要な役割を演じる。閉曲線に沿う線積分を特に閉路積分（へいろせきぶん）あるいは周回積分（しゅうかいせきぶん）と呼び、専用の積分記号 \oint が使われることもある。周回積分法は複素解析における重要な手法の一つである。 線積分の対象となる函数は、スカラー場やベクトル場などとして与える。線積分の値は場の考えている曲線上での値に曲線上のあるスカラー函数（弧長、あるいはベクトル場については曲線上の微分ベクトルとの点乗積）による重み付けをしたものを「足し合わせた」ものとなる。この重み付けが、区間上で定義する積分と線積分とを分ける点である。 物理学における多くの単純な公式が、線積分で書くことによって自然に、連続的に変化させた場合についても一般化することができるようになる。例えば、力学的な仕事を表す式 から曲線 に沿っての仕事を表す式 を得る。例えば電場や重力場において運動する物体の成す仕事が計算できる。.
絶対収束
数学において、級数が絶対収束（ぜったいしゅうそく、converge absolutely）するとは、その各項の絶対値を取って得られる級数の和が有限の値になるときにいう。きちんと述べれば、実または複素数の級数 は となるとき、絶対収束すると言う。 絶対収束が無限級数の研究において重要であるのは、それが有限和の場合に成立する（が必ずしも全ての収束級数が持つわけではない）性質を持つようにするためにきわめて強力な条件であるとともに、それ自身が一般的な内容を議論するのに（その強い制約条件にもかかわらず）十分広範な級数のクラスを定めるからである。.
無限小
数学における無限小（むげんしょう、infinitesimal）は、測ることができないほど極めて小さい「もの」である。無限小に関して実証的に観察されることは、それらが定量的にいくら小さかろうと、角度や傾きといったある種の性質はそのまま有効であることである。 術語 "infinitesimal" は、17世紀の造語 infinitesimus（もともとは列の「無限番目」の項を意味する言葉）に由来し、これを導入したのは恐らく1670年ごろ、メルカトルかライプニッツである。無限小はライプニッツがやなどをもとに展開した無限小解析における基本的な材料である。よくある言い方では、無限小対象とは「可能な如何なる測度よりも小さいが零でない対象である」とか「如何なる適当な意味においても零と区別することができないほど極めて小さい」などと説明される。故に形容（動）詞的に「無限小」を用いるときには、それは「極めて小さい」という意味である。このような量が意味を持たせるために、通常は同じ文脈における他の無限小対象と比較をすること（例えば微分商）が求められる。無限個の無限小を足し合わせることで積分が与えられる。 シラクサのアルキメデスは、自身の （機械的定理証明法）においてと呼ばれる手法を応分に用いて領域の面積や立体の体積を求めた。正式に出版された論文では、アルキメデスは同じ問題を取り尽くし法を用いて証明している。15世紀にはニコラウス・クザーヌスの業績として（17世紀にはケプラーがより詳しく調べているが）、特に円を無限個の辺を持つ多角形と見做して円の面積を計算する方法が見受けられる。16世紀における、任意の実数の十進表示に関するシモン・ステヴィンの業績によって、実連続体を考える下地はすでにでき上がっていた。カヴァリエリの不可分の方法は、過去の数学者たちの結果を拡張することに繋がった。この不可分の方法は幾何学的な図形を 1 の量に分解することと関係がある。ジョン・ウォリスの無限小は不可分とは異なり、図形をもとの図形と同じ次元の無限に細い構成要素に分解するものとして、積分法の一般手法の下地を作り上げた。面積の計算においてウォリスは無限小を 1/∞ と書いている。 ライプニッツによる無限小の利用は、「有限な数に対して成り立つものは無限な数に対しても成り立ち、逆もまた然り」有限/無限というのは個数に関して言うのではない（有限個/無限個ではない）ことに注意せよ。ここでいう「有限」とは無限大でも無限小でもないという意味である。や（割り当て不能な量を含む式に対して、それを割り当て可能な量のみからなる式で置き換える具体的な指針）というような、経験則的な原理に基づくものであった。18世紀にはレオンハルト・オイラーやジョゼフ＝ルイ・ラグランジュらの数学者たちによって無限小は日常的に使用されていた。オーギュスタン＝ルイ・コーシーは自身の著書 （解析学教程）で、無限小を「連続量」(continuity) ともディラックのデルタ函数の前身的なものとも定義した。カントールとデデキントがスティーヴンの連続体をより抽象的な対象として定義したのと同様に、は函数の増大率に基づく「無限小で豊饒化された連続体」(infinitesimal-enriched continuum) に関する一連の論文を著した。デュ・ボア＝レーモンの業績は、エミール・ボレルとトアルフ・スコーレムの両者に示唆を与えた。ボレルは無限小の増大率に関するコーシーの仕事とデュ・ボア＝レーモンの仕事を明示的に結び付けた。スコーレムは、1934年に最初の算術の超準モデルを発明した。連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された（ロビンソンは1948年にが、および1955年にが成した先駆的研究に基づき超準解析を展開した）。ロビンソンの超実数 (hyperreals) は無限小で豊饒化された連続体の厳密な定式化であり、がライプニッツの連続の法則の厳密な定式化である。また、はフェルマーの (adequality, pseudo-equality) の定式化である。 ウラジーミル・アーノルドは1990年に以下のように書いている.
熱伝導
熱伝導（ねつでんどう、英語: thermal conduction）は、物質の移動を伴わずに高温側から低温側へ熱が伝わる移動現象のひとつである。固体中では、熱伝導は原子の振動及びが担う。特に、金属においては、.
留数
数学、殊に複素解析学における留数（りゅうすう、residue）は、孤立特異点を囲む経路に沿う有理型関数の複素線積分により得られる複素数である。.
物理学
物理学（ぶつりがく, ）は、自然科学の一分野である。自然界に見られる現象には、人間の恣意的な解釈に依らない普遍的な法則があると考え、自然界の現象とその性質を、物質とその間に働く相互作用によって理解すること（力学的理解）、および物質をより基本的な要素に還元して理解すること（原子論的理解）を目的とする。化学、生物学、地学などほかの自然科学に比べ数学との親和性が非常に強い。 古代ギリシアの自然学 にその源があり, という言葉も、元々は自然についての一般的な知識の追求を意味しており、天体現象から生物現象までを含む幅広い概念だった。現在の物理現象のみを追求する として自然哲学から独立した意味を持つようになったのは19世紀からである。 物理学の古典的な研究分野は、物体の運動、光と色彩、音響、電気と磁気、熱、波動、天体の諸現象（物理現象）である。.
特殊関数
特殊関数（とくしゅかんすう、special functions）は、何らかの名前や記法が定着している関数であり、解析学、関数解析学、物理学、その他の応用分野でよく使われる関数であることが多い。 何が特殊関数であるかのはっきりした定義は存在しないが、しばしば特殊関数として扱われるものには、ガンマ関数、ベッセル関数、ゼータ関数、楕円関数、ルジャンドル関数、超幾何関数、ラゲール多項式、エルミート多項式などがある。一般には初等関数の対義語ではなく、ある関数が初等関数であって同時に特殊関数とされる場合もある。.
非線形科学
非線形科学（ひせんけいかがく、）とは、非線形的な現象についての科学である。 旧来の、もっぱら線形代数だけで説明できる現象を対象とする科学を「線形科学」と呼ぶことができるが、そのような「線形科学」と区別して、「非線形科学」と呼ばれる。.
複素解析
数学の分科である複素解析（ふくそかいせき、complex analysis）は、複素数の関数に関わる微分法、積分法、変分法、微分方程式論、積分方程式論、複素函数論などの総称である。初等教育で扱う実解析に対比して複素解析というが、現代数学の基礎が複素数であることから、単に解析といえば複素解析を意味することが多い。複素解析の手法は、応用数学を含む数学、理論物理学、工学などの多くの分野で用いられている。.
複素数
数学における複素数（ふくそすう、complex number）は、実数の対 と と線型独立な（実数ではない）要素 の線型結合 の形に表される数（二元数: 実数体上の二次拡大環の元）で、基底元 はその平方が になるという特別な性質を持ち虚数単位と呼ばれる。 複素数全体の成す集合を太字の あるいは黒板太字で と表す。 は、実数全体の成す集合 と同様に、可換体の構造を持ち、とくに を含む代数閉体を成す。複素数体はケイリー–ディクソン代数（四元数、八元数、十六元数など）の基点となる体系であり、またさまざまな超複素数系の中で最もよく知られた例である。 複素数の概念は、一次元の実数直線を二次元の複素数平面に拡張する。複素数は自然に二次元平面上に存在すると考えることができるから、複素数全体の成す集合上に自然な大小関係（つまり全順序）をいれることはできない。すなわち は順序体でない。 ある数学的な主題や概念あるいは構成において、それが複素数体を基本の体構造として考えられているとき、そのことはしばしばそれら概念等の名称に（おおくは接頭辞「複素-」を付けることで）反映される。例えば、複素解析、複素行列、複素（係数）多項式、複素リー代数など。.
解析力学
解析力学（かいせきりきがく、英語：analytical mechanics）とは、ニュートン力学を数学の解析学の手法を用いて記述する、数学的に洗練された形式。解析力学の体系は基本的にはラグランジュ力学とハミルトン力学により構成される。 力のつりあいについてのダランベールの原理から始め、つりあいを微小な変位による仕事の関係式に置き換える仮想仕事の原理によってエネルギーの問題に移した。 幾何光学における変分原理であるフェルマーの原理からの類推で、古典力学において最小作用の原理（モーペルテューイの原理）が発見された。これにより、力学系の問題は、作用積分とよばれる量を最小にするような軌道をもとめる数学の問題になった。 座標を一般化座標に拡張し、ラグランジュ方程式が導き出された。 さらに、ラグランジアンから一般化運動量を定め、座標と運動量のルジャンドル変換によって、ハミルトン力学が導かれた。 ラグランジュ方程式は微分方程式を与えるのに対して、ハミルトンの正準方程式は積分を与える。 さらにこれから、ハミルトン・ヤコビの偏微分方程式が、得られる。 ラグランジュ形式は微分幾何学とも相性がよく、相対性理論の分野では必須である。 ハミルトン形式はその後の量子力学とくに行列力学へと続く。.
解析的整数論
数学において、解析的整数論（かいせきてきせいすうろん、analytic number theory）あるいは解析的数論、解析数論とは、整数についての問題を解くために解析学の手法を用いる、数論の一分野である。解析数論の始まりはペーター・グスタフ・ディリクレ (Peter Gustav Lejeune Dirichlet) がディリクレの算術級数定理の最初の証明を与えるためにディリクレの ''L''-関数を導入したときであるとしばしば言われている。（素数定理やリーマンのゼータ関数を含む）素数に関する結果や（ゴールドバッハの予想やウェアリングの問題のような）の結果が広く知られている。.
新しい！!: 解析学と解析的整数論 · 続きを見る »
調和解析
数学の一分野としての調和解析（ちょうわかいせき、Harmonic analysis）は、関数や信号を基本波の重ね合わせとして表現することに関わるもので、フーリエ級数やフーリエ変換及びその一般化について研究する分野である。19世紀から20世紀を通じて、調和解析の扱う主題は広く、応用も信号処理、量子力学、神経科学など多岐にわたる。 「調和 (harmonic)」の語は、もとは物理的な固有値問題から来たもので、（楽器の弦における調和振動の周波数のように）周波数が他の周波数の整数倍となっているような波を意図したものであるが、現在ではその原義を超えて一般化した使い方をされる。 上の古典フーリエ変換は未だ活発な研究の成されている領域であり、特により一般の緩増加超関数などの対象についてのフーリエ変換に関心が持たれる。例えば、シュワルツ超関数 に適当な仮定を課すときに、それらの仮定を のフーリエ変換に関する仮定に翻訳することを考えることができる。はその一例である。ペイリー・ウィーナーの定理からすぐに従うことに、 がコンパクト台を持つ非零超関数（これにはコンパクト台を持つ関数ももちろん含まれる）ならばそのフーリエ変換がコンパクト台を持つことは起こりえない。これは調和解析的な設定のもとでの非常に初等的な形の不確定性原理と言うことができる（フーリエ級数の収束も参照）。 フーリエ級数はヒルベルト空間論の文脈でも有効に調べられており、調和解析と関数解析学とを結ぶものとなっている。.
高木貞治
木 貞治（たかぎ ていじ、1875年（明治8年）4月21日 - 1960年（昭和35年）2月28日）は、日本の数学者。東京帝国大学教授。第1回フィールズ賞選考委員。文化勲章受章。.
超準解析
は、あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。超準解析（nonstandard analysis）は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった。無限小解析（infinitesimal analysis）という言葉で超準解析を意味することもある。 超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた。 彼は次のように記述している： 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、後者（訳注：実数）と同じ性質を有する――の導入を含意するものであると主張した。 ロビンソンはこのライプニッツのはの先駆けであるとしている。ロビンソンは次のように続ける： しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展（訳注：そのような原理を合理化するもの）を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。Robinson, A.: Non-standard analysis.
近似
近似（きんじ、approximation）とは、数学や物理学において、複雑な対象の解析を容易にするため、細部を無視して、対象を単純化する行為、またはその方法。近似された対象のより単純な像は、近似モデルと呼ばれる。 単純化は解析の有効性を失わない範囲内で行われなければならない。解析の内容にそぐわないほど、過度に単純化されたモデルにもとづいた解析は、近似モデルの適用限界を見誤った行為であり、誤った解析結果をもたらす。しかしながら、ある近似モデルが、どこまで有効性を持つのか、すなわち適用限界がどこにあるのかは、実際にそのモデルに基づいた解析を行ってみなければ分からないことが多い。.
近似法
近似法（きんじほう）とは関数の厳密値や方程式の厳密解を求めるときに、それが不可能または困難であるか、簡便のために近似値あるいは近似解を得る方法である。.
関数 (数学)
数学における関数（かんすう、、、、、函数とも）とは、かつては、ある変数に依存して決まる値あるいはその対応を表す式の事であった。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。.
新しい！!: 解析学と関数 (数学) · 続きを見る »
関数解析学
関数解析学（かんすうかいせきがく、functional analysis）は数学（特に解析学）の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い。.
関数方程式
数学、及びその応用分野において、関数方程式（かんすうほうていしき、functional equation）は、単一の（または複数の）関数のある点と他の点での値の関係を示す方程式である。関数の性質は、与えられた条件を満たす関数方程式の種類などをもとに決定することができる。通常は代数方程式に帰着できない方程式を指す。 リーマンゼータ関数やその類似物が満たす特殊な関数方程式は、関数等式と呼ばれることが多い。.
還元主義
還元主義（かんげんしゅぎ、Reductionism、Reduktionismus）は、 日本で比較的定着している定義では.
量
この記事では量（りょう、）について解説する。.
量子力学
量子力学（りょうしりきがく、quantum mechanics）は、一般相対性理論と同じく現代物理学の根幹を成す理論として知られ、主として分子や原子、あるいはそれを構成する電子など、微視的な物理現象を記述する力学である。 量子力学自身は前述のミクロな系における力学を記述する理論だが、取り扱う系をそうしたミクロな系の集まりとして解析することによって、ニュートン力学に代表される古典論では説明が困難であった巨視的な現象についても記述することができる。たとえば量子統計力学はそのような応用例の一つである。従って、生物や宇宙のようなあらゆる自然現象もその記述の対象となり得る。 代表的な量子力学の理論として、エルヴィン・シュレーディンガーによって創始された、シュレーディンガー方程式を基礎に置く波動力学と、ヴェルナー・ハイゼンベルク、マックス・ボルン、パスクアル・ヨルダンらによって構成された、ハイゼンベルクの運動方程式を基礎に置く行列力学がある。ただしこの二つは数学的に等価である。 基礎科学として重要で、現代の様々な科学や技術に必須な分野である。 たとえば科学分野について、太陽表面の黒点が磁石になっている現象は、量子力学によって初めて解明された。 技術分野について、半導体を利用する電子機器の設計など、微細な領域に関するテクノロジーのほとんどは量子力学を基礎として成り立っている。そのため量子力学の適用範囲の広さと現代生活への影響の大きさは非常に大きなものとなっている。一例として、パソコンや携帯電話、レーザーの発振器などは量子力学の応用で開発されている。工学において、電子工学や超伝導は量子力学を基礎として展開している。.
自由振動
自由振動（じゆうしんどう、free oscillation、free vibration）とは、ある系がその固有振動数で振動することである。減衰のない自由振動では強制振動とは異なり、系に外部から力が作用しなくても運動しつづける。.
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
英語
アメリカ英語とイギリス英語は特徴がある 英語（えいご、）は、イ・ヨーロッパ語族のゲルマン語派に属し、イギリス・イングランド地方を発祥とする言語である。.
集合論
集合論（しゅうごうろん、set theory, théorie des ensembles, Mengenlehre）は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。（論理や述語論理とともに）集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に（無定義語の）「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係（二項関係）を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合（を帰属関係で順序付けしたもの）と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm（これは真のクラスになる）もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.
連続 (数学)
数学において、連続（れんぞく、continuous）および連続性（れんぞくせい、continuity）とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.
新しい！!: 解析学と連続 (数学) · 続きを見る »
接線
初等幾何学において接する（せっする、tangent）とは、その名を「触れること」を意味するtangere に由来し、「ただ触れるだけ」という直観的概念を定式化するものである。特に、曲線の接線（せっせん、tangent line, tangent）は、平面曲線に対しては、曲線上の一点が与えられたとき、その点において曲線に「ただ触れるだけ」の直線を意味する。ライプニッツは接線を、曲線上の無限に近い二点を通る直線として定義した。より具体的に解析幾何学において、与えられた直線が曲線 の （あるいは曲線上の点 ）における接線であるとは、その直線が曲線上の点 を通り、傾きが の微分係数 に等しいときに言う。同様の定義は空間曲線やより高次のユークリッド空間内の曲線に対しても適用できる。 曲線と接線が相接する点は接点 (point of tangency) と言い、曲線との接点において接線は曲線と「同じ方向へ」進む。その意味において接線は、接点における曲線の最適直線近似である。 同様に、曲面の接平面は、接点においてその曲線に「触れるだけ」の平面である。このような意味での「接する」という概念は微分幾何学において最も基礎となる概念であり、接空間として大いに一般化される。.
極値
数学において、関数の局所的な（つまり、ある点の近傍における）最大値または最小値のことをそれぞれ極大値（きょくだいち、maximal, local maximum）、極小値（きょくしょうち、minimal, local minimum）といい、これらを併せて極値（きょくち）と総称する。 極値は局所的な概念であるため、ある点で極値をとってもその点が全域的な最大・最小値を取るとは限らないが、極値自体が適当な区間における最大・最小値の候補と考えることができるため、関数の振る舞いを知る上で重要である。極値を調べる方法としては、微分を利用することで極値をとるための必要条件を求めることができる。.
極限
数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限（きょくげん、limit）がしばしば考察される。数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束しない場合は、発散するという。 極限を表す記号として、次のような lim (英語：limit, リミット、ラテン語：limes)という記号が一般的に用いられる。.
楕円函数
数学の一分野、複素解析における楕円函数（だえんかんすう、elliptic function）は、二方向に周期を持つ有理型のことをいう。歴史的には、楕円函数は楕円積分の逆函数として、ニールス・アーベルによって発見された（楕円積分は楕円の周長を求める問題に関連して研究されていたものである）。.
比較判定法
比較判定法（ひかくはんていほう、comparison test）は、実数や複素数を項にもつ級数が、収束するか発散するかを判定する方法である。これは、判定の対象となる級数の項を、収束性が判明している級数の項と比較することによって、収束性を判断する。比較判定法には、2 つの種類が存在する。.
指数関数
実解析における指数関数（しすうかんすう、exponential function）は、冪における指数 を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数関数の逆関数であるため、逆対数 と呼ばれることもある。自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる（や指数関数的減衰の項を参照）。 一般に、 かつ なる定数 に関して、（主に実数の上を亙る）変数 を へ送る関数は、「a を'''底'''とする指数函数」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする冪関数とは対照的である。 しばしば、より狭義の関数を意図して単に「指数関数」と呼ぶこともある。そのような標準的な (the) 指数関数（あるいはより明示的に「自然指数関数」）はネイピア数 を底とする関数 である。これを のようにも書く。この関数は、導関数が自分自身に一致するなど、他の指数関数と比べて著しい性質を持つ。底 を他の底 に取り換えるには自然対数 を用いて、等式 を適用すればよいから、以下本項では主に自然指数関数について記述し、多くの場合「指数関数」は自然指数関数の意味で用いる。.
指数関数的減衰
指数関数的減衰（しすうかんすうてきげんすい、exponential decay）、または指数的減衰とは、ある量が減少する速さが減少する量に比例することである。数学的にいえば、この過程は微分方程式 によって表される。ここでN (t) は時刻t における減衰する量であり、λは崩壊定数と呼ばれる正の数である。崩壊定数の単位は s-1 である。 この微分方程式を解くと（詳細は後述）、この現象は指数関数 によって表される。ここでN0.
新しい！!: 解析学と指数関数的減衰 · 続きを見る »
有限要素法
有限要素法（ゆうげんようそほう、Finite Element Method, FEM）は数値解析手法の一つ。解析的に解くことが難しい微分方程式の近似解を数値的に得る方法の一つである。方程式が定義された領域を小領域（要素）に分割し、各小領域における方程式を比較的単純で共通な補間関数で近似する。構造力学分野で発達し、他の分野でも広く使われている手法。その背景となる理論は、関数解析と結びついて、数学的に整然としている。.
流体力学
流体力学（りゅうたいりきがく、fluid dynamics / fluid mechanics）とは、流体の静止状態や運動状態での性質、また流体中での物体の運動を研究する、力学の一分野。.
数
数（かず、すう、number）とは、.
数学基礎論
数学基礎論（すうがくきそろん、英語：）は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.
数列
数学において数列（すうれつ、numerical sequence）とは、数が列になったもの (sequence of numbers) を言う。 ある数はそれ単独で興味深い性質や深い意味を持っているかもしれない。単独ではそれほど面白くはない数たちもまとめて考えると興味深い性質を持つかもしれない。数列を考える意識は後者に属する。数列とは例えば正の奇数を小さい順に並べた のような数の“並び”である。並べる数に制限を加えて、たとえば自然数のみを並べるならば、これを自然数列と略称する。整数、有理数、実数などのほかの数体系を用いる場合も同様の略称を用いる。各々の数の“置かれるべき場所”は数列の項 (こう、term) と呼ばれる。数の並びが数列と呼ばれるためには、数列の各項を“順番に並べる”こと、つまりそれぞれの数が何番目の項に配置されているのかを一意に示すように番号付けができなければならない。したがって、“最も簡単”な数列は自然数を小さい順に並べた数列 ということになる（これは自然数が順序数であることによる）。 考える数列に端が存在する場合がある。数列の端に存在する項は、その数列の最初の項、または最後の項であると考えることができる。数列の最初の項をその数列の初項（しょこう、first term）といい、最後の項を数列の末項（まっこう、last term）と呼ぶ。 数列に対して必ずしも初項と末項を定めることはできない。たとえば「すべての自然数」を表わす数列の項の数は「自然数の個数」に等しいが、自然数は無限に存在するため、その末項は存在しない。このように末項が定まらないような数列は、無限数列（むげんすうれつ、infinite sequence）と呼ばれ、末項を持つ数列は有限数列（ゆうげんすうれつ、finite sequence）と呼ばれる。 初項を表わす添字は自由に与えることができ、議論や計算を簡単にするように選ばれるが、慣習的に 0 または 1 が与えられることも多い。たとえば有限数列の初項の添字を 1 から始めた場合、末項は項数に等しい添字 が与えられるため、記述が簡単になる。 特別な数列には、項の並びに規則性のあるものがある。代表的なものは、等差数列や等比数列あるいはフィボナッチ数列のように漸化式で定義される数列である。.
数値積分
数値積分（すうちせきぶん）とは、狭義には与えられる関数の定積分の値を、解析的にではなく数値的に求めることであり、広義には与えられる導関数から原関数を求めること、また微分方程式を数値的に解くことを含む。数値解析の一つである。 以下では、狭義の数値積分（一変数の関数の定積分の値を求める方法）について述べる。.
数値解析
バビロニアの粘土板 YBC 7289 （紀元前1800-1600年頃） 2の平方根の近似値は60進法で4桁、10進法では約6桁に相当する。1 + 24/60 + 51/602 + 10/603.
数理モデル
数理モデル（すうりモデル、mathematical model）とは、通常は、時間変化する現象の計測可能な主要な指標の動きを模倣する、微分方程式などの「数学の言葉で記述した系」のことを言う。モデルは「模型」と訳され「数理模型」と呼ばれることもある。元の現象を表現される複雑な現実とすれば、モデル（模型）はそれの特別な一面を簡略化した形で表現した「言語」（いまの場合は数学）で、より人間に理解しやすいものとして構築される。構築されたモデルが、元の現象を適切に記述しているか否かは、数学の外の問題で、原理的には論理的には真偽は判定不可能である。人間の直観によって判定するしかない。どこまで精緻にモデル化を行ったとしても、得た観察を近似する論理的な説明に過ぎない。 数理モデルは、対象とする現象や、定式化の抽象度などによって様々なものがある。.
数理科学
数理科学（すうりかがく、英語：mathematical sciences）は、数学そのもの、および、すぐれて数学的であるが数学のサブカテゴリとは一般には見なされていない学問分野を指すための総称。 まずmathematical sciencesという用語があり、それを日本語に訳すために「数理科学」という訳語が作られたという関係になっている。 具体的には、例えば統計学がある。また理論計算機科学、暗号理論、集団遺伝学、計量経済学、数理物理学、actuarial science（保険数理学（保険数理））なども挙げることができる。 特に応用に焦点を当てて研究する数理科学分野のことを応用数理科学と呼ぶこともある。.
数理物理学
数理物理学（すうりぶつりがく、Mathematical physics）は、数学と物理学の境界を成す科学の一分野である。数理物理学が何から構成されるかについては、いろいろな考え方がある。典型的な定義は、Journal of Mathematical Physicsで与えているように、「物理学における問題への数学の応用と、そのような応用と物理学の定式化に適した数学的手法の構築」である。 しかしながら、この定義は、それ自体は特に関連のない抽象的な数学的事実の証明にも物理学の成果が用いられている現状を反映していない。このような現象は、弦理論の研究が数学の新地平を切り拓きつつある現在、ますます重要になっている。 数理物理には、関数解析学／量子力学、幾何学／一般相対性理論、組み合わせ論／確率論／統計力学などが含まれる。最近では弦理論が、代数幾何学、トポロジー、複素幾何学などの数学の重要分野と交流を持つようになってきている。.
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
曲線
数学における曲線（きょくせん、curve, curved line）は、一般にまっすぐとは限らない幾何学的対象としての「線」を言う。 つまり、曲線とは曲率が零とは限らないという意味での直線の一般化である。 数学の様々な分野において、その研究領域に応じたそれぞれやや異なる意味で「曲線」の語が用いられる（から、精確な意味は文脈に即して捉えるべきである）が、それらの意味の多くは以下に挙げる定義の特別な実例になっているはずである。すなわち、曲線とは局所的に直線と同相であるような位相空間を言う。それは日常語で言えば、曲線は点の集合であって、それらの点が十分近くであれば直線のように見えるが、変形があってもよいというような意味である。数学の各分野で扱われる。 最初に触れる曲線の簡単な例というのはほとんどの場合「平面曲線」（例えば平らな紙の上に描いた曲がった線）であろうが、螺旋のように三次元的なものもある。幾何学的な必要性や、例えば古典力学からの要請で任意次元の空間に埋め込まれた曲線の概念も必要とされる。一般相対論において世界線とは時空内の曲線である。; 注: 一般用語として、「曲線」が（成長曲線やフィリップス曲線の例に見るように）函数のグラフ、あるいはより多様なの意味で用いられることがあるが、本項で言う意味とは（近い関連はあるにせよ）異なるものと理解すべきである。.
