• ベストアンサー

代数関数

代数関数y=φ(x)が有理関数なら積分可能であることを置換積分をつかって証明する。 これについてもうちょっと得ヒントをください。ストーリーをせつめいしてください。 何がどうあることをいって積分可能というんでしょうか。 (ドクトルクーがガーの数学講座p37ですが)

  • taktta
  • お礼率72% (1031/1430)

質問者が選んだベストアンサー

  • ベストアンサー
  • rei00
  • ベストアンサー率50% (1133/2260)
回答No.1

 専門外なので詳細は分かりませんが,下のペ-ジは参考になりませんか? ・解析学参考資料  http://www.toyama-mpu.ac.jp/la/math/kyouzai/index.html  ここの「有理関数の不定積分」をご覧下さい。

参考URL:
http://www.toyama-mpu.ac.jp/la/math/kyouzai/index.html
taktta
質問者

お礼

なるほど直感的にはよくわかりました。 ありがとうございます。 30年前の学生のころを思い出しました。 部分分数の展開の説明は何が(どの本)がよいでしょうか。

その他の回答 (1)

  • rei00
  • ベストアンサー率50% (1133/2260)
回答No.2

rei00 です。  お礼拝見しましたが,先の回答にも書きました様に専門外(私,化学の専門家です)です。たまたま,先のペ-ジを知っていましたのでご紹介しましたが,『部分分数の展開の説明は何が(どの本)がよいでしょうか。』と問われても回答できません。お許し下さい。  数学の専門家の方,どなたかお願いしま~す。

関連するQ&A

  • 線形代数 当たり前のような証明について

    大学で証明問題を出されました。 n次の置換P,Qに対し、P=Qでないとき、 Pインバース=Qインバースでない。 これを証明せよ。 数学に弱い私にとってこれは当たり前の様なきがするのですが どのように証明したらよいのでしょうか? あと、線形代数がわかりやすく書いてある参考書、またはホームページをさがしています。よい物があったらおしえてください。

  • 代数学について

    代数学の定理で以下のようなものがありました. αを体Kの拡大体の元とする.このとき, αがK上代数的である⇔K[α]=K(α) ただし, K[X]:K係数のXについての多項式全体の集合(多項式環) K(α):K係数のXについての有理式全体の集合(有理関数体) です. この証明ですが,画像のように書いてあります. はじめて見た記号で分かりません. (本当はこの記号ではないかもしれませんが,こんな感じの形をしています) これが分からなくて困っています. よろしくお願いします.

  • 連続関数

    関数の連続性を証明するところがわからないので質問します。 xが無理数ならば、f(x)=0とし、xが有理数で既約分数p/q(ただしq>0)のかたちに書けるときは、f(x)=1/qとする。 このように定義された関数fは無理数xで連続、有理数xで非連続である。その証明はやさしい。 xが無理数とし、εを任意の正数とする。1/q≧εすなわちq≦1/εとなる正整数qは有限個しかないから、δ>0を十分に小さく選ぶと開区間(x-δ,x+δ)には、上の条件を満たすqにたいする既約分数p/qは存在しない。したがって任意のy∈(x-δ,x+δ)に対して |f(y)-f(x)|=1/q<εとなる。fはxで連続である。一方、有理点のどんな近傍にも無理点が存在し、そこでfの値は0だから有理点では連続ではない。 自分は具体的な数としてx=√2、ε=0.4とすると、q≦2.5となり、q=1,2。 p/q=1/1,2/1,1/2,3/2などいろいろあげられますが、δ=0.01とすると(√2-0.01,√2+0.01)=(1.404・・・,1.424・・・)にはp/qはふくまれません。 ここからがわからないところなのですが、x±δは無理数に有理数を足したり引いたりした無理数であることがあるので、yが無理数になり、f(y)=0となり|f(y)-f(x)|=1/q<εが成立しないような場合があると思います。自分は本があっているなら、f(x)=0より、 f(y)=1/qになると予想しました。どなたか任意のy∈(x-δ,x+δ)に対して|f(y)-f(x)|=1/q<εとなる。を説明してください。お願いします。

  • 指数関数の定義と性質における証明問題について。

    大学数学における「指数関数の定義と性質」に関する証明問題の解法についてお聞きしたいです。全ての番号の問いに答えて頂かなくても構いませんので、わかる範囲だけでもよろしくお願いします。 「a>1として以下の(1)~(7)のそれぞれの問いに対する証明を考える。 (1)任意の自然数pに対して、x^p=aを満たすx(1<x)が、唯一つ存在する(このxをa^(1/p)と表す)。 (2)正の有理数rが、r=q/p=q'/p'(p,q,p',q'は自然数)と表されるとき、a^(q/p)=a^(q'/p')>1がなりたつ(この値をa^rで表す)。 (3)正の有理数r,sに対して、a^ra^s=a^(r+s)が成り立つ。 (4)正の有理数の列{Rn}がlim(n→∞)Rn=0を満たすならば、lim(n→∞)a^Rn=1となる。 (5)正数xに対して、{Rn}および{Rn'}をxに収束する単調増加な有理数の列とするとき、数列{a^Rn}および{a^Rn'}は収束して、 lim(n→∞)a^Rn=lim(n→∞)a^Rn'>1 が成り立つ(この値をa^xと表す)。 (6)正数x,yに対して、a^xa^y=a^(x+y)が成り立つ。 (7)関数f(x)=a^x(x>0)は連続関数である。」 以上の証明方法を教えて頂きたいと思います。分かりづらい点もあるかも知れませんが、よろしくお願い致します。

  • 関数 について その2

    前回、関数について質問させて頂きました。 前回の質問内容:http://okwave.jp/qa/q7693762.html 前回の質問内容で、関数の定義に関して教えて頂きました。 今回は、前回の質問内容を整理させて頂いている途中で 気になった点について質問させて頂きます。 質問(1) y=ax^2+bは、「yはxの関数」と言います。 z=x+iyは、「zはx,yの関数」という表現は正しいですか? 有理式についても同様に、 ax+by+zにおいて、a,bを実数、x,y,zを変数とすると ax+by+zは、「実数を係数とするx,y,zの有理式」という表現は正しいですか? 質問(2) 前回頂いた回答の中に、 log(exp( 1 + 1/x )) は有理関数だと教えて頂きました。 有理関数の定義は有理式で表された関数だと認識しています。 有理式の定義は、 (多項式)/(多項式) と表せる式で、 多項式は (定数)×(変数)^(非負整数定数) の0個以上の和 と定義されています。 なぜ、log(exp( 1 + 1/x )) は有理関数になるのでしょうか? 質問(3) 多価関数について質問させて頂きます。 y=±√xは2価関数と呼ばれますが、 この他に3価関数や4価関数などがあるのでしょうか? 以上、ご回答よろしくお願い致します。

  • 代数学「素体」

    代数学の体の性質に関することで Zp(p:素数)、Q(有理数体)がいずれも素体であることを証明したいのですが・・・・ このような場合は、Fが素体であるとき、上の2つについて同形であることを言えばいいのでしょうか? 回答よろしくお願いしますm(__)m

  • 大学院における代数学の勉強法

    大学院(修士課程)で、勉強している者です。 将来、学校の高校の教員になろうと思っています。そのために高校数学はもちろんですが、代数学についてもきちんと勉強をしておきたいと思い、今はどちらかというとその方面の勉強に興味を持っています。 問題集を解いたり、環と体の理論(共立講座)を読んだりして勉強していますが、何か勉強面でヒントになるようなことがわかれば、とても有り難く思います。 (微積分などの分野と比較して、代数学での)、おすすめの勉強法などがあれば、教えて頂けないでしょうか?

  • 初歩の三角関数積分について

    高校数学をやり直している者です。 y=sin^2(x)の積分は、倍角の公式を用いて、 sin^2(x)=(1-cos(2x))/2として進めるのが定番となっていますが、 y=t^2, t=sin(x)とした置換積分の手法では、正答と結果が違います。 y=t^2, t=sin(x) Y=∫t^2 dx, dx=(1/cos(x))dt Y=(1/cos(x))∫t^2 dt Y=(1/cos(x))*(t^3/3) Y=(1/cos(x))*(sin^3(x)/3) この置換積分のどこがいけないのでしょうか?

  • 三角関数を含む難しい定積分の求め方の急なお願い。

    問題は、 ∫(0,x){1/(√2+cosθ)^2}dθ  <積分範囲:0からxまで> 三角関数を含む積分で困ったときは、tan(x/2)=t の置き換えでトライすることにしていたのですが、泥沼に入ってしまいました。 この置換ではなく、他に変形・置換など有効な解法はないものでしょうか。急ぎで恐縮なのですが、どうかよろしくお願いします!また、前述のtの置換で進められるものかどうか、ヒントや見込みだけでもいただけると、嬉しいです。

  • 使い回しの効く関数の作り方

    ある関数をaからbまで積分する関数integralがあります. integral(double (*func)(double, void*), void* t, double a, double b) 例えば次の関数 fx=5x double fx(double x, void* y0) { double y =*(double*)y0; return y*x; } を積分するときには double y=5.0; integral(fx, &y, 1.0, 5.0); としています. さらに gx=5x+5 のようなときは, 構造体を宣言して double gx(double x, void* y0) { parameter p =*(parameter*)y0; return p.y*x + p.z; } としています. これはいい方法なのでしょうか? 関数funcの引数の数を変えてしまうと, integralの使い回しができなくなると思い, このような方法にしていますが, これも被積分関数ごとに構造体を用意しなければならず, あまり良くないんじゃないかな~って思っています. もっといい方法があれば教えていただきたいです. よろしくお願いします.