No.2ベストアンサー
- 回答日時:
質問者様が求めているのは、“微分積分学の基本定理”であるとお察しします。
Wikipediaの解説にはこうあります。----------------------------------------------
微分積分学の基本定理(びぶんせきぶんがくのきほんていり、fundamental theorem of calculus)とは、「微分と積分が互いに逆の操作・演算である」 ということを主張する解析学の定理である。微分積分法の基本定理ともいう。ここで「積分」は、リーマン積分のことを指す。
この事実こそ、発見者のニュートンやライプニッツらを微分積分学の創始者たらしめている重要な定理である。
この定理は主に一変数の連続関数など素性の良い関数に対するものである。これを多変数(高次元)の場合に拡張する方法は一つではないが、ベクトル解析におけるストークスの定理はその一例として挙げられるだろう。また、どの程度病的な関数について定理が成り立つのかというのも意味のある疑問であるといえる。
現在では微分積分学の初期に学ぶ基本的な定理であるが、この定理が実際に発見されたのは比較的最近である。 この定理が発見されるまでは、微分法と積分法はなんの関連性も無い全く別の計算だと考えられていた。
-------------------------------------------------
質問者様もご指摘されているように、積分は、微分とは独立して定義することが可能です。この理論を理解するには、例えば大きな書店の“数学”のコーナー(≠大学受験の参考書コーナー)で適当な微分積分学の本を手に取り、
(1)索引などに“微分積分学の基本定理”の文字列があること
(2)目次から積分の章を探し、積分の定義が、リーマン積分として定義されている(=微分の逆演算ではない方法で定義されている)
ことを確認すればよいでしょう。微分積分学をタイトルにもつ書物であれば、(経験則でしかないですが)ほとんどが積分をリーマン積分の定義から出発しているはずです。
No.3
- 回答日時:
九州大学の梶原壌二先生は「積分を微分の逆演算として定義することの致命的な欠点は多変数の場合にうまく行かないことである。
」とどこかで書かれています。でも一変数の場合だってうまく行きません。高木貞二「解析概論」p.102には「F'(x)=f(x)でもf(x)は必ずしも積分可能ではなく、積分可能でも積分関数はF(x)と合致するとは言えない。∫f(x)dxは必ずしも微分可能ではなく、微分可能でも微分商はf(x)と一致するとは限らない。」と書かれています。「ん?でも確かに積分は微分の逆と習ったはず」ー教科書をもう一度読みましょう。微分積分学の基本定理が成立するのは連続関数に対してです。「積分の定義とは何ですか?と聞かれたときに「微分の逆演算です。」という答えは正しくありません。この回答への補足
>あるいは微分の定義を積分の定義としても丸く・・
訂正
>あるいは微分の定義を積分の逆演算としても丸く・・
間違えました、すいません。。
回答ありがとうございます!
なるほど、積分の定義を微分の逆演算とする、あるいは微分の定義を積分の定義としても丸く収まるように考えてましたけど、欠点があるんですね。確かに多変数関数まで拡張するのは無理がありそうですね。
微分と積分が独立に定義される意味についてはあまり考えたことがありませんでした。大変参考になりました。ありがとうございます。
No.1
- 回答日時:
ある関数f(x)(xはD内の領域)はD上微分可能とし、今からある関数を微分してその微分した関数を積分することを考えます。
微分作用をもつ写像をF,積分作用をもつ写像をGとします。そうするとF(f(x))=f'(x)で(これは今定義した通り)
G(f'(x))=f(x)です(微分した関数を積分するともとの関数になることから)
これら二つの式を定義として考えるとG(F(f(x)))=(G・F)(f(x))=f(x)
なのでG・Fは恒等写像です。ゆえにGはFの逆写像であることから
微分と積分は互いに逆演算です。
早速の回答ありがとうございます!
>G(f'(x))=f(x)です(微分した関数を積分するともとの関数になることから)
私が知りたいのはこの部分の詳細です。
微分学と積分学はもともと一緒に作られたものではないと何かで読んだことがあります。
つまり、微分と積分はもとから逆演算として定義されたものではないと思います。(そういう定義をすればいいのかもしれないけど)
積分の定義とは何ですか?と聞かれたときに「微分の逆演算です。」という答えは正しいでしょうか
微分と積分は互いに独立して定義されるものであって、それが互いに逆演算になっていることが証明できるものだと思うのですが
質問の意図が分かりにくくて申し訳ありません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 ベクトルと座標系につきまして 1 2022/04/03 06:23
- 数学 微分積分を理解できない人って脳の作りの問題でしょうか。情報系の大学に進み、微分積分が必須科目なんです 5 2022/07/14 08:40
- 教育学 みなさん、こんにちは! 微分と積分学についてのご質問です。 微分学と積分学を受ける理由として、今後社 1 2022/12/23 11:23
- 数学 旧帝大の数学は抽象的、例えば微分積分でもf(x)がやたら出てきますが、工業大学の数学は具体的な計算、 5 2022/10/05 16:04
- 物理学 ポテンシャルが有限で不連続の時、右側の波動関数をφ1(x)、左側をφ2(x)とする。境界条件の「波動 2 2023/06/04 13:53
- 数学 (1+x^2)y'=1 の微分で教えて下さい 2 2022/08/30 10:23
- 数学 テーマ82のy‘’のところの式なんですけど−2を取り出して中だけ微分してるんですがなんでそれができる 4 2022/05/14 02:44
- 数学 x=r・cosθの2回微分 θ=ωtとすると? 5 2022/05/10 23:53
- 物理学 量子力学 球面調和関数 導出 方位角成分 微分方程式の解 2 2022/07/02 13:40
- 物理学 ギブス自由エネルギー変化における体積変化の影響 1 2023/06/25 04:56
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
高校数学が日常で役立つ場面を...
-
2階微分d^2y/dx^2を詳しく教え...
-
三角関数の微分の問題なんです...
-
虚数の入った積分
-
f(x)=0はxで微分可能か
-
y=1/logxのグラフ
-
なぜ微分したら円の面積が円周...
-
二回微分して 上に凸下に凸 が...
-
log(1+x)の微分
-
サイン二乗xの微分を教えてく...
-
行列を行列で微分することはで...
-
分母が文字の分数を微分する方...
-
3階微分って何がわかるの??
-
いたるところ微分不可能な関数“...
-
不定積分の計算で出た定数は捨...
-
2階微分は図形的に何を示す?
-
微分、偏微分記号の読み方??
-
y=log(logx)の微分について
-
位置を微分したら速度?
-
数学(3)Cってそんなに難しいの?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
2階微分d^2y/dx^2を詳しく教え...
-
二回微分して 上に凸下に凸 が...
-
3階微分って何がわかるの??
-
分母が文字の分数を微分する方...
-
授業で「yをxで微分する」とい...
-
指数関数の引数が、なぜ無次元...
-
これらの数式を声に出して読む...
-
log(1+x)の微分
-
二次関数 y=x^2 を微分すると---
-
微分積分って何?
-
y^2をxについて微分してください
-
e^x^2分の1の微分
-
dxやdyの本当の意味は?
-
なぜ微分したら円の面積が円周...
-
微分積分を理解できない人って...
-
虚数の入った積分
-
位置を微分したら速度?
-
サイン二乗xの微分を教えてく...
-
x√xの微分
-
微分積分を習わずに大学に入っ...
おすすめ情報