ブラウザよりも高速アクセス！
93 関係: 加速度、偏微分、偏微分方程式、反応速度、古代ギリシア、多項式函数、変位、実数、実数値関数、実数直線、差分商、常微分方程式、三次関数、三次方程式、微分、微分の記法、微分可能関数、微分幾何学、微分積分学、微分積分学の基本定理、微分方程式、区間 (数学)、化学反応、ペルガのアポロニウス、バースカラ2世、ユークリッド原論、ユークリッド空間、ライプニッツの記法、ルネ・デカルト、ロルの定理、ヘッセ行列、ブレーズ・パスカル、ピエール・ド・フェルマー、テイラーの定理、ベルンハルト・リーマン、アラビア数学、アルキメデス、アーリヤバタ、アイザック・バロー、アイザック・ニュートン、インドの数学、イブン・ハイサム、エウクレイデス、オペレーションズ・リサーチ、オーギュスタン＝ルイ・コーシー、カール・ワイエルシュトラス、ギリシア文字、クリスティアーン・ホイヘンス、グラフ (関数)、ゴットフリート・ライプニッツ、...、ジョン・ウォリス、ジェームス・グレゴリー、傾き (数学)、円 (数学)、円錐、函数の全微分、固有値、理論物理学、積分法、線型近似、線型方程式、線型性、無限小、熱伝導、物理学、鞍点、運動の第2法則、運動量、複素平面、複素解析、解析関数、近傍 (位相空間論)、関数の微分、関数解析学、臨界点 (数学)、自然、速度、逆写像、逆函数定理、Δ、抽象代数学、接線、極値、測度論、測地線、滑らかな関数、月の軌道、最大と最小、最大値最小値定理、最短経路問題、数学、数理最適化、時間。 インデックスを展開 (43 もっと) »
加速度
加速度（かそくど、acceleration）は、単位時間当たりの速度の変化率。速度がベクトルなので、加速度も同様にベクトルとなる。加速度はベクトルとして平行四辺形の法則で合成や分解ができるのは力や速度の場合と同様であるが、法線加速度、接線加速度に分解されることが多い。法線加速度は向きを変え、接線加速度は速さを変える。 速度を v とすれば、加速度 a は速度の時間 t についての微分であり, と定義される。 平面運動を極座標(r,θ)で表した場合、動径方向・角方向成分はそれぞれ となる。 一般に「減速度（げんそくど）」と言われるのは、負（進行方向と反対）の加速度の事である。また、進行方向を変える（曲がる）のは、進行方向とは異なる方向への加速度を受けるという事である。 遠心力による加速度を遠心加速度という。 物体に加速度がかかることと、力が加わることとは等価である。（運動の第2法則） ちなみに、加速度の単位時間当たりの変化率は、加加速度あるいは躍度とよばれる。.
偏微分
数学の多変数微分積分学における偏微分（へんびぶん、partial derivative）は、多変数関数に対して一つの変数のみに関する（それ以外の変数は）微分である（全微分では全ての変数を動かしたままにするのと対照的である）。偏微分はベクトル解析や微分幾何学などで用いられる。 函数 の変数 に関する偏微分は など様々な表し方がある。一般に函数の偏微分はもとの函数と同じ引数を持つ函数であり、このことを のように記法に明示的に含めてしまうこともある。偏微分記号 ∂ が数学において用いられた最初の例の一つは、1770年以降マルキ・ド・コンドルセによるものだが、それは偏差分の意味で用いられたものである。現代的な偏微分記法はアドリアン＝マリ・ルジャンドル が導入しているが、後が続かなかった。これを1841年に再導入するのがカール・グスタフ・ヤコブ・ヤコビである。 偏微分は方向微分の特別の場合である。また無限次元の場合にこれらはガトー微分に一般化される。.
偏微分方程式
偏微分方程式（へんびぶんほうていしき、partial differential equation, PDE）は、未知関数の偏微分を含む微分方程式である。.
新しい！!: 微分法と偏微分方程式 · 続きを見る »
反応速度
反応速度（はんのうそくど、reaction rate）とは化学反応の反応物あるいは生成物に関する各成分量の時間変化率を表す物理量。通常、反応速度を表現する式は濃度のべき関数として表現される。.
古代ギリシア
この項目では、太古から古代ローマに占領される以前までの古代ギリシアを扱う。.
新しい！!: 微分法と古代ギリシア · 続きを見る »
多項式函数
代数学における多項式函数（たこうしきかんすう、polynomial function）は、適当な可換環（多くの場合は可換体） に係数を持つ多項式に付随して定まる f\colon x \mapsto a_n x^n + a_ x^ + \cdots + a_1 x + a_0 x^0 なる形の写像を言う。ただし、 は自然数で、 は の係数と呼ばれる の元である。これはまた、和の sum-記法によって のようにも書かれる。このような写像 を に係数を持つ多項式函数と呼ぶ。 ここでは定義を複雑にしないために多項式函数の定義域および終域 については特に限定しないが、事実として は 上の単位的結合多元環の構造を持てば十分である。つまりそのような構造は多項式函数の定義に現れるすべての演算を持っている.
変位
変位（へんい、displacement）とは、物体の位置の変化のこと。変位の対象は、古典力学での質点の位置であったり、結晶（固体、あるいは結晶表面やそれに吸着した原子、分子など）での原子の位置（原子変位）であったりする。表記は、変位の大きさに着目する x, d のような場合や、変化した前後の位置の差であるという点に注目する Δr という場合がある。物理量としての変位はベクトルで使うことが多く、変位ベクトルと呼ばれる。 物体の位置を表現するには原点からの位置ベクトルを使う方法もある。どこかに基準点を定めるということでは変位もあまり違わないが、局所的な現象をあらわすときには基準位置とそこからの変位で記述したほうが簡単になることもある。変位x と位置ベクトルr は次の式で変換できる。 ここでr0 は基準点の位置ベクトルである。.
実数
数学における実数（じっすう、 nombre réel, reelle Zahl, real number）は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.
実数値関数
実数値関数（じっすうちかんすう、real-valued function）、あるいは実関数（じつかんすう、real function）とは、値として実数を与える関数をいう。つまり、定義域のそれぞれの元に対し実数を割り当てる関数のことである。 多くの重要な関数空間が、いくつかの実数値関数からなるものとして定義されている。.
実数直線
数学における実数直線（じっすうちょくせん、real line, real number line）は、その上の各点が実数であるような直線である。つまり、実数直線とは、すべての実数からなる集合 を、幾何学的な空間（具体的には一次元のユークリッド空間）とみなしたものということである。この空間はベクトル空間（またはアフィン空間）や距離空間、位相空間、測度空間あるいは線型連続体としてみることもできる。 単に実数全体の成す集合としての実数直線は記号 (あるいは黒板太字の ℝ) で表されるのがふつうだが、それが一次元のユークリッド空間であることを強調する意味で と書かれることもある。 本項では の位相幾何学的、幾何学的あるいは実解析的な側面に焦点を当てる。もちろん実数の全体は一つの体として代数学でも重要な意味を持つが、その文脈での が直線として言及されるのは稀である。そういった観点を含めた の詳細は実数の項を参照のこと。.
差分商
微分積分学における差分商（さぶんしょう、difference quotient; 差商）は、ふつうは函数 に対する有限差分の商 \frac を言い、これは の極限で微分商となる。実際に函数値の有限差分を対応する変数の有限差分で割ったものであることにより、この名称がある。 差分商は函数 のある区間（いまの場合、長さ の区間）における「平均変化率」(average rate of change) を与えるものであるから、特にその極限としての微分商は「瞬間変化率」に対応すると考えることができる やや記法を変更（）して、区間 に対する、差分商 \frac を考えれば、これは の区間 における微分係数の「平均値」を表していると考えられる。このことは、可微分函数 に対して の微分係数が区間内の適当な点において平均値に到達することを述べた平均値の定理によって正当化される。幾何学的には、この差分商は二点 を通る割線の傾きを測るものである。 差分商はにおける近似に用いられるが、それは同時にこの応用において批判の主題ともなっている 差分商のことを、ニュートン商（アイザック・ニュートンに由来）やフェルマーの差分商（ピエール・ド・フェルマーに由来）などとも呼ぶことがある。 有限差分をとる操作を反復適用して得られる高階差分を用いれば、高階差分商あるいは（分点が等間隔の場合の）高階差商を考えることができる。.
常微分方程式
常微分方程式（じょうびぶんほうていしき、ordinary differential equation, O.D.E.）とは、数学において、未知関数とその導関数からなる等式で定義される方程式である微分方程式の一種で、未知関数が本質的にただ一つの変数を持つものである場合をいう。すなわち、変数 の未知関数 に対して、（既知の）関数 を用いて という形にできるような関数方程式を常微分方程式と呼ぶ。 は未知関数 の 階の導関数である。未知関数が単独でない場合には、関数の組をベクトルの記法を用いて表せば次のようになる。 \left(\boldsymbol^(t).
新しい！!: 微分法と常微分方程式 · 続きを見る »
三次関数
x-軸と交わる点である。このグラフは二つの極値を持つ。 1.
三次方程式
三次方程式（さんじほうていしき、cubic equation）とは、次数が 3 であるような代数方程式の事である。この項目では主に、実数を係数とする一変数の三次方程式を扱う。.
微分
数学におけるの微分（びぶん）、微分係数、微分商または導函数（どうかんすう、derivative）は、別の量（独立変数）に依存して決まるある量（函数の値あるいは従属変数）の変化の感度を測るものである。微分は微分積分学の基本的な道具である。例えば、動く物体の位置の時間に関する導函数はその物体の速度であり、これは時間が進んだときその物体の位置がどれほど早く変わるかを測る。 一変数函数の適当に選んだ入力値における微分係数は、その点における函数のグラフの接線の傾きである。これは導函数がその入力値の近くでその函数の最適線型近似を記述するものであることを意味する。そのような理由で、微分係数はしばしば「瞬間の変化率」として記述される。瞬間の変化率は独立変数に依存する従属変数である。 微分はにも拡張できる。この一般化において、導函数はそのグラフが（適当な変換の後）もとの函数のグラフを最適線型近似する線型変換と解釈しなおされる。ヤコビ行列はこの線型変換を独立および従属変数を選ぶことで与えられる基底に関して表現する行列であり、独立変数に関する偏微分を用いて計算することができる。多変数実数値函数に対して、ヤコビ行列は勾配に簡約される。 導函数を求める過程を微分あるいは微分法、微分演算 (differentiation) と言い、その逆の過程（原始函数を求めること）をという。微分積分学の基本定理は反微分が積分と同じであることを主張する。一変数の微分積分学において微分と積分は基本的な操作の二本柱である。.
微分の記法
微分の記法 (びぶんのきほう、英語: notation for differentiation) とは、数学における微分を記号的に表記するための方法である。現在、数学関数や従属変数の微分を表す微分の記法として画一化・統一されたものはなく、複数の数学者によって異なる記法が提案されている。それぞれの記法の有用性はその使用される分野・文脈・状況によって変化し、与えられた文脈によって複数の記法を使い分けることもしばしば有効である。本項では比較的使用頻度が高い微分の記法を示す。.
微分可能関数
数学の一分野である微分積分学において、可微分函数あるいは微分可能関数（びぶんかのうかんすう、）とは、その定義域内の各点において導関数が存在するような関数のことを言う。微分可能関数のグラフには、その定義域の各点において非垂直な接線が存在しなければならない。その結果として、微分可能関数のグラフは比較的なめらかなものとなり、途切れたり折れ曲がったりせず、や、垂直接線を伴う点などは含まれない。 より一般に、ある関数 f の定義域内のある点 x0 に対し、導関数 f′(x0) が存在するとき、f は x0 において微分可能であるといわれる。そのような関数 f はまた、点 x0 の近くでは線型関数によってよく近似されるため、x0 において局所線型（locally linear）とも呼ばれる。.
新しい！!: 微分法と微分可能関数 · 続きを見る »
微分幾何学
数学における微分幾何学（びぶんきかがく、ドイツ語: Differentialgeometrie、英語：differential geometry）とは微分を用いた幾何学の研究である。また、可微分多様体上の微分可能な関数を取り扱う数学の分野は微分位相幾何学（びぶんいそうきかがく、ドイツ語: Differentialtopologie、英語: differential topology）とよばれることがある。微分方程式の研究から自然に発生したこれらの分野は互いに密接に関連しており、特に一般相対性理論をはじめとして物理学に多くの応用がある。これらは可微分多様体についての幾何学を構成しているが、力学系の視点からも直接に研究される。.
微分積分学
微分積分学（びぶんせきぶんがく, ）とは、解析学の基本的な部分を形成する数学の分野の一つである。微分積分学は、局所的な変化を捉える微分と局所的な量の大域的な集積を扱う積分の二本の柱からなり、分野としての範囲を確定するのは難しいが、大体多変数実数値関数の微分と積分に関わる事柄（逆関数定理やベクトル解析も）を含んでいる。 微分は、ある関数のある点での接線、或いは接平面を考える演算である。数学的に別の言い方をすると、基本的には複雑な関数を線型近似して捉えようとする考え方である。従って、微分は線型写像になる。但し、多変数関数の微分を線型写像として捉える考え方は 20世紀に入ってからのものである。微分方程式はこの考え方の自然な延長にある。 対して積分は、幾何学的には、曲線、あるいは曲面と座標軸とに挟まれた領域の面積（体積）を求めることに相当している。ベルンハルト・リーマンは（一変数の）定積分の値を、長方形近似の極限として直接的に定義し、連続関数は積分を有することなどを証明した。彼の定義による積分をリーマン積分と呼んでいる。 微分と積分はまったく別の概念でありながら密接な関連性を持ち、一変数の場合、互いに他の逆演算としての意味を持っている（微分積分学の基本定理）。微分は傾き、積分は面積を表す。.
微分積分学の基本定理
微分積分学の基本定理（びぶんせきぶんがくのきほんていり、fundamental theorem of calculus）とは、「微分と積分が互いに逆の操作・演算である」 ということを主張する解析学の定理である。微分積分法の基本定理ともいう。ここで「積分」は、リーマン積分のことを指す。 この事実こそ、発見者のニュートンやライプニッツらを微分積分学の創始者たらしめている重要な定理である。 この定理は主に一変数の連続関数など素性の良い関数に対するものである。これを多変数（高次元）の場合に拡張する方法は一つではないが、ベクトル解析におけるストークスの定理はその一例として挙げられるだろう。また、どの程度病的な関数について定理が成り立つのかというのも意味のある疑問であるといえる。 現在では微分積分学の初期に学ぶ基本的な定理であるが、この定理が実際に発見されたのは比較的最近（17世紀）である。この定理が発見されるまでは、微分法（曲線の接線の概念）と積分法（面積・体積などの求積）はなんの関連性も無い全く別の計算だと考えられていた。.
新しい！!: 微分法と微分積分学の基本定理 · 続きを見る »
微分方程式
微分方程式（びぶんほうていしき、differential equation）とは未知関数とその導関数の関係式として書かれている関数方程式である長倉三郎ほか編、『 』、岩波書店、1998年、項目「微分方程式」より。ISBN 4-00-080090-6。 物理法則を記述する基礎方程式は多くが時間微分、空間微分を含む微分方程式であり、物理学からの要請もあり微分方程式の解法には多くの関心が注がれてきた。微分方程式論は解析学の中心的な分野で、フーリエ変換、ラプラス変換等はもともと微分方程式を解くために開発された手法である。また物理学における微分方程式の主要な問題は境界値問題、固有値問題である。 線型微分方程式の研究は歴史が長く。それに比して、非線型微分方程式の研究は歴史が浅く比較的簡単な方程式しか解析できていない。例えばナビエ-ストークス方程式は、流体の支配方程式として重要であるが、その解の存在性は未解決問題でありミレニアム懸賞問題にも選ばれている。 その他有名な微分方程式については:Category:微分方程式を参照。.
区間 (数学)
数学における（実）区間（じつくかん、(real) interval）は、実数からなる集合で、その集合内の任意の二点に対しその二点の間にあるすべての数がその集合に属するという性質を持つものである。例えば、 を満たす数 全体の成す集合は、 と, およびその間の数すべてを含区間である。他の著しい例として、実数全体の成す集合, 負の実数全体の成す集合および空集合などが挙げられる。 実区間は積分および測度論において、「大きさ」「測度」「長さ」などと呼ばれる量を容易に定義できるもっとも単純な集合として重要な役割がある。測度の概念は実数からなるより複雑な集合に対して拡張され、ボレル測度やルベーグ測度といったような概念までにつながっていく。 不確定性や数学的近似および算術的丸めがあっても勝手な公式に対する保証された一定範囲を自動的に与える一般の法としてのを考えるにあたって、区間はその中核概念を成す。 勝手な全順序集合、例えば整数の集合や有理数の集合上でも、区間の概念は定義することができる。.
新しい！!: 微分法と区間 (数学) · 続きを見る »
化学反応
化学反応（かがくはんのう、chemical reaction）は、化学変化の事、もしくは化学変化が起こる過程の事をいう。化学変化とは１つ以上の化学物質を別の１つ以上の化学物質へと変化する事で、反応前化学物質を構成する原子同士が結合されたり、逆に結合が切断されたり、あるいは化学物質の分子から電子が放出されたり、逆に電子を取り込んだりする。広義には溶媒が溶質に溶ける変化や原子のある同位体が別の同位体に変わる変化、液体が固体に変わる変化MF2等も化学変化という。 化学変化の前後では、化学物質の分子を構成する原子の結合が変わって別の分子に変化する事はあるが、原子そのものが別の原子番号の原子に変わる事はない（ただし原子間の電子の授受や同位体の変化はある）。この点で原子そのものが別の原子に変化する原子核反応とは大きく異なる。 化学反応では反応前の化学物質を反応物(reactant)、反応後の化学物質を生成物(product)といい、その過程は化学反応式で表記される。例えば反応物である（塩酸）とNaOH（水酸化ナトリウム）が化学反応して生成物であるH2O（水分子）とNaCl（食塩）ができあがる状況を示した化学反応式は と表記される。.
ペルガのアポロニウス
ペルガのアポロニウス（Ἀπολλώνιος, Apollonius Pergaeus, Apollonius of Perga、紀元前262年頃 - 紀元前190年頃）はギリシャの数学者・天文学者である。小アジアの町ペルガに生まれた。アレキサンドリアでプトレマイオス3世およびプトレマイオス4世の時代に活躍した。現トルコのペルガモンでしばらく暮らしたとされる。アレキサンドリアで没した。.
新しい！!: 微分法とペルガのアポロニウス · 続きを見る »
バースカラ2世
バースカラ（Bhāskara、カンナダ語: ಭಾಸ್ಕರಾಚಾರ್ಯ、1114年 - 1185年）は、インドの数学者で天文学者。7世紀の数学者バースカラ1世と区別するためバースカラ2世 (Bhaskara II) またはバースカラーチャーリヤ（Bhaskara Achārya、バースカラ先生の意）とも呼ばれる。南インドの現在のカルナータカ州ビジャープラ県にあたる Bijjada Bida でバラモン階級の家に生まれる。当時のインド数学の中心地であったウッジャインの天文台の天文台長を務めた。前任者には、ブラーマグプタ（598年 - 665年）やヴァラーハミヒラがいる。西ガーツ山脈地方に住んでいた。 代々、宮廷学者の地位を世襲しており、バースカラの息子やその子孫もその地位を継承していることが記録に残っている。父マヘーシュヴァラ（Mahesvara）は占星術師で、バースカラに数学を教え、バースカラはそれを息子 Loksamudra に継承させた。Loksamudra の息子は1207年に学校設立を助け、そこでバースカラの書いた文書の研究を行った。 バースカラは、12世紀の数学および天文学の発展に大きな業績を残した。主な著書として、『リーラーヴァティ』（主に算術を扱っている）、『ビージャガニタ』（代数学）、『シッダーンタ・シローマニ』（1150年）がある。『シッダーンタ・シローマニ』は Goladhyaya（球面）と Grahaganita（惑星の数学）の2部構成になっている。.
新しい！!: 微分法とバースカラ2世 · 続きを見る »
ユークリッド原論
ュリュンコスで発見された『ユークリッド原論』のパピルスの写本断片。紀元100年ごろの作。図は『原論』第2巻の命題5に添えられたもの。 ユークリッド原論（ユークリッドげんろん)は、紀元前3世紀ごろにエジプトのアレクサンドリアの数学者ユークリッドによって編纂されたと言われる数学書『原論』（げんろん、Στοιχεία, ストイケイア、Elements）のことである。著者のユークリッドに関する資料は乏しく実在性を疑う説もあり、原論執筆の地がアレクサンドリアであることに対する明確な根拠も無い。プラトンの学園アカデメイアで知られていた数学の成果を集めて体系化した本と考えられており、論証的学問としての数学の地位を確立した古代ギリシア数学を代表する名著である。古代の書物でありながらその影響は古代に留まらず、後世の人々によって図や注釈が加えられたり翻訳された多種多様な版が作られ続け、20世紀初頭に至るまで標準的な数学の教科書の一つとして使われていたため、西洋の書物では聖書に次いで世界中で読まれてきた本とも評される。英語の数学「Mathematics」の語源といわれているラテン語またはギリシア語の「マテーマタ」（Μαθήματα）は「レッスン（学ばれるべきことども）」という意味であり、このマテーマタを集大成したものが『原論』である。.
新しい！!: 微分法とユークリッド原論 · 続きを見る »
ユークリッド空間
数学におけるユークリッド空間（ユークリッドくうかん、Euclidean space）は、エウクレイデス（ユークリッド）が研究したような幾何学（ユークリッド幾何学）の場となる平面や空間、およびその高次元への一般化である。エウクレイデスが研究した平面や空間はそれぞれ、2次元ユークリッド空間、3次元ユークリッド空間に当たり、これらは通常、ユークリッド平面、ユークリッド空間などとも呼ばれる。「ユークリッド的」という修飾辞は、これらの空間が非ユークリッド幾何やアインシュタインの相対性理論に出てくるような曲がった空間ではないことを示唆している。 古典的なギリシャ数学では、ユークリッド平面や（三次元）ユークリッド空間は所定の公準によって定義され、そこからほかの性質が定理として演繹されるものであった。現代数学では、デカルト座標と解析幾何学の考え方にしたがってユークリッド空間を定義するほうが普通である。そうすれば、幾何学の問題に代数学や解析学の道具を持ち込んで調べることができるようになるし、三次元以上のユークリッド空間への一般化も容易になるといった利点が生まれる。 現代的な観点では、ユークリッド空間は各次元に本質的に一つだけ存在すると考えられる。たとえば一次元なら実数直線、二次元ならデカルト平面、より高次の場合は実数の組を座標にもつ実座標空間である。つまり、ユークリッド空間の「点」は実数からなる組であり、二点間の距離は二点間の距離の公式に従うものとして定まる。n-次元ユークリッド空間は、（標準的なモデルを与えるものという意味で）しばしば とかかれるが、（余分な構造を想起させない）ユークリッド空間固有の性質を備えたものということを強調する意味で と書かれることもある。ふつう、ユークリッド空間といえば有限次元であるものをいう。.
新しい！!: 微分法とユークリッド空間 · 続きを見る »
ライプニッツの記法
ライプニッツの記法 (らいぷにっつのきほう、英語: 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 と同じ次元を持つ。また、多くの微積分に関する公式の表現との整合性があることも特筆できる(#微分に関するライプニッツの記法)。.
新しい！!: 微分法とライプニッツの記法 · 続きを見る »
ルネ・デカルト
ルネ・デカルト（René Descartes、1596年3月31日 - 1650年2月11日）は、フランス生まれの哲学者、数学者。合理主義哲学の祖であり、近世哲学の祖として知られる。.
新しい！!: 微分法とルネ・デカルト · 続きを見る »
ロルの定理
微分可能であり、さらに区間の端点で ''ƒ''(''a'').
ヘッセ行列
数学におけるヘッセ行列（ヘッセ-ぎょうれつ、Hessian matrix）は、多変数スカラー値関数の二階偏導関数全体が作る正方行列である。実数値関数の極値判定に用いられる。ヘッセ行列は、ジェームス・ジョセフ・シルベスターが、ドイツの数学者ルートヴィヒ・オットー・ヘッセに由来して名づけた。.
ブレーズ・パスカル
ブレーズ・パスカル（Blaise Pascal、1623年6月19日 - 1662年8月19日）は、フランスの哲学者、自然哲学者、物理学者、思想家、数学者、キリスト教神学者である。 早熟の天才で、その才能は多分野に及んだ。ただし、短命であり、三十代で逝去している。死後『パンセ』として出版されることになる遺稿を自身の目標としていた書物にまとめることもかなわなかった。 「人間は考える葦である」などの多数の名文句やパスカルの賭けなどの多数の有名な思弁がある遺稿集『パンセ』は有名である。その他、パスカルの三角形、パスカルの原理、パスカルの定理などの発見で知られる。ポール・ロワヤル学派に属し、ジャンセニスムを代表する著作家の一人でもある。 かつてフランスで発行されていた500フラン紙幣に肖像が使用されていた。.
新しい！!: 微分法とブレーズ・パスカル · 続きを見る »
ピエール・ド・フェルマー
ピエール・ド・フェルマー ピエール・ド・フェルマー（Pierre de Fermat、1607年末または1608年初頭 - 1665年1月12日）はフランスの数学者。「数論の父」とも呼ばれる。ただし、職業は弁護士であり、数学は余暇に行ったものである。.
新しい！!: 微分法とピエール・ド・フェルマー · 続きを見る »
テイラーの定理
''n''(''x'' − 1)''k''''f''(''k'')(1)/''k''! による近似 微分積分学において、テイラーの定理（テイラーのていり、Taylor's theorem）は、k 回微分可能な関数の与えられた点のまわりでの近似を k 次のテイラー多項式によって与える。解析関数に対しては、与えられた点におけるテイラー多項式は、そのテイラー級数を有限項で切ったものである。テイラー級数は関数を点のある近傍において完全に決定する。「テイラーの定理」の正確な内容は1つに定まっているわけではなくいくつかのバージョンがあり、状況に応じて使い分けられる。バージョンのいくつかは関数のテイラー多項式による近似誤差の明示的な評価を含んでいる。 テイラーの定理は1712年に1つのバージョンを述べた数学者ブルック・テイラー (Brook Taylor) にちなんで名づけられている。しかし誤差の明示的な表現はかなり後になってジョゼフ＝ルイ・ラグランジュ (Joseph-Louis Lagrange) によってはじめて与えられた。結果の初期のバージョンはすでに1671年にジェームス・グレゴリー (James Gregory) によって言及されている。 テイラーの定理は微分積分学の入門レベルで教えられ、解析学の中心的な初等的道具の1つである。純粋数学ではより進んだの入り口であり、より応用的な分野の数値計算や数理物理学においてよく使われている。テイラーの定理は任意次元 n, m の多変数ベクトル値関数 にも一般化する。テイラーの定理のこの一般化は微分幾何学や偏微分方程式において現れるいわゆるの定義の基礎である。 n の大きさを評価することで、近似がどれだけ正確であるかが分かる。f が無限回微分可能であり、Rn が0に収束する場合、すなわち である場合、f(x) はテイラー展開が可能である。そのとき f は解析的(analytic)であるといわれる。 テイラーの定理は平均値の定理を一般化したものになっている。実際、上の式において n.
新しい！!: 微分法とテイラーの定理 · 続きを見る »
ベルンハルト・リーマン
ルク・フリードリヒ・ベルンハルト・リーマン（Georg Friedrich Bernhard Riemann, 1826年9月17日 - 1866年7月20日）は、ドイツの数学者。解析学、幾何学、数論の分野で業績を上げた。アーベル関数に関する研究によって当時の数学者から高く評価されたが、先駆的な彼の研究は十分に理解されず、20世紀になって彼のそれぞれの研究分野で再評価されるようになった。19世紀を代表する数学者の一人である。 彼の名前が残っている数学用語に、リーマン積分、コーシー＝リーマンの方程式、リーマンのゼータ関数、リーマン多様体、リーマン球面、リーマン面、リーマン＝ロッホの定理、リーマン予想などがある。.
新しい！!: 微分法とベルンハルト・リーマン · 続きを見る »
アラビア数学
アラビア数学（アラビアすうがく、Arabic mathematics）とは、8世紀から15世紀のイスラム世界において、主にアラビア語を用いて行われた数学全般のことである。近年ではイスラム数学 (Islamic mathematics) と称される場合もある。名称は慣例によるものであって、必ずしも明確に対象を表しておらず、アラブ地域外でも行われ、担い手にはアラブ人でない者もイスラム教徒でない者もいた。.
新しい！!: 微分法とアラビア数学 · 続きを見る »
アルキメデス
アルキメデス（Archimedes、Ἀρχιμήδης、紀元前287年? - 紀元前212年）は、古代ギリシアの数学者、物理学者、技術者、発明家、天文学者。古典古代における第一級の科学者という評価を得ている。.
新しい！!: 微分法とアルキメデス · 続きを見る »
アーリヤバタ
アーリヤバタ（IAST: 、476年3月21日 - ?）は、古典期インドの天文学者、数学者。著作に『』（499年）と『アーリヤシッダーンタ』がある。各種の天文常数や円周率などの定数の精密化、を取り入れたインド数学の発展、インドの数理天文学の開拓といった業績がある。.
新しい！!: 微分法とアーリヤバタ · 続きを見る »
アイザック・バロー
アイザック・バロー（Isaac Barrow、 1630年10月 - 1677年5月4日）はイギリスの聖職者、数学者である。ケンブリッジ大学の初代のルーカス教授職を務めた。アイザック・ニュートンを指導したことで知られる。バローの業績は積分と微分がお互いに逆操作である（微分積分学の基本定理）ことを幾何学的な方法で証明したこと、またメルカトル図法における赤道から任意緯線までの距離算出に必要となる、正割関数の積分（今日でいうところのグーデルマン関数の逆関数）を初めて閉じた式で表現したことなどがある。 ロンドンで生まれ、ケンブリッジ大学トリニティ・カレッジで学んだ。1659年まで海外を4年ほど旅行し、1660年にケンブリッジ大学のギリシャ語の教授となり、1662年からの幾何学の教授、1663年に新しく設けられたルーカス教授職に任じられた。ルーカス教授職にある間に幾何学と光学の著書を発表した。1669年にニュートンの才能を認め、ルーカス教授職を譲り自らは神学教授に転身した。.
新しい！!: 微分法とアイザック・バロー · 続きを見る »
アイザック・ニュートン
ウールスソープの生家 サー・アイザック・ニュートン（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月イングランド銀行はニュートン兌換率により兌換を再開した。.
新しい！!: 微分法とアイザック・ニュートン · 続きを見る »
インドの数学
インドの数学（インドのすうがく、Indian mathematics）とは、紀元前1200年頃から19世紀頃までのインド亜大陸において行われた数学全般を指す。.
新しい！!: 微分法とインドの数学 · 続きを見る »
イブン・ハイサム
イブン・アル＝ハイサム（Ibn al-Haitham、本名アブー・アリー・アル＝ハサン・イブン・アル＝ハサン・イブン・アル＝ハイサム Abū ‘Alī al-Haṣan ibn al-Haṣan ibn al-Haytham、أبو علي الحسن بن الحسن بن الهيثم. ）は、イスラム圏の数学者、天文学者、物理学者、医学者、哲学者、音楽学者（965年 - 1040年）。イラクの都市バスラ出身であったことからアル＝バスリー（al-Basri）とも呼ばれていた。西洋ではアルハゼン、アルハーゼン（Alhacen 、Alhazen）の名で知られていた。 イブン・ハイサムは光学の諸原理の発見と科学実験手法の発展に対し、近代科学へ重要な貢献をした人物である。また彼が残した光学に関する書物、レンズや鏡を使った屈折や反射の実験などから「光学の父」ともみなされている。月にあるクレーター「アルハゼン・クレーター」 (Alhazen crater) は彼の栄誉を称えて名づけられている。.
新しい！!: 微分法とイブン・ハイサム · 続きを見る »
エウクレイデス
ラファエロの壁画「アテナイの学堂」に画かれたエウクレイデス アレクサンドリアのエウクレイデス（、、（ユークリッド）、紀元前3世紀? - ）は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』（ユークリッド原論）の著者であり、「幾何学の父」と称される。 プトレマイオス1世治世下（紀元前323年-283年）のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学（特に幾何学）の教科書として使われ続けた。線の定義について、「線は幅のない長さである」、「線の端は点である」など述べられている。基本的にその中で今日ユークリッド幾何学と呼ばれている体系が少数の公理系から構築されている。エウクレイデスは他に光学、透視図法、円錐曲線論、球面天文学、誤謬推理論、図形分割論、天秤などについても著述を残したとされている。 なお、エウクレイデスという名はギリシア語で「よき栄光」を意味する。その実在を疑う説もあり、その説によると『原論』は複数人の共著であり、エウクレイデスは共同筆名とされる。 確実に言えることは、彼が古代の卓越した数学者で、アレクサンドリアで数学を教えていたこと、またそこで数学の一派をなしたことである。ユークリッド幾何学の祖で、原論では平面・立体幾何学、整数論、無理数論などの当時の数学が公理的方法によって組み立てられているが、これは古代ギリシア数学の一つの成果として受け止められている。.
新しい！!: 微分法とエウクレイデス · 続きを見る »
オペレーションズ・リサーチ
ペレーションズ・リサーチ（英語：operations research、米）、オペレーショナル・リサーチ（英語：operational research、英、略称：OR）は、数学的・統計的モデル、アルゴリズムの利用などによって、さまざまな計画に際して最も効率的になるよう決定する科学的技法である。.
新しい！!: 微分法とオペレーションズ・リサーチ · 続きを見る »
オーギュスタン＝ルイ・コーシー
ーギュスタン＝ルイ・コーシー（Augustin Louis Cauchy, 1789年8月21日 - 1857年5月23日）はフランスの数学者。解析学の分野に対する多大な貢献から「フランスのガウス」と呼ばれることもある。これは両者がともに数学の厳密主義の開始者であった事にも関係する。他に天文学、光学、流体力学などへの貢献も多い。.
新しい！!: 微分法とオーギュスタン＝ルイ・コーシー · 続きを見る »
カール・ワイエルシュトラス
ール・ワイエルシュトラス カール・テオドル・ヴィルヘルム・ワイエルシュトラス（Karl Theodor Wilhelm Weierstraß, 1815年10月31日 – 1897年2月19日）はドイツの数学者である。姓のワイ (Wei) の部分はヴァイと表記するほうが正確である。また、"er" に当たる部分はエル/ヤ/ア、"st" はシュト/スト、"raß" はラス/ラースとそれぞれ表記されることがある。.
新しい！!: 微分法とカール・ワイエルシュトラス · 続きを見る »
ギリシア文字
リシア文字（ギリシアもじ）とは、ギリシア語を書き表すために用いられる文字である。現代ギリシア語では24文字からなる。.
新しい！!: 微分法とギリシア文字 · 続きを見る »
クリスティアーン・ホイヘンス
リスティアーン・ホイヘンス（Christiaan Huygens 、1629年『天文アマチュアのための望遠鏡光学・屈折編』pp.14-15「ハイゲンス兄弟の望遠鏡」。4月14日 - 1695年7月8日）() は、オランダの数学者、物理学者、天文学者。かつてオランダの25ギルダー紙幣にその肖像が描かれていた。.
新しい！!: 微分法とクリスティアーン・ホイヘンス · 続きを見る »
グラフ (関数)
関数のグラフ（graph）は、直観的には、関数を平面内の曲線もしくは空間内の曲面としてダイアグラム状に視覚化したものである。形式的には、関数 のグラフとは、順序対 の集合である。 例えば、 と が常に実数であるような関数の場合、グラフは座標平面上の点の集まりとみなすことができる。このような関数のうち、応用上重要な関数の多くは、グラフを座標平面上に曲線として描くことが可能である。 グラフの概念は、関数のみならず、より一般の写像や対応に対しても定義される。標語的には、グラフは関数や対応を特徴付ける集合であるといえる。.
新しい！!: 微分法とグラフ (関数) · 続きを見る »
ゴットフリート・ライプニッツ
ットフリート・ヴィルヘルム・ライプニッツ（Gottfried Wilhelm Leibniz、1646年7月1日（グレゴリオ暦）/6月21日（ユリウス暦） - 1716年11月14日）は、ドイツの哲学者、数学者。ライプツィヒ出身。なお Leibniz の発音は、（ライプニッツ）としているものと、（ライブニッツ）としているものとがある。ルネ・デカルトやバールーフ・デ・スピノザなどとともに近世の大陸合理主義を代表する哲学者である。主著は、『モナドロジー』、『形而上学叙説』、『人間知性新論』など。.
新しい！!: 微分法とゴットフリート・ライプニッツ · 続きを見る »
ジョン・ウォリス
ョン・ウォリス（John Wallis、1616年11月23日 - 1703年10月28日）は、イングランドの数学者で、微分積分学への貢献で知られている。1643年から1689年までイングランド議会（後には王宮）に暗号研究者として雇われた。また、小惑星 31982 Johnwallis は彼の名を冠している。.
新しい！!: 微分法とジョン・ウォリス · 続きを見る »
ジェームス・グレゴリー
ェームズ・グレゴリー ジェームズ・グレゴリー（James Gregory 、1638年11月 – 1675年10月）は、スコットランド生まれの数学者、天文学者である。最初の実用的な反射望遠鏡であるグレゴリー式望遠鏡を考案した。 アバディーンシャーの Drumoak に生まれた。セント・アンドルーズ大学、エディンバラ大学で教授を務めた。エディンバラで没した。 1663年に Optica Promota を出版し、小型の反射望遠鏡、いわゆるグレゴリー式望遠鏡について記述した。最初の実用的な反射望遠鏡で、今日ではあまり用いられないが1世紀半にわたって標準的な望遠鏡の地位を占め、ロバート・フックや王立協会の設立者の一人のロバート・モレーや、やはり反射望遠鏡を研究していたアイザック・ニュートンたちに注目された。 光の回折の分野でもニュートンのプリズムによる光の分散の実験の1年後にグレゴリーは鳥の羽を通った太陽の光が回折模様を描くことから、格子による光の回折を発見し、光がスペクトルの色に分かれることも観測した。 数学の分野では1667年に『円と双曲線の正しい求積』(Vera Circuli et Hyperbolae Quadratura) を出版し、収束無限級数を用いて円や双曲線の面積を求める方法を発表した。また、1668年にはメルカトル図法における赤道から任意緯線までの距離算出に必要となる、正割関数の積分（今日でいうところのグーデルマン関数の逆関数）を解析的に実行した。.
新しい！!: 微分法とジェームス・グレゴリー · 続きを見る »
傾き (数学)
数学における平面上の直線の傾き（かたむき、slope）あるいは勾配（こうばい、gradient）は、その傾斜の具合を表す数値である。ただし、鉛直線に対する傾きは定義されない。 傾きは普通、直線上の2点間の変化の割合、すなわち x の増加量に対する y の増加量の比率として定義される。また、同値な定義として、傾き m は傾斜角を θ として と書くことができる。 曲線上の微分可能な1点に対しても、傾斜の具合を表す数値（微分係数）が、傾きの考え方により定義できる。 傾きの概念は、地理学および土木工学における斜度や勾配（たとえば道路など）に直接応用される。.
新しい！!: 微分法と傾き (数学) · 続きを見る »
円 (数学)
数学において、円（えん）とは、平面（2次元ユークリッド空間）上の、定点 O からの距離が等しい点の集合でできる曲線のことをいう。ここで現れる定点 O を円の中心と呼ぶ。円には、その中心が1つあり、また1つに限る。中心から円周上の 1 点を結んだ線分を輻（や）とよび、その長さを半径というが、現在では輻のことを含めて半径と呼ぶことが多い。中心が点 O である円を、円 O と呼ぶ。定幅図形の一つ。 円が囲む部分、すなわち円の内部を含めて円ということもある。この場合は、曲線のことを円周という。これに対して、内部を含めていることを強調するときには円板という。また、三角形、四角形などと呼称を統一して、円形ということもある。 数学以外の分野ではこの曲線のことを「丸（まる）」という俗称で呼称することがある。 円: 中心、半径・直径、円周.
新しい！!: 微分法と円 (数学) · 続きを見る »
円錐
円錐（えんすい、cone）とは、円を底面として持つ状にとがった立体のことである。.
函数の全微分
微分法の分野における全微分（ぜんびぶん、total differential）は多変数の場合の函数の微分である。 を''n''（あるいはより一般に可微分多様体）の開集合として、全微分可能な函数 の全微分を と書けば、これは のように表される。全微分と偏微分の区別のため、全微分には "丸くない d" を用い、偏微分には "丸い d" つまり ∂ を用いる。以下、扱う函数は全て全微分を持つものと仮定するから、同時にそれは偏微分可能であり、また は上記の式として表すことが可能となることに注意。 伝統的には、あるいは現代においても自然科学などの分野においてしばしば、微分 などを無限小として扱う。一方現代数学的な取扱いでは、微分形式（特に微分 1-形式）と考える。これは完全に形式的な式と考えることもできるし、線型写像として扱うこともできる。函数 の点 における微分 は、各ベクトル に対して を通る -方向への方向微分を対応付ける線型写像になる。この意味において全微分は、全微分係数（全導函数）である。このことは函数の終域を やほかのベクトル空間あるいは多様体に取り換えても通用する。.
新しい！!: 微分法と函数の全微分 · 続きを見る »
固有値
線型代数学において、線型変換の特徴を表す指標として固有値 (eigenvalue) や固有ベクトル (eigenvector) がある。この2つの用語を合わせて、固有対 (eigenpair) という。与えられた線型変換の固有値および固有ベクトルを求める問題のことを固有値問題 (eigenvalue problem) という。ヒルベルト空間論において線型作用素 あるいは線型演算子と呼ばれるものは線型変換であり、やはりその固有値や固有ベクトルを考えることができる。固有値という言葉は無限次元ヒルベルト空間論や作用素代数におけるスペクトルの意味でもしばしば使われる。.
理論物理学
論物理学（りろんぶつりがく、）は、物理学において、理論的な模型や理論的仮定（主に数学的な仮定）を基に理論を構築し、既知の実験事実（観測や観察の結果）や、自然現象などを説明し、かつ未知の現象に対しても予想する物理理論を扱う分野のこと。実験物理学と対比して使われる言葉。 手段として、伝統的な紙と鉛筆によるもの以外に、現在ではコンピュータによる数値的なシミュレーション、数値解析、物理シミュレーションなどにおいて使用される計算機も重要なものの一つとなっている。このシミュレーションなどによる計算物理学分野も、通常は理論物理学に含める。ただ計算物理学を、理論、実験以外の第三の分野と捉える考え方もある。 物理学が理論物理学と実験物理学に分化したのは、19世紀後半から20世紀初頭にかけての物理学の急速な発展に原因がある。それまでの物理学の知識の集積は、一人の物理学者が実験と理論の両方を十分カバーできる程度のものであった。しかし急速な発展の結果、物理学の領域はあまりにも巨大化・複雑化しすぎて、全体を把握することが困難となった。理論的な考察を行なうために習得しなければならない数学的手法や既存の物理理論も膨大な量になって、習得に何年もかかるようになった。このため、それぞれ担当分野に分かれて研究を進める他なくなったのである。ロシア（旧ソ連）のレフ・ダヴィドヴィッチ・ランダウが自国の物理学者志望の学生に課した「理論ミニマム」教程（最低限の知識）にもそれが現れている。.
積分法
積分法（せきぶんほう、integral calculus）は、微分法と共に微分積分学で対を成す主要な分野である。 実数直線上の区間 [a, b] 上で定義される実変数 x の関数 f の定積分 (独: bestimmte Integral, 英: definite integral, 仏: intégrale définie) は、略式的に言えば f のグラフと x-軸、および x.
線型近似
数学における線型近似（せんけいきんじ、linear approximation）とは、一般の関数を一次関数を用いて（より正確に言えばアフィン写像を用いて）近似することである。 例えば、2回微分可能な一変数関数 f は、テイラーの定理の n.
線型方程式
線型方程式（せんけいほうていしき、linear equation）とは、線型性を持つ写像（関数・作用素）の等式で表される方程式のことである。線形等の用字・表記の揺れについては線型性を参照。 線型方程式においては、その線型性から解の重ね合わせが成り立つなどいくつものよい性質が成り立つ。線型方程式（特に多変数の一次代数方程式）の研究から行列などの手法が整備され、線型代数学という一分野が形成された。 線型代数学の整備により、多くの場合に線型方程式の係数を実数や複素数に限らず、四則演算が自由にできる（つまり体と呼ばれる代数的構造をもつ）集合からとったとして広く適用できる結果が知られている。 以下、特に断らない場合は係数をとる集合 K を（可換な）体とする。多くの場合 K は、実数全体の成す集合 R または複素数全体の成す集合 C のことと思って差し支えない。.
線型性
線型性（せんけいせい、英語: linearity）あるいは線型、線形、線状、リニア（せんけい、英語: linear、ラテン語: linearis）とは、直線そのもの、または直線のようにまっすぐな図形やそれに似た性質をもつ対象および、そのような性質を保つ変換などを指して用いられている術語である。対義語は非線型性（英語：Non-Linearity）である。 英語の数学用語のlinear にあてる日本語訳としては、線型が本来の表記であると指摘されることもあるが、他にも線形、線状などといった表記もしばしば用いられている。また一次という表記・表現もしばしば用いられている。というのはlinearは、（多変数の）斉一次函数を指していると考えて間違っていない場合も多いためである。.
無限小
数学における無限小（むげんしょう、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）は、物質の移動を伴わずに高温側から低温側へ熱が伝わる移動現象のひとつである。固体中では、熱伝導は原子の振動及びが担う。特に、金属においては、.
物理学
物理学（ぶつりがく, ）は、自然科学の一分野である。自然界に見られる現象には、人間の恣意的な解釈に依らない普遍的な法則があると考え、自然界の現象とその性質を、物質とその間に働く相互作用によって理解すること（力学的理解）、および物質をより基本的な要素に還元して理解すること（原子論的理解）を目的とする。化学、生物学、地学などほかの自然科学に比べ数学との親和性が非常に強い。 古代ギリシアの自然学 にその源があり, という言葉も、元々は自然についての一般的な知識の追求を意味しており、天体現象から生物現象までを含む幅広い概念だった。現在の物理現象のみを追求する として自然哲学から独立した意味を持つようになったのは19世紀からである。 物理学の古典的な研究分野は、物体の運動、光と色彩、音響、電気と磁気、熱、波動、天体の諸現象（物理現象）である。.
鞍点
鞍点（あんてん、）は、多変数実関数の変域の中で、ある方向で見れば極大値だが別の方向で見れば極小値となる点である。 鞍部点、峠点とも言う。微分可能な関数については極値を取らない停留点とも言う。.
運動の第2法則
運動の第2法則（うんどうのだい2ほうそく、Newton's second law）は、ニュートン力学の基礎をなす三つの運動法則の一つ。第2法則は運動の第1法則が成り立つ座標系、すなわち慣性系における、物体の運動状態の時間変化と物体に作用する力の関係を示す法則である。ときに第2法則のみを指してニュートンの法則と呼ばれることもある。 運動の第2法則はアイザック・ニュートンによって発見され、1687年に出版した『自然哲学の数学的諸原理』において発表された。 運動の第2法則から、ニュートン力学における物体の運動方程式（ニュートンの方程式）が導かれる。ニュートン自身は運動方程式を明示的に用いてはおらず、ニュートンの方程式はレオンハルト・オイラーによって、1749年の （『天体の運動一般に関する研究』）で初めて公表された。.
新しい！!: 微分法と運動の第2法則 · 続きを見る »
運動量
運動量（うんどうりょう、）とは、初等的には物体の運動の状態を表す物理量で、質量と速度の積として定義される。この意味の運動量は後述する一般化された運動量と区別して、運動学的運動量（あるいは動的運動量、kinetic momentum, dynamical momentum）と呼ばれる。また、角運動量 という運動量とは異なる量と対比する上で、線型運動量 などと呼ばれることもある。 日常生活において、物体の持つ運動量は、動いている物体の止めにくさとして体感される。つまり、重くて速い物体ほど運動量が大きく、静止させるのに大きな力積が必要になる。 アイザック・ニュートンは運動量の時間的変化と力の関係を運動の第2法則として提示した。 解析力学では、上述の定義から離れ、運動量は一般化座標とオイラー＝ラグランジュ方程式を通じて与えられる。この運動量は一般化座標系における一般化速度の対応物として、一般化運動量 と呼ばれる。 特にハミルトン形式の解析力学においては、正準方程式を通じて与えられる正準変数の一方を座標と呼び他方を運動量と呼ぶ。この意味の運動量は、他と区別して、正準運動量 と呼ばれる。また、正準運動量は、正準方程式において座標の対となるという意味で、共役運動量 と呼ばれる。運動量は、ハミルトン形式の力学では、速度よりも基本的な量であり、ハミルトン形式で記述される通常の量子力学においても重要な役割を果たす。 共役運動量と通常の運動学的運動量の違いが際立つ例として、磁場中を運動する電子の運動の例が挙げられる（#解析力学における運動量も参照）。電磁場中を運動する電子に対してはローレンツ力が働くが、このローレンツ力に対応する一般化されたポテンシャルエネルギーには電子の速度の項があるために、共役運動量はラグランジアンのポテンシャル項に依存した形になる。このとき共役運動量と運動学的運動量は一致しない。また、電磁場中の電子の運動を記述する古典的ハミルトニアンでは、共役運動量の部分がすべて共役運動量からベクトルポテンシャルの寄与を引いたものに置き換わる。.
複素平面
複素平面 数学において、数平面（すうへいめん、Zahlenebene）あるいは複素数­平面（ふくそすう­へいめん、Komplexe Zahlenebene, complex plane）は、数直線あるいは実数直線 (real line) を実軸 (real axis) として含む。 が実数であるとき、複素数 を単に実数の対とみなせば、平面の直交座標 の点に対応付けることができる。xy-平面上の y-軸は純虚数の全体に対応し、虚軸 (imaginary axis) と呼ばれる。-平面上の点 に複素数 を対応させるとき、-平面とも言う。 1811年頃にガウスによって導入されたため、ガウス平面 (Gaussian plane) とも呼ばれる。一方、それに先立つ1806年に も同様の手法を用いたため、アルガン図 (Argand Diagram) とも呼ばれている。さらに、それ以前の1797年の の書簡にも登場している。このように複素数の幾何的表示はガウス以前にも知られていたが、今日用いられているような形式で複素平面を論じたのはガウスである。三者の名前をとってガウス・アルガン平面、ガウス・ウェッセル平面などとも言われる。 英語名称 complex plane を「直訳」して複素平面と呼ぶことも少なくないが、ここにいう complex は「複素数上の—」という意味ではなく複素数そのものを意味している（複素数の全体を "the complexes" と呼んだり、" is a complex" などのような用例のあることを想起せよ）。したがって、語義に従った complex plane の直訳は「複素数平面」と考えるべきである（実数全体の成す real line についても同様であり、これは通例「実数直線」と訳され、実直線は多少異なる意味に用いられる）。.
複素解析
数学の分科である複素解析（ふくそかいせき、complex analysis）は、複素数の関数に関わる微分法、積分法、変分法、微分方程式論、積分方程式論、複素函数論などの総称である。初等教育で扱う実解析に対比して複素解析というが、現代数学の基礎が複素数であることから、単に解析といえば複素解析を意味することが多い。複素解析の手法は、応用数学を含む数学、理論物理学、工学などの多くの分野で用いられている。.
解析関数
複素変数 z の複素数値関数 f(z) が1点 z.
近傍 (位相空間論)
平面上の集合 ''V'' が点 ''p'' の近傍であるのは、''p'' を中心とする小さな円板が ''V'' に含まれるときである。 矩形の頂点に対して、その矩形は近傍でない。 数学の位相空間論周辺分野でいう近傍（きんぼう、neighbourhood, neighborhood）は位相空間の基本概念の一つで、直観的に言えば与えられた点を含む集合で、その点を少しくらい動かしてもその集合から外に出ないようなものをいう。 近傍の概念は開集合と内部の概念と密接な関連がある。.
新しい！!: 微分法と近傍 (位相空間論) · 続きを見る »
関数の微分
微分積分学における関数の微分（differential of a function）とは、直感的には変数の無限小増分に対する関数の増分であり、独立変数を変化させた時の関数値の変化のを表す。具体的には、実変数関数 y.
関数解析学
関数解析学（かんすうかいせきがく、functional analysis）は数学（特に解析学）の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い。.
臨界点 (数学)
数学において，あるいはの可微分関数の臨界点（りんかいてん，critical point）あるいは（ていりゅうてん，stationary point）とは，微分が 0 あるいは未定義となる定義域内の任意の値である．に対して，臨界点はすべての偏微分が 0 になるような定義域内の値である．関数の臨界点における値は臨界値（りんかいち，critical value）である． この概念の興味は，関数が極値をとる点は臨界点であるという事実にある． この定義は と の間の可微分写像に拡張し，臨界点はこの場合ヤコビ行列の階数が最大でない点である．さらに，可微分多様体の間の可微分写像にも同様に拡張される．この場合，臨界点は とも呼ばれる． 特に， が陰方程式 で定義される平面曲線のとき， 軸に平行な 軸への射影の臨界点は の接線が 軸に平行な点，つまり，\frac(x,y).
新しい！!: 微分法と臨界点 (数学) · 続きを見る »
自然
ルングン火山への落雷（1982年） 自然（しぜん）には次のような意味がある。.
速度
速度（そくど、velocity）は、単位時間当たりの物体の位置の変化量である。.
逆写像
数学における逆写像（ぎゃくしゃぞう、inverse mapping）は一口に言えば写像の与える元の対応関係を「反対」にして得られる写像である。すなわち、写像 が を に写すならば、 の逆写像は を に写し戻す。 函数と呼ばれる種類の写像の逆写像は、逆函数 (inverse function) と呼ばれる。.
逆函数定理
数学、特に微分学において逆函数定理（ぎゃくかんすうていり、inverse function theorem）とは、関数が定義域内のある点の近傍で可逆であるための十分条件を述べるものである。この定理から、逆関数の微分の公式が得られる。 さらに多変数微分積分学においてこの定理は、ヤコビ行列が正則となる点を定義域内に持つ任意の ''C''1 級へと一般化される。この一般化から、逆関数のヤコビ行列の公式が得られる。 このほか、複素正則関数、多様体間の可微分写像、バナッハ空間間の可微分写像などに対する逆関数定理も存在する。.
Δ
（デルタ、希: 、delta）は、ギリシア文字の第4字母。ラテンアルファベットのD、キリル文字のДはこの文字を起源とする。音価は古典では/d/、現代語では/ð/。.
抽象代数学
抽象代数学 (ちゅうしょうだいすうがく、abstract algebra) とは、群、環、体、加群、ベクトル空間や線型環のように公理的に定義される代数的構造に関する数学の研究の総称である。.
接線
初等幾何学において接する（せっする、tangent）とは、その名を「触れること」を意味するtangere に由来し、「ただ触れるだけ」という直観的概念を定式化するものである。特に、曲線の接線（せっせん、tangent line, tangent）は、平面曲線に対しては、曲線上の一点が与えられたとき、その点において曲線に「ただ触れるだけ」の直線を意味する。ライプニッツは接線を、曲線上の無限に近い二点を通る直線として定義した。より具体的に解析幾何学において、与えられた直線が曲線 の （あるいは曲線上の点 ）における接線であるとは、その直線が曲線上の点 を通り、傾きが の微分係数 に等しいときに言う。同様の定義は空間曲線やより高次のユークリッド空間内の曲線に対しても適用できる。 曲線と接線が相接する点は接点 (point of tangency) と言い、曲線との接点において接線は曲線と「同じ方向へ」進む。その意味において接線は、接点における曲線の最適直線近似である。 同様に、曲面の接平面は、接点においてその曲線に「触れるだけ」の平面である。このような意味での「接する」という概念は微分幾何学において最も基礎となる概念であり、接空間として大いに一般化される。.
極値
数学において、関数の局所的な（つまり、ある点の近傍における）最大値または最小値のことをそれぞれ極大値（きょくだいち、maximal, local maximum）、極小値（きょくしょうち、minimal, local minimum）といい、これらを併せて極値（きょくち）と総称する。 極値は局所的な概念であるため、ある点で極値をとってもその点が全域的な最大・最小値を取るとは限らないが、極値自体が適当な区間における最大・最小値の候補と考えることができるため、関数の振る舞いを知る上で重要である。極値を調べる方法としては、微分を利用することで極値をとるための必要条件を求めることができる。.
測度論
測度論（そくどろん、measure theory ）は、数学の実解析における一分野で、測度とそれに関連する概念（完全加法族、可測関数、積分等）を研究する。 ここで測度（そくど、measure ）とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。 よく知られているように積分は面積と関係があるので、積分（厳密にはルベーグ積分）も測度論を基盤にして定式化・研究できる。 また、測度の概念は確率を数学的に定式化する際にも用いられるため（コルモゴロフの公理）、 確率論や統計学においても測度論は重要である。 たとえば「サイコロの目が偶数になる確率 」は目が 1,..., 6 になるという 6 つの事象の集合の中で、2, 4, 6 という 3 つ分の「大きさ」を持っている為、 測度の概念で記述できる。.
測地線
測地線（そくちせん、）とは、直線の概念を曲がった空間において一般化したものである。 計量が定義される空間においては、測地線は、2つの離れた点を結ぶ（局所的に）最短な線として定義される。アフィン接続が定義される空間においては、測地線は、曲線のうち、その接ベクトルが曲線に沿って移動しても平行に保たれるような曲線（測地的曲率が常に0）として定義される。測地線の中でその長さが2点間の距離に等しくなるものを最短測地線という。 言葉の由来は、測地学からであり、地球上の2点間の最短ルート（大円の一部）による。この概念は、数学的な空間にも拡張され、例えばグラフ理論ではグラフ上の2つの頂点（vertex）や結節点 () 間の測地線が定義されている。一般相対性理論では、光は曲がった空間での測地線を進むという原理に基づいて構築されている。.
滑らかな関数
数学において、関数の滑らかさ（なめらかさ、smoothness）は、その関数に対して微分可能性を考えることで測られる。より高い階数の導関数を持つ関数ほど滑らかさの度合いが強いと考えられる。.
新しい！!: 微分法と滑らかな関数 · 続きを見る »
月の軌道
月は、約27.3日の周期で地球の周りを公転している（地球が太陽の周りを公転しているため、満ち欠けの周期は約29.5日となる）。正確には、地球と月は、地球の中心から約4,600km（地球半径の約4分の3）の地点にある共通の重心の周りを公転する。平均では、月は地球の中心から、地球半径の約60倍に相当する38万5,000kmの距離にある。平均軌道速度は1,023m/sで、.
最大と最小
数学の様々な分野で順序が定まった対象に対し、最大のものや最小のものが考察されている。最大のものを表す標準的な記号として max、最小のものを表すものとして min が用いられる。この記事では最大・最小に関係した様々な話題を紹介する。.
最大値最小値定理
初等解析学における最大値・最小値の定理または最大値の定理（さいだいちのていり、extreme value theorem; 極値定理）は、実数値函数 f が有界閉区間 上で連続ならば f は最大値および最小値にそれぞれ少なくとも一点で到達することを述べるものである。式で書けば、適当な実数 が存在して が成り立つ。関連する定理として、有界性定理（ゆうかいせいていり、boundedness theorem）は、有界閉区間 上で連続な函数 はその区間上で有界であることを述べる。これは適当な実数 が存在して が満たされるという意味である。最大値定理は、有界性定理における上界と下界の存在を強めて、最小上界を最大値として、および最大下界を最小値として、それぞれ実現する点が定義域内に存在することまでをも主張するのである。 最大値の定理はロルの定理の証明に利用される。また、ヴァイエルシュトラスによる定式化では、最大値の定理は「コンパクト空間から実数直線の部分集合への連続写像は最大値および最小値をとる」と述べられる。.
新しい！!: 微分法と最大値最小値定理 · 続きを見る »
最短経路問題
ラフ理論における最短経路問題（さいたんけいろもんだい、shortest path problem）とは、重み付きグラフの与えられた2つのノード間を結ぶ経路の中で、重みが最小の経路を求める最適化問題である。.
新しい！!: 微分法と最短経路問題 · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数理最適化
数学の計算機科学やオペレーションズリサーチの分野における数理最適化（すうりさいてきか、）とは、（ある条件に関して）最もよい元を、利用可能な集合から選択することをいう。 最も簡単な最適化問題には、ある許された集合から入力をシステマティックに選び、函数の値を計算することによるの最大化と最小化がある。最適化理論とその手法の、他の形式への一般化は応用数学の広範な分野をなすものである。より一般に、最適化はある与えられた定義域（あるいは制約の集合）についてある目的函数の「利用可能な最も良い」値を見つけることも含む。そのような目的函数と定義域は多様な異なるタイプのものも含む。.
時間
人類にとって、もともとは太陽や月の動きが時間そのものであった。 アイ・ハヌム（紀元前4世紀～紀元前1世紀の古代都市）で使われていた日時計。人々は日時計の時間で生きていた。 砂時計で砂の流れを利用して時間を計ることも行われるようになった。また砂時計は、現在というものが未来と過去の間にあることを象徴している。くびれた部分（現在）を見つめる。すると時間というのは上（未来）から流れてきて下（過去）へと流れてゆく流れ、と感じられることになる。 時間（じかん）は、出来事や変化を認識するための基礎的な概念である。芸術、哲学、自然科学、心理学などの重要なテーマとなっている。それぞれの分野で異なった定義がなされる。.
ここにリダイレクトされます：
微分学。
