- ベストアンサー
積分は写像の一種と呼んでもいい?
- みんなの回答 （4）
- 専門家の回答
質問者が選んだベストアンサー
>写像の一種と呼んでもいいのでしょうか? 写像です． 定義域と値域はその文脈によって変わります． 例えば，区間[0,1]で連続な関数の集合をC([0,1])とします． C([0,1])の元fは[0,1]上でリーマン積分可能ですので 写像 F を F: C([0,1]) -> R F(f) = ∫_[0,1] f(x) dx で定めることができます． このとき，写像Fは線型写像ですし， C([0,1])もベクトル空間なので， この段階で（無限次元ですが）線形代数の枠組みにのります． この写像を利用して，ノルムを定義して C([0,1])に距離を入れたり，いろいろ進行させます． 多変数の場合も同様です．
その他の回答 (3)
- ringouri
- ベストアンサー率37% (76/201)
通常の写像の定義では、不定積分は写像ではありません。 「積分」を定積分の意味に取れば、かなりのものは写像といえると思います。その場合は始集合は可積分関数の集合、終集合は広義の関数の集合となるかと思います。（厳密に述べるのは煩わしいので省略） 可積分関数で積分が有限確定になる場合でも、ある種の超関数では写像にならないことがあるかもしれません。（←よく理解していません。） 逆写像は一般には存在しません。微分と積分が逆写像の関係になるのは非常に特殊な条件の場合だけです。
お礼
ご回答有難うございます。 >通常の写像の定義では、不定積分は写像ではありません。 これは積分されたものは積分定数があり像が一つに定まらないから写像とは呼べないと解釈して宜しいでしょうか? >「積分」を定積分の意味に取れば、 > かなりのものは写像といえると思います。 写像と言えない場合はどんな場合なのでしょうか?
- jmh
- ベストアンサー率23% (71/304)
積分定数があるから単純には写像にならないと思います。なので、差が定数の関数を同一視したら良いのかな。∫の始集合は、積分可能な関数全体じゃないかしら？ 逆写像は、d/dx : f → f' だとは思いますが…。
お礼
貴重なご意見有難うございました。 今後の大切な資料にさせていただきたいと思います。
- adinat
- ベストアンサー率64% (269/414)
写像と呼んでよいでしょう。∫〇dxについて考えてみれば、これは関数に対して実数を対応させるような写像で、しかも線型なものです。一般に関数全体は無限次元になるので、これは無限次元線型空間上の線型汎関数とみなします。もう少し議論を簡単にするために、通常、定義域はL^1関数と呼ばれるものに制限することが多いです。L^1関数とは、dxに関して可測で（したがって積分なるものが定義できる関数であって）なおかつ∫|f|dx<∞となる（したがって∫fdxが有限値）ものを指します。このような関数たち全体に対して、||f||:=∫|f|dxはノルムになり、さらにこのノルムのもとL^1関数はバナッハ空間をなします。∫〇dxとは、このバナッハ空間上の線型汎関数とみなすのがもっとも自然であると思います。つまり∫〇dx：L^1∋f→∫fdx∈R、という分けですね。以上から積分は線型汎関数の一種だといえるわけです。定義域はL^1、値域はRです。 ベースになる空間が、局所コンパクトハウスドルフ空間であって、そこの上の正値線型汎関数を考えると、実はベース空間上に正値ラドン測度があって、その測度による積分がもとの正値線型汎関数に一致するようなものが一意的に存在するというリース（-マルコフ-角谷）の表現定理と呼ばれるものがあります。この意味では、積分とは正値線型汎関数そのものだ、といってもよいのかも知れません。
お礼
有難うございます。 >これは関数に対して実数を対応させるような写像で、 不定積分されたものは関数なのでは? よって、関数に対して関数を対応させる写像だと思うのですが、、、、 例えば 関数f(x)=xの像∫f(x)dxはx^2/2+Cでこれは関数ですよね?
関連するQ&A
- 広義積分・2重積分について
(1)∫（0→3）１／（√ｘ－１の3乗根）ｄｘの解法を教えてください。 (2)2重積分のｄｘｄｙとｄｙｄｘとでは何がどう違うのですか。ｄｘ、ｄｙの順番は関係あるのでしょうか。ご教示をお願いします。
- 締切済み
- 数学・算数
- 二重積分の積分範囲がわかりません
∮∮D xy dxdy x=<y=<-x+2 ,0=<x=<1 での積分範囲がわからず困っています 外側はdyより 0→2だとおもうのですがdxは求めれません よろしくお願いします
- 締切済み
- 数学・算数
- 累次積分に関しての質問です。
回答者の皆様にはいつもお世話になります。 ∫∫(x+y)dxdy 積分範囲 x≧0, y≧0, 1/2≦x+y≦1 を累次積分するときですが、下図の様にグラフで考えると、 1/2-x≦y≦1-x, 0≦x≦1と考えてよろしいのでしょうか？ それとも、点(0,0) (1,0) (0,1)の大きい三角形の積分から、 点(0,0) (1/2,0) (0,1/2)の積分を引く形、つまり {∫[0 1]dx∫[0 (1-x)](x+y)dy}-{∫[0 (1/2)]dx∫[0 (1/2-x)](x+y)dy}と表した方が良いのでしょうか？ ご指導願います。
- ベストアンサー
- 数学・算数
- 二重積分の解法
次の問題の解き方に悩んでいます。 ∫∫ (x^2 + y^2) dxdy （ただし、 x^2 + y^2 ≦ 1） この式を自分なりに下記のように解いてみました。 dyは-(1-x^2)^1/2 ～ (1-x^2)^1/2、dxは-1～1の積分範囲としました。 ∫ dx ∫ dy = ∫ 2(1-x^2)^1/2 dx = 2[ 1/2 ( x(1-x^2)^1/2 + arcsin x )] （ここでdxなので[ ]内の積分範囲-1～1） = π/2 - (-π/2) = π としてみました。しかし、問題集では答えがπ/2となっています（解法は載っていない）。 上の解法のどこ（積分範囲？）が誤っているのでしょうか？
- ベストアンサー
- 数学・算数
- dy/dx・dxは置換積分を使ってdy？
次の微分方程式を解け 2yy'=1 とありました。解答は -------------------------------- 2y・dy/dx=1の両辺をｘで微分して ∫2y (dy/dx) dx=∫dx 置換積分法により ∫2y dy=∫dx ゆえに y^2=x+C （Cは任意定数） -------------------------------- となっています。ここで疑問に思ったのが ”置換積分法により”という箇所です。 これはdy/dx・dxを”約分して”dyにしてはならず、 ”置換積分法により”dyにしなくてはならない、 ということが言いたいのだと解釈しました。 疑問１． そこで、ここにおける”置換積分”とは具体的には どのような作業を指すのでしょうか？ 疑問２． 以下は全て同じことを表現したいと意図している のですが、誤解を招くことはないでしょうか？ 2y・dy/dx・dx 2y (dy/dx)・dx 2y dy/dx dx 2ydy/dx dx 2y*dy/dx*dx 2yとdyの間に半角スペースを入れた方がよいか ・と*と半角スペースどれが妥当か dy/dxは（）でくくるべきか などなどです。
- ベストアンサー
- 数学・算数
- 変数分離法で積分するときの積分変数について質問です。
変数分離法で積分するときの積分変数について質問です。 例えば、ｄｙ/ｄｘ＝ｙという式を変数分離法で解く時、両辺にｄｘをかけて、両辺をｙで割って、1/ｙｄｙ=ｄｘという形にして両辺を積分します。このとき、教科書を見ると「∫1/ｙｄｙ=∫ｄｘ＋Ｃ」となっており、積分定数がついています。 積分の定義は「∫ｆ（ｘ）＝Ｆ（ｘ）＋Ｃ」のように、積分を行ったものに積分定数がつくと習いました。しかし、変数分離の式「∫1/ｙｄｙ=∫ｄｘ＋Ｃ」では積分を行う前に積分定数がついています。これはなぜなのでしょうか？どなたかわかる方がいらっしゃいましたら教えてください。
- ベストアンサー
- 数学・算数
- Matlabで積分の方法
図の各交点でセンサーを置き得たデータをφとし， fjk=∫bk^bk+1∫aj^aj+1 (dφ/dx)+(dφ/dy)dxdy を計算したいのですが，積分はどのようにしたらいいのでしょうか？ よろしくお願いします！
- ベストアンサー
- 物理学
- 【積分の途中でlimを？】広義積分の問題について
∬1/√(x^2-y^2) dxdy 積分する領域は、x^2>y^2 0<x<1 となってます。 増大列を用いて、 ∫[1/n → 1]dx ∫[-x-(1/n) → x-(1/n)] f dyとして、最後にnを∞に飛ばせばいいのですよね。 しかし、 ∫[-x-(1/n) → x-(1/n)] f dyをひとまず計算したところ、 2arcsin(1-1/nx)となりました。 これをxで積分したいとは思わないので、 この段階でnを飛ばして、2arcsin1 =πとし、これをxで積分して、 最終的にπ(1-1/n)となりました。 で、πに収束。 答えは合っていたのですが、疑問なのは途中でnを飛ばしてもよかったのかなーと。 たまたま答えがあっていたんじゃないかと不安です。 どなたか教えてください。
- ベストアンサー
- 数学・算数
お礼
貴重なご意見有難うございました。 今後の大切な資料にさせていただきたいと思います。