トップページ⇒math
1001コメント252KB

ｄｘやｄｙって何？

レス数が1000を超えています。これ以上書き込みはできません。
0001１３２人目の素数さん05/02/06 19:58:34
量ですか？関数ですか？
0002１３２人目の素数さん05/02/06 19:59:31
積分する時の「おまじない」のようなモノじゃあないですか？？
0003１３２人目の素数さん05/02/06 20:13:03
dx^dy=-dy^dx
0004１３２人目の素数さん05/02/06 20:27:19
>>3
これ使え∧
0005１３２人目の素数さん05/02/06 20:30:18
おいおまいら
単発質問スレはすみやかに誘導＆削除以来をして以降放置ではないのですか？
0006BlackLightOfStar ◆ifsBJ/KedU 05/02/06 20:34:36
ニュートン、ライプニッツの時代には微小な量という意味だったが、
そのような話は昔話。
とりあえず公式をきちんと覚えよう。
ちなみに、微分形式でdxなどという記号を使う。
0007１３２人目の素数さん05/02/06 20:48:52
∫tudy
0008１３２人目の素数さん05/02/06 21:01:13
使い方は熟知されてるけど
思考の対象としては解釈がバラバラで未だにはっきりと結論は出ていない
0009１３２人目の素数さん05/02/06 23:18:15
過去スレ達

【微積分】dxやdyの意味
http://makimo.to/2ch/cheese_math/1008/1008225843.html
【微積分】dxやdyの意味２（今井入室禁止）
http://makimo.to/2ch/science_math/1010/1010097468.html
【微積分】dxやdyの意味３
http://makimo.to/2ch/science_math/1042/1042863722.html
ｄｙ／ｄｘは分数ではないと思うのですが・・
http://makimo.to/2ch/science_math/1020/1020158629.html
★微分のｄｙ／ｄｘって分数なのか？★
http://makimo.to/2ch/science_math/1032/1032774870.html
0010１３２人目の素数さん05/02/07 00:30:30
測度論的なものでもあり微分形式的なものでもある。
まぁ、あんまり気にせず記号としてとらえておくのがいいかな。
0011１３２人目の素数さん05/02/07 00:37:32
こんな意味深で悩ましい記号を考え出したライプニッツは神。
0012１３２人目の素数さん05/02/07 07:17:25
ライプニッツはちょっとイってる
0013１３２人目の素数さん05/02/07 09:14:41
微（鶴亀）鶴　　等　　亀
積（鶴）亀　　　等　　鶴亀
0014１３２人目の素数さん05/02/07 11:34:17
>>11
激しく同意。
ただの微分をこんな使い勝手のいい分数みたいなものにしたライプニッツは神。
斬新すぎる。
0015１３２人目の素数さん05/02/07 13:00:26
現代数学の対象として、ｄｘやｄｙはこれはいったい何なんだろうか
点？集合？写像？
0016１３２人目の素数さん05/02/07 13:26:36
微分形式勉強してもいいけど、
超準解析勉強してもいいです。
完備（アルキメデス）順序体Rを含む非完備非アルキメデスの
真拡大順序体R^*を考えて、dx、dyは無限小量と考える。
0017１３２人目の素数さん05/02/07 18:10:41
ニュートン流の、変数の上にドットを打つ微分の表し方はダメダメ
0018１３２人目の素数さん05/02/07 18:22:06
>>1
関数ですよ。

dyというのは
y=f(x↑)について
φ(t)=f(x↑+tz↑)
のt=0での微分係数φ'(0)のことなので
z↑の関数です。

とういか方向微分とどう違うんだ？
0019１３２人目の素数さん05/02/07 20:52:53
>>17
一長一短なんだよ。
お前のしたことのないような計算では
ドットとかプライム使うほうが便利だったりする。
0020１３２人目の素数さん05/02/07 21:27:00
１８がわからん
Ｘ↑の関数とちがうんこ？
0021１３２人目の素数さん05/02/07 21:51:56
18が言ってるのは grad f の x↑ での値(ベクトル)と z↑ の内積のことだと思われ。
x↑に関しては固定して考えてる。
0022１３２人目の素数さん05/02/08 16:39:57
簡単なレベルの話でいいなら・・・

3変数函数f(x,y,z)の場合を例にとって、
これが固定された点(x0,y0,z0)・・・>>18のいうところのｘ↑
で微分可能なら、ベクトル(fx,fy,fz)が得られる。
ただしfxはfの(x0,y0,z0)におけるx方向の偏微分係数とする。
そうするとベクトル(fx,fy,fz)とあるベクトルｈ↑の内積をとると
ある実数が得られる。これをｈ↑の函数だと思って、それをdfと
名づける。
0023１３２人目の素数さん05/02/09 00:09:53
>>1

http://www.amazon.co.jp/exec/obidos/ASIN/4535783039/ref=pd_bxgy_text_1/249-8185710-5780311
0024１３２人目の素数さん05/02/09 00:23:40
↑
これな、買ったけどさっぱりわからんわ
いきなりむずかしい式でとばしまくり
誰を対象に書いてんだか
0025１３２人目の素数さん05/02/09 06:38:49
>>22
自分の書いてることが>>21と同じということが分かってないのかな…。
grad って言葉を知らなかったとか。
0026１３２人目の素数さん05/02/09 09:54:52
>>25
君には知識はあっても知恵はないようだな。
0027１３２人目の素数さん05/02/09 10:16:14
>>18のように考えるのは>>21-22のように
座標系に依存しないためだと聞いたことがあるような。
0028１３２人目の素数さん05/02/09 10:49:41
無限小解析的にはΔxを無限小としてdy=f '(x) Δx, dx = Δx
0029１３２人目の素数さん05/02/09 10:50:40
超準解析では、dx や dy をどんな風に合理化できるの？
詳しい人いたらざっと説明してもらえると嬉しいです。
0030１３２人目の素数さん05/02/09 15:29:13
アブラハム・ロビンソンは神。
0031１３２人目の素数さん05/02/09 20:13:52
ビル・ロビンソン、最強！
0032１３２人目の素数さん05/02/09 23:37:03
>>29

>>28 がそれ.

　　Δy := f(x+Δx) - f(x)
を増分といって, Δxが0でない無限小で, f '(x)が存在するときに
　　f '(x) = st(Δy/Δx)
がなりたつ. 全ての有限超実数sは実数tと無限
小Δuがあってs=t+Δuを満すから
　　t = st(s)
というst()を標準部分関数という. さらに, xとΔxに依存する
　　dy := f '(x) Δx
を微分といって,
　　dx := Δx
と書けば,
　　dy = f '(x) dx
　　f '(x) = dy/dx
がなりたつ.
0033１３２人目の素数さん05/02/10 22:29:16
何でｄｘ＝⊿ｘなの？
ｘ＝ｘにおけるｄｘとｙ＝f(x)におけるｄｘは対象として同じものなの？
0034１３２人目の素数さん05/02/11 04:53:47
同じものというか一つの変数じゃないのかな
0035BlackLightOfStar ◆ifsBJ/KedU 05/02/11 13:07:49
Re:>34 ∫_{0}^{1}xdxのdxが変数だとかいうのではないだろうな。
0036１３２人目の素数さん05/02/11 19:02:10
dx：1次微分形式
dxとだけ書かれればそれ以上でもそれ以下でもない
他のものと見たいなら注釈をつけるべし。
0037１３２人目の素数さん05/02/11 19:07:24
高校数学で、
積分の変数変換するときに
例えば x = 5t と置いて

「dx = 5dt より、∫f(x) dx = ∫f(5t) 5dt　」

みたいなことしてたけど、これってどう納得させてたんだっけ
dx = 5dt の時点で（少なくとも高校数学では）意味のない、形式的なことをやってるのに
0038１３２人目の素数さん05/02/11 19:11:09
古い古い
0039１３２人目の素数さん05/02/11 20:52:46
変数分離型の微分方程式で　y'＝f(x)/g(y)　⇒　f(x)dx＝g(y)dy
ってのもあるぞ
0040１３２人目の素数さん05/02/11 20:59:02
>>39
そうそう

あと、
ttp://next1.cc.it-hiroshima.ac.jp/MULTIMEDIA/diffpub/node9.html
の定義1.1って解になってるなってるかどうか検証必要じゃない？

もうｵﾗわけわかんねーよ
0041ライプニッツ05/02/11 21:30:42
オレってやっぱ天才だろ？
変人とか言ったらナックルパンチ喰らわすぞ。
0042BlackLightOfStar ◆ifsBJ/KedU 05/02/11 21:47:33
にんじん。
にんじんの輪切りで微分と積分を説明する試み。
0043１３２人目の素数さん05/02/11 22:21:56
>>37
おれは個人的に、短冊切りの様子から
成り立つだろうなと納得してた希ガス　
0044１３２人目の素数さん05/02/11 23:40:55
>>35
区間をν∈N^*等分して短冊の話を取ってst取るだけでしょ
変数ですよ？
0045１３２人目の素数さん05/02/12 16:44:06
積分
0046１３２人目の素数さん05/02/12 20:24:17
イメージはにんじんでも短冊でもなんでもいいんです。
でもそれはしょせん⊿ｘのことでしょ？
ｄｘ自体の数学的定義は何かということですよ
0047１３２人目の素数さん05/02/12 20:28:13
>>46
虚数の存在は理解できますか？
0048BlackLightOfStar ◆ifsBJ/KedU 05/02/12 22:30:18
dx_{p}:x∈T_{p}→R,dx_{p}(∂_{x}_{p})=1
0049BlackLightOfStar ◆ifsBJ/KedU 05/02/12 22:30:50
dx_{p}:T_{p}→R,dx_{p}(∂_{x}_{p})=1
0050１３２人目の素数さん05/02/14 05:08:43
f(u)=ck
0051１３２人目の素数さん05/02/14 09:29:09
limで導関数を導く話と、微分形式の話は
分けたほうがいいんじゃないかな？

dxを後者の意味で考える場合
前者の導関数をdf/dxとかくのは
ただの便法だと思ったほうがいい。
0052１３２人目の素数さん05/02/14 11:30:29
>>50
f(u)=ck*m_e
0053１３２人目の素数さん05/02/14 20:26:56
佐久間一刻
0054１３２人目の素数さん05/02/19 03:40:08
704
0055１３２人目の素数さん05/02/28 04:16:35
246
0056１３２人目の素数さん05/02/28 11:31:51
そろそろお腹すいた
0057１３２人目の素数さん05/02/28 11:44:37
よく数学の教師は置換積分するときに
「形式的に dt＝～dx　として、」
って言ってるよね、そのことで質問しに行ったら、
「dy/dxは分数じゃない、でも分数と同じように扱っても、結果的に
正しくなるから」と言われた、納得がいかなかったからこのスレに来た
0058１３２人目の素数さん05/02/28 13:07:35
分数です
0059１３２人目の素数さん05/02/28 14:55:21
dy/dx=(d/dx)f(x)
0060１３２人目の素数さん05/02/28 18:36:15
ヤコビアン
0061１３２人目の素数さん05/03/01 02:33:15
>>57
結果的に正しくなるからというより、正しくなるように記号を作ったと考えるべし。
0062１３２人目の素数さん05/03/01 03:02:23
厳密にやるには高校の範囲では
置換積分の公式を当てはめてやらないといけないんだけど、
もっと勉強すれば「形式的」な計算をしても良い理由が分かるようになります
0063BlackLightOfStar ◆ifsBJ/KedU 05/03/01 11:33:14
Re:>61 ライプニッツが初めからそう考えていたとは思えない。
0064１３２人目の素数さん05/03/01 12:48:10
無限小計算では, ただ単にさまざまな無限小の間の幾何的比率を見つけ出そう
とする作業が行なわれているにすぎない.

...相異なる無限小dxとdyがあるとしよう. これらはともに0に等しいとはいう
ものの, それらの比は知られていない. そして微分計算のすべての力は, この
ようなふたつの無限小の間の比の研究に向けられているのである.

-- オイラー
0065１３２人目の素数さん05/03/02 00:34:14
>>57
合成関数の微分と、微積分の基本定理。
0066１３２人目の素数さん05/03/03 00:26:56
Δのことだと思っていたんだが
0067１３２人目の素数さん05/03/03 18:02:50
different x
と、高校生向けの本に書いてあったと思う
概出だったらｽﾏｿ
0068１３２人目の素数さん05/03/03 23:51:35
いくらなんでもそれは無いだろ
0069１３２人目の素数さん05/03/11 22:31:49
懐石の本ってｄｘの正確な定義が分かってないのに
ぐちゃぐちゃと理論が進んでいくのは
ほっっっんまいや！！！
0070BlackLightOfStar ◆ifsBJ/KedU 05/03/11 22:48:13
Re:>69 積分を∫f(x)dxなどと書いて導関数を(d/dx)f(x)などと書くという取り決めをするのは勝手だろう。
0071１３２人目の素数さん05/03/11 22:48:58
dxってxの微少増加部分なんだろうな。論理を気にせずどんどん計算してたら
色々応用できちゃった…と。
εδ論法できちんとした論理の組み立てができても、昔の便利なやり方は棄てられなかった…。

でも超準解析できちんと示されているんだっけ…。
0072１３２人目の素数さん05/03/11 22:50:10
>>70

じゃ、　（５＋２ｙ）ｄｘ＝３ｘｙｄｙ　なんつーのは？
0073１３２人目の素数さん2005/03/22(火) 03:39:12
163
0074BlackLightOfStar ◆27QTQsYmvQ 2005/03/22(火) 07:10:42
>>70
人の名前かたるのやめてよ
0075BlackLightOfStar ◆ifsBJ/KedU 2005/03/22(火) 21:11:21
Re:>74 私が誰の名前を騙っていると？
0076１３２人目の素数さん2005/03/23(水) 02:05:55
(5+2ｙ)dx=3ｘｙdy
{(5/y)+2}dx=3xdy
dy/{(5/y)+2}=dx/3x
両辺を積分して
0077１３２人目の素数さん2005/03/23(水) 02:40:41
アーベル賞 ： 津川光太郎 ＝ Ｐｅｔｅｒ Ｄ． Ｌａｘ
http://science3.2ch.net/test/read.cgi/math/1111320908/
0078１３２人目の素数さん2005/03/23(水) 08:02:40
>>76
だから、なんでそういった形式的なことができんの？
0079１３２人目の素数さん2005/03/23(水) 08:20:51
結局、やり方を素直に覚えるのが大事なんだと気付いた
大学１年の夏・・・・
「やり方だけ覚えるなんてだめだ。常にどうしてそうなるのかを
考えなくてはいけない。それが理系だ」という教えはたぶん嘘・・・
0080１３２人目の素数さん2005/03/23(水) 11:14:54
>>78
そもそもそいう事をしたかったから作られたもの.
0081１３２人目の素数さん2005/03/23(水) 11:37:18
>>78
(5+2ｙ)=3ｘｙdy/dx
1/{(5/y)+2}dy/dx=1/3x
両辺を積分して
∫1/{(5/y)+2}(dy/dx)dx=∫1/3xdx
∫1/{(5/y)+2}dy=∫1/3xdx

と同じ意味。ただ書き方が違うだけと思えばよい。
0082蒼白2005/03/23(水) 13:10:20
一人でそんなに大変ですねぇｗ
0083BlackLightOfStar ◆ifsBJ/KedU 2005/03/23(水) 17:29:03
合成関数の微分の公式と積分の変数変換の公式が分かっていればいいということだな。
0084１３２人目の素数さん2005/03/23(水) 20:41:11
>>81
だから、元々の最初の式に…どんな意味があるの？厳密に。

>>79みたいな態度もまあ良いだろうけどさｗ でも厳密にやることが目的の「数学」にいきなり
非厳密の塊みたいな式が提示されてもねー。

>>83
形式的にはね。俺もそれ計算するよ。
で…

(5+2ｙ)dx=3ｘｙdy
の「厳密な意味」は？
0085１３２人目の素数さん2005/03/23(水) 20:45:07
y^-1(5+2ｙ)^-1dy=3xdx
0086１３２人目の素数さん2005/03/23(水) 20:58:52
>>79
だからあ、教える教授も教科書も「ここあまり厳密じゃないけど、超準解析で証明済み
だから使用するね。厳密さが欲しいなら超準解析勉強してねー」って言ったり書いたり
したらいいんだよｗ
0087１３２人目の素数さん2005/03/23(水) 21:08:46
>>84
「（厳密な）意味」の定義は？
定義じゃなくて説明でもいいけど。
0088BlackLightOfStar ◆ifsBJ/KedU 2005/03/23(水) 22:24:11
Re:>84 どこかの分野では変分だったりする。とにかく微小な変化というように考えよう。ちなみに、数学では微分形式というものがあって、やはり3xydyのような書き方をする。
0089１３２人目の素数さん2005/03/23(水) 22:31:03
＞(5+2ｙ)dx=3ｘｙdy の「厳密な意味」は？

超準解析とか言わなくても、微分形式を勉強すれば厳密に理解できる。
微積分の教科書で接束まで解説できないので、ごまかしてるだけ。
0090１３２人目の素数さん2005/03/23(水) 22:35:24
超純は最初の2ページぐらいで微小数を定義してしまう。。。だまされてるみたい。
0091１３２人目の素数さん2005/03/23(水) 22:36:37
微分形式ではdxはベースみたいなもの
0092１３２人目の素数さん2005/03/23(水) 22:39:57
>>89
どんな本読めばいい？
0093１３２人目の素数さん2005/03/23(水) 22:40:53
大学４年間行ったが超準解析習わんかった。
何で？
　１．超準解析は重要じゃないから
　２．あやしさ爆発なので授業ではやらない
　３．難しいから院でやるレベル
　４．ドキュソ大学だったから
　５．その他
0094１３２人目の素数さん2005/03/23(水) 22:42:15
２．あやしさ爆発なので授業ではやらない
0095１３２人目の素数さん2005/03/23(水) 22:44:31
５あまり使い道がないから。
0096１３２人目の素数さん2005/03/23(水) 22:44:57
５本買って読めばわかるから。
0097１３２人目の素数さん2005/03/23(水) 22:45:38
>>90
微小数が論理の根底にあって、その存在が始まりなんだから、しょうがないのでは？
デテキントの切断を疑っても仕方ない…みたいな感じか。
0098BlackLightOfStar ◆ifsBJ/KedU 2005/03/23(水) 22:47:41
Re:>93 院に行ってもやらなかったぞ。
0099BlackLightOfStar ◆ifsBJ/KedU 2005/03/23(水) 22:50:05
ちなみに微分形式とは、空間の各点pを、pにおけるベクトルのなす空間の双対空間に移す写像にうつす写像として定義される。
0100BlackLightOfStar ◆ifsBJ/KedU 2005/03/23(水) 22:52:46
微分形式は、空間の各点pをpにおけるベクトルのなす空間の双対空間の元にうつす写像として定義される。
0101BlackLightOfStar ◆ifsBJ/KedU 2005/03/23(水) 22:54:25
これは1次微分形式の場合。0次微分形式は単にスカラー場でよい。
0102１３２人目の素数さん2005/03/23(水) 22:55:08
>>100
だったら、それをきちんと教科書に明記するなり、教授が説明しないと「厳密」から
はずれるんじゃないの？
0103１３２人目の素数さん2005/03/23(水) 22:56:33
最低限、「微分形式あるいは超準解析でこの部分は証明されるが、ここでは形式的に
このように取り扱う…直観的に扱えるから便利だ」なんつー文が必要なのでは？
0104１３２人目の素数さん2005/03/23(水) 22:57:20
マジレスすると、
６．模型理論 model theory の知識が多少必要なので、
基礎論に偏見を持つ数学者には気味悪がられているから
７．超準解析を用いる利点は、証明が容易になる、という
だけで、全く新しい定理が何か得られる訳ではないから
８．伝統の弊害（Riemann積分などはそ最たるもの）
0105１３２人目の素数さん2005/03/23(水) 22:58:55
>>103
一寸考えれば、そんなものを使わない
議論に書き直せるだろ。
書き直せない読者は想定されていないんだと思う。
そんな事断っても、気にならない人には煩いだけだし。
0106BlackLightOfStar ◆ifsBJ/KedU 2005/03/23(水) 22:59:36
Re:>102 とりあえず、数学科では3xydyなどと書くのはいけないと言われないか？(特に1,2年では)
0107１３２人目の素数さん2005/03/23(水) 23:01:12
>>105
そりゃ分かるよ。だからって明確に教科書に書いていて、かつセンセーも堂々と使っている
コトが「他に書き換えられる」であたかも無かったかの様に納得できるのかｗ
量子力学みたいに、結果さえきちんとわかってりゃいいの？
0108１３２人目の素数さん2005/03/23(水) 23:01:45
>>106
そう？俺はバリバリ書いた気がしたが…ｗ
0109１３２人目の素数さん2005/03/23(水) 23:06:40
e^dx
0110１３２人目の素数さん2005/03/23(水) 23:10:29
>>107
微分形式を教えないとして。

１．微積分の中で、3xy dy と書いてあるような箇所は、全て
微分形式を使わない形で書きなおす（読み直す）ことができる。
２．形式的算法として dx dy を用いると計算上楽。
３．算法と割り切って、最初に一度 dx とかを使っている部分を
使わない方法で厳密に書き直すとよい。

何か問題でも？
たぶん３の苦労をさぼっているから、いつまでもわからない。
自分で手を動かさないと、ただ本を読むだけでは身につかないよ。
0111１３２人目の素数さん2005/03/23(水) 23:14:06
>>110
さぼっているんじゃなくて、ここにあるように、ちょっとでも納得できる
説明が欲しかっただけだｗ
「★★あるいは○○で後々証明できる。ここでは形式的に扱う」みたいなね。
0112１３２人目の素数さん2005/03/23(水) 23:16:07
つーかさ。実際のトコ覚えるべきこと、どんどん出てくるから、この部分で立ち止まって
考える時間がないというのが本音だろう。俺だって割り切って練習したよ、そりゃｗ

でも、もっと良い方法があって、より納得させられたのではないか…と言っているだけ。
0113１３２人目の素数さん2005/03/23(水) 23:20:14
説明？微小量だよ。それ以上どういう説明が欲しいわけ？
0114１３２人目の素数さん2005/03/23(水) 23:22:59
厳密なやつ頼む～たのむ～たのむ～

人類は「極めて小さなｘ」なんつー曖昧な物を排除するために、「εδ論法」を作り上げたんじゃ
なかったんかいな？それなのに、ああそれなのに、またまた微少が復活すんのｗ
0115１３２人目の素数さん2005/03/23(水) 23:24:49
>>114
そうそう。そういう間違った方向にに考えが向くと dx が
どんどんわからなくなってしまうんだよねｗ
0116１３２人目の素数さん2005/03/23(水) 23:25:54
ちゃんと解説されてる本って例えばどんなのがあるの？
0117１３２人目の素数さん2005/03/23(水) 23:28:15
そっか、じゃあ
最後にフランダースかキースラーを参照、とか
巻末文献に書いておけばいいのか。
まあキースラーじゃ一寸優し過ぎるかもしれないけど。
0118１３２人目の素数さん2005/03/23(水) 23:28:58
>>114
ε-δ論法って極めて小さなｘというより
極限を捉えるためのものじゃなかったっけﾌﾟｹﾞﾗ
0119１３２人目の素数さん2005/03/23(水) 23:29:03
http://science3.2ch.net/test/read.cgi/math/1098366871/
CALCULUS ON MANIFOLDSを読む

ってスレがあるが、100行く前に駄スレと化したね。
0120１３２人目の素数さん2005/03/23(水) 23:31:35
>>118
バカか。そのものを言っているんじゃなく、曖昧さを排除したのに似たような曖昧さが復活している
のが納得いかんの。
0121１３２人目の素数さん2005/03/23(水) 23:31:48
リーマン積分を考えればわかる
0122１３２人目の素数さん2005/03/23(水) 23:34:59
>>115
じゃ、どうすりゃわかんのｗ
0123１３２人目の素数さん2005/03/23(水) 23:35:30
無限を直観で捉えられると思っとるのがまず間違っとる
0124１３２人目の素数さん2005/03/23(水) 23:35:32
y=x^3
dy/dx=3x^2
x=y^1/3
dx/dy=(1/3)y^-2/3=(1/3)x^-2=1/(dy/dx)
dx/dyはdxとdyの単純な比率。
でも∂x/∂yはそうはならない。。。
0125１３２人目の素数さん2005/03/23(水) 23:36:29
>>123
直観以外の説明もdxについてはないじゃないかｗ
0126１３２人目の素数さん2005/03/23(水) 23:40:00
>>122
正しい方向で考えるとわかるｗ
0127１３２人目の素数さん2005/03/23(水) 23:41:55
>>111
＞ここにあるように、ちょっとでも納得できる説明が欲しかっただけだ

「ここ」がなんのことかわからんが、２ちゃんで聞いた程度で納得できる
話だったなら、自分で手を動かしたほうが早いし、より身につくよｗ
0128１３２人目の素数さん2005/03/23(水) 23:49:08
だから納得いかないヤツは微分形式なり
超準解析なり自分で勉強しろっちゅうのにｗｗｗｗｗｗ
0129１３２人目の素数さん2005/03/23(水) 23:51:15
dz=ｆ*dx + g*dy

なんて出たらストレスたまりまくりだな
0130１３２人目の素数さん2005/03/23(水) 23:51:32
微分形式勉強してもdxは形式ですって書いてあるだけだけどなあ。
超準は知らんが。
0131１３２人目の素数さん2005/03/23(水) 23:52:35
>>128
マジレスカコワルイ。このネタスレは、
・dx は納得できない
・微分形式や超準解析は勉強するのめんどい
人たちが、楽な近道があると思っているスレですから
0132１３２人目の素数さん2005/03/24(木) 00:01:41
微分形式は基底のdxを別の基底duに変換して、テンソル解析に行ってしまうから
dxはベクトルのベースぐらいの扱い。関数空間、ソボロフとかのベース関数みたいなもの？
0133１３２人目の素数さん2005/03/24(木) 00:03:38
でも、ルベーグではdxはm(x)だからなんだろう？
0134１３２人目の素数さん2005/03/24(木) 00:07:32
>>130
そなの？だったら大した意味無いな…残念…。
でも、きちんとした定義なくて使うよりましか。
0135BlackLightOfStar ◆ifsBJ/KedU 2005/03/24(木) 06:27:28
Re:>114 ある分野では、dxとかdyは変分と呼ばれる。それは変化量の(局所的な)方向性と(局所的な)比率を表すと考える。比率とは、たとえばdxと2dxでは、2dxの方がdxの2倍の変化をすると見る。
Re:>129 なぜ？
0136BlackLightOfStar ◆ifsBJ/KedU 2005/03/24(木) 06:28:49
局所的というよりは瞬間的といったほうがいいのかな？
0137BlackLightOfStar ◆ifsBJ/KedU 2005/03/24(木) 06:31:19
この解釈でいくとき、dy=f(x)dxはどう見るべきなんだろう？とりあえず安直に考えて、xが微妙に動くにつれてyはそのf(x)倍の変化をするととれる。
0138１３２人目の素数さん2005/03/24(木) 07:30:44
dy=f(x)dxはベースdxがdyにかわるときの、微分形式だな。
0139BlackLightOfStar ◆ifsBJ/KedU 2005/03/24(木) 07:36:02
Re:>138 ベースとはbaseのこと？
0140BlackLightOfStar ◆ifsBJ/KedU 2005/03/24(木) 07:36:42
いや、日本語では普通は「基底」とか「基」とかいうからなあ。
0141１３２人目の素数さん2005/03/24(木) 11:04:19
いずれにせよ、局所的なんつー厳密じゃない事が使われているな。
そりゃ直観だと簡単に把握できるけどさー。

前の方で茶化している人がいるけど、ｄｘとかを把握できんとか言う
わけじゃなくて、せっかくε－δ論法で解析学の曖昧な部分をなく
して来たのに、なんできちんとした定義も行わずｄｘとか意味不明な
物を使用するのか、「教育的」におかしいんじゃないかってコト。今の
ままだと直観で把握するしかないだろ？

定義が曖昧なのを使うなら、「ここで勉強しますよ」ってどこかに明記
しろってこと。数学を書籍だけで独学で勉強しようとする人がいたら
わけわからん状態になるんじゃないのか？近くに図書館もなく専門
書籍は郵便で注文し（従って本がくるまで内容を吟味できない）、
山深い雪の中の一軒家にすんでいて動物の世話で家を長時間離
れられない様な人はどうなるんだ？
0142１３２人目の素数さん2005/03/24(木) 11:07:53
そんな人は数学を独学しません
0143１３２人目の素数さん2005/03/24(木) 11:26:35
決めつけるなよ。結果の平等は絶対あり得ないが、機会の平等は基本的に「できるだけ」
保証しようとする姿勢でないとまずいだろ。
0144１３２人目の素数さん2005/03/24(木) 11:32:14
だからdy/dxはちゃんと定義されてるだろ
で、dy=f(x)dx　⇔　dy/dx=f(x)
　　　　　　　　　def
何が厳密でないの？
0145１３２人目の素数さん2005/03/24(木) 11:42:40
>>129みたいのは？
0146supermathmania ◆ViEu89Okng 2005/03/24(木) 12:03:50
Re:>144 dy/dxが割り算だと思っているのなら問題だが、微分形式の演算としては正しい。
0147１３２人目の素数さん2005/03/24(木) 12:22:47
>>145
dz=ｆ*dx + g*dy
⇔(def)
∂z/∂x=f, ∂z/∂y=g

ということで、ど？
0148１３２人目の素数さん2005/03/24(木) 12:25:03
>>147
ｆとgが決まったからなんなのって言われるぞ
0149１３２人目の素数さん2005/03/24(木) 12:29:27
　このように，微分ｄｘ，ｄｙ，ｄｚの線形結合で書かれる量
　　ｆ（ｘ，ｙ，ｚ）ｄｘ＋ｇ（ｘ，ｙ，ｚ）ｄｙ＋ｈ（ｘ，ｙ，ｚ）ｄｚ
は「微分１形式」あるいはパッフ形式と呼ばれますが，曲線に沿って積分するという考え方を，２次元・３次元空間内の曲線に対してあてはめるとき，微分１形式を考えるとよいことが理解されます．（０形式とは関数ｆのことである．）
　
　閉曲線Ｃに沿って１周すると仕事Ｗは，
　　Ｗ＝∮C（ｆｄｘ＋ｇｄｙ＋ｈｄｚ）
これをＣを境界とする閉曲面Ｓ上の面積分で表すと
　　Ｗ＝∫S｛（∂ｈ／∂ｙ－∂ｇ／∂ｚ）ｄｙｄｚ＋（∂ｆ／∂ｚ－∂ｈ／∂ｘ）ｄｚｄｘ＋（∂ｇ／∂ｘ－∂ｆ／∂ｙ）ｄｘｄｙ｝
となるというのが「ストークスの定理」です．
　
　しかし，その意味不明さも手伝って，多くの人は逃げ出したくなるに違いありません．また，ベクトル演算の１種であるｒｏｔ，あるいは，微分演算子▽を使えば，
　　ｒｏｔＦ↑＝▽×Ｆ
　＝（∂Ｆz／∂ｙ－∂Ｆy／∂ｚ，∂Ｆx／∂ｚ－∂Ｆz／∂ｘ，∂Ｆy／∂ｘ－∂Ｆx／∂ｙ）
となりますから，右辺の積分記号を除いた｛・・・｝部分には，異なる表記
　　（ｒｏｔＦ↑）xｄｙｄｚ＋（ｒｏｔＦ↑）yｄｚｄｘ＋（ｒｏｔＦ↑）zｄｘｄｙ
を与えることができますが，かえって混乱を招いてしまうでしょう．
0150１３２人目の素数さん2005/03/24(木) 12:33:47
>>148
dz=ｆ*dx + g*dy
は
∂z/∂x=f, ∂z/∂y=g
ということを表すだけの記法、ということで。
0151１３２人目の素数さん2005/03/24(木) 12:49:33
なるほどね。
で、それをきちんとどこかに明記すべきだな。解析概論だって明記してなかったんじゃなかったっけ？
0152べーた2005/03/24(木) 13:36:56
てかデルタじゃないんですか？？
0153１３２人目の素数さん2005/03/24(木) 13:40:03
貴様は巣に帰れ
0154べーた2005/03/24(木) 13:41:41
オレって結構有名だったり
0155１３２人目の素数さん2005/03/24(木) 13:42:59
今井ほどじゃないがな
0156べーた2005/03/24(木) 13:45:04
誰ですか。オレが知らないって事は有名じゃないですね。
0157１３２人目の素数さん2005/03/24(木) 13:46:55
>>151
数学をやってんだから、そのくらいのことは自分で工夫汁
0158１３２人目の素数さん2005/03/24(木) 14:14:21
>>157
　だから>>141でも書いている通り、そんな環境が当たり前でない奴はどーすんの
って言っているわけだ。
0159１３２人目の素数さん2005/03/24(木) 16:43:48
なんか表記の取り扱いという「狡知」を
ε－δの面倒な理屈ぬきで正当化したがる
怠惰な奴がいるようだが。

そんなんダメ。ε－δわからんなら数学やめとけ
これから先もっと難しいことばっかり出てくるぞ。
0160１３２人目の素数さん2005/03/24(木) 16:47:51
＞せっかくε－δ論法で解析学の曖昧な部分をなくして来たのに、
＞なんできちんとした定義も行わずｄｘとか意味不明な物を使用するのか、
＞「教育的」におかしいんじゃないかってコト。

上の発言は矛盾しているな。ε－δ論法を理解したなら、
ｄｘとかいう便宜的表記の「本当の意味」は分かるはず。
それとも、ｄｘという表記と、ε－δ論法に何の結びつき
もないのが「教育的」でないというのかな？

ε－δ論法が理解できない奴が、ｄｘという表記だけから
意味を推測して外れまくっているからといって、表記に
文句をつけるのは馬鹿げている。どうしてε－δを正面から
突破しないんだ？
0161１３２人目の素数さん2005/03/24(木) 16:49:01
＞せっかくε－δ論法で解析学の曖昧な部分をなくして来たのに、
＞なんできちんとした定義も行わずｄｘとか意味不明な物を使用するのか、
＞「教育的」におかしいんじゃないかってコト。

上の発言は矛盾しているな。ε－δ論法を理解したなら、
ｄｘとかいう便宜的表記の「本当の意味」は分かるはず。
それとも、ｄｘという表記と、ε－δ論法に何の結びつき
もないのが「教育的」でないというのかな？

ε－δ論法が理解できない奴が、ｄｘという表記だけから
意味を推測して外れまくっているからといって、表記に
文句をつけるのは馬鹿げている。どうしてε－δを正面から
突破しないんだ？
0162１３２人目の素数さん2005/03/24(木) 16:57:56
>>161

＞上の発言は矛盾しているな。ε－δ論法を理解したなら、
＞ｄｘとかいう便宜的表記の「本当の意味」は分かるはず。

　もしそうなら、このスレは一瞬にして終了するか、あるいはネタスレ化していた
はずだ。いろいろ論議があったってことは、そうじゃないことを示唆しているんじゃ
ないのか？
0163１３２人目の素数さん2005/03/24(木) 17:01:18
>>69
＞ｄｘの正確な定義が分かってないのに
＞ぐちゃぐちゃと理論が進んでいく
>>79
＞結局、やり方を素直に覚えるのが大事なんだと気付いた

こういう奴らは、例外なく証明を読んでいない。
いや読んだかもしれんが理解できていない。

多分証明の読み方が間違ってる。
論理を追うことができずに、表記の意味を
感覚で分かる記述を当てもなく探している
のだろう。そういう読み方しか出来ない
「文学少年少女」は今すぐ文学部に転部すべし。
理学部に君等のいる場所はない。
0164１３２人目の素数さん2005/03/24(木) 17:04:33
>>162
＞もしそうなら、このスレは一瞬にして終了するか、
＞あるいはネタスレ化していたはずだ。
＞いろいろ論議があったってことは、
＞そうじゃないことを示唆しているんじゃないのか？

いや、真相は、ε-δを理解できていない連中が
沢山いるということ。それ以外にない。
0165１３２人目の素数さん2005/03/24(木) 17:12:32
定理を正当化するために公理から証明する行為と
定理に基づいて計算する行為が区別できない奴には、
数学は無理。
0166BlackLightOfStar ◆ifsBJ/KedU 2005/03/24(木) 17:18:09
これまでの話とは違うが、
私が疑問なのは、ベクトル場と偏微分作用素の記号が同じであることだ。
いくら考えても分からない。
誰か説明してくれ。
0167１３２人目の素数さん2005/03/24(木) 17:18:52
εδで理解するというのは, 物的証拠ではなく状況証拠でするということだか
ら, そういう意味で曖昧になった.
0168BlackLightOfStar ◆ifsBJ/KedU 2005/03/24(木) 17:41:56
Re:>167 すまね、もう少し分かりやすく説明してくれ。
0169１３２人目の素数さん2005/03/24(木) 20:24:32
>>164

>いや、真相は、ε-δを理解できていない連中が
>沢山いるということ。それ以外にない。

だったら、スレがこんなに伸びる前にお前が一発で解説しちゃえばよかったんだよ（ｗ
なんでそれしない。まさか、今来たばかりだとでも言うのか（ｗ
0170１３２人目の素数さん2005/03/24(木) 20:25:58
>>165
ふーん。公理って証明するのかｗ
初めてしったよ。
0171１３２人目の素数さん2005/03/24(木) 20:37:18
より多くの人へ求められる表現を追求して「こう表現したら良いのでは」と書いている
スレに、「数学止めた方が良いのでは」という発言はないんじゃないの？

大草原の真ん中に住む数学を独学しようとする青年だっているやも知れず。より混乱
が無いような方向に向かうべきだしそれが「教育」だろ。つーか、未だに大学教育って
実は「教育」の方は軽視しているのか？
0172１３２人目の素数さん2005/03/24(木) 20:57:48
∫のなかのdxはxで積分してねの意味ぐらい。dをはさんでおかないと
切れ目がわからない。
0173BlackLightOfStar ◆ifsBJ/KedU 2005/03/24(木) 21:02:02
Re:>171 高校からは自主性も重要になるわけで、別に教育を軽視するのではない。
Re:>172 いかにも積分を習いたての高校生が考えそうなことだな。
0174１３２人目の素数さん2005/03/24(木) 21:04:03
∫の前のδは変分してねぐらいの意味だけど。。
0175１３２人目の素数さん2005/03/24(木) 21:21:14
>>173
また、自主性か。しかし、この問題は自主性じゃ解決できないのでは？
なぜなら、どこにも書籍には書いていないのだから。
書籍だけで独学する人が疑問を持っても解決できん。
0176BlackLightOfStar ◆ifsBJ/KedU 2005/03/24(木) 21:40:15
Re:>175 それではどのようにdxなどを説明すべきなのか？それよりも、書籍に無いからこそ自主的に考えないといけないのではないのか？
0177１３２人目の素数さん2005/03/24(木) 21:46:43
>>176
前半は、それはここの過去ログから、「自主的に」考えてくれ。
後半は、このスレの現状を見たら、そんなに自主的な理解なんて期待できるもんか。
0178１３２人目の素数さん2005/03/24(木) 22:10:47
>>126 に馬鹿にされたことで切れた >>114 >>122 あたりが
朝から延々と粘着したのか・・・ 哀れだなｗ
0179１３２人目の素数さん2005/03/25(金) 01:47:14
つーか、偉そうなこと言ってる奴はちゃんと説明しろよ。
それから威張れ。
0180１３２人目の素数さん2005/03/25(金) 02:29:24
だれかがε-δの解説↓
0181１３２人目の素数さん2005/03/25(金) 02:37:52
>>179
説明できないが、お前の態度は気に入った
0182１３２人目の素数さん2005/03/25(金) 02:39:46
厳しく言われたら、なんで偉そうとしか感じないんだろ
0183１３２人目の素数さん2005/03/25(金) 02:43:28
そう言えばラグランジュさんが
0184１３２人目の素数さん2005/03/25(金) 02:48:00
>>182
教えてクンが開き直るのが数学板の特徴さ。
「何か本を教えろ」
「はい、これは」
「そんな難しいのは俺には読めないから、俺にもわかる本を教えろ」
「じゃあ、これなら」
「内容を解説してくれなきゃ、意味がない」
「だいたいこんな感じですよ」
「本当にわかっているなら、俺にわかるように教えられる筈だ」

普通は、あつかましい教えてクンは叩かれるだけだけど、数学板は別。
教える側の人が逃げ出して、崩れの怨念スレと化してしまったとさｗ
結論：Laxあほ、応用数学ばか、純粋数学はオナニー だってｗ
0185１３２人目の素数さん2005/03/25(金) 03:00:53
>>182
>>184
何だかんだ言って結局説明できないんじゃん。お前ら。
0186１３２人目の素数さん2005/03/25(金) 03:01:31
数学は微細に至るまで説明されてないから糞

ってスレがあったと思ったんだけど消えてるな
要するに、上げ膳下げ膳しやがれってわめいてるだけだ
0187１３２人目の素数さん2005/03/25(金) 03:09:55
>>185
説明できないが、お前の態度はますます気に入った
0188１３２人目の素数さん2005/03/25(金) 03:14:40
>>184
質問スレッドが年中そんな状態
0189１３２人目の素数さん2005/03/25(金) 03:17:09
>>188
質問スレッドに 184 をテンプレで貼っておくか
0190１３２人目の素数さん2005/03/25(金) 03:19:09
質問スレッドは回答者どうしでも叩きあってるしな
0191１３２人目の素数さん2005/03/25(金) 03:21:44
>>186
＞上げ膳下げ膳しやがれ

日本語の意味がわからないんですが・・・・
0192１３２人目の素数さん2005/03/25(金) 05:01:11
>>191
186 ではないが、よくある誤用じゃん。２ちゃんでは茶飯事。
正しい用語がわかってたら、誤用ってすぐわかるしさ。

誤用したほうのパタン：
「言葉は生き物、実際にそう使う人が増えてるのだからいいじゃん」と逆切れｗ

突っ込むほうのパタン：
こいつ、気に食わんな。でも論理的に反論できないぞ。困ったな。
ラッキー！この誤用に突っ込んであげ足を取ってはぐらかせｗ
0193１３２人目の素数さん2005/03/25(金) 08:35:00
荒らしが勝手に「上げ膳下げ膳シル」なんて騒いでいるが（ID制が
欲しいなｗ） dxのきちんとした定義はやはりどこかに明記すべき。

解析概論でも何の説明もなくいきなりdxとかが表れ、直感的理解から
いきなり何の説明もなく応用まで求められる…

高木ｾﾝｾも、この部分の本質を「理解」してなかったんじゃないのか？
面倒だからパスしてたと…。
0194１３２人目の素数さん2005/03/25(金) 08:45:21
高木貞治はきっと
dxは無限小とかおもってたんだろな
0195１３２人目の素数さん2005/03/25(金) 08:56:56
(　´,_ゝ｀)ﾌﾟｯ
0196１３２人目の素数さん2005/03/25(金) 10:19:38
＞そんな難しいのは俺には読めないから

だったらやめろ。
貴様に数学なんか勉強してほしくない
0197１３２人目の素数さん2005/03/25(金) 10:20:45
＞内容を解説してくれなきゃ、意味がない

だったらやめろ。
貴様に数学なんか勉強してほしくない
0198１３２人目の素数さん2005/03/25(金) 10:22:07
＞本当にわかっているなら、俺にわかるように教えられる筈だ

それは誤り。貴様には数学は無理だから諦めろ。
0199１３２人目の素数さん2005/03/25(金) 10:26:05
>>165
＞＞･･･公理から証明する･･･
>>170
＞公理って証明するのかｗ

「から」を誤読してるな。
>>165は「公理を前提として」といってるのであって
「はじめに公理を証明して」とはいっていない。
もっとも、「公理である」と定めれば、公理は
それだけで証明になるというのは、数学の常識。
0200１３２人目の素数さん2005/03/25(金) 10:29:52
>>167
＞εδで理解するというのは,
＞物的証拠ではなく状況証拠でする
＞ということだか ら, そういう意味で
＞曖昧になった.
>>168
＞すまね、もう少し分かりやすく説明してくれ。

167は黙ったな。何が「物的証拠」なのか
自分でもわかってないから言葉にできないわけだ。

＞大草原の真ん中に住む数学を独学しようとする
＞青年だっているやも知れず。

独学するのは勝手だが、自分が理解できないのを
他人のせいにするやつは他人に黙殺される。
0201１３２人目の素数さん2005/03/25(金) 10:47:34
>>200
＞独学するのは勝手だが、自分が理解できないのを
＞他人のせいにするやつは他人に黙殺される。

　その通りだが、この問題の場合は定義がそもそも書いていないのだから
そういう問題じゃないと思う。
0202(& ◆rLlLLui8cA 2005/03/25(金) 11:41:32
(ܷܵܶ∀ܷܵܶ)
02031672005/03/25(金) 12:03:51
>>200

それは無限小解析の本を読んだ人なら分かると思うよ
0204BlackLightOfStar ◆ifsBJ/KedU 2005/03/25(金) 12:49:33
積分の変数変換の公式および合成関数の微分の公式を使うだけなら、dxの意味は分からなくてもよい。
0205１３２人目の素数さん2005/03/25(金) 15:24:26
>>201
君が読んだ本に書いてなかっただけでしょ。何冊か本を当たるべし
0206１３２人目の素数さん2005/03/25(金) 15:37:18
＞定義がそもそも書いていない
今の微積分で、"ｄｘ"の定義しか探さない奴は馬鹿だ
0207１３２人目の素数さん2005/03/25(金) 15:37:45
>>205
高木センセーの解析概論には書いていない。俺の大学時代の本にも書いていない。
これじゃ、雪原の中で数学を独学しようとする青年には酷な話だな。図書館とか利用できないしね。

逆に聞くがきちんとdxやdyを定義している解析の本の具体名を教えてくれ。
0208１３２人目の素数さん2005/03/25(金) 15:38:36
>>206
バカなのは分かったが、じゃ具体的にどうしろと…ｗ
0209１３２人目の素数さん2005/03/25(金) 15:38:49
微分や積分に対する定義を
「俺が望むものじゃない！」
と切り捨てた瞬間、そいつは
自分の首を胴から切り落とす
ことになる。
0210１３２人目の素数さん2005/03/25(金) 15:40:15
今の微積分は、概念としてｄｘやｄｙを用いない。
単に表記として用いるに過ぎない。
0211１３２人目の素数さん2005/03/25(金) 15:41:42
208は
微分の定義が言えるか？
積分の定義が言えるか？
言えまい。
理解できないものを拒否するだけの
馬鹿には数学などできるわけがない。
0212１３２人目の素数さん2005/03/25(金) 15:48:39
>>207は一冊で何でもかんでも書いてある本が欲しい、と言いたいの？
それは無理だと思うけど、例えばシュワルツとかはちゃんと書いてあるはず
0213１３２人目の素数さん2005/03/25(金) 15:54:54
>>212
いや、そうじゃなくて
「ｄｘとは･･･」
という一文が書いてある本が欲しいんだろう。
ないものねだりだな。微分積分を定義するのに
ｄｘは必要ないんだからな。
0214１３２人目の素数さん2005/03/25(金) 15:57:50
厳密な定式化が知りたければ、微分形式を勉強しよう・・・と
過去スレに何度も出てるのだが。で、微分形式がわからんから、
俺でもわかるｗ大学初年向きの本を教えろと。まさに >>184 だねｗ
0215１３２人目の素数さん2005/03/25(金) 15:58:20
Keislerの無限蒋介石にはキチンと書いてあるよ
落ちこぼれでない大学一年生なら読めるはず
0216１３２人目の素数さん2005/03/25(金) 16:01:48
>>214
微分形式のdxは接空間上の基底に過ぎない。
>>1の聞きたいことがそれなら結構だが、
どうもそうではないように思われる。
0217１３２人目の素数さん2005/03/25(金) 16:04:01
>>215
キースラーにも書いてあるね。超準解析よりも微分形式のほうが
他にも役立つことが多いし、数学科ならいずれは習うことになるから
微分形式のほうを私は勧めます。でも、こう親切に書いても「それなら
微積の本には、超準解析か微分形式を将来勉強すれば・・・と書かないと
雪原でなんちゃら」とかレスするんだよなあ。
0218１３２人目の素数さん2005/03/25(金) 16:06:13
>>216
君が微分形式の定義だけを読んで、理解してないことはよくわかった。
・・・なんて書くと「ちゃんと教えろ」と粘着するんだよなあｗ
0219１３２人目の素数さん2005/03/25(金) 17:00:57
＞雪原の中で数学を独学しようとする青年

崩れる前に凍死しまつ
0220１３２人目の素数さん2005/03/25(金) 17:15:19
＞君が微分形式の定義だけを読んで、理解してないことはよくわかった。
いや、それ以前の解析学の理解は全く書かなかっただけのことだ。
ここに書かなかったからといって知らなかったことにはならない。
0221１３２人目の素数さん2005/03/25(金) 17:16:36
むしろ
＞超準解析よりも微分形式のほうが
と書くヤシは全く分かってないな。
全く異なる話を同じとするのは、中身を知らないから。
0222１３２人目の素数さん2005/03/25(金) 17:19:50
>>221
実は、知識がなくしっかり理解していないから誤魔化しているんだろ。
0223１３２人目の素数さん2005/03/25(金) 17:21:17
>>218
それが教育だろ？粘着だって？あっさり引き下がる問題か？
あの解析概論にも書いていないのだから。
0224１３２人目の素数さん2005/03/25(金) 17:27:22
>>223
はいはい、教育が受けたかったら大学に行こうね、僕ちゃん。
２ちゃんで教えてもらえないからって切れないのｗ
0225１３２人目の素数さん2005/03/25(金) 17:32:00
>>224
そういう問題じゃないって何度も何度も言っているのにｗ
何が都合悪いんだ？　そんなに、苦労して人を教育するのが嫌なのか？
0226１３２人目の素数さん2005/03/25(金) 17:37:58
>>225
２ちゃんでさあ、偉そうな教えて厨に苦労してまで教えるのは嫌だねｗ
大学で後輩の学生が聞きにきたなら教えてるよ。
0227１３２人目の素数さん2005/03/25(金) 17:40:40
>>223
＞あの解析概論にも書いていないのだから。
２ちゃんでは解析概論はクソが定番レスだと思うが（俺はそうは
思わない）。「あの解析概論」なんて書き方をするやつがいたのかｗ
実は、だから解析概論はダメなんだよ～と言いたいがための釣りかorz
0228１３２人目の素数さん2005/03/25(金) 17:44:33
＞あの解析概論にも書いていないのだから。
ハイラー＆ワナーの"解析教程"を読めよ。
読んで分からなかったら質問しろ。
但し、ｄｘの定義とかいう無意味なものを
追い続けるのは諦めろ。数学はそういう風には
考えていないことをいいかげんに受け入れろ。
数学は貴様のものじゃない。
0229１３２人目の素数さん2005/03/25(金) 17:50:56
>>220
＞いや、それ以前の解析学の理解は全く書かなかっただけのことだ。
微分形式以前の「解析学の理解」ねえ。あの有名な解析概論を読んで、
「解析学」全般を理解したんでちゅね、偉いね、僕。
0230１３２人目の素数さん2005/03/25(金) 17:56:03
>>226
偉そうな教えて君は俺じゃないよｗ
ID無いから誰が書いているかわからん。
0231１３２人目の素数さん2005/03/25(金) 18:00:31
>>230
IDないから「何度も何度も言っているのに」と書いても意味ないよねｗ
0232１３２人目の素数さん2005/03/25(金) 18:06:32
煽っているお前らって、結局 dx とかの定義分かってたのかｗ
0233１３２人目の素数さん2005/03/25(金) 18:07:52
普通分からなくても直観的理解で先に進むだろ。その部分は。
0234１３２人目の素数さん2005/03/25(金) 18:08:14
>>233
やはりな。ぷ。
0235１３２人目の素数さん2005/03/25(金) 18:08:54
質問スレでも定番の台詞が出ました！
＞煽っているお前らって、結局 ○○○○分かってたのかｗ
次は、これあたりかな？ｗ
＞お前らだって最初は初心者だったんだろ？
0236１３２人目の素数さん2005/03/25(金) 18:25:52
>>232 >>234
「偉そうな教えてクン」が誰かわからんけど、君のレスで
しばらくまともなレスはつかなくなったよ。
厨の自己責任なわけだがｗ
0237１３２人目の素数さん2005/03/25(金) 18:39:52
>>236
問題そのものについては、過去ログで決着ついているからいいだろ。つーか、流れを読んでなく
単に「教えてくれ」と騒いでいると感じ、脊髄反射しているとかｗ

それよりこっちを「粘着」といいながら、もの凄い粘着でこの「定義が書かれていない」って問題
をうやむやにしようとする発言が横行していることも問題だな。なんで、そんなコトをするんだろ
うな？
0238１３２人目の素数さん2005/03/25(金) 18:42:45
>>237
それは…多分、社交性がないから、自分の知識の蓄積が第一で、教育なんかこれっぽっち
も考えて無く、逆に自分以外の人間がより良い教育を受けるのがイヤなんだろ。ちんけな、
プライドも関係あるかもな。
0239１３２人目の素数さん2005/03/25(金) 18:52:48
>>237-238
なんか自演っぽい気もするが・・・
ネットは情報交換の場所なので、情報が一方通行になる「質問スレ」って
のは厨スレ、ネタスレとなるんですよ。教育がどうこう、教科書の書き方が
どうこうというなら、質問スレじゃなくて、たとえば解析概論スレにでも
行ったほうが良い。
そこで、ここの書き方が悪い、あっちの本にはこういう書き方がしてある
のにとか、まず自分で情報を出していかないと「教えてクン」と
それに対する煽りでレスが埋まるだけです。２ちゃんみたいな場所で
>>238 みたいに嫌味を書いても「ふ～ん」で終わりですよ。
02402392005/03/25(金) 18:57:31
ああ、書き忘れたけど
＞「定義が書かれていない」って問題
をずっと書いているのは同じ人？ だったら、いろんな教科書で
どう書かれているとか書かずに「書いてある本を教えてくれ」じゃあ
ただの教えてクンですよ。前からたくさん過去スレに出ているのに
実は読まずに問題にしているだけ？
0241１３２人目の素数さん2005/03/25(金) 19:01:15
>>239
だったら「ふ～ん」でいいじゃないかｗ　なんで「粘着」する。

>>240
そう聞いたのは、記述がないのに、あたかも書いているかのように感じたからだ。
案の定そのような本の名前は提示されなかった。
過去スレ？出てないぞｗ
0242BlackLightOfStar ◆ifsBJ/KedU 2005/03/25(金) 19:03:29
Re:>216 そうだっけ？空間の各点をその点の接空間の双対空間の基底にうつす写像だったと思うが。
0243１３２人目の素数さん2005/03/25(金) 19:15:55
>>241
過去スレで俺は書いたのに・・・・わからんのならまあがんばれやｗ
0244１３２人目の素数さん2005/03/25(金) 19:21:26
>>243
そうなの。本当ならスマソ。

というか…ここのスレ冗談とホントが混じり合ってどれがホントかわからんｗ
まあ２ｃｈはどれもそうだが。
0245１３２人目の素数さん2005/03/25(金) 19:23:10
>>243
できれば、発言番号教えて欲しい。最期の願いかな…
0246１３２人目の素数さん2005/03/25(金) 19:45:13
ああ。キースラーのコトか。ＯＫＯＫ．　茶化さんで書いてくれよ。
0247１３２人目の素数さん2005/03/25(金) 19:57:51
ﾊｲﾗｰ＆ﾜﾅｰ読めってﾚｽがあるけど
そんなこと書いてあったっけ？
下巻？上巻？
0248１３２人目の素数さん2005/03/25(金) 20:01:01
dxに決めたのは。。。フランス人を困らせるため？
ドウ　イクゼック
0249１３２人目の素数さん2005/03/25(金) 22:54:09
というか、\int f(x) dx は、 f(x) の積分である、と定義されるけれども
微分形式的には f(x) dx の積分であると考えた方がよい、というのは
多少高度な教科書には結構書いてあるんですよ。。。
知らないのは単に不勉強なだけですし、一般教養の学生向けの
本にそんな事書いても、言葉だけの上辺だけの知識になることは
目に見えてるんだから無意味、という意見もあると思います。

解析概論は19世紀の水準の本なんだから
あまり無茶な事ばかり言ってはいけません。
個人的にはディユドネとかシュワルツ、それからホイッタカーがあれば
解析概論なんて要らないと思う
02501672005/03/25(金) 23:41:51
>>249
19世紀の水準うんぬんは知らないが, 昔から f(x) dx の積分 だよ.
0251１３２人目の素数さん2005/03/25(金) 23:48:01
可測関数 f(x) をルベーグ測度 dx で積分するという定義だと
思っていた俺は、間違っていたのかorz
0252１３２人目の素数さん2005/03/25(金) 23:54:03
>>251
俺もそれでいいと思うんだけど・・・
0253１３２人目の素数さん2005/03/25(金) 23:54:23
ちょっと気になるスレタイなので、口を挟ませてもらいます。
微分幾何は知ってるけど、その他はど素人です。
いままでで、
dxは「微分形式」であるというのと、
「超準解析で使われている」との回答がありました。
しかし、「微分形式」は微分幾何では結局、
R^n上への積分（リーマンまたはルベーグ）に持って行くため、
これは回答として不正解ではないかと思えます。

いかがでしょうか？
これら以外の考え方などあったら教えてください。

0254１３２人目の素数さん2005/03/26(土) 00:00:10
(ܷܵܶ∀ܷܵܶ)
0255１３２人目の素数さん2005/03/26(土) 00:01:27
>>253
結局はR^nに落として考えるということと、dxを微分形式として
厳密に定式化するということは相反しない。
両方とも理解することが必要です。
0256１３２人目の素数さん2005/03/26(土) 00:02:14
>>250
単に計算に便利だから dx をつける、というだけでしょ
そもそもLeibnitzは当初は積分を \int f(x) とだけ書いていたが
計算に便利だ、という事で dx をつけるようになった
0257１３２人目の素数さん2005/03/26(土) 00:09:47
>>255
回答ありがたいのですが、意味が分かりません。
私は、「dxが微分形式であ」ろうと、
結局 \int f(x) dx にR^nのdxが出てきてしまうため、
このdx（R^nのdx）の意味は分からずじまいだ
と言いたかったのですが。
0258１３２人目の素数さん2005/03/26(土) 00:13:23
ただの記法の問題で、
最初にfの区間Iでも積分を
Int(f,I) とでも書いとけば何も問題ないじゃないですか
02592572005/03/26(土) 00:19:08
>>258
そういう考え方もあると思います。
しかしそれだと、使いづらい！！
まぁ、記法の問題・慣習の問題なのですが
それにしてもなあ・・・と思うわけでして。
（ってのは俺だけかな）
0260１３２人目の素数さん2005/03/26(土) 00:42:00
>>256
> 単に計算に便利だから dx をつける、というだけでしょ

いや, f(x) dx で区分求積していたもの
0261１３２人目の素数さん2005/03/26(土) 00:55:15
・・・関係ないけど。
>>166
これは「ベクトル」＝「微分演算子」と言うことだと思う。
0262１３２人目の素数さん2005/03/26(土) 01:58:41
lim[⊿x→0] (⊿y/⊿x)=dy/dx
0263１３２人目の素数さん2005/03/26(土) 02:27:22
・1変数関数y=f(x)の場合
xの微分・・・dx
yの微分（全微分）・・・dy=f`(x)dx
・2変数関数z=f(x,y)の場合
xの微分・・・dx
yの微分・・・dy
zの微分（全微分）・・・dz=(∂z/∂x)dx+(∂z/∂y)dy
0264BlackLightOfStar ◆ifsBJ/KedU 2005/03/26(土) 11:45:32
Re:>251 ルベーグ測度がdxだったら、f(x)のルベーグ積分は∫f(x)ddx(x)になったりしないか？
0265１３２人目の素数さん2005/03/29(火) 15:50:18
>>253=>>257は全く正しく、>>255は全くナンセンス
多分、255は全く数学が理解できない阿呆だろう。
0266１３２人目の素数さん2005/03/29(火) 17:31:35
>>243 を境に、教えてクンの態度が豹変するのにｷﾞｶﾞﾜﾛｽ
0267１３２人目の素数さん2005/03/29(火) 17:46:23
>>265
お見事。正解!!
0268BlackLightOfStar ◆ifsBJ/KedU 2005/03/29(火) 19:27:32
Re:>257 別に後半のdxの意味は分からなくてもいいだろう。何なら、dxを使わずにリーマン積分とルベーグ積分を定義してもいい。
0269１３２人目の素数さん2005/03/29(火) 22:29:06
>>266

前にも書いたが全部の発言が「教えてくん」じゃないってばｗ
単純な「教えて」って書いているのは単なる荒らしだよ。ＩＤないから見分けつかんだろうが。
で、単純ミスを認めたから、それを書いただけ。

ただ、教科書への記述のありかたの問題（dx等をきちんと定義していない）はまだ残ってい
ると思うけどな。これは直さなきゃならんだろ。
0270１３２人目の素数さん2005/03/29(火) 23:33:03
↓単なる荒しのサンプルｗ

245 ：１３２人目の素数さん ：2005/03/25(金) 19:23:10
>>243
できれば、発言番号教えて欲しい。最期の願いかな…
0271１３２人目の素数さん2005/03/29(火) 23:52:23
>>270
わるかったなｗ
0272１３２人目の素数さん2005/04/11(月) 00:46:36
age
0273１３２人目の素数さん2005/04/30(土) 20:33:30
856
0274１３２人目の素数さん2005/04/30(土) 20:50:29
(ܷܵܶ∀ܷܵܶ)
0275１３２人目の素数さん2005/05/15(日) 06:52:11
195
0276１３２人目の素数さん2005/06/03(金) 15:11:49
978
0277１３２人目の素数さん2005/06/03(金) 23:03:22
128
0278１３２人目の素数さん2005/06/05(日) 06:16:02
ｄｘの意味が説明されてるいい本ありませんか？
0279上げときます2005/06/05(日) 06:17:01
age
0280GreatFixer ◆ASWqyCy.nQ 2005/06/05(日) 08:35:41
Re:>>278 ヒント：ベクトル場と双対空間。
0281２７８2005/06/05(日) 10:57:21
>>280
レスありがとうございます。
ｄｘが余接空間の元だということは分かるのですが、
はっきりとそう説明してある本を見たことがないです。
あと、ｄｘの方は積分できるのに接空間の元∂/∂ｘ
の方には積分がないのはどうしてなんでしょうか。
当方門外漢でよく分からないのですが…。
0282GreatFixer ◆ASWqyCy.nQ 2005/06/05(日) 12:09:57
Re:>>281 ∂/∂xにも積分を定義しようと思えばできるんじゃないの？
0283１３２人目の素数さん2005/06/05(日) 13:06:07
>>278
多様体の本にはたいてい詳しく書いてあるよ
0284２７８2005/06/05(日) 17:40:26
>>282、>>283
ありがとうございます。
こんど書店で多様体論の本を探してみます。
0285１３２人目の素数さん2005/06/05(日) 18:22:08
多様体の本なんか見たってdxがわかったことには
ならんだろ。そんなんでいいならはじめから問題に
ならないよ。
0286１３２人目の素数さん2005/06/05(日) 20:10:56
>>285
>>281の疑問に答えるには十分でしょ。
すくなくとも接ベクトル場の双対であることは明確に書いてあるよ。
もっともおれにはこのすれでなにが問題になってるのかさぱーりわからんけどね。
0287１３２人目の素数さん2005/06/05(日) 21:29:39
なんで各種の演算が出来るか不明ってコトでしょ。
直感じゃ理解できるけどね。
0288２７８2005/06/06(月) 00:30:02
∂/∂ｘと∂/∂yの積は交換可能なのにdxとdyの積の方は
反可換になるのはどうしてなのか不思議に思いました。
それと、dという外微分の作用素にはd＾2=0という性質が
あってコホモロジー群と関係がありますが、そうすると
∂の方はホモロジーと関係があるのでしょうか？
0289１３２人目の素数さん2005/06/06(月) 07:32:33
>>287
>なんで各種の演算が出来るか不明ってコトでしょ。
各種の演算が何を意味するかわからんけど、なんか不明なとこがあるのか？
0290１３２人目の素数さん2005/06/06(月) 08:10:14
教科書に書いてあることを丸暗記していればいいんなら
疑問はないよな。
0291１３２人目の素数さん2005/06/06(月) 08:51:54
>>290
丸暗記？
定義から導き出されるから疑問の余地がないんじゃないのか
0292１３２人目の素数さん2005/06/06(月) 09:18:02
なあるほど。それなら数学には疑問は皆無だね。
すべては理路整然。明解無比の学問です。

と思っている人は実はばかなんだけどね。わりと
多いタイプです。
0293１３２人目の素数さん2005/06/06(月) 09:27:22
既存の理論に疑問がないのは当然でしょ。
ただ、対象が広がれば既存の理論が適用できないので、
新たに定義しなおしたりしてくことになる。
別に物理でもニュートン力学が適用できる範囲では
ニュートン力学に疑問の余地はない。
なにがいいたいのかよくわからんが、微分形式になんか問題あるのか？
0294１３２人目の素数さん2005/06/06(月) 20:23:54
dz=ｆ*dx + g*dy

の厳密な意味は？
0295GreatFixer ◆ASWqyCy.nQ 2005/06/06(月) 20:27:10
Re:>>294 微分方程式のような気がする。
0296１３２人目の素数さん2005/06/06(月) 20:48:57
↓ 質問者によると、もう結論は出てるそうですがｗｗ

237 ：１３２人目の素数さん ：2005/03/25(金) 18:39:52
>>236
問題そのものについては、過去ログで決着ついているからいいだろ。
0297１３２人目の素数さん2005/06/06(月) 20:49:51
dってdifferenceの略でしょ
科学用語のδと同じだと思う。
0298１３２人目の素数さん2005/06/06(月) 23:58:11
>>296
それ俺が書いたんだｗ　過去ログ読まないヤツが横行しているから、再度質問しただけ。
0299１３２人目の素数さん2005/06/07(火) 00:15:22
過去ログではどういう結論に至ったのですか？
過去ログ見れないのでどなたか教えてください。
0300１３２人目の素数さん2005/06/07(火) 06:20:19
過去ログより転載

39 名前： math夫さん 01/12/13 17:55

「dxの意味」についてはやはり厳密な議論は初等的には出来ませんので、
これは諦めますが、多分参考になるであろう事を若干書きます。

一般に（微分可能な）関数f(x)に対して、dfと書かれる「f の微分」とい
う概念があります。この概念が導関数（あるいは微分商と呼ばれる）df/dx
に比べて、捉え難い理由は、導関数は関数なのであるのに対して「微分」
は関数でも数でもないという点です。言わばそれらとは関係があるが全く
別の概念なのです。勿論、直観的には「微小変化」という事で捉えられる
し、それはそれで有用な解釈なのですが、数学的に厳密に捉えるのは初等
的には容易ではありません。歴史的に見ても、上で言う微分の概念は
ニュートンの師バーロウが既に持っていたものですが、数学的な基礎付け
はずっと後の話しです。ですから、ここではこの「微分」の定義をするよ
り、何故その様なものを考えるのか、導関数だけではいけないのは何故か、
という点と、微分と導関数の関係について説明します。まず、微分を考え
る理由は

「導関数」という概念は座標の取り方に依るが、「微分」は依らない

という事です。つまり、導関数を求めている時、即ち関数 fの「微分をす
る」という時、我々は必ず何らかの座標、例えば xについての導関数を求
めている訳です。違う座標をとれば導関数は異なります（鎖法則ですね）。
ですから、解析力学や微分幾何学等で「座標の取り方に依らない」より明
解な議論をしようとする時に、導関数よりも微分の概念の方が重要となり、
そのため微分形式等の理論装置が出来て来た訳です。
0301１３２人目の素数さん2005/06/07(火) 06:20:27

ではこの微分という物と導関数の関係はどうなっているのでしょうか。ま
ず、「微分」というものそのものは依然得体の知れないものだが「微分」
には関数が掛けられる、つまり、微分×関数はまた微分になるという事を
認めて下さい。さらに座標関数（例えば、 xという関数）を考えて下さい。
これの「微分」dxはちょっと特別な性質を持ってます。それは「任意の関
数の微分はdxに何らかの関数を掛けた形に一意的に書ける」という事、つ
まり、微分可能などんな関数 fを持って来ても df = h dxとなる様な別の
関数 hが必ず見つかり、しかも唯一見つかるという事です。実はこの hと
いうのが「座標 xに関する fの導関数」なのです。これから導関数を微分
商の形に書いた優雅な式 df=(df/dx)dx が得られる訳ですが、これは二つ
の微分を割って得られたという物ではなく、上の様な手続きで得られた式
なのだという方が若干厳密です。
0302２７８2005/06/07(火) 08:10:38
>>300、>>301
過去ログの転載助かりました。ありがとうございます。
なるほど、もともと「微分」というのは微小な量と直接は
関係ないということですね。ところで、「導関数」という概念
は座標の取り方に依るが、「微分」は依らない、とありますが、
df=(df/dx)dx の関係からすると「微分」の方も座標の取り方に
依っているように見えました。違うのかな？
0303１３２人目の素数さん2005/06/07(火) 09:12:09
過去ログの所見はいわゆる後知恵というやつだね。
もともとというなら「微分」は無限小量に決まって
るんだよ。それじゃあどうたらこうたら議論が
起こって、後からいろいろ理屈を考えた。それが
「理論」というものだ。無限小が先。理論は後。
ああも言える、こうも言える。だからいろんな「理論」
ができてますますわけわからんになるんだよ。

そこでどうするかというと、よさような「理論」を
ひとつ決めて、それを墨守する。それなら疑問は
起こらないから安心だ。そんなのがまあ普通。
しかしそんなことはおかまいなしに、dxはいつまでも
無限小量のままなんだよ。

無限小量に笑われてるんだよ。
0304１３２人目の素数さん2005/06/07(火) 10:04:40
>>303
無限小量からドラムコホモロジーはでてこんと思うが
0305１３２人目の素数さん2005/06/07(火) 10:09:48
>df=(df/dx)dx の関係からすると「微分」の方も座標の取り方に
>依っているように見えました。違うのかな？

これは局所座標を使って書くとこうなるということ
で、実際は座標系の取り方によらず定義される
0306１３２人目の素数さん2005/06/07(火) 10:29:43
そして2変数関数の場合は>>294の形(1-形式)に書ける、と
0307１３２人目の素数さん2005/06/08(水) 02:00:48
このスレのハイライトは（今も常駐している）教えてクンの哀願でしょう。
今どきの２ちゃんで、ここまでﾜﾗｴﾙレスはないよ↓
245 ：１３２人目の素数さん ：2005/03/25(金) 19:23:10
>>243
できれば、発言番号教えて欲しい。最期の願いかな…
0308１３２人目の素数さん2005/06/09(木) 10:17:17
座標系ｔ毎に(微分可能)関数f(t)が定義されているとし、
別の座標系sにg(s)が対応してるとき、g(s) = f(t)(dt/ds) と
いう関係が成り立つとする。
このとき対応：座標系{t} → tの関数f(t)
を微分ωと呼ぼう。ωと任意の関数fの積fωの定義は明らか
だろう。
直線上の点pの関数f(p)が与えられたときdf/dt
(fをt座標で表したとする)は合成関数の微分の公式から上で定義
した微分であることがわかる。
この微分をdfと書く。するとdf= (df/dt)dt となる。
0309１３２人目の素数さん2005/06/09(木) 21:12:30
>>308
なんだそりゃ？
0310１３２人目の素数さん2005/06/09(木) 23:33:09
>>308
> 対応：座標系{t} → tの関数f(t)
> を微分ωと呼ぼう。
ここが分からん
03113082005/06/10(金) 10:10:52
>>310
それは定義だよ。わからんもなにもない。
0312１３２人目の素数さん2005/06/10(金) 12:10:34
>>308
なんだコリャ？
03133082005/06/10(金) 12:19:10
なんかアホが多いようだからわかりやすき書き直した

座標系ｔ毎に(微分可能)関数f(t)が定義されているとし、
別の座標系sにg(s)が対応してるとき、g(s) = f(t)(dt/ds) と
いう関係が成り立つとする。
このとき対応：座標系{t} → tの関数f(t)
を微分ωと呼ぼう。ωと任意の関数fの積fωの定義は明らか
だろう。
直線上の点pの関数f(p)が与えられたときdf/dt
(fをt座標で表したとする)は合成関数の微分の公式から上で定義
した微分であることがわかる。
この微分をdfと書く。するとdf= (df/dt)dt となる。
0314１３２人目の素数さん2005/06/10(金) 12:27:00
>>313
いやわからんではないが、あまりに天下りなというか、人工的な定義なんで
03153082005/06/10(金) 12:39:13
>>314
慣れの問題だよ。ちなみに微分ωの積分∫ωは座標系によらず
一定となることがわかるだろう(つまりwell-defined)。
0316１３２人目の素数さん2005/06/10(金) 12:42:12
なにも書き直ってないわけだが
03173082005/06/10(金) 12:47:46
>>313は俺じゃない。からかってるだけだろう。
0318１３２人目の素数さん2005/06/10(金) 12:53:27
座標系と聞くと、多様体 M から R^n への写像って気がする。
　　座標系{t} →
ってのは、単に
　　p(∈M) →
と書くところではないだろうか。
03193082005/06/10(金) 13:02:01
微分ωを関数f(t)と記号dtの形式的な積f(t)dtと定義しても
いいだろう(これが微分形式という言葉の由来だろう)。
ただし、dtは、座標変換の規則 dt = (dt/ds)ds
に従うものとする。これも>>308の定義と本質的には同じだ。
0320１３２人目の素数さん2005/06/10(金) 13:22:54
つまりwell-defined
03213082005/06/10(金) 13:41:08
お話的に説明するとこうなる。

微分形式というものが数学的宇宙に存在する。
それが何者かというのは、あまりはっきりしない。
ただ、具体的に座標系{t}が与えられると関数f(t)
として姿を現す。別の座標系{s}が与えられると
別の関数g(s)として姿を現す。ただし、これらの関数
の現れ方は無関係ではなく、g(s) = f(t)(dt/ds)
という関係がある。微分形式とはこのような何者かである。
0322１３２人目の素数さん2005/06/10(金) 15:03:38
普通に接ベクトル場の双対ベクトル空間でいいじゃん。
03233082005/06/10(金) 15:28:46
>>322
だれもそれが悪いとは言ってない。
ちなみに>>308は、(交代)テンソルを成分表示で定義する
古典的なもの。両方知っておいて損はない。
03243242005/06/10(金) 18:23:51
√324 = 18
0325１３２人目の素数さん2005/06/10(金) 19:23:02
どうでもいいが日本語内の数式は前後に半角スペース入れてくれ
03263262005/06/10(金) 19:25:26
3・2 = 6
0327１３２人目の素数さん2005/06/10(金) 20:07:59
俺は入れないで欲しい。微妙な空きが鬱陶しい。
0328２７８2005/06/12(日) 08:24:25
>>305

ありがとうございます。代数学の言葉で言うと、環の
生成元のとり方によらないということになるでしょうか。

代数幾何などでは、環の準同型 f:R→S に対してある
S-加群として「微分」が定義されるようですが、これは
非常に明快で分かりやすいものだと思いました。自分の
場合、無限小というややあいまいな概念にとらわれると
かえって微分の本質が見えにくくなるのではなかろうか
と感じています。無限小というのは一般の環では考える
ことができず、実数やその拡大体などにおいてのみ意味
を持っているわけですから。
0329１３２人目の素数さん2005/06/14(火) 09:18:33
>>328
じゃあ一般の可換環における微分形式というのは何なのかね？
定義を聞いてるんじゃない。意味とか意義を聞いてる。
俺にはよくわからない。実数体とか複素数体だと微分形式と
いうのは積分と結びついてるからわかるが。
0330GreatFixer ◆ASWqyCy.nQ 2005/06/14(火) 16:17:55
Re:>>329
一般の可換環における微分形式の外微分はやっぱり導分を使うのかな？
とりあえず私には実数関数の環における微分形式のいくつかの性質を抜き出したという感覚以外は無い。
0331２７８2005/06/21(火) 21:53:10
>>328
すっかりこのスレのことを忘れていました。
一般の可換環に対してもちゃんと微分形式を定義
することができます。解析的な意味とは独立した
純粋に代数的な定義ができるところに意義があり、
代数学の普遍性の意味もあるのだと思います。
0332１３２人目の素数さん2005/06/21(火) 21:57:19
age
0333１３２人目の素数さん2005/06/22(水) 09:09:18
>>331
定義出来るから意味があるって、答えになってないよ。
0334２７８2005/06/22(水) 22:17:48
>>333
もうこれ以上答える必要なんてないでしょう。
少しは自分で調べたり考えたらどうでしょうか？
自身の中ではこのスレの課題は卒業になります。
今は一般化された代数学とも言うべきカテゴリー
理論に興味が移りました。いろんなコホモロジー
の関係について考えてみるつもりでいます。
0335１３２人目の素数さん2005/06/23(木) 01:21:29
建前：もうこれ以上答える必要なんてないでしょう。
本音：俺にはわかんないよ～うわーん
0336１３２人目の素数さん2005/06/23(木) 18:51:01
dx,dyを写像とみないでも
微小変位で定義してもうまくやればうまく行く
0337１３２人目の素数さん2005/06/23(木) 19:28:20
例えばﾍﾞｸﾄﾙ場 A に対して2-形式

A_1dydz + A_2dzdx + A_3dxdy

は”流れ”を表していて
その閉曲面 S での積分は S の表面から外に流れ出る”流れの総和”=fluxという解釈が
物理なんかで出てくるけど、これはどういう理由で妥当な解釈なの？
教科書なんかでこの妥当性を説明するときは決まって、唐突に、dxdyを「微小な～と解釈して」と解説しはじめるけど
意味がわからない。写像なのに。

微分形式では上みたいな2-形式に対する積分は2変数のﾘｰﾏﾝ積分として定義するから
その定義自体には全く曖昧さは無いんだけど、上のように解釈する心がどうもわからない。。。
0338１３２人目の素数さん2005/06/23(木) 20:32:25
微分形式持ち出さないでも
dxとか、dxdyとかをlebesgue測度と定義して
「高位の無限小を無視して同値」で同値関係入れればうまくいきそうな希ガス

微分形式の方がかっこええけどな
0339１３２人目の素数さん2005/06/23(木) 20:35:57
dxdy～drdφ　⇔　dxdy-drdφ=o(dxdy)　(dxdy→0)

とかﾑﾘかな？
0340１３２人目の素数さん2005/06/23(木) 21:35:27
早く卒業しろよｗ
0341１３２人目の素数さん2005/06/23(木) 22:48:49
>>337
キミが物理を知らないからｗ

物理を全く知らないのなら、
＞表面から外に流れ出る”流れの総和”=flux
なんてことは全部忘れるがよい。純粋に数学として理解して困ることはない。
0342１３２人目の素数さん2005/06/23(木) 23:39:26
>>341
あのさ
俺>>337じゃないけど、

＞唐突に、dxdyを「微小な～と解釈して」と解説しはじめるけど
＞意味がわからない。写像なのに。

とdxdyが写像なのか微小変位なのかどっちなんだよ！って疑問に思っているわけで
物理がわからないとかそういうﾚﾍﾞﾙじゃないと思うんだけど

＞純粋に数学として理解して困ることはない。
いやー困るだろ
0343１３２人目の素数さん2005/06/23(木) 23:47:37
>>342
さあ、本人が本当のところどう思っているのか俺にはわからないけど、

＞dxdyが写像なのか微小変位なのかどっちなんだよ
で悩んでいるわけではないと思うよ。写像として十分理解しているようだが。

別にそれ以上悩むことはない、337よ安心せい、と言っただけなんだが？？
0344１３２人目の素数さん2005/06/23(木) 23:50:48
じゃあ337は
＞表面から外に流れ出る”流れの総和”=flux
がﾜｶﾝﾅｲってことか？
そりゃあまずいよ、ﾌｧｲﾝﾏﾝでも読めばいいのに
0345１３２人目の素数さん2005/06/24(金) 02:17:41
ﾌｧｲﾝﾏﾝとか物理とかそんなの関係ないから（ｗ
0346１３２人目の素数さん2005/06/24(金) 03:47:45
なんだ荒らしか
0347１３２人目の素数さん2005/06/24(金) 21:43:14
なんかいまひとつ盛り上がりに欠けるなこのスレ。
0348１３２人目の素数さん2005/06/24(金) 22:35:41
（ｗ

このマークに要注意ですよ。
これは「嵐」の炎のコマのシンボルマークです。
板にｗが増え始めたら要注意。
0349１３２人目の素数さん2005/06/24(金) 23:10:37
そうとも限らんと思うが。
0350１３２人目の素数さん2005/06/24(金) 23:13:44
_ 　　_
・　 ・
　W
0351１３２人目の素数さん2005/06/24(金) 23:14:03
(｡･ω･)　　その記号を見ててちょっと思いついただけなのです。
0352１３２人目の素数さん2005/06/24(金) 23:17:37
(｡･ω･) ..oO　{（・ｗ・）ﾉ　ママはいつも言ってるでしょ。思いついたからって何でも書き込むものではないですよ。} 　
0353１３２人目の素数さん2005/06/26(日) 00:29:06

で、dx の意味って何なんですか？
0354１３２人目の素数さん2005/06/26(日) 00:31:18
積分する時の「おまじない」のようなモノじゃあないですか？？
0355１３２人目の素数さん2005/06/26(日) 00:43:35
そんなの説明になってないからレスしなくていいよ。
0356１３２人目の素数さん2005/06/26(日) 00:44:02
dx^dy=-dy^dx
0357１３２人目の素数さん2005/06/26(日) 00:46:22
ｱﾎ
0358１３２人目の素数さん2005/06/26(日) 00:46:44
おいおまいら
単発質問スレはすみやかに誘導＆削除以来をして以降放置ではないのですか？
0359１３２人目の素数さん2005/06/26(日) 02:05:54
とりあえず、ｄｘはメッチャ小さいｘってことだけ覚えとけ

てことて、 糸冬 了
03603602005/06/26(日) 06:00:23
360° = 2 π　rad
03613612005/06/26(日) 06:01:04
√(361) = 19
0362１３２人目の素数さん2005/06/26(日) 12:43:25
おまえらは解析の本質を知らない。
0363１３２人目の素数さん2005/06/26(日) 18:08:00
そろそろ卒業したらどうだ？
0364某大学生一回生2005/06/26(日) 21:22:00
>>1
関数です。
0365１３２人目の素数さん2005/06/26(日) 22:38:15
本当でつか？
0366某大学生一回生2005/06/26(日) 22:46:45
⊿xの関数です。dxとかはドイツの伝統の書き方です。

⊿y=f'(x)⊿x+ε⊿x　(⊿x→0のとき　ε→0)
が一般に成り立つ。このとき、右辺は⊿x→0のとき、ほとんどf'(x)⊿xの値になる。これをdyと書く。
x'=1だから、dx=⊿x
よってdy=f'(x)dx
ゆえにdy/dx=f'(x)
0367１３２人目の素数さん2005/06/26(日) 22:52:54
x'=1 だから、dx=⊿x のところがよく分からないのですが。
あと、⊿x→0 のとき、右辺の方も →0 になりませんか？
0368某大学生一回生2005/06/26(日) 22:58:06
dy=f'(x)⊿x
dx=x'⊿x=⊿x
⊿x→0 のとき、右辺の方も →0 になります。はい、そうです。⊿yも0になります。
f'(x)⊿x+ε⊿xをf'(x)⊿xで割って⊿x→0とすれば1(分母分子がほぼ等しい)になるから、f'(x)⊿xが「主要項」です。
0369某大学生一回生2005/06/26(日) 22:59:41
>>367
後半は、0に収束する「速さ」の議論です。
0370１３２人目の素数さん2005/06/26(日) 23:04:03
>>364
⊿xの関数ということはつまり、
それぞれ dx(⊿x)、dy(⊿x) と書いてもいいわけですか？
0371某大学生一回生2005/06/26(日) 23:08:33
>>370
まあ、そうことになりますね。そう書く人はいませんが。というか、結局dy/dx=f'(x)になるから、気にしなくても良いですよ。歴史上の産物です。両者を混同しても問題ありません。
⊿xと書きましたが
⊿x=x1-x
のxは固定です。従ってf'(x)も固定です。x1だけを動かしてください。
0372１３２人目の素数さん2005/06/26(日) 23:13:55
>>371
レスありがとうございます。
そうすると結局、dx は単なる変分と考えれば
いいわけですね。
0373某大学生一回生2005/06/26(日) 23:16:42
>>372
そうです。ちなみにdyやdxを「微分」と呼びます。f'(x)は「導関数」と呼びます。
質問ありがとうございました。
0374１３２人目の素数さん2005/06/26(日) 23:19:05
>>373
どこかの大学の先生の方ですね。
こちらこそありがとうございました。
0375１３２人目の素数さん2005/06/26(日) 23:27:44
d(x⊿x)
0376１３２人目の素数さん2005/06/27(月) 00:02:32
>>369-374
直観的にはそれで良いかもしれんけど、「ほとんど」とか→０とか、大学の「数学」で厳密に
やろうとするときには許されない表現が横行してますな。
0377１３２人目の素数さん2005/06/27(月) 00:03:52
何もかもがあきれた議論
0378１３２人目の素数さん2005/06/27(月) 00:26:11
自演だろ？ｗ
0379某大学生一回生2005/06/27(月) 00:33:33
>>376
表現に拘ってません。
0380１３２人目の素数さん2005/06/27(月) 08:11:45
dは童貞、デブ、ドラえもんの略です
0381１３２人目の素数さん2005/06/27(月) 09:44:19
>>376
同値類に分ければ問題なし
0382工房2005/06/28(火) 07:38:11
微分は接線ですよと習う
微分はf'(x)と書きますよと習う
微分の計算を習う
微分はdy/dxとも書きますと習う
合成関数の微分公式はdy/dx=dy/du・du/dxですよと習う。
積分を習う
改めてdxの意味が不明になる←今ここ
0383１３２人目の素数さん2005/06/28(火) 07:40:07
区分積分法までがんばればわかるようになると思うよ
0384工房2005/06/28(火) 10:04:36
そうなんですか。がんばります。
0385某大学生一回生 ◆RRlBLdA0dk 2005/06/28(火) 10:42:58
>>工房
裏事情を述べますと、接線というのは、微積を使って定義されているから、「微分は接線ですよ」というのは、実は見当違いなんです。
だいたいですが、xという点の周りの、x軸上の微小幅と思ってくれたら、数学を専攻しない限り、問題ありません。
0386工房2005/06/28(火) 11:54:59
丁寧なレスありがとうございます
それって導関数の定義とは違うんですか？（x軸上の微小幅）
適当に二点を取って、片方に近づけていくときの、二点を結ぶ直線を縮めていくと
結局極限を計算することになってそれが導関数の定義で、つまり微分だと習いました。
意味不明の文章ですいません
0387１３２人目の素数さん2005/06/28(火) 12:28:10
ｄｘやｄｙを厳密に定義するにはどうしたらいいんですか？
0388１３２人目の素数さん2005/06/28(火) 15:05:12
>>300へもどる
こうしてループしつづけるのである
0389１３２人目の素数さん2005/06/28(火) 16:03:17
>>300みたいなこと言わんでも…

dy=fdx と表現できる場合、fはyのxによる微分を形式的に表す。

で…直観的に dxやdyを微少な増分を見なして各種の計算を
行っても、計算結果は一致する…。ってトコだろ。
0390１３２人目の素数さん2005/06/28(火) 21:56:02
dx dy 等をバラバラにして使ってはいけない基準ってのを纏めてくれないかと思ったりする今日この頃。
大体のケースでは計算結果は一致するというのは、これをツールとして使いたいと思うとかなり嫌なんですけど・・・・
0391某大学生一回生 ◆RRlBLdA0dk 2005/06/29(水) 22:50:45
>>386
導関数は、値の変化とxの変化の比について。
微分は、xの微小幅。(値の変化については興味が無い。)
0392１３２人目の素数さん2005/06/30(木) 05:53:04
dxやdyは「微小量」の概念。無限大「∞」を数としては考えないだろ。概念として考えるだろう。
ただ、概念上微小なだけで、結局はxやyと同じ。関数と同じように扱っても矛盾は起きない。

微分が接線になるのは単なる結果。
もともとは誰もが中学校で習う変化の割合、⊿y/⊿xが元になっている。
⊿y、⊿xの微小量dy、dxについて変化の割合を考えると、結果的に関数の接線になっている。

積分も同じ。∫f(x) dxは∫dxの中にf(x)を入れているのではなく、
一つの⊿xがdxになるように分けて得た（つまり無限に分けて得た）一つ一つのf(x)の値
を最後に全てを足し合わせて（つまり積分して）求積している。
0393１３２人目の素数さん2005/06/30(木) 06:03:07
でさ、zdx+xdy+ydzはなんなの？わかんね。
∫zdx+xdy+ydｚもなんなのさ？なんなのさったら
0394１３２人目の素数さん2005/06/30(木) 06:11:25
微分とはある点の近傍で、関数のグラフを線型空間で近似すること。
つまり微分が接線上の関係になることは，そもそもの要請。
「たまたま」接線になっているわけじゃない。

積分も、∫_{C}f(x) dxは、f(x)から値を取り出す作用素だと考えて
物理の人は，∫_{C}dx・f(x)と書く人が居るし、
必ずしもこれが間違いだというのではない。
0395１３２人目の素数さん2005/06/30(木) 06:12:00
微分形式
0396１３２人目の素数さん2005/06/30(木) 07:51:01
>>300へもどる
こうしてループしつづけるのである
0397某大学生一回生 ◆RRlBLdA0dk 2005/06/30(木) 08:40:04
>>392
接線という概念が他にあって、接線の公式の式がそれに該当するのではなく、その式が表す直線を接線と定義する。
これが実情。ちなみに、面積は積分で定義されているから、積分したら面積を求めたことになってるのは、当たり前。
0398１３２人目の素数さん2005/06/30(木) 09:23:37
>>397
概念が先にあったに決まってるだろ。説明が面倒だからしないだけだろ。
違う？じゃあ何か、積分して求めた面積、例えば円の面積に物理的な
意味がないというのか？
0399１３２人目の素数さん2005/06/30(木) 09:41:34
別に接線と微分を別々に定義して，両者の関係を
あとで示す，というやり方も出来るけどな．
0400４００2005/06/30(木) 15:00:08

４００ゲト！！
0401１３２人目の素数さん2005/06/30(木) 16:00:37
>>392
= の定義で矛盾がおこるよ、普通の数のようには扱えない
0402１３２人目の素数さん2005/06/30(木) 16:03:43
>>397
確率微分方程式のような物についてはどう思います、接線の概念が先ですかね、定義が先ですかね？
僕は微分法の定義が接線の定義というのは違和感ありまくりですね、個人的には。
接線の定義方法の一つとして微分法があるが良いと思います。
0403某大学生一回生 ◆RRlBLdA0dk 2005/06/30(木) 17:06:07
>>398
概念があるなら、見てみたい。
>>399
それはできると思う。
>>402
定義の仕方は、流派によって色々だが、接線の公式の式で、接線を定義するのが一般的。
微分方程式は、勉強不足で分かりません。すみません。
0404１３２人目の素数さん2005/06/30(木) 17:38:52
>>403
>概念があるなら、見てみたい。

接線を定規で引けば目に見える。
0405１３２人目の素数さん2005/06/30(木) 17:39:34
数学板住人は死ね、くたばれ、消えろ、潰れろ、馬鹿、あほ、間抜け、ドジ、 ガラクタ、クズ、最低以下の下劣、下等種族、下衆野郎、 腐れ外道、
邪道、外道、非道、ウジ虫、害虫、ガン細胞、ウィルス、ばい菌、疫病神、 病原体、汚染源、公害、ダイオキシン、有毒物質廃棄物、発ガン物質、猛毒、毒物、
ダニ、ゴキブリ、シラミ、ノミ、毛虫、蠅、蚊、掃き溜め、汚物、 糞、ゲロ、ほら吹き、基地害、デタラメ、穀潰し、ろくでなし、夏厨、ヤクザ者、社会の敵、犯罪者、反乱者、前科者、
インチキ、エロ、痴漢、ゴミ虫、毒虫、便所コオロギ、詐欺師、ペテン師、危険分子、痴呆、白痴、 悪霊、怨霊、死神、貧乏神、奇天烈、変人、
毒ガス、サリン、糞豚、豚野郎、畜生、鬼畜、悪鬼、邪気、邪鬼、クレイジー、 ファッキン、サノバビッチ、小便、便所の落書き、不要物、障害物、
邪魔者、不良品、カビ、腐ったミカン、腐乱、腐臭、落伍者、犯人、ならず者、チンカス、膿、垢、フケ、化膿菌、放射能、放射線、異端者、妄想、邪宗、異教徒、
恥垢、陰毛、ケダモノ、ボッコ、ろくでなし、ヒ素、青酸、監獄、獄門、さらし首、打ち首、戦犯、絞首刑、斬首、乞食、浮浪者、ルンペン、不良品、規格外、欠陥品、不要物、
埃、塵埃、インチキ、居直り、盗人、盗賊、残酷、冷酷、薄情者、クソガキ、ファッキン、有害物質、 発ガン物質、誇大妄想狂、アホンダラ、怠け者無能、無脳、
脳軟化症、思考停止、人格障害、極道息子、見栄っ張り、不良、イカレ、狼藉者、放蕩息子、道楽息子、迷惑、厄介者、異端者、タリバン、オサマ・ビン・ラディン、テロリスト 、
チェチェン、嘘つき、不正、叩き上げ、ケチ、裏切り者、ムネヲ、抵抗勢力、悪性新生物、原爆を落とした奴、アルカイダ、宮崎勤、吉岡（旧姓：宅間）守、朝鮮将校、乞食、
知覚的障害者、邪教祖、DQN、覚せい剤、エイズウイルス、SARS、テロリスト、荒らし部隊、アーレフ（旧：オウム真理教）、精神年齢3歳、3審は必要なし、
金正日、宇田川慶一、奥田碩、おおさか人、上新庄、あう使い、放射性廃棄物、割れたコップ、血歯死者、廣嶋死者、パナウェーブ研究所、
あの1１歳の少女以下の知能、国民の資格なし、白血病の原因、ハイブリッドカーの排気ガス、IQ10！
そして、この板に書き込む権利も価値もないクズ
0406某大学生一回生 ◆RRlBLdA0dk 2005/06/30(木) 21:46:31
>>404
接線は定規では引けませんよ。
0407１３２人目の素数さん2005/06/30(木) 21:58:49
「接線」をBourbaki式にどう定義するのか，というのと
接線と微分とどちらが早く認識されたか，というのは
分けたほうがいいような．

>>401
どういうこと？「普通の数」って何のこと？
0408１３２人目の素数さん2005/06/30(木) 22:02:34
円の接線て作図できねーの？
0409１３２人目の素数さん2005/06/30(木) 22:06:12

σ
0410１３２人目の素数さん2005/06/30(木) 22:10:46
円の接線は簡単に作図できる。
サイクロイドの接線も簡単に引ける（フェルマの発見）。

どちらも微分法はいりません。
0411１３２人目の素数さん2005/06/30(木) 22:14:11
必要かどうかと、定義であるかどうかとはまた違うと思うぞ。
0412１３２人目の素数さん2005/06/30(木) 22:28:06
>>410
0413１３２人目の素数さん2005/06/30(木) 22:40:43
多変数の微分、たとえば全微分なんて、どう考えても接線ならぬ接平面の概念にあうように作られたとしか思えないね。
一変数の拡張で微分法の定義から接線という考えでは、まぁ考えられなくは無いけれど、普通の脳味噌だと行き詰るね。
04144132005/06/30(木) 22:42:34
という訳で接平面の概念から全微分の定義を作ったと思えます、はい。
0415１３２人目の素数さん2005/06/30(木) 22:47:36
歴史を無視して、現在の視点から勝手な事を考えてどうする。
0416某大学生一回生 ◆RRlBLdA0dk 2005/06/30(木) 23:03:34
作図はできるけど、定規では引けない。というか、接線は目に見える代物ではない。
0417某大学生一回生 ◆RRlBLdA0dk 2005/06/30(木) 23:05:12
>>415
数学に必要なのは、歴史性よりも、論理体系としての論理性、整合性。
0418１３２人目の素数さん2005/06/30(木) 23:09:05
>数学に必要なのは、歴史性よりも、論理体系としての論理性、整合性。
もういっそ集合レベルで定義しますか(w
0419１３２人目の素数さん2005/06/30(木) 23:12:22
>>415は>>414へのレスなのら。
0420１３２人目の素数さん2005/06/30(木) 23:14:09
数学に必要なのは、歴史性よりも、論理体系としての論理性、整合性なのら(w
0421１３２人目の素数さん2005/06/30(木) 23:16:40
どっちの概念が先かとかいうたんに歴史的な事実のみを問題にしているのか、
それとも、ブルバキ的な論理の組み立てのみを問題にしてるのかはっきりしろ。

アホの棒大一回性みたいに両者をごっちゃにする脳なしは必要ない。
0422１３２人目の素数さん2005/06/30(木) 23:18:00
>>421
どっちでもいいじゃねぇか、何ムキになってんだよw
0423１３２人目の素数さん2005/06/30(木) 23:18:40
任意の体で考えるには、やはり接線は微分と独立に定義したほうがいい。
0424１３２人目の素数さん2005/06/30(木) 23:21:41
>>423
そこで形式的微分ですよ。
0425１３２人目の素数さん2005/06/30(木) 23:23:27
>>424
振り出しに戻すの禁止
0426１３２人目の素数さん2005/06/30(木) 23:23:52
で、いつになったら fdx+gdy　が何者なのよ
数値？形式？関数？写像？あーーー
0427１３２人目の素数さん2005/06/30(木) 23:25:23
微分形式は要するに空間を空間上の関数で記述するための道具ですよ。
0428１３２人目の素数さん2005/06/30(木) 23:26:07
そんなんじゃじぇんじぇんわかんねーよあうぇｆｔｈｊｋｌｐ；＠
0429１３２人目の素数さん2005/06/30(木) 23:26:59
わかりやすい説明だった。
0430１３２人目の素数さん2005/06/30(木) 23:28:45
>空間を空間上の関数で記述するための道具
一番綺麗な感じはするね、微分法と微分が綺麗に分かれて構造がスッキリする。

次点が超準解析かなと思うが実はあんまり理解できてないオレ
0431１３２人目の素数さん2005/06/30(木) 23:32:16
>論理性、整合性
そんなに重要なものじゃないでしょ．
というか，接線が目に見えないってどういうこと？
そんな事言ったら数学的な対象なんてほとんど目に見えませんが．
0432１３２人目の素数さん2005/06/30(木) 23:33:14
>>431
だからお前はダメなんだよ、心眼でみるんだ！！
ほらほら見えるだろ
0433１３２人目の素数さん2005/06/30(木) 23:35:50
環を見たら図形が見えるくらいじゃないと。
0434１３２人目の素数さん2005/06/30(木) 23:38:11
>>426
dz=fdx+gdy ってのは

f=∂z/∂x　，　g=∂z/∂y　の状態であるという事を表しているだけ。

で、直観的に dx,dy,dz　を空間の微少変位と考えて式変形を行っても
式が成り立っているとまあ保障されている。
0435１３２人目の素数さん2005/06/30(木) 23:40:58
ベクトルの合成でしょ
0436１３２人目の素数さん2005/06/30(木) 23:43:24
dはドリームのdだよ
tはシアターのtだよ
つまり、dtってのはドリームシアターを聞けって意味なんだ
0437１３２人目の素数さん2005/06/30(木) 23:45:05
>>436
激しくﾜﾛﾀ！！！！！ｗｗｗｗｗｗｗｗｗｗ
0438１３２人目の素数さん2005/06/30(木) 23:57:24
プログレッシヴアナリシスとかメタルジオメトリーだな。
0439１３２人目の素数さん2005/07/01(金) 00:02:32
もう２ｃｈ的には>>436でファイナルアンサーということで桶？
0440１３２人目の素数さん2005/07/01(金) 00:05:37
>>434
> dz=fdx+gdy ってのは
> f=∂z/∂x　，　g=∂z/∂y　の状態であるという事を表しているだけ。

状態から、なんでdz/dt=fdx/dt+gdy/dtなのよったら～
この状態は関数の等価を含んでるの？ああああああああああああ
0441１３２人目の素数さん2005/07/01(金) 00:07:11
これにて一件落着。　　　助さん角さん、参りましょうか。


　　　　　　　　－完ー
0442１３２人目の素数さん2005/07/01(金) 00:09:08
>>440
両辺をdtで割った形になるっしょ。形式的に、そんな荒っぽい計算を行っても
計算結果は保障されている…ってトコでしょ。
0443１３２人目の素数さん2005/07/01(金) 00:12:31
そんじゃよ、yz dx + zx dy + xy dz は何をあらわしてんの？
0444１３２人目の素数さん2005/07/01(金) 00:15:35
d(xyz)
0445１３２人目の素数さん2005/07/01(金) 00:17:40
で、それはなんなのよ？
0446１３２人目の素数さん2005/07/01(金) 00:18:36
xyzの外微分
0447１３２人目の素数さん2005/07/01(金) 00:20:52
外微分？？？？？？
0448１３２人目の素数さん2005/07/01(金) 00:25:52
外微分なんてよびかたあるんだ？
0449１３２人目の素数さん2005/07/01(金) 00:26:52
>>443
wつーのが存在して…

dw=yz dx+ zx dy + xy dz なら…

∂w/∂x=yz , ∂w/∂y=zx , ∂w/∂z=xy

なんじゃない？
0450１３２人目の素数さん2005/07/01(金) 00:28:04
結局さ、リアルな感覚は3-4次元あたりまでじゃね？それ以降は形式
なんでも形式。線型代数だってそうじゃね？
0451１３２人目の素数さん2005/07/01(金) 00:28:22
>>448
あるべ。xyzを0次の微分形式とみなせば。
0452１３２人目の素数さん2005/07/01(金) 00:29:30
>>451
あるね。
0453１３２人目の素数さん2005/07/01(金) 00:29:41
４次元囲碁・・
0454１３２人目の素数さん2005/07/01(金) 00:35:22
>>450

Qの5次代数拡大体Kを考えると、KはQ上5次のベクトル空間だが、
かなりリアルじゃね？
0455１３２人目の素数さん2005/07/01(金) 00:38:25
まるでリアルじゃね
0456１３２人目の素数さん2005/07/01(金) 00:39:26
RってQ上無限次のベクトル空間だけど、Realじゃね？
0457１３２人目の素数さん2005/07/01(金) 00:41:13
きめーダジャレはいらね
0458１３２人目の素数さん2005/07/01(金) 00:44:12
きもい→きめー

ってどこの方言？そういう変化するところがあるんだ。
0459１３２人目の素数さん2005/07/01(金) 00:58:24
>>434
>f=∂z/∂x　，　g=∂z/∂y　の状態であるという事を表しているだけ。
これは酷いと思う、これだけで=で結んじゃダメ
0460１３２人目の素数さん2005/07/01(金) 00:59:26
これ、バナッハ空間だったら？
0461１３２人目の素数さん2005/07/01(金) 01:09:26
4次元も平面と平面が一点で交わるとか言われても，
多少考えれば分かるけど，いまいち現実的な感覚が沸かないような
0462１３２人目の素数さん2005/07/01(金) 01:11:24
三次元では必ず直線で交わるからね。
0463１３２人目の素数さん2005/07/01(金) 01:13:34
二次元ではR^2で交わるからその反対で点と
0464１３２人目の素数さん2005/07/01(金) 07:26:49
>>459
いーじゃない、別に。
0465１３２人目の素数さん2005/07/01(金) 09:29:09
>>406
概念としての接線の話をしてるんだろ。定規でなくたって頭の中で引けるし、
手書きでも書けるだろう。どうやるか分からない？ 曲線上のある点ｐと
それに十分近い点ｑを結ぶ直線を引く。ｑを限りなくｐに近づけたときの
極限の直線が接線だ。実用上は近似でいいだろ。
0466１３２人目の素数さん2005/07/01(金) 10:11:08
サイクロイドの接線は定規で簡単に引けるぞ。
フェルマの発見ね。
0467１３２人目の素数さん2005/07/01(金) 10:18:22
>>464
よくねーよ、多次元の場合自由度が高いから偏微分できても接平面になっていない事が頻出するだろ
0468１３２人目の素数さん2005/07/01(金) 13:04:08
あれじゃ全微分⇔偏微分だもんね．
0469１３２人目の素数さん2005/07/01(金) 15:05:31
勉強せんくせにわからんわからんいう奴が多い
0470１３２人目の素数さん2005/07/01(金) 16:21:38
解析概論だって何ら説明せずに、いきなりdx出てくるのに？
どうやって勉強しろと…。
0471１３２人目の素数さん2005/07/01(金) 16:48:28
いや数学の本は解析概論だけじゃないからｗｗｗ
参考文献が一冊しかない分野ならわかるが．
0472１３２人目の素数さん2005/07/01(金) 19:08:58
いや、高校で最初に習うときはいきなりdxが出てきますよっていうことじゃないの？
丁寧な先生でも「d」はdifferなので差を取れって意味ですくらいしか教えてくれないよ実際。
0473１３２人目の素数さん2005/07/01(金) 19:20:25
dxだけ出てくるのは，積分でだろ．
0474１３２人目の素数さん2005/07/01(金) 19:30:49
合成関数の微分は？
あれは確かにdy/dxって出てくるけど、あの時点でわけがわからなくなる人も多いのでは？
0475１３２人目の素数さん2005/07/01(金) 19:36:45
あれはdxの話と関係なく単なる書き方の問題だろ．
dz/dx = (dz/dy)・(dy/dx)は，一応，
単なる覚えやすい便法に過ぎないわけで．
0476１３２人目の素数さん2005/07/01(金) 19:37:15
でもそんなこといえば置換積分も単なる便法か．
0477１３２人目の素数さん2005/07/01(金) 21:22:21
>丁寧な先生でも「d」はdifferなので差を取れって意味ですくらいしか教えてくれないよ実際。
これがやばい気がするな、「差」って考えるのは混乱の元になる気がする。
自分は dx は数ではないという事を意識できるまでにやたら時間がかかったな、
数みたいに適当に変形してもそれっぽい答えが出る(事が良くある)もんだから、何時の間にやら誤解が深くなっていって余計混乱したんですよ。
実数とベクトルなどと同じでコンピュータ言語なんかで言うところの型が違うのだという事を意識できなくて随分苦労した。

これ
dz/dx = (dz/dy)・(dy/dx)
だってそうなんだよな、dxとかは関係なくて、スカラー = スカラー・スカラー に分解する公式であって、
もし dx dy といったものからスタートしたいなら別な考え方をしないといけないという事に気付けなかった。
0478１３２人目の素数さん2005/07/01(金) 22:26:57

微分形式は反変の交代テンソルのことだろ？
そして、微分はその元。違うのかな？
0479１３２人目の素数さん2005/07/02(土) 08:42:23
dxdyもdxもdxdydzも、lebesgue測度と定義して

dxdy～rdrdθ　⇔　⊿x⊿y－r⊿r⊿θ = o(⊿x⊿y)　(⊿x⊿y→0)

で同値関係いれてその商集合とってやればうまくいくって言ってんだろ
微分形式はただこれに同型っていってるだけ
0480１３２人目の素数さん2005/07/02(土) 10:26:10
高校でdxなんて単独ででてこんだろ。
dy/dxとか∫f(x)dxとかあくまでも記号として出てくるのみ。
昔は微分方程式があったから（今でもあるのか？）変数分離ででてきたけど。
高校レベルではただの記号なんだからわかるもわからんもない
0481１３２人目の素数さん2005/07/02(土) 18:25:51
>>480
高校は「きわめて小さな」とか「～に近づく」って表現が許される世界だからまあＯＫ。

問題は大学、それらの用語をεδで駆逐したはずのに、ずっといすわっているから
問題視されている。しかも、何ら説明なしにいきなりどんどん応用が始まる解析の
教科書…。

きちんとどの本の何ページのここに、このようにdxの定義が行われている…って書いて
欲しいんだけど…。
0482１３２人目の素数さん2005/07/02(土) 18:59:25

数学やってるヤシはヘタレが多いからあまり期待はできんなｗ
0483１３２人目の素数さん2005/07/02(土) 19:04:34
で、またループ
04844842005/07/02(土) 19:20:30
√(484) = 22
0485１３２人目の素数さん2005/07/02(土) 20:45:16
>>480
置換積分で数究出版にはあった．（今手元にないけど）
例えばy=2xのときdy=2dxだから（りゃ とか．
もちろん詳しい説明などなし．
>数ではない
st(ab)=st(a)st(b)だから，必ずしもおかしな考え方ではないけどね．

>>481
応用系の数学の授業（数学Bとか）だったら無問題．
Aだったら，普通，これは便宜上の表記法です，
詳しいことは数学科なら習います，くらい説明はあるのが普通じゃないかな．
0486１３２人目の素数さん2005/07/02(土) 21:53:46
>>481
書いてある本を馬鹿なアンタが知らないだけｗ
過去スレ嫁
0487１３２人目の素数さん2005/07/02(土) 23:31:58
>>486
明確には書いていないんだろ？
0488１３２人目の素数さん2005/07/02(土) 23:52:19
「微分形式はこの本に書いてある」
とは書いてないかもしれないけど，
それはほかにも解析には学ぶことがたくさんあるからで．
ただ，参考文献を載せている本である程度の本なら，
微分形式の定義が書かれている本が，その中に入っているはず．
0489１３２人目の素数さん2005/07/03(日) 00:28:15
てか大学の授業でいきなり抽象的な微分形式の定義から入ったら、そっちの
ほうが生徒がついてけない気もする。
0490１３２人目の素数さん2005/07/03(日) 00:37:44
どうせそうするならいきなり
位相空間論とBanach空間論からの導入ｷﾎﾞﾝﾇ
0491１３２人目の素数さん2005/07/03(日) 00:41:09
もういっそ層とかも教えてしまえばいい。せっかくだから
de Rhamコホモロジーもやろう。
0492１３２人目の素数さん2005/07/03(日) 00:48:11
いかにも数学脳チックに難しくスレはココですね？
0493１３２人目の素数さん2005/07/03(日) 00:48:18
>>488
過去ログみると微分形式学習しても、結局本質は分からないという話も…。
0494１３２人目の素数さん2005/07/03(日) 01:07:33
どんな学問も定義だけ見ても本質はわからんぞ。
0495１３２人目の素数さん2005/07/03(日) 01:09:08
>>493
学習してないと言う説も…。
0496１３２人目の素数さん2005/07/03(日) 01:09:23
>>487
明確に書いてある。君が理解できないだけｗ
0497１３２人目の素数さん2005/07/03(日) 01:55:14
・質問者は学習しない
・学習した（つもりになっているｗ）がわからない
・過去レス読まない、読んでもわからない
・同じ質問がループ

まあ、糞スレってそんなもんｗ

しいていうと、ネット上の質問・回答には向かない。教科書に書いている
ことを自分で理解できるかどうか。εδ とか、位相の公理とかと同じ。
0498１３２人目の素数さん2005/07/03(日) 02:34:49
3dx+2dxdy+7dyは微分多様体だと教えたら理解が早い
0499１３２人目の素数さん2005/07/03(日) 03:04:27
dx を理解するのにεδは要らないよ、高校の微分法が分かっていれば、その延長線上だけで理解できる。
位相もεδ厳密にするときに必要なだけ、抽象的な性質を考えるのには不要、微小な値とか考え始めるとおおはまりになるね。
0500５００2005/07/03(日) 03:25:40

５００ゲト！！！
0501１３２人目の素数さん2005/07/03(日) 03:29:44
知ったかぶりするオタ幾千人、論を垂れるもあたわず
0502１３２人目の素数さん2005/07/03(日) 03:43:12
>>499
497で言ったのは
「dx って何？」
「εδって何？」
「位相の公理って、なんのためのものですか？」
みたいな質問はどれも、ネットで質問されて誰かが自分なりの答えを
書いても、教科書読まない・わからない質問者には絶対受け入れられない
ってこと。どれも、自分の頭で考えなきゃわからないよ。
0503１３２人目の素数さん2005/07/03(日) 03:52:22

自分の頭で考えると結論はどうなるんですか？
0504１３２人目の素数さん2005/07/03(日) 04:05:53
>>503
考えた人の頭の中にだけ dx の意味がわかるよ
0505１３２人目の素数さん2005/07/03(日) 08:16:58
>>504
それだと何だって言えるなｗ
0506１３２人目の素数さん2005/07/03(日) 13:28:49
>>481
おれはいままでで、大学レベルの数学の本でも、微分方程式以外で
いきなりdxとか単独で出てくる本をみたことないけど。ちなみに修士卒。
物理の本ならがんがんでてくるけどね。
ところで、さんざん微分形式だっていわれてんだから、微分形式勉強してみたの？
おれは微分形式やって完全にふにおちたけど。
0507１３２人目の素数さん2005/07/03(日) 14:00:21
ふに落ちたら、そこいらへん書き込んで！
0508１３２人目の素数さん2005/07/03(日) 15:00:27
df=fxdx+fydy+fzdz
0509１３２人目の素数さん2005/07/03(日) 15:05:35
ddf=fxydxdy+fyxdydx+fxzdxdz+fyzdydz+fzxdzdx+fzydzdy
=(fxy-fyx)dxdy+(fyz-fzy)dydz+(fzx-fxz)dzdx
dddf=(fxyz-fyxz-fyzx+fzyx+fzxy-fxzy)dxdydz
0510１３２人目の素数さん2005/07/03(日) 15:12:45
d^nf=(-)^perm(xi)fperm(xi)dx1...dxn
0511１３２人目の素数さん2005/07/03(日) 16:03:56
dM=Muivjduidvj
dM=Muivjzkduidvjdzk
dM=Muidui
0512１３２人目の素数さん2005/07/03(日) 16:08:55
Muvdudv=Mxy|J(x,y,u,v)|dxdy
0513１３２人目の素数さん2005/07/03(日) 16:08:56
>>506
微分形式の資料みたけど…。微分形式の式の定義　df=Σ∂f/∂x^i *dx^i （dfはfの全微分である）
なんて定義して、後は計算規則を延々書いているだけだろ。

本質はなんだ？直観で微少変位として捉えられるモノを単に理論化したものか？だとしてdfの厳密
な意味はなんだ？
0514１３２人目の素数さん2005/07/03(日) 16:11:49
もともとはリーマン幾何の道具だけど、偏微分方程式で定義された
多様体の面要素とかを定義するものとかでいいんじゃない
0515１３２人目の素数さん2005/07/03(日) 16:12:34
ハミルトニアンとか物理屋がつかっているよ。
0516１３２人目の素数さん2005/07/03(日) 16:14:09
電磁気やマイクロ波アンテナ、レーダー関係のマクグロウを読めばいっぱい使っているよ
0517１３２人目の素数さん2005/07/03(日) 16:31:33
dfの厳密な意味はなんだ？

シンボルです。１を"1"と書くのと同じです。
問題なのはシンボル記号の組み合わせです。
0518１３２人目の素数さん2005/07/03(日) 16:37:04
＞微分形式の資料みたけど

資料？？
0519１３２人目の素数さん2005/07/03(日) 16:40:46
>>513
定義は定義。

意味はさまざま。微少変位だ、面要素だ、自分の好きなように
理解すればよろしいかと。
自分で手を動かさずに、漫然と本だけ読んでませんか？
0520１３２人目の素数さん2005/07/03(日) 16:47:40
>>519
他に応用例とかあんの？
0521１３２人目の素数さん2005/07/03(日) 17:07:04
何度も同じことを聞くな

>>479みたいに微小変位らしく定義もできるし
よく本に載ってる微分形式で定義しても良い
どれも厳密な定義で全て同型
0522１３２人目の素数さん2005/07/03(日) 17:16:43
>>520 ある。7分後に質問する前に、自分で調べろ
0523１３２人目の素数さん2005/07/03(日) 17:46:03
測度ってi<nのときのn次元空間のi形式はどうすんだ？
平面上の１形式でいきなりつまるんじゃね？
0524１３２人目の素数さん2005/07/03(日) 18:18:31
>>513
df だけでなく式全体をじっくり見てみるといいよ、なんとなく混乱している理由は手に取るように分るな(w
微小とか考えるから混乱する。
0525１３２人目の素数さん2005/07/03(日) 18:37:32
>>523
平面上の曲線の長さが定義できないバカ発見
0526１３２人目の素数さん2005/07/03(日) 18:57:44
>>525
ほう、直線上の長さを測度論つかって構成するんでつか？
直線を可測集合とする測度定義して長さ定義するんでつか？
そもそもn次元空間のi形式(i<n)を測度論使って定義するんでつか？
そういう流儀を採用してる教科書紹介してください。
0527ｗｗ2005/07/03(日) 19:15:03

解析にこだわるのがそもそもの間違い。
微分形式は代数的に定義できるのじゃよ。
05285262005/07/03(日) 19:33:33
ほう、平面上の曲線の長さを測度論つかって構成するんでつか？
曲線線を可測集合とする測度定義して長さ定義するんでつか？
に訂正。
0529１３２人目の素数さん2005/07/03(日) 20:18:26
>>521
微少変位だとダメダメって何度も書かれていたような…。
本に載っているような微分形式で、これだけ文句が来ているのですけど…。

>>522
具体的に何？
0530１３２人目の素数さん2005/07/03(日) 20:59:09
遅レスだけど，>>506は流石に極端だと思う．
単に本人が見たこと無いだけかと．
0531１３２人目の素数さん2005/07/03(日) 21:13:11
まあBott-Tuも最初いきなり、dxを形式的な記号として導入してるしな。
（とはいえ、Bott-Tuには長い前書きがちゃんとついている）
0532１３２人目の素数さん2005/07/03(日) 21:20:52
微分形式でええやん。なにが不満やねん。
0533１３２人目の素数さん2005/07/03(日) 22:15:19
どうやら微分形式の本を読んでも、定義の式しか書いていないようだね。
具体的にどんな場面で使うんだ？で、その本質とは何だ？
0534１３２人目の素数さん2005/07/03(日) 22:21:48
>>533
あんまりこのスレに書いてあることを鵜呑みにせずに、本読んでみたら？
0535１３２人目の素数さん2005/07/03(日) 23:13:08
>>534
そんな本簡単に立ち読み・試し読みできる環境にあるヤツってどの程度いるんだ？
0536１３２人目の素数さん2005/07/03(日) 23:16:09
大学生なら図書館使えばいいじゃん．
0537１３２人目の素数さん2005/07/03(日) 23:18:11
本が無くても、planet mathとかmathworldとかwikipediaとかあるだろ。
0538１３２人目の素数さん2005/07/03(日) 23:24:17
ちょっとぐぐれば、日本語の解説もいくつか見つかるな。
0539１３２人目の素数さん2005/07/03(日) 23:28:27
学生じゃなくても、大抵の大学の図書館は受け付けの人に言えば入れるよ。
近くに(理系の学部を持つ）大学が無い人はお気の毒だけど。
0540１３２人目の素数さん2005/07/03(日) 23:34:44
Web上の解説にレベルの低いものが多いのは確かだけどね．
特に日本語のサイト．
0541１３２人目の素数さん2005/07/03(日) 23:36:46
そうだけど、かわりに自分が説明するとしてもっと上手くやる自信は
無いな。
0542１３２人目の素数さん2005/07/04(月) 00:48:59
>>533
最初からやる気ないんだろ、それなら本読もうが、web見ようが無駄だよ
微分形式など使わず df/dx といった原始的な方法でもなんとかなるし、永久にそれでやっていればいいのですよ。
0543１３２人目の素数さん2005/07/04(月) 00:53:46
>>535
本が買えない？
ほんの数万円の投資もできないほどに生活力がないのなら、この日本から逃亡してしまえ
0544１３２人目の素数さん2005/07/04(月) 01:08:36
多分>>535は高校生以下なんじゃないかな，と予想．

定義しか書いてないことは無くて，いろんな定理が書いてあるだろうけど，
～の本質は～だ，みたく個人の主観が混じるような言明は
あまり数学の本には書かれないのが普通だと思う．
要は読者が自分で考えてください，ということです．
0545１３２人目の素数さん2005/07/04(月) 01:09:17
勘違いを生む発言なので一寸訂正．
高校生以下
↓
高校生か中学生
0546１３２人目の素数さん2005/07/04(月) 01:13:27
もしがんばっている高校生以下なら、微分形式をやる前に全微分をしっかり押さえておく事をおすすめですね、
もしリアル高校やリアル中学生ならね
それなりにやっている奴ならもう才能がないと言うか合わないということで、もうあきらめたほうがいいね。
0547１３２人目の素数さん2005/07/04(月) 01:18:53
大学生で>>535の質問とか馬鹿すぎるだろｗ
0548１３２人目の素数さん2005/07/04(月) 01:24:03
学生なら時間も暇もあるんだから図書館巡れ、社会人なら人生もう終わってるかもね、
いつまでもニートしてたらいけません、働け！！
0549１３２人目の素数さん2005/07/04(月) 04:54:11
ずっと、「本質は？」「結論は？」とか質問しているだけの
ヤツは、高校生以下だったのか・・・
0550１３２人目の素数さん2005/07/04(月) 06:12:18
微分形式って非常に代数的な道具だけど、解析学的には積分なんだよね。
全微分って微分形式っぽいけど実際には適当なパラメータで微分して
はじめて具体的な解析学の対象を描き出すんだよね。
1変数だとあんまり違いわかんないよね。曲線論や曲面論をちょっと
まじめに勉強してみるとおもしろいね。
微分のdy/dxと全微分や微分形式のdxとかdyって別に関係ないんだって
何で納得しようとしないのかなあ。ライプニッツの記号がたまたまいい
感じに関係式を記述するのに使えたってだけなんだよね。
0551１３２人目の素数さん2005/07/04(月) 07:37:06
>>547
大学生だったら、さっさと図書館行って本調べているよｗ

>>544
それをふまえて、本質は？
0552１３２人目の素数さん2005/07/04(月) 07:39:14
>>513
>微分形式の資料みたけど…。
微分形式の資料っていったいなんだ。

>微分形式の式の定義　df=Σ∂f/∂x^i *dx^i （dfはfの全微分である） なんて定義して
そんないーかげんなもの見てるから余計わからなくなるんだよ

ちゃんとした本読めよ。多様体の本にはたいてい載ってるよ。
つまり多様体までいかんと本質はわからんってことだよ
0553１３２人目の素数さん2005/07/04(月) 07:45:57
>>552
じゃ、君が理解したその「本質」は？
0554１３２人目の素数さん2005/07/04(月) 08:22:18
線形化
0555１３２人目の素数さん2005/07/04(月) 08:45:13
本質本質うるさいなあ
接線，接平面，接空間で良いじゃないか，全微分の本質は．
0556１３２人目の素数さん2005/07/04(月) 10:36:59
>>555
違う。接空間の双対空間の元が微分。
0557１３２人目の素数さん2005/07/04(月) 12:30:17
>>550
自分の本にはそんなこと書いてないです、ちょっと気になります。
一番分りやすげな本教えてもらえますか？
0558１３２人目の素数さん2005/07/04(月) 12:33:43

違うんじゃ。実は余接空間の方が先にあるんじゃよ。
0559１３２人目の素数さん2005/07/04(月) 12:48:50
>>557
>自分の本
題名は？
0560１３２人目の素数さん2005/07/04(月) 13:08:03
>>526
そんな本は無い
強いて言えば解析概論だが
そんな本が無くても十分、微小変位で話はできる

だからといって微分形式をやらなくていいわけではない
0561古い2005/07/04(月) 16:26:20
微分の本質は実数だよ。それ以上でもそれ以下でもない
0562１３２人目の素数さん2005/07/04(月) 17:01:34
なつかしい･･･どうしてるかな能登のとっつぁん
0563１３２人目の素数さん2005/07/04(月) 17:34:17
自分では何も考えず、本も調べず、「本質は？」「結論は？」
しか言わない学力低下世代ウザイ。ウエノケンジが怒るわけだ。
0564１３２人目の素数さん2005/07/04(月) 17:52:50
で、結論は出たのかね？
0565１３２人目の素数さん2005/07/04(月) 17:56:58
結論は>>561
0566１３２人目の素数さん2005/07/04(月) 18:04:45
結論は>>999に書いてある。
0567１３２人目の素数さん2005/07/04(月) 18:10:22
いやむしろ>>436。
0568１３２人目の素数さん2005/07/04(月) 19:02:12

数学の本質に早く気づけよ。
0569１３２人目の素数さん2005/07/04(月) 21:01:44
>>563
皆が数学の本を簡単に読めると勘違いしているＤＱＮ発見！
0570１３２人目の素数さん2005/07/04(月) 21:02:29
図書館に行くだけで２時間かかるし、専門書置いてる本屋に行くには３時間かかるぞ。
0571１３２人目の素数さん2005/07/04(月) 21:07:17
未開の地に住んでる人の話などしていません
0572１３２人目の素数さん2005/07/04(月) 21:11:36
ホントは自分でも本質把握してないから、誤魔化して居るんだろｗ
0573１３２人目の素数さん2005/07/04(月) 21:32:17
>>571
学生でもない限り、参考書とか書籍を自由に見れる環境にはないだろ。
都会に住んでいて、比較的暇があるなら別だが。
0574１３２人目の素数さん2005/07/04(月) 21:35:18
>>559
微分形式と接続です、
どうでもいいけど、なぜゆえ質問に質問するんですか(^^;
しかも読んでる本教えてってだけなのに・・・
別な誰かと勘違いしていませんか？
ちなみに、あれが初カキコです。
0575１３２人目の素数さん2005/07/04(月) 21:41:34
amazonはどこへでも配送してくれると思うが．
離島とかならともかく．
05765762005/07/04(月) 21:42:16
√(576) = 24
0577１３２人目の素数さん2005/07/04(月) 21:42:22
>>573
いまどき自由に見れない人なんて居ねぇよ、アマゾンとか色々有るし
目が見えないとか、日本国民と思え無いほどに恐ろしく貧乏とか、普通じゃない環境の人だけだ。
家の爺さんの家は新聞が二日遅れで来るほど田舎だが、それでもADSLは通ってるし、もうじきケーブルテレビも来るらしいし、思いっきりネットにアクセスもできるわい。
0578１３２人目の素数さん2005/07/04(月) 21:43:13
>>574
質問の仕方くらいは自分で身につけてから出直しておいで。
自称初心者は免罪符でなく、叩けるいいターゲットｗ

ああ、俺も初心者に親切になったよなあ
0579１３２人目の素数さん2005/07/04(月) 21:45:28
>>578
あははははっ、そうですか。







変な人多いな・・・・
0580１３２人目の素数さん2005/07/04(月) 21:48:27
>>577
いまどき書籍などを自由に見れない人は、貧乏とか目の不自由な人とか
なんじゃなくて、頭の不自由な人なんだろう
0581１３２人目の素数さん2005/07/04(月) 21:52:16
買う前に自由に見られない人なら居るかも．
でもそれくらいのリスクくらい勘弁してくださいとしか言えないんだよなあ．
0582１３２人目の素数さん2005/07/04(月) 21:52:50
>>579
>変な人多いな・・・・
同感
05835572005/07/04(月) 21:57:33
どうでも良くないので良書知っている人いましたらマジで誰か教えてください。
この本誤植多いし死にそう・・・
0584１３２人目の素数さん2005/07/04(月) 22:09:22

数学に良書などというものはない。自分で考えよ。
0585１３２人目の素数さん2005/07/04(月) 22:11:50
誤植を直すといい勉強になるよ。セミナーには誤植の多い本を
選ぶという教授もいるくらいｗ だからそれは良書。



こんなこと書くから、変な人多いと言われるのかｗ
0586１３２人目の素数さん2005/07/04(月) 22:12:41
(^^←ｺｲﾂたぶん物理板荒らしてた奴
0587１３２人目の素数さん2005/07/04(月) 22:14:53
>>585
それが教授の本だったら突っ込み甲斐があるんだけどな
0588１３２人目の素数さん2005/07/04(月) 22:15:55
>>583
良書かどうかは知らんけど俺が３回のときの微分幾何の教科書↓
　
松本幸夫、多様体の基礎、東京大学出版
　
良書となると微分幾何とか専攻してておなじような内容の本を２冊３冊と読んで
読み比べたりしてないかぎりわからん。この本が良書なのかどうかはしらないけど
微分形式の定義とか基本的な計算はこれでできるようになったつもりではいる。
0589１３２人目の素数さん2005/07/04(月) 22:18:13
そろそろ
「結局お前らも分かってないんだろw」
とかそんな類の書き込みが来ると予測。
0590１３２人目の素数さん2005/07/04(月) 22:20:00
>>588
その本じたいは良書だが、ここで本質だの結論だの聞くだけの人が
読んでもわからないと思うｗ
0591１３２人目の素数さん2005/07/04(月) 22:20:40
>>589
>>572 にすでにある
0592１３２人目の素数さん2005/07/04(月) 22:20:43
>>587
確かに笑える
0593１３２人目の素数さん2005/07/04(月) 22:21:30
>>587
突っ込んだところで、うちの教授なら「教育的効果だよ」と
いなされる悪寒
0594１３２人目の素数さん2005/07/04(月) 22:21:44
というか松本幸夫が分からんならもう諦めたほうが良いだろ．
これより簡単な本なんて無いって．
0595１３２人目の素数さん2005/07/04(月) 22:22:10
結局お前らも分かってないんだろw
05965962005/07/04(月) 22:23:08
御苦労
５ ９ ６
0597１３２人目の素数さん2005/07/04(月) 22:23:32
本質なんて立場や思想で変わるしな。まずは本質を定義してもらわんと。
0598１３２人目の素数さん2005/07/04(月) 22:25:28
本質といえば真下耕一ｗｗｗ
0599１３２人目の素数さん2005/07/04(月) 22:44:29

おまえら数学板にいる割には数学できないんだな。
0600１３２人目の素数さん2005/07/04(月) 22:49:16
>>599
よく気付いたね。
0601１３２人目の素数さん2005/07/04(月) 22:54:54
>>599
数学板なんかにいるから数学できないんですよ
0602１３２人目の素数さん2005/07/04(月) 22:55:39
>>599
数学板は数学コンプレックスが凡人を罵るための板だからな。
本当に数学できるやつは来たとしてもちょっと覗いて見抜いて去っていくだけさ。
0603１３２人目の素数さん2005/07/04(月) 23:08:38
他者を罵りたいそんなあなたに↓

新･数学系質問掲示板の回答者への苦情
http://science3.2ch.net/test/read.cgi/math/1116936271/
06045572005/07/04(月) 23:08:52
>>588
あっ、どうもです。
他にも良い本あったら、またよろしくお願いします。
0605１３２人目の素数さん2005/07/04(月) 23:08:58
>>602

なるほどそういうことだったのか。道理でｗ
06066022005/07/04(月) 23:14:29
このスレで言えば、凡人が普通に本読んで微分形式を理解してることを、
数学コンプが本質本質うるさくして罵ってるつもりになってるわけ。

数学板ってそんなとこよ。
0607１３２人目の素数さん2005/07/04(月) 23:17:30
なーんか行動の奇妙な奴が暴れているなー
0608１３２人目の素数さん2005/07/04(月) 23:21:17
で、結論は？
0609１３２人目の素数さん2005/07/04(月) 23:21:26
で、本質は？
0610１３２人目の素数さん2005/07/04(月) 23:21:54
変な人多いな・・・・
0611１３２人目の素数さん2005/07/04(月) 23:23:04
変な人しかいないな･･･
0612１３２人目の素数さん2005/07/04(月) 23:24:31
微分形式だろ？
0613１３２人目の素数さん2005/07/04(月) 23:27:47
海はーしーにーまーすか
0614１３２人目の素数さん2005/07/04(月) 23:29:09
古くないか？
0615１３２人目の素数さん2005/07/04(月) 23:30:27
大人の怪談のーぼるー
0616１３２人目の素数さん2005/07/04(月) 23:56:09
6=1*6
0617１３２人目の素数さん2005/07/05(火) 00:56:33
は、これだけ煽っても本質でてこないってことは、本当は理解してないってことでＦＡ？
0618１３２人目の素数さん2005/07/05(火) 00:58:02
>>617
じゃあ問うが本質とは何か答えてみろ
0619１３２人目の素数さん2005/07/05(火) 01:05:35
だから本質に触れたいなら
MADLAXを見れというのに
エルダタルータ
サークスサーク
アークアルクス
0620１３２人目の素数さん2005/07/05(火) 01:10:21
>>617
各種論理の中でお前さんの理解できない部分の事を本質というんだよ
もちろん他の人には理解できるがね。
0621１３２人目の素数さん2005/07/05(火) 01:11:15
きっと本質は>>625が語ってくれることでしょう。
0622１３２人目の素数さん2005/07/05(火) 01:19:12
頼んだぞ>>625
0623１３２人目の素数さん2005/07/05(火) 01:24:45
さっきから何やってんだよ >>621-622
0624１３２人目の素数さん2005/07/05(火) 01:28:52
では書いてやる
0625１３２人目の素数さん2005/07/05(火) 01:29:02
本質ばかり問う奴の本質とは、奴は理解できないバカという事が分る事。
そして、現代日本でさえ書籍が揃えられないほど痴呆という事。
0626１３２人目の素数さん2005/07/05(火) 01:29:40
経済でいえばミクロのこと
0627１３２人目の素数さん2005/07/05(火) 01:30:13
つまんねー
0628１３２人目の素数さん2005/07/05(火) 01:32:05
>>626
そりゃ本質ではなくて基礎理論というのだと思う
0629１３２人目の素数さん2005/07/05(火) 01:33:59
>>625
もうちょっとましなことかけよ
0630１３２人目の素数さん2005/07/05(火) 01:39:52
まっ、理解する努力をしない者からは「本質」は逃げ回る物であって永久に捕まえられない物だからな。
0631１３２人目の素数さん2005/07/05(火) 03:03:15
で、本質は？
で、本質は？
で、本質は？
で、本質は？
で、本質は？
0632１３２人目の素数さん2005/07/05(火) 03:03:32
で、結論は？
で、結論は？
で、結論は？
で、結論は？
で、結論は？
0633１３２人目の素数さん2005/07/05(火) 03:17:38
で？
で？
で？
で？
で？
0634１３２人目の素数さん2005/07/05(火) 03:23:01
それ、なんて本質？
0635１３２人目の素数さん2005/07/05(火) 03:27:53
>>617
お前の煽り方が悪いんだよ。相手を怒らせて本質を引き出す
技術を身につけて来い。
0636１３２人目の素数さん2005/07/05(火) 03:30:26
写像が本質といえばじゃあ微小変位の意味は？
微小変位が本質といえばじゃあ微分形式は？
というﾙｰﾌﾟ　それが　数学板
0637１３２人目の素数さん2005/07/05(火) 03:38:03
で、数学板の本質は？
0638１３２人目の素数さん2005/07/05(火) 03:40:40
数学板の本質は崩れの怨念じゃないか
0639結論2005/07/05(火) 03:42:19
で、本質は崩れの怨念
0640１３２人目の素数さん2005/07/05(火) 03:44:38
で、本質は？
で、本質は？
で、本質は？
で、本質は？
で、本質は？
0641１３２人目の素数さん2005/07/05(火) 03:44:54
で、本質は崩れの怨念
で、本質は崩れの怨念
で、本質は崩れの怨念
で、本質は崩れの怨念
で、本質は崩れの怨念
0642１３２人目の素数さん2005/07/05(火) 03:48:03
本質っていうか
dxの定義とかならﾚｽ読めば普通に書いてあるわけだが
こりゃー頭の悪そうな高校生に粘着されちまったかな？
0643１３２人目の素数さん2005/07/05(火) 03:49:31
何言ってもで、本質は？しか言わないのに
話が先に進むわけ無いじゃん．
0644１３２人目の素数さん2005/07/05(火) 03:50:33
努力しないで負の感情撒き散らしてばかりいると精神病むよ
0645１３２人目の素数さん2005/07/05(火) 05:09:29
このスレ終わってるね。
0646１３２人目の素数さん2005/07/05(火) 08:01:46
>このスレ終わってるね。
もともとこんなしょうもない話題に過去スレが５つもあるんだから
いまさら書くことなんかなにもない。
微分形式なり超準解析なりすきなほうを勉強しろとしかいいようがない。
ただしどっちもそれなりの素養はいるので、こんなとこで
ぐだぐだいってる奴には理解するのは無理
0647１３２人目の素数さん2005/07/05(火) 08:34:21
と…ホントは理解もしてないくせに、大口を叩いていますな。
0648１３２人目の素数さん2005/07/05(火) 08:38:28
果てしない螺旋階段を上ると、そこは・・・・
0649１３２人目の素数さん2005/07/05(火) 09:52:27
>>646
>もともとこんなしょうもない話題に過去スレが５つもあるんだから

しょうもない話題とは言えない。誰でも勉強すれば定義はわかるだろうが、
ほんとに理解したかどうか。この話題をさらに追求するとDe Rahmの定理
まで行くことになる。
0650１３２人目の素数さん2005/07/05(火) 09:53:53
De Rhamだったかな。ドラームとカタカナにしとこう。
0651１３２人目の素数さん2005/07/05(火) 09:56:17
ドラームだって過去すれに何度もでてるよ
0652１３２人目の素数さん2005/07/05(火) 10:03:44
ここでぐだぐだいってる奴は定義すらわかってない。
だから過去すれが５つもある。

例えば
>>513
微分形式の資料みたけど…。
微分形式の式の定義　df=Σ∂f/∂x^i *dx^i （dfはfの全微分である）
なんて定義して、後は計算規則を延々書いているだけだろ。

資料っていったい？...
0653１３２人目の素数さん2005/07/05(火) 10:19:16
>>651
何度も出たからって説明されつくしたことにはならない。
大体、ここに書いてる人でドラームの定理の証明を理解してる
のっているのかな。因みに俺は完全に理解したとはとても言えない。
0654１３２人目の素数さん2005/07/05(火) 15:05:52
>>653
ドラームの定理について語りたければ語ればいいけどたぶん誰も望んでない。
そこまでいくと複素幾何スレのほうが適当
0655１３２人目の素数さん2005/07/05(火) 17:59:22
>>654
「望んでいる」「望んでいない」の問題だったのか？
0656１３２人目の素数さん2005/07/05(火) 20:56:20
まだ結論出せないヤシいるのか？
0657１３２人目の素数さん2005/07/05(火) 21:35:35
で、結論は？
0658１３２人目の素数さん2005/07/05(火) 21:42:05
今日読んでいた本で
ベクトルのベキを定義して、具体的には
a = ( a(1) , a(2) , a(3) ... a(n) )
x = ( x(1) , x(2) , x(3) ... x(n) )

で

x^a = ( x(1)^a(1) )*( x(2)^a(2) ) ... *( x(n)^a(n) )

ここで、下のように偏微分を定義していたんです

( ∂/∂x )^a = ∂^|a| / ( ∂x(1)^a(1) ∂x(2)^a(2) ... ∂x(n)^a(n) )

最初、絶対値の定義 |a| = a(1) + a(2) ... a(n) と a は非負整数ベクトルというのを見落としていて、
なんじゃこりゃベクトル階微分が定義されてるってびっくり仰け反ったんです。
結局ただの手抜き表記だと分ったんですが、ベクトル階微分なんてものを定義しているような物ってあるんですかね？
0659１３２人目の素数さん2005/07/05(火) 22:07:20
で、結論は？
0660１３２人目の素数さん2005/07/05(火) 22:36:24
dxはオペレーター
<dx>
0661１３２人目の素数さん2005/07/05(火) 22:45:43
dxはモナド
0662１３２人目の素数さん2005/07/05(火) 22:50:31
こことテンソルスレが本質合戦の主戦場だな
0663１３２人目の素数さん2005/07/05(火) 22:57:07
<∂>はオペレーター
0664１３２人目の素数さん2005/07/05(火) 23:02:17
<∂<∂>
0665１３２人目の素数さん2005/07/06(水) 05:37:13
<∂>∂> <∂<∂>
0666１３２人目の素数さん2005/07/06(水) 05:38:53
(d d) ←メガネっ娘
0667１３２人目の素数さん2005/07/06(水) 06:01:33
<∂>∂> <∂<∂> <∂>∂> <∂<∂> <∂>∂> <∂<∂>


0668１３２人目の素数さん2005/07/06(水) 07:14:58
(∂^^∂)
0669１３２人目の素数さん2005/07/06(水) 07:25:13
>>655
>「望んでいる」「望んでいない」の問題だったのか？
本質は？とかほざいてる奴にとってはそうだろ。
まっとうな数学的な話は望まずに、たんなるイメージを望んでいる。
0670１３２人目の素数さん2005/07/06(水) 07:52:18
それが悪い行為なのか？
全員が全員、数学者になる訳でもなし。少なくとも、「こういったイメージのモノを一般化したのが
これですよー」ってやる方が意欲に繋がると思うぞ。
06716492005/07/06(水) 11:26:01
どうも俺の書いたことを誤解してるな。要はそう簡単にわかった気に
なるなと言いたかったわけ。ドラームの定理は例として出したわけで、
それにこだわってるわけじゃない。
0672１３２人目の素数さん2005/07/06(水) 14:26:16
>>671
dxやdyを何と捉えるかって話なんだから深く立ち入った
ところまで理解する必要ないだろ。
06736492005/07/06(水) 18:05:02
>>672
理解する必要があるかないかという問題ではない。
>>649の前後を読め。
0674１３２人目の素数さん2005/07/06(水) 20:05:37
>>673
空気嫁
0675１３２人目の素数さん2005/07/06(水) 20:24:48
ああ、爽やかな空気が流れるような感じぃ

06766762005/07/06(水) 20:25:47
√(676) = 26
0677１３２人目の素数さん2005/07/06(水) 20:26:47
ん～　　ﾏﾝﾀﾞﾑ
0678１３２人目の素数さん2005/07/06(水) 20:40:37
dx=デシエッキス
0679１３２人目の素数さん2005/07/06(水) 20:53:14
1959年4月　丹頂株式会社へ社名を変更。
1970年4月にチャールズ・ブロンソンを広告キャラクターとして契約。
CMで「う～ん、マンダム」と話したことから、一躍流行語となった。
この流行語をきっかけに社名が1971年4月に「株式会社マンダム」と変更された。
0680１３２人目の素数さん2005/07/06(水) 20:58:50

「　あっ、あごに　なにかついてるよっ　」

「　えっ、ほんと　?　」　(　慌てて手をあごにあてる )

「　ん～　　マンダム～　・・・・　」

「　あっ、やられたっ　　　てへっ　」


って、お前ら　昭和何年生まれなんだっ　!

0681１３２人目の素数さん2005/07/06(水) 21:35:57
どらーむの話がしたくてしたくて仕方がなさそうな奴いるな
素直にそう書けよw
0682１３２人目の素数さん2005/07/06(水) 21:36:15
由美かおる、野際洋子、花菱あちゃこ、ばんじゅん、ふぶきじゅん
年代順に並べてください
0683１３２人目の素数さん2005/07/06(水) 21:41:09

ｿｸﾗﾃｽ、ﾌﾟﾗﾄﾝ、ｱﾚｷｻﾝﾀﾞｰ大王、ｷﾝﾆｸﾏﾝ

0684１３２人目の素数さん2005/07/06(水) 22:53:33
ソッソッソクラテスカ、プラトンかー。
ニッニッニーチェか、サルトルかー。
0685天才2005/07/06(水) 22:55:08

ｄｘはｄ（ｘ）なのだよ。分かるかね？
0686１３２人目の素数さん2005/07/07(木) 02:19:29
カーリー様万歳!!
関数に()つける奴はクズ
0687１３２人目の素数さん2005/07/07(木) 02:40:59
アホｗ
0688１３２人目の素数さん2005/07/07(木) 07:04:56
dx=dx()
0689１３２人目の素数さん2005/07/07(木) 07:05:33
サンセットルート７７
0690１３２人目の素数さん2005/07/07(木) 16:54:01
で、何か分かった？
0691１３２人目の素数さん2005/07/07(木) 18:51:17
>>690
皆理解してないって事が分かった。
0692１３２人目の素数さん2005/07/07(木) 20:42:51
いまごろ気付いたのか。
0693１３２人目の素数さん2005/07/07(木) 20:50:21
俺は理解してるけどな。
0694１３２人目の素数さん2005/07/07(木) 20:54:21
俺も自分で十分に納得できるまでは理解しているけどね
0695１３２人目の素数さん2005/07/07(木) 20:55:08
俺は誤解してるけどな。
0696１３２人目の素数さん2005/07/07(木) 20:58:10
とりあえず自分の使用する目的の範囲では、これ以上厳密にするのがばかばかしくなる程度には理解している
0697１３２人目の素数さん2005/07/07(木) 21:07:24
微少変位って事で「理解している」って言っているのね。なるほど。
0698１３２人目の素数さん2005/07/07(木) 21:10:47
それ以外、誰も説明しないじゃん。用語だして煙にまくだけ。チチンプイプイってな
0699１３２人目の素数さん2005/07/07(木) 21:26:52
というか微小変位として考えて都合の悪いことでもあるのか？
0700１３２人目の素数さん2005/07/07(木) 21:45:01
微小変位って何でつか？
0701１３２人目の素数さん2005/07/07(木) 21:47:19
びしょーへんい
0702１３２人目の素数さん2005/07/07(木) 21:47:33
そりゃ微小の変位ですよ。
0703１３２人目の素数さん2005/07/07(木) 21:50:04
俺は曲解してるけどな。
0704１３２人目の素数さん2005/07/07(木) 21:55:57
ほほえみこべにか？
0705１３２人目の素数さん2005/07/07(木) 22:00:46
オレは微小変異としての理解はできんかったな、いまだに分らん。
0706１３２人目の素数さん2005/07/07(木) 22:11:43
微分形式として理解しときゃ十分じゃないん？
よく超準解析とかなんとかでてくるけど、すげーマイナーな解釈な気がする。
うちの大学超準解析なんかやってるひといねーし授業はもちろんねーし。
うちの大学がDQNなんかもしれないけど他所の大学では当然のように開講してるの？
｢dxって何？｣って聞かれたら普通｢微分形式｣でいいんじゃねーの？
0707１３２人目の素数さん2005/07/07(木) 22:13:19
ふーん。
0708１３２人目の素数さん2005/07/07(木) 22:14:48
>>706
超準懐石はまだ理解ができていないけれど、やっておいたほうがイメージににあいやすい場合もあるし、
とりわけ超関数が関数に化けるのは便利だと思うけどね。
0709１３２人目の素数さん2005/07/07(木) 22:18:50
>>708
そんなもんかいな？俺は当面パス。基礎論とかいるみたいだし。
0710１３２人目の素数さん2005/07/07(木) 22:52:57

超準解析って超関数が関数に化けるの？
0711１３２人目の素数さん2005/07/07(木) 22:54:34
積分が級数に化けるから？
0712１３２人目の素数さん2005/07/07(木) 23:03:16
Keislerだったら基礎論いらんような
斎藤もほとんど基礎論の知識は要らないはず
Robinsonならいるけど
0713１３２人目の素数さん2005/07/08(金) 07:27:35
微分形式のほうが応用がききそう
超準解析は本をざっと見た程度だけど俺にはおもしろくなかった。
0714１３２人目の素数さん2005/07/08(金) 08:45:24
根本がわからないまま、どんどん応用するわけね。
0715１３２人目の素数さん2005/07/08(金) 12:39:37
>根本がわからないまま、どんどん応用するわけね。
だから接ベクトル場の双対だって。
なんか微分形式にトラウマでもあんの？
0716１３２人目の素数さん2005/07/08(金) 13:20:21
>>715
接ベクトル場の双対は１次微分。じゃあ高次微分(つまり多重交代形式)は
どういう意味があんの？
0717１３２人目の素数さん2005/07/08(金) 15:04:16
意味厨でたー

なんでいちいち意味がいるんだ？

多様体のようなよくわからんもので、微分形式を考えると
ベクトル空間なんで、いろいろ計算ができてそれによって
多様体の幾何的な性質がわかるってのが、微分形式の意義だろ

で、多重交代形式は文字通り、ベクトル空間の交代テンソル積だろ
0718１３２人目の素数さん2005/07/08(金) 16:09:32
意味があった方が「学習への意欲」が「圧倒的に違う」だろ。

Ｗｉｋｉｐｅｄｉａの微分の項を見ると…
http://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86

やはりdxって超準解析由来なんじゃないの？
0719１３２人目の素数さん2005/07/08(金) 17:56:17
まあ、「学習への意欲」面へ一切配慮がないのが「数学脳の恐怖」なのかもな。
0720１３２人目の素数さん2005/07/08(金) 18:22:55
すくなくともdfという記号が超準解析由来ってこたないだろ？微分幾何でつかわれてた
記号をそのまま使ったってのがホントのとこだろ。まあ超準解析なんか勉強したこと
ないからしらんけど。どっちかってとそのWikipediaの項書いた香具師がほんとに超準解析
勉強したことあるのかどうかすら疑わしい。超準解析ってなぜか言葉だけは有名に
なってるけど、数学の世界に登場したのがおそらくココ百年ぐらい、おそらく百年たってない
新参者だし実際それほど数学世界のいろんなとこにでてきていろいろ応用されてるって
実績もなさそうだし。ちっちゃいのならいくらかあるかもしれないが。だいたいともかく
せめて微分幾何の教科書ぐらいはよんでからにしろよ。wikipediaの話なんか鵜呑みにすんな。
0721１３２人目の素数さん2005/07/08(金) 18:51:03
>>717
だから、なんで多様体の幾何的な性質がわかるんだよ。
別に交代形式でなくてもいいじゃないか。
0722１３２人目の素数さん2005/07/08(金) 18:59:59
>>720
そう思うならキチンと説明しろよｗ
昔から使ってきたdxってのが、超準でキチンとした説明がつけられた…というので
いいんじゃないのか？
0723１３２人目の素数さん2005/07/08(金) 19:27:20
>>722
むかしからdxというのは微分幾何の時代からきちんと定義されてる。
超準解析なんか必要ねー
0724１３２人目の素数さん2005/07/08(金) 20:03:02
>>722
超準は実数を拡張してつくってるから、定義したというより別物なんじゃなかろか？
0725１３２人目の素数さん2005/07/08(金) 20:16:35
じゃあ
超準解析ｾﾞﾐでも開いて徹底的にやるか？
そんな暇人がどこにいる？
0726１３２人目の素数さん2005/07/08(金) 20:18:38
>>723
どうせ、式を示して「定義」と称しているんだろｗ
0727１３２人目の素数さん2005/07/08(金) 20:24:15
>>725
過去そういう話もでたんだけど結局盛り上がらなかった。超準解析ってマイナーすぎて
話もりあげようにも知ってる香具師が２チャンネラの中に少なすぎてどうにもならん。
まあ>>726みたいに微分形式すらしらないのもいるけど。
0728１３２人目の素数さん2005/07/08(金) 20:50:21
>>726
おいおいアタマ大丈夫か？
07297292005/07/08(金) 21:00:28
√(729) = 27
0730１３２人目の素数さん2005/07/08(金) 21:12:17
>>728
>>726 は煽ってなんとか情報を取ろうとしているが
ずっと失敗しているだけだよｗ 適当に煽って楽しめｗ
0731１３２人目の素数さん2005/07/08(金) 21:18:48
>>726
じぁ煽ってみる
超準解析を使うとだな、超関数が関数になって、ブラウン運動は酔歩運動になって、完全加法的測度は有限集合上の測度に化けるんだ、どうだ？とても初等的だろう。
ん、そもそも用語からしてどれ一つ分らないって？
死ねばー
0732１３２人目の素数さん2005/07/08(金) 22:04:59
とりあえず超準解析のこと超準と略すのは
かなり厨くさいのでやめたほうが無難ですよ．
Non-standard methodならまだ意味分かるけど．
これが出てきたのは1960年代頃なので，まだ
50年経っていません．それなりに応用はあるようですよ．
0733１３２人目の素数さん2005/07/08(金) 22:31:38
>>718
Wikipediaって、そのページ中身何も書いてないも同然ジャン。
0734１３２人目の素数さん2005/07/08(金) 22:43:15
一変数の微分に関してはそれなりに書いてあると思うが
0735１３２人目の素数さん2005/07/09(土) 02:14:12
でやはり超準解析なんかいな。
0736１３２人目の素数さん2005/07/09(土) 02:15:17
>>730
情報を取ろうとしているだって？情報ないんだろｗ
0737１３２人目の素数さん2005/07/09(土) 03:01:24
>>736
理解能力がない君には情報はないのと一緒だね
0738１３２人目の素数さん2005/07/09(土) 05:29:14
>>736
お前はただ煽っているだけだろ
0739１３２人目の素数さん2005/07/09(土) 05:30:59
「数学を理解する」ことがどういうことか
根本的にわからない人っているんだよなー
0740１３２人目の素数さん2005/07/09(土) 07:48:20
>>734
高校教科書の出来の悪いクローンでしかないｗ
0741１３２人目の素数さん2005/07/09(土) 07:52:54
Wikiの微分の項でそんなにオリジナリティ
発揮されてもどうかと思うが
逆に高校教科書以上の部分は，今のままでは
単なる蛇足だと思う
0742１３２人目の素数さん2005/07/09(土) 08:00:38
極度に蛇足を嫌うのは数学書の悪い癖

もちろんやたら冗長なのはいただけないが
0743１３２人目の素数さん2005/07/09(土) 09:30:59
いや書くなら書くでもっときちんと書けばいいのに，
単子や標準部分函数の定義も無しに，式だけ書いたり
微分形式の項は項目だけ書いたり．
0744１３２人目の素数さん2005/07/09(土) 12:22:24
>>741
結局なんだかんだ言ってそれが結論だなｗ
0745１３２人目の素数さん2005/07/09(土) 14:02:35
>>737
俺以外の書き込み見ても、すっきり解決とはとても言えない気がするのだが…。
0746１３２人目の素数さん2005/07/09(土) 15:02:04
>>745
お前の書き込みってどれだよw
0747１３２人目の素数さん2005/07/09(土) 15:29:56
匿名掲示板にあるべからざるレスだなｗｗｗ
というか自分で勉強するのが一番の近道ですね
0748１３２人目の素数さん2005/07/09(土) 15:52:37
>>747
で、具体的に「どの本」に書いて居るんだｗ
それさえ、このスレでは明らかにならなかったぞ。
0749１３２人目の素数さん2005/07/09(土) 15:53:27
大学生じゃないんだから、そう簡単に専門書を比較検討して購入できる状況
じゃないわな。
0750１３２人目の素数さん2005/07/09(土) 15:58:56
フランダースとかどうなんだろう？
0751１３２人目の素数さん2005/07/09(土) 16:08:32
>>749
大学生じゃないならそれらしい書籍全部買えよ、もしくは仕事しろ
0752１３２人目の素数さん2005/07/09(土) 16:15:43
>>749
地方の小都市に住む中高生？
0753１３２人目の素数さん2005/07/09(土) 16:16:47
>>751
つまり、自分でもどの本に明記されているか、分からないとｗ
ふーん。
0754１３２人目の素数さん2005/07/09(土) 16:20:40
>>750

H.フランダース『微分形式の理論およびその物理科学への応用』(岩堀長慶訳)岩波書店(1967)、Differential Forms, Academic Press by H.Flanders(1967)

これ？
0755１３２人目の素数さん2005/07/09(土) 16:23:56
AMAZONの書評ね。

最近は、微分形式理論の数学以外の自然科学への応用がさかんになっているためにこの本と
類似の内容を持つ本は多い。しかし、現代的な入門書は、外積、多様体あるいは微分形式とは
何かを（非専門家には）洗練された仕方で書いたものが多く、初学者には分かりにくいことが多い。
その点、フランダースはそうした基礎付けを最小限度にとどめ、微分形式というものがどのように
応用されているかを垣間見せてくれている。本格的に勉強しようとする人は、もっと分厚い、厳密
な本を読まねばならないが、この本を読んでおけば最初の章で力尽きることはないと思う。

＊＊＊＊
基礎付けは最小限にすませ、応用面から微分形式の正体を知ろうってコトかいな。
0756１３２人目の素数さん2005/07/09(土) 16:26:18
ふーん。結構古い本みたいだが…。どうなんだろうね。
0757１３２人目の素数さん2005/07/09(土) 16:40:06
>>754
さいです
0758１３２人目の素数さん2005/07/09(土) 16:40:40
>>753
煽ったって答えてあげない
0759１３２人目の素数さん2005/07/09(土) 16:49:22
明記って何を明記するんだ？
少なくとも数学的な定義や定理などのステートメントは
題名に微分形式という言葉が入っているなら
絶対に書いてあるはずだが
0760１３２人目の素数さん2005/07/09(土) 16:54:40
脳が腐ってるから明記されている部分が分らないんだよ、だから何を読んでもムダなんだ
0761１３２人目の素数さん2005/07/09(土) 18:30:22
>>758
答えられないだろ。正直になれよｗ
煽っても期待してないから、気にしないぞｗ
0762１３２人目の素数さん2005/07/09(土) 18:33:33
>>759

http://www7.ocn.ne.jp/~kawa1/DIFFORM.PDF
↑微分形式入門

本質どこに…。
0763１３２人目の素数さん2005/07/09(土) 18:46:06
もしかして定義1.1とか定理1.5みたいに
本質2.3とか書いてある本を探してるのか？
そんな本ねーよ
大体全ての数学的概念に～の本質は～である，
みたいな解説があるとおもってるのがそもそもの間違い
0764１３２人目の素数さん2005/07/09(土) 19:25:23
>>763
それは分かっている。その上で、本質は何かと聞いているんだ。
理解しているんだろ？
0765１３２人目の素数さん2005/07/09(土) 19:34:26
「線形代数と特殊相対論」前原昭二 著　数セミ増刊

がお勧め
0766１３２人目の素数さん2005/07/09(土) 21:12:03
>>761
聞いたってわかんないって、お前の脳味噌腐ってるから
0767１３２人目の素数さん2005/07/09(土) 22:07:24
ここで本質本質言ってる奴は必ず
大学の微積分とかでも
アルキメデス完備性の本質は何ですか，一様収束性の本質はなんですか
とか聞いて教官を困らせるんだろうなあｗ
0768１３２人目の素数さん2005/07/09(土) 22:30:12
そもそも、本質が一言で説明できるならどの本にも「本質はこれこれです」
って書いてあるよな。それがないんだから、一言で説明できないってことだ。
0769１３２人目の素数さん2005/07/09(土) 22:42:39
>>767
大学教授だったら、それを述べる力量が必要なんじゃないのか？

>>768
長々と述べれば良いだろ。歴史的経緯からどのようにその理論が発展してきたか
時代を追って説明すれば良い。
0770１３２人目の素数さん2005/07/09(土) 22:53:18
>>769
レスしたら必ず
で、本質は？
と返してくる人には例え歴史的経緯，純数学的な意味など
よく分かっている人が居たって答えたくなくなると思いますが．
詳しく時間掛けて説明した後にその言葉が返ってきたら嫌ですから．
Web上の掲示板で質問に答える人で偉そうな人が多いのは分かりますが
その態度ではいけませんよ．
0771１３２人目の素数さん2005/07/09(土) 23:00:35
>>770
そうかも…反省。でも、こっちも煽られているからねー。

いや、条件は同じか…。
でも…ホントに詳しい人いるのかーって考えもふつふつ沸いてくるんですけど…。
0772１３２人目の素数さん2005/07/10(日) 00:02:49
とりあえずは、リーマン面の微分を考えると良いんではないかと思う。
位相的性質に関ってることもわかるし、函数を微分すると出てくるし。

まあ、それが本質かどうかというと違うだろうが。
0773１３２人目の素数さん2005/07/10(日) 00:05:16
でも、その前に正則函数が分からんで終わるか。
0774１３２人目の素数さん2005/07/10(日) 05:05:27
本質というのは人それぞれ違う物を見ていると思うな、
勉強するにしても、漠然とでも一応目的があって、それをうまく説明するものが本質といえる思うんだ。
何故うまくいくのかというのを知りたい人と、微分という概念やその類似概念の持つ共通の性質を探している人では
まったく違う物を見ている気がする。
たとえば、このスレにいるとりあえず本質は？と問う奴は、バカでも分かる解説が本質なんだろうが、そんな物があるとは思えない。
0775１３２人目の素数さん2005/07/10(日) 09:20:02
>>774
バカでもわからない部分が当然あることは理解しているよ。分かる部分だけを示し、
それ以外の部分もあることを明言してくれれば良いだけ。
0776１３２人目の素数さん2005/07/10(日) 10:51:06
だから線形化だって
0777７７７2005/07/10(日) 20:22:55

コホモロジー化の一種だろ？
0778１３２人目の素数さん2005/07/10(日) 21:14:20
綺麗に>>772はスルーするわけだが。。。
0779１３２人目の素数さん2005/07/10(日) 21:17:55
リーマン面の微分とか関係ないから
0780１３２人目の素数さん2005/07/10(日) 22:21:00
>>771
数学板に腐るほどいる崩れ博士でも、微分形式ていどは十分理解
しているのだよ。

だいたい「微分形式に詳しい」なんて言うほうがおかしい。
「一様収束に詳しい」「一次独立に詳しい」なんて人がいないように
微分形式は学部数学の標準的内容で、別に「詳しく」なるものじゃない。
「有限単純群に詳しい」「カラビヤウ多様体に詳しい」人というなら
意味があるけど。

こう書くと、「本質を述べられないからおまえは崩れているんだろ」とか
返ってきそうなんで、真面目にレスする気にならんだけ。
掲示板で質問しても、まともな返事が返ってこない、煽られるだけ
がデフォルトくらいの覚悟ないと、２ちゃんを使うのは無理だよ。
0781１３２人目の素数さん2005/07/10(日) 22:22:14
無責任なレスって　いいよね
0782１３２人目の素数さん2005/07/10(日) 22:28:59
>>779
関係ないってことはないんじゃね？
リーマン面⊂多様体
なんだから。
0783１３２人目の素数さん2005/07/10(日) 22:35:13
>>780
それはそうだ。でも、腐れ２ｃｈでもたまに光る発言があるから、それを期待しているだけ。
微分形式は誰でも使うし、俺もたまにつかうｗ　でも本質分かってない。それが分かるような
「詳しい人」が居ればいいなと…。
0784１３２人目の素数さん2005/07/10(日) 22:41:41
つうかホントに２チャンネラ煽って微分形式の簡単な解説教えてもらおうとしてたのは
最初の内だけなんじゃないの？最近のは本質本質っていってたらなにかと反応返って
くるのを楽しんでる釣りじゃないの？
0785１３２人目の素数さん2005/07/10(日) 22:43:41
それは答える側も同じだろう。最初の内は教えるのが目的だったのかもしれんが
今では反応を愉しんでるだけじゃないかな。
0786１３２人目の素数さん2005/07/10(日) 22:48:54
>>782
微分はリーマン面固有のものじゃないから。
リーマン面だけに関連付けても意味ないよ。
0787１３２人目の素数さん2005/07/10(日) 22:54:17
>>786
そんなことは無い。本質を知るにはまず具体例から入るのが有効だろう。
0788１３２人目の素数さん2005/07/10(日) 23:07:09
>>787
で、本質は分かったの？
0789１３２人目の素数さん2005/07/10(日) 23:10:20
>>785
おまえ、するどいな。俺は >>179 以降は、勉強に行き詰った時に
このスレ見ては適当に煽りを入れてるだけだｗ
0790１３２人目の素数さん2005/07/10(日) 23:15:33
>>788
さあねえ。
0791１３２人目の素数さん2005/07/10(日) 23:19:44

だから、ｄｘ＝ｄ（ｘ）だと言っておろうが。
0792１３２人目の素数さん2005/07/10(日) 23:22:10
>>789
という事は行き詰りっぱなしなんでつねw
0793１３２人目の素数さん2005/07/10(日) 23:52:23
リーマン面＝サラリーマンが持ち合わせている１面
0794１３２人目の素数さん2005/07/11(月) 01:45:29
上達のコツを伝授するスレ
http://science3.2ch.net/test/read.cgi/math/1120993070/
0795７７７2005/07/11(月) 21:28:10

いい加減 ｄｘ の本質に気づけよ。
0796１３２人目の素数さん2005/07/11(月) 23:25:41
dxとね、dyもね、ちょっとなの。これがまたねほんのちょっと。しかもね
xやyに依存してるちょっとなのね。だから変数にいぞんしながらちょっと
なわけ。ちょとはわかった？
0797１３２人目の素数さん2005/07/11(月) 23:51:40
>>796
で、その「ちょっと」の本質は？
0798１３２人目の素数さん2005/07/12(火) 00:11:12
本質もくそもあるか、たこ。ライプニッツがそう書くと便利だからそう書いてるだけだよ。
微分形式うんうんかんぬんか後から湧いてきた話だ、たこ。
0799１３２人目の素数さん2005/07/12(火) 00:16:47
釣りかな～？
0800１３２人目の素数さん2005/07/12(火) 00:17:02
dx:座標xでの微小変化量。
0801１３２人目の素数さん2005/07/12(火) 00:38:17
もう元の人は本質とか言ってないと思うけど

中学生に二次式の本質って何ですか？
因数分解の本質って何ですか？

と言われることを考えたら一寸分かるかも
0802１３２人目の素数さん2005/07/12(火) 00:47:22
もう本質ヤロウはひたすらウザイよ
0803１３２人目の素数さん2005/07/12(火) 02:54:36
つまり、お前らは誰一人本質が答えられないわけねｗ
0804１３２人目の素数さん2005/07/12(火) 03:22:51
>>803
二次多項式の本質はなんですか？

ってもういいよこの話題は
0805１３２人目の素数さん2005/07/12(火) 03:24:29
>dx:座標xでの微小変化量。
dx:高位の無限小を無視した座標xでの微小変化量。

これが本質です

↓反論
0806１３２人目の素数さん2005/07/12(火) 03:24:49
>>803
お前用の本質はそもそも存在しないから無理だ、諦めろ
ほかの人たちが自分の中に思っている本質は理解しているだろうよ。
0807１３２人目の素数さん2005/07/12(火) 03:27:03
因みにこういう本があるね

dxとdyの解析学―オイラーに学ぶ
高瀬 正仁 (著)
http://www.amazon.co.jp/exec/obidos/ASIN/4535783039/qid%3D1121106276/249-3574536-6194743

これで○○が分かるようになるかと言えば
そんなことは無いと思うが
0808１３２人目の素数さん2005/07/12(火) 03:29:45
>>803
要するにバカの803が、これで判った、なるほど本質だって思える説明だろ？
そんなもんこの世にねーよ
0809１３２人目の素数さん2005/07/12(火) 07:10:02
>>805
＞dx:高位の無限小を無視した座標xでの微小変化量。
　
いくらなんでもこれはウソだろ？dxは座標xでの微小変化量じゃなくて
座標関数xの微小変化量だろ？強いて微小変化という言葉をつかうなら。
そもそも微分形式は｢座標～での｣という言葉を追放することに大きな
ポイントがあるんだから。
･･･俺、釣られたのかな？
0810１３２人目の素数さん2005/07/12(火) 07:19:34
釣れたか新人
イカでした
0811１３２人目の素数さん2005/07/12(火) 09:25:30
微分形式って結局、その積分が考えられるとこに存在意義(本質とか意味と言ってもいい)
がある。その積分が座標変換で不変なことを保障する為に(高次微分形式の場合)
交代性が要求される。
0812１３２人目の素数さん2005/07/12(火) 12:11:41

積分が座標変換で不変なことと微分形式が交代的なのは同値？
0813１３２人目の素数さん2005/07/12(火) 13:09:18
>>812
向き付け可能な多様体の場合ならそうなる。向き付け不能の場合は
微分形式の定義を少し変える。
0814１３２人目の素数さん2005/07/12(火) 15:28:01
符号とかが変わるんですか？
0815１３２人目の素数さん2005/07/12(火) 15:50:05
そう
0816１３２人目の素数さん2005/07/12(火) 16:07:22
>>550の内容の詳しい解説キボンヌ。学部三年レベルできぼん

550 ：１３２人目の素数さん ：2005/07/04(月) 06:12:18
微分形式って非常に代数的な道具だけど、解析学的には積分なんだよね。
全微分って微分形式っぽいけど実際には適当なパラメータで微分して
はじめて具体的な解析学の対象を描き出すんだよね。
1変数だとあんまり違いわかんないよね。曲線論や曲面論をちょっと
まじめに勉強してみるとおもしろいね。
微分のdy/dxと全微分や微分形式のdxとかdyって別に関係ないんだって
何で納得しようとしないのかなあ。ライプニッツの記号がたまたまいい
感じに関係式を記述するのに使えたってだけなんだよね。
0817１３２人目の素数さん2005/07/12(火) 16:21:42

>>815　Danke!
0818１３２人目の素数さん2005/07/16(土) 12:47:32
だからさ、ちょっとの事を言ってるだけなんだよ、ちょっとなんだって
0819１３２人目の素数さん2005/07/17(日) 12:57:32
age
0820１３２人目の素数さん2005/07/17(日) 13:31:03
結局完全に分かっているヒトは居ないってことで…ＦＡ？
0821１３２人目の素数さん2005/07/17(日) 14:38:34
で、本質は？
0822１３２人目の素数さん2005/07/17(日) 18:26:16
上の方に書いてやっただろ？
0823１３２人目の素数さん2005/07/17(日) 22:12:30
完全に分かってるのは神だけだろうな。
0824１３２人目の素数さん2005/07/18(月) 18:33:33
本質厨が満足するような本質を教えるのは神でも無理だろうな。
0825１３２人目の素数さん2005/07/18(月) 20:26:37
いやいや、神は全能だからしてそれくらい簡単なんじゃね？

どっちにしろ人間にはむりぽだけど。
0826１３２人目の素数さん2005/07/18(月) 22:09:49
>>825
少なくとも能力値が実数の範囲では無理だな。
0827まだ分からんのか2005/07/18(月) 23:03:24
本質は上の方に書いてあるだろ？
0828１３２人目の素数さん2005/07/18(月) 23:13:16
本質ってのは属性からの抽出で行われ、しかもしばしば見方や立場、文脈によっ
変化していく事
なんだがなー、こいつらに言っても仕方ないなきっと。
0829１３２人目の素数さん2005/07/18(月) 23:16:15
「本質厨が満足するような本質」なんて、
どんな文脈でも存在しないからな
0830１３２人目の素数さん2005/07/18(月) 23:17:28
実際には本質で無いとしても、本質厨が満足する事はありうる。
0831１３２人目の素数さん2005/07/18(月) 23:47:17
だからさ、「ちょっと」の事なんだってば
0832１３２人目の素数さん2005/07/18(月) 23:53:17
無限少（ちょっと）の事なんだって。ただ拘束条件がつくとこの無限少同士で計算ができるのね。
そんだけ。

無限大でも通常は計算なんかできないのは皆さん御存知の通りです。無限少も同じだが、
ただ、ここに拘束条件が入ってくるとそれが出来る様になるのね。そんだけなんだがなー。
0833１３２人目の素数さん2005/07/18(月) 23:58:36
>>832
で、「本質厨」「本質厨」と煽っている人たちは、これが「本質」だとしてＯＫなんですか？
これで良いの？
0834まだ分からんのか2005/07/19(火) 00:07:19
「ちょっと」とか「無限小」とか言ってるようじゃぜんぜん駄目だな。
0835１３２人目の素数さん2005/07/19(火) 00:09:20
>>833
本質厨が満足さえすりゃあ、なんでもいいんじゃないの？ｗ
0836１３２人目の素数さん2005/07/19(火) 00:11:56
説明する相手の語彙の世界の言葉で説明しないと「説明」になんないんだよ。
この意味で>>834は知識馬鹿。
0837１３２人目の素数さん2005/07/19(火) 00:29:36
相手の語彙を使ってるんだろうがそうでなかろうが、>>832じゃぜんぜん駄目な事には変わりないわけだが。
0838１３２人目の素数さん2005/07/19(火) 00:30:50
じゃ、どうぞ、あなたから、言ってみ？
0839１３２人目の素数さん2005/07/19(火) 00:32:18
「だったらお前がやれよ」厨ｷﾀｰ
0840１３２人目の素数さん2005/07/19(火) 00:35:50
いや、厨って言うより、それは当然な話。
0841１３２人目の素数さん2005/07/19(火) 00:36:21
果てしなく続くな、このループ
0842１３２人目の素数さん2005/07/19(火) 00:38:07
微小変化量でいいんじゃないの？
全く知識が無く、初めてこれを見る学生にそれ以上どう言った説明をしてみたいんだか？
0843１３２人目の素数さん2005/07/19(火) 00:38:59
コホモロジーで講釈たれてみたいんだろ
0844１３２人目の素数さん2005/07/19(火) 00:40:27
そもそも一言で説明は無理。という立場もある。
0845１３２人目の素数さん2005/07/19(火) 00:42:15
馬鹿なんじゃねえの？dxもdyもなんかイメージできねえんだ、オラ
って洟たらしてる方を御相手にして
なぜにコホモロジー？なぜに超順解析？なぜに微分形式？
0846１３２人目の素数さん2005/07/19(火) 00:43:33
dxもdyもなんかイメージできねえんだ、オラ
って洟たらしてる方を御相手に・・・したくないよ
0847１３２人目の素数さん2005/07/19(火) 00:44:30
もっとも、どうもdx,dyってよくイメージできなかったけど、超順解析でやっと納得できた
という馬鹿は数学向きな方にはありそうな話。
0848１３２人目の素数さん2005/07/19(火) 00:46:44
数学をやってる人は「ウソも方便」という言葉を忘れがち。
0849１３２人目の素数さん2005/07/19(火) 00:50:17
ちょっとしたｘ
ちょっとしたy
これらをちょっとすると微分です。
微分はちょっと分けてみた　みたいな話です。

これらのちょっとをたくさん集めると積分です。
積分は積もるぐらいたくさん集めた　みたいな話です。
0850１３２人目の素数さん2005/07/19(火) 00:57:30
どうかな、こう今>1を読んで、「量」だなって思った。
ｘ軸とｙ軸が数直線としてそれぞれ単独で存在してこれらに関数関係があると、
んで、それぞれ微少量が対応していると。なんかめんどくせーな。
質問者によるよ。そいつにどう説明したら一番いいかはそいつに依存する。
0851１３２人目の素数さん2005/07/19(火) 01:00:36
質問者による、とか当たり前の事言っちゃったらスレ終わっちゃうだろ。
0852１３２人目の素数さん2005/07/19(火) 01:03:36
でも、正直、最初からdxとかdyって単独で存在する量だってやっといた方が
エロエロ便利だと思いはします。
0853１３２人目の素数さん2005/07/19(火) 01:06:52
球の方程式を微分しましょう。
x^2+y^2=r^2
2xdx+2ydy=0
dy/dx=-x/y
うん、便利。
0854１３２人目の素数さん2005/07/19(火) 01:19:37
それはｶﾅｰﾘ例外的な場合の気もするが。
0855１３２人目の素数さん2005/07/19(火) 01:24:18
例外ではない。
>>853の計算はつねに正しい。
0856１３２人目の素数さん2005/07/19(火) 01:28:15
わかんないな。積分の厳密な定義だってルべーグ積分。
微少量の厳密な定義なら超順解析。

今、ざっと頭の方読んだら、質問者は天下り的説明がなんか納得いかないらしい。
しかしな、数学だってとりあえず進んどくって言うのは、よくあるんじゃないかな。
論理式だって後から学ぶ訳だし。
もっと深刻な後ずけはたくさんあるしな。
0857１３２人目の素数さん2005/07/19(火) 01:30:59
いやいや三次元以上になったら困るだろう。
0858１３２人目の素数さん2005/07/19(火) 01:32:56
x^2+y^2+z^2=r^2
2xdx+2ydy+2zdz=0
∂z/∂x=-x/z, ∂z/∂y=-y/z
うん、便利。
0859１３２人目の素数さん2005/07/19(火) 01:34:20
で、微分形式。
0860１３２人目の素数さん2005/07/19(火) 01:36:47
後140で誰か総括して
0861１３２人目の素数さん2005/07/19(火) 01:37:20
>>858
どういう計算だよ。
0862１３２人目の素数さん2005/07/19(火) 01:39:00
>>861
はぁ？
0863誰か2005/07/19(火) 01:40:48
総括「で、本質は？」
0864誰か2005/07/19(火) 01:41:47
総括「で、結論は？」
0865１３２人目の素数さん2005/07/19(火) 02:02:04
あれなんじゃないの。平面の距離の定義とかするじゃん。ds=～～
だからさ、線の距離の定義だとか思ってりゃいいじゃん。
0866１３２人目の素数さん2005/07/19(火) 02:04:45
すべては>>853と>>858の計算で尽くされている。
これが「本質」かつ「総括」。

微分形式とか超準解析とかは後知恵。
0867１３２人目の素数さん2005/07/19(火) 02:04:56
いろんな長さの取り方をする軸があってこれらの無限少量にそれぞれ
いろんな対応があります。

で、dxは軸xにおける無限少量の事。で、無限少量はいかなる長さよりも小さい長さの事。
0868１３２人目の素数さん2005/07/19(火) 02:07:52
ああ、って言うか、この世界の長さはこっちの世界の長さとはこう対応しますって説明。
0869１３２人目の素数さん2005/07/19(火) 02:09:51
dxってハール測度としてのルベーグ測度のことじゃねーの？
0870１３２人目の素数さん2005/07/19(火) 02:09:53
やっぱりだから、「ちょっと（無限少量）」でいいいんじゃないの？
最初のイメージも限りないちょっとだったんだろうし。
0871１３２人目の素数さん2005/07/19(火) 02:16:13
こうしてみると、lim　使った説明がとてもわかりずらく感じる。
0872１３２人目の素数さん2005/07/19(火) 08:52:57
よし、この際常識はいっさい除いて
定義しなおすぞ！！
0873１３２人目の素数さん2005/07/19(火) 15:52:30
やれるものならやってみろｗ
0874１３２人目の素数さん2005/07/19(火) 20:26:57
>>872

常識的なことすら知らないで何ができるのかな？
0875GiantLeaves ◆6fN.Sojv5w 2005/07/20(水) 07:35:13
「超順解析」って何？
0876１３２人目の素数さん2005/07/20(水) 10:03:03
>>866
>微分形式とか超準解析とかは後知恵。
数学理論すべてが後知恵ですが...
0877１３２人目の素数さん2005/07/20(水) 21:10:36
>875
順序はわかりますね。解析もきっとわかりますね。
超もわかってるんでしょう。多分。
「順序だけでは物足りずに超順序も考えて解析しようやって言うお話です。」
真面目に言えば無限も計算できる数体系にしようやってお話です。
見た目は超おもしろい。
0878１３２人目の素数さん2005/07/20(水) 21:17:08
数学が後知恵のわけないだろ？
0879１３２人目の素数さん2005/07/20(水) 21:18:28
dx=Σe^indx
0880１３２人目の素数さん2005/07/20(水) 21:21:23
本質厨は本当に醜いね！ｄｘの本質って、微少変位以外あり得ないだろ。
以上終了！！
0881MathStarbMasterb ◆27QTQsYmvQ 2005/07/20(水) 21:35:57
あげ
0882１３２人目の素数さん2005/07/20(水) 21:36:24
微少って極限操作でしょ
0883１３２人目の素数さん2005/07/20(水) 21:41:15
微小変位として考える事もできるがいいな
でないと超準解析まで行かないと気持ちの悪い事になる、
が、しかし超準解析はとても難しい、超おもしろいけど・・・。
0884１３２人目の素数さん2005/07/20(水) 21:42:44
>微少って極限操作でしょ
有限値が出るならそうだろうが、無限小は極限ではないだろ。
0885１３２人目の素数さん2005/07/20(水) 21:44:46

なんで極限とか微小変位とか超準解析にこだわってんの？
0886１３２人目の素数さん2005/07/20(水) 21:54:28
df/dxはlimf(x+h)-f(x)/h　h->0
0887１３２人目の素数さん2005/07/20(水) 21:57:36
>>885
「微少な」とか「極めて近い」とかいうきわめて曖昧な用語をとりあえず「使わなくても良い」
ようにεδ論法を構築したはずなのに、ｄｘとかではずーーーーっと居座っているから…。

やはり最終的には超準解析に頼るのが本来の道なのか…。微分形式ってのは計算法の
規則をまとめて、バリバリ計算する学問分野みたいだしねぇ…。
0888１３２人目の素数さん2005/07/20(水) 22:05:43
>居座っているから
嘘付け
知らんこと想像で語るな
0889１３２人目の素数さん2005/07/20(水) 22:06:41
"df/dx" = lim f(x+h)-f(x)/h　h->0
ここで
df = "df/dx" dx = ( lim f(x+h)-f(x)/h )dx
と定義する、シンプル、分りやすい、微小変位とか持ち出すな。
dx 分のdf なんて考えるな、df/dxは不可分、一体成型。
式は接線を意味して、dx df を x f とすると接線の方程式となる。
すべて有限の実数、幾何学的説明も十分、微小など奇抜は発想は一切なし。
これが初心者には一番分りやすい。
0890１３２人目の素数さん2005/07/20(水) 22:08:29
いやまあしかしルベーグ積分に到っても∫fdxと書いてるのは「居座り」と言われてもしょうがない気がする。
微分形式は微分形式でまた全く違う意味を持ってるけどね。
0891１３２人目の素数さん2005/07/20(水) 22:20:47
>微分形式ってのは計算法の
>規則をまとめて、バリバリ計算する学問分野みたいだしねぇ…。

学問分野にｷﾞｶﾞﾜﾛｽ
0892１３２人目の素数さん2005/07/20(水) 22:28:21
おまえら超準解析も微分形式もぜんぜん理解できてないじゃん？
0893１３２人目の素数さん2005/07/20(水) 22:29:03
hdf/dx=limf(x+h)-f(x)
保型函数みたい
0894１３２人目の素数さん2005/07/20(水) 22:29:32
ルベーグ積分のεδ論法ってなに？
0895１３２人目の素数さん2005/07/20(水) 22:37:25
それをでっち上げた人に聞いてください
0896１３２人目の素数さん2005/07/20(水) 22:40:21
本質厨の粘着の仕方が変ってまいりました
0897１３２人目の素数さん2005/07/20(水) 22:42:42
ルベーグ積分はただいま勉強中なんで良く分からないんですが
可測集合と測度に綺麗に分かれて、何処に使われるのかちょっと不思議に思ったので。
0898１３２人目の素数さん2005/07/20(水) 22:43:08
いやルベーグ積分のεδ論法なんてものは無いだろ
>>894の脳内には在るのかもしれないが
0899１３２人目の素数さん2005/07/20(水) 22:51:47
>>898
おれの脳は今のところ存在しないよ、現状見たこと無いし >>890 をみてなんだそりゃ？
と思ったので・・・・
0900１３２人目の素数さん2005/07/20(水) 22:52:14
>>892
じゃ君が理解できているトコをどうぞｗ
0901１３２人目の素数さん2005/07/20(水) 22:54:13
εδ論法の本質ってなんですか？
0902１３２人目の素数さん2005/07/20(水) 22:58:22
>>901
集合論もなにも知りませんという状態で頑張って極限値という概念を定義してみました
だと思うが、よー知らん。
0903１３２人目の素数さん2005/07/20(水) 23:20:52
>>899の脳が存在しないことについて↓
0904１３２人目の素数さん2005/07/20(水) 23:29:48
>>902
集合論はなきゃダメだろ。εδ論法ってのは曖昧だった数学の用語を集合論を使ってまあ厳密に
再構築したもんだろ。
0905１３２人目の素数さん2005/07/20(水) 23:32:15
おいおい不等式しか使わんだろ
順序集合一般で極限を考えたいとかいうなら分かるが
0906１３２人目の素数さん2005/07/20(水) 23:32:50
因みにWeierstrassはCantorより大分時代が先行してるからね
0907１３２人目の素数さん2005/07/21(木) 00:03:42
>>905
そっか…。
0908１３２人目の素数さん2005/07/21(木) 00:44:39
おまえら数学の才能まるでないようだな。
0909１３２人目の素数さん2005/07/21(木) 00:46:16
>>908
さすが才能に溢れるレスだな
0910１３２人目の素数さん2005/07/21(木) 00:56:14
>>909
だろ？
0911１３２人目の素数さん2005/07/21(木) 00:59:49
だいたい超準解析とか無限小とか本質にぜんぜん関係ないから。
0912１３２人目の素数さん2005/07/21(木) 02:29:21
あまり本質本質言ってるとマドラックスになっちゃうぞ
0913１３２人目の素数さん2005/07/21(木) 13:14:22
ﾔﾝﾏｰﾆ
0914１３２人目の素数さん2005/07/21(木) 13:17:46
http://www.amazon.co.jp/exec/obidos/ASIN/4535783039/250-9412357-1907453
こりは？
0915１３２人目の素数さん2005/07/21(木) 17:00:54

何の益にもならんｗ
0916１３２人目の素数さん2005/07/21(木) 19:44:06
読んだヤシいるの？
0917１３２人目の素数さん2005/07/21(木) 20:42:26
∂は明らかにテンソルだけど
0918１３２人目の素数さん2005/07/21(木) 22:54:21
>>892
理解への道筋がわかれば良いんだよ。ところが、論議を見ていると怪しいってコトが…
0919１３２人目の素数さん2005/07/22(金) 00:26:05
微分形式ってテンソルなんですか？
0920１３２人目の素数さん2005/07/22(金) 00:31:12
そうも解釈できる。本質かどうかは知らんが。
0921GiantLeaves ◆6fN.Sojv5w 2005/07/22(金) 08:21:12
talk:>>877 超順序で無限大とは何事か？
talk:>>919 ベクトル空間もまたテンソル空間とみなせる。それだけのこと。
0922１３２人目の素数さん2005/07/22(金) 08:34:49
>ｄｘやｄｙって何？
これこそ超疑問⊿xや⊿yならわかるんだが。
物理では⊿xや⊿yみたいにｄｘやｄｙを扱っていてこれは何だ。
0923１３２人目の素数さん2005/07/22(金) 08:40:20
まあ、所詮は物理だから厳密性には欠けるわけで。
0924１３２人目の素数さん2005/07/22(金) 10:09:52
>>922
>>308や>>319あたりに書いてある。座標関数xの微分がdx。
0925１３２人目の素数さん2005/07/22(金) 13:26:28
>>922
物理では現実の現象を良く近似する式を探し出すのが目的で、
導出過程などどうでもよくて、いずれにしても実験で検証という工程が入って、問題は発生しない。
もし論理的に間違っていても以前より精度が高ければ、むしろ論理的間違っているほうが正しいとなるものだからではないのか？
0926１３２人目の素数さん2005/07/22(金) 15:16:39
一体、予備知識も何も無い奴に、限りなくちょっと以外にどう説明したいんだか？
0927１３２人目の素数さん2005/07/22(金) 16:34:58
「限りなくちょっと」だと、f(x)dxみたいに函数がくっついてると説明しづらくね？
0928１３２人目の素数さん2005/07/22(金) 17:11:33
>>924
それで良いともおもえたのだが、多変数の場合はどーなんの？
0929１３２人目の素数さん2005/07/22(金) 17:45:31
>>928

多変数の場合も同様。
座標変換の規則を dt_i = (∂t_i/∂s_j)ds_j とすればいい。
0930１３２人目の素数さん2005/07/22(金) 19:26:51
夏はやっぱり「そうめん」かな。
麺の太さはdxかdyくらいがいいな、氷をはべらせて、ちゅるちゅる～～。
麺の長さはf(x)かg(y)程度で、麺の量は∫一杯ぐらいが手頃。
んで、F(x)とかG(y)とかをこうするっとね。
0931１３２人目の素数さん2005/07/22(金) 19:39:35

微分形式がテンソルだとするなら、微分形式の積分
をテンソルまで拡張することはできないだろうか？
0932１３２人目の素数さん2005/07/23(土) 06:57:03
積分はファンクショナルだよ
0933１３２人目の素数さん2005/07/23(土) 13:55:22
大沢先生曰く
そういう質問はまだ早い
そうです

　　　終　　　了
0934１３２人目の素数さん2005/07/23(土) 14:47:32
あちゃー、まだ早いですか。
とりあえず解析の教科書読め。>>933
0935１３２人目の素数さん2005/07/23(土) 18:46:10
>>932

それはどうかな？
0936１３２人目の素数さん2005/07/25(月) 19:19:23
微分の本質をどなたか教えてください。
0937１３２人目の素数さん2005/07/25(月) 20:35:36
微分の本質をどなたか教えてください。

http://imai48.hp.infoseek.co.jp/japanese/bibun/no003.html
0938１３２人目の素数さん2005/07/25(月) 21:01:26
kjhi
0939１３２人目の素数さん2005/07/25(月) 21:23:54
ルベーグ微分の定義は
0940１３２人目の素数さん2005/07/25(月) 21:50:16
>>937
今井のページは張るな、
見ても意味は無いし、張られた結果、誰も得をしない。

937 が、今井本人なら・・・
そのページは、もう誰にも理解できないページになっているよ。
ウジムシと戯れたいなら自分の掲示板で煽れ
0941１３２人目の素数さん2005/08/01(月) 01:24:41
分からない問題はここに書いてね２１６
http://science3.2ch.net/test/read.cgi/math/1122398025/575-595
で
-----------------------
593 ：１３２人目の素数さん ：2005/07/31(日) 20:05:57
>>591
両辺にかけられたdxとかdθというのは何者ですか？
なぜそれが正しい式なのかわかりません。
-------------------
とたずねたところ、
--------------------
595 ： ◆SHiMA//5DA ：2005/07/31(日) 20:10:06
>>593
どちらも微小量のことです。
積分する際に、dx、dθ→0を考えるので問題ありません。
---------------
というレスをもらいました。積分する際に、dx、dθ→0を考えるので問題ありません。
というのが何が問題ないのかさっぱりわかりません。たびたびすみません。
0942 ◆SHiMA//5DA 2005/08/01(月) 01:40:16
すいませんね、無知で＾＾；
0943１３２人目の素数さん2005/08/01(月) 02:39:03
置換積分のときは結果的に正しくなる
と思っといた方がいいかと
0944１３２人目の素数さん2005/08/05(金) 21:42:58
>>943既出、かなり前の方にあった
0945１３２人目の素数さん2005/08/05(金) 23:35:46

どんどん本質から遠ざかってるような気がするんだが。
0946１３２人目の素数さん2005/08/06(土) 19:51:46
本質厨が「本質は？」と聞き始めてから、
本質からどんどん遠ざかる一方ｗ
0947１３２人目の素数さん2005/08/06(土) 20:55:14
じゃ、とりあえず「微分形式」ってのはｄｘとかにとりあえず名前と計算規則を
与えてばりばり計算するモン…って理解はＯＫ？
0948１３２人目の素数さん2005/08/06(土) 23:26:56
本質とは、矛盾なく計算できるということでよろしいか。
0949１３２人目の素数さん2005/08/06(土) 23:27:20
で、計算規則の本質は？
0950１３２人目の素数さん2005/08/06(土) 23:50:50
本質厨って、どこまで行ってもかわいそうだね
0951１３２人目の素数さん2005/08/06(土) 23:54:11
本質厨とは、教育板の猫みたいなもんだな
0952１３２人目の素数さん2005/08/07(日) 10:58:47
>>948,949
計算規則の本質は、計算結果を確かめて応用問題と適合してればＯＫ
ってなもんっしょ。適合させるべき問題ってのはｄｘを微少変値とみなして
作った数々の微積の公式とかね。

で、あおる奴は未だに煽っているけど…その肝心のｄｘってのが最初の
微少変値を離れた筈なのに、一体全体何を表しているのか疑問って事
だろね。過去ログにいくつか答えらしき物があって、納得できそうなもの
も多いんだけど…。
エライ数学のセンセーとかが著書できちんと言ってくれんもんかいな？
計算規則を提示して「定義」なんてやらんでさ。
0953１３２人目の素数さん2005/08/07(日) 16:58:01
>>952
馬鹿の俺に偉い人教えて、までは読んだ
0954１３２人目の素数さん2005/08/08(月) 08:55:26
別にそれでいいよ。明確に書いている書籍がまずないから、書いてくれと
望んでいるだけ。
0955１３２人目の素数さん2005/08/08(月) 16:29:22
計算規則の対象化，とか言ってみる
0956１３２人目の素数さん2005/08/09(火) 22:54:40
馬鹿が本のせいにするｗ
0957１３２人目の素数さん2005/08/09(火) 23:05:24
本質厨の俺が来ましたよ
0958１３２人目の素数さん2005/08/09(火) 23:09:21
明確の本質は？
09599552005/08/09(火) 23:21:18
ごめん、言ってみたかっただけでした
0960１３２人目の素数さん2005/08/09(火) 23:48:41
当初の意味から離れすぎて、簡単に説明しようとするとどうしても
それから漏れる意味が出てきてしまうようになった。

そして、あまりに広範囲に応用が広がりすぎて、自分の知らない分野
で自分の知らない使われ方をするようになって全体が把握できない。

というかんじか。
0961１３２人目の素数さん2005/08/10(水) 00:06:34
ｙ＝ｆ(ｘ),（ａｎ，ｂｎ)＝ｘ のとき、

ｄｘ＝（ａｎ－ｘ，ｂｎ－ｘ），ｄｙ＝（ｆ(ａｎ)－ｆ(ｘ)，ｆ(ｂｎ)－ｆ(ｘ)），
0962１３２人目の素数さん2005/08/10(水) 00:46:31
>>960
過去スレ見たらわかるけど、紹介されても本を読んでないんですよ。
大学の図書にはいけない、俺は教えてクンじゃない、とかずっと
言い訳してね。
誰かが「自分にもわかる」解説してくれるのをただ待っているだけ。
スレたって半年、ちゃんと読んでりゃ今頃はわかってますって。
0963１３２人目の素数さん2005/08/10(水) 02:37:35
人間には個体差があって、理解できる範囲に違いがあるんだよ
0964１３２人目の素数さん2005/08/10(水) 02:53:35
数学ってのは先に行ったり戻ったりしながらしないと、なかなか理解できないのだがそれをしない人なんだろうなと思う。
進めなくなったら一度、教科書の最初の方を読み直して基礎を固めてから進めば上手くいくのですが、
今井とかみたいに、独自路線を考え始めたりすると、先の部分が分からなくなる。
分からないから、また独自路線でその上に積み上げてゆこうとする、その内にっちもさっちも行かなくなる。
という人なのではと思った。
そんな俺も実は、数年前今井の考え方にちょっと感化されてしまって地獄を見た人だったりする。
復帰するのに一年半掛かった。
小川とか見ていると、なんとなく今井の被害者のような気がする、なんとなく。
基礎理論の部分は全体像を把握しないと読めないのたが、それを先にしようとするからハマルということに気づけない。
そして本質君になる。
と思った。
0965１３２人目の素数さん2005/08/10(水) 03:23:43
人間には個体差があって、理解しようとする範囲に違いがあるんだよ
0966１３２人目の素数さん2005/08/10(水) 07:42:54
>>962
ま、俺は教えてくんだろうなｗ
ただ、大学の図書館とかには行ける環境じゃないよ。専門書置いている書店もちと遠い。
いいわけって言えばいいわけだが、簡単にいける環境じゃないのも事実。

過去レス見て俺でも一応納得できる説明はあったように思う。ただ、俺のような思いをする
人が多いと嫌だから、誰かが書籍にきちんとまとめてくれればと書いただけ。
0967１３２人目の素数さん2005/08/10(水) 08:53:20
ｆ(ｘ)は級数展開式

ｙ＝ｆ(ｘ),（ａｎ，ｂｎ)＝ｘ のとき、

ｄｘ＝（ａｎ－ｘ，ｂｎ－ｘ），ｄｙ＝（ｆ(ａｎ)－ｆ(ｘ)，ｆ(ｂｎ)－ｆ(ｘ)）

ｙ'＝ｄｙ÷ｄｘ

これで微積分のもやもやしたことは全て解決です。
0968１３２人目の素数さん2005/08/10(水) 09:08:28
これで微積分のもやもやしたことは全て解決です。

微積分の完成に希望の光を！！
0969１３２人目の素数さん2005/08/10(水) 09:18:34
ttp://imai48.hp.infoseek.co.jp/japanese/bibun/block.html
0970１３２人目の素数さん2005/08/10(水) 09:25:22
数学の基本的なところの難題が今井の手にかかかって次々と解決！！
0971１３２人目の素数さん2005/08/10(水) 09:28:10
今井曰く、落ちこぼれの大学教授！！
0972１３２人目の素数さん2005/08/10(水) 16:36:03

ｙ＝ｘ^2,（ａｎ，ｂｎ)＝ｘ のとき、

ｄｘ＝（ａｎ－ｘ，ｂｎ－ｘ），
ｄｙ＝（ａｎ^2－ｘ^2，ｂｎ^2－ｘ^2） ａｎ－ｘ＝ｙ、ｂｎ－ｘ＝ｚ
　　＝（２ｘ(ａｎ－ｘ)＋(ａｎ－ｘ)^2、２ｘ(ｂｎ－ｘ)＋(ｂｎ－ｘ)^2）
　　＝（２ｘ(ａｎ－ｘ)、２ｘ(ｂｎ－ｘ)）

ｙ'＝（２ｘ(ａｎ－ｘ)、２ｘ(ｂｎ－ｘ)）÷（ａｎ－ｘ、ｎ－ｘ）＝２ｘ
0973１３２人目の素数さん2005/08/10(水) 16:40:35
微積分の完成に希望の光を！！
0974１３２人目の素数さん2005/08/10(水) 16:48:30

ｙ＝ｘ^2,（ａｎ，ｂｎ)＝ｘ のとき、

ｄｘ＝（ａｎ－ｘ，ｂｎ－ｘ），
ｄｙ＝（ａｎ^2－ｘ^2，ｂｎ^2－ｘ^2）
　　＝（２ｘ(ａｎ－ｘ)＋(ａｎ－ｘ)^2、２ｘ(ｂｎ－ｘ)＋(ｂｎ－ｘ)^2）
　
ｙ'＝（２ｘ(ａｎ－ｘ)＋(ａｎ－ｘ)^2、２ｘ(ｂｎ－ｘ)＋(ｂｎ－ｘ)^2）÷（ａｎ－ｘ、ｎ－ｘ）
＝（２ｘ＋(ａｎ－ｘ)、２ｘ＋(ｂｎ－ｘ)）
＝２ｘ
0975１３２人目の素数さん2005/08/10(水) 18:07:11

ａｎとかｂｎって何ですか？
0976１３２人目の素数さん2005/08/10(水) 18:30:06
ａｎとかｂｎって何ですか？

ここを見なさいよ。

ttp://imai48.hp.infoseek.co.jp/japanese/bibun/no001.html
0977９７５2005/08/10(水) 19:16:06
>>976

ありがとうございます。なるほど、なかなか面白いですよ。
(１/２)＾ｎ の １/２ は １/３ でも １/４ でもいいですね。
ｄｘ＝（ａｎ－ｘ，ｂｎ－ｘ）はｄｘ_ｎ＝（ａｎ－ｘ，ｂｎ－ｘ）
とした方がいいんじゃないでしょうか。つまり ｄｘ というのは、
｛ｄｘ_ｎ｝という列のことだと定義しているわけですね。
0978１３２人目の素数さん2005/08/10(水) 19:58:34
百八十五日。
0979１３２人目の素数さん2005/08/10(水) 20:33:55
ｄｘ_ｎ はねぇ・・・、これは微分方程式に使うことを想定していますので・・・。
0980１３２人目の素数さん2005/08/10(水) 23:55:03
微分で二階微分を書くとき、dx/dyの方法で書くとどうなるんですか？
0981１３２人目の素数さん2005/08/11(木) 03:02:00
ｄ{ｄｙ/ｄｘ}/ｄｘ と書きたいが・・・，
0982１３２人目の素数さん2005/08/11(木) 19:58:34
百八十六日。
0983１３２人目の素数さん2005/08/12(金) 13:07:00
９８３。
0984１３２人目の素数さん2005/08/13(土) 07:43:00
９８４。
0985１３２人目の素数さん2005/08/13(土) 16:54:12
45
0986１３２人目の素数さん2005/08/13(土) 18:00:20
　
0987１３２人目の素数さん2005/08/14(日) 11:51:06
９８７。
0988１３２人目の素数さん2005/08/15(月) 11:58:01
９８８。
0989１３２人目の素数さん2005/08/15(月) 19:58:34
百九十日。
0990１３２人目の素数さん2005/08/16(火) 19:58:34
百九十一日。
0991１３２人目の素数さん2005/08/17(水) 11:14:21
991
0992１３２人目の素数さん2005/08/17(水) 11:14:33
992
0993１３２人目の素数さん2005/08/17(水) 11:14:35
993
0994１３２人目の素数さん2005/08/17(水) 11:14:37
994
0995１３２人目の素数さん2005/08/17(水) 11:14:38
995
0996１３２人目の素数さん2005/08/17(水) 11:14:39
996
0997１３２人目の素数さん2005/08/17(水) 11:14:40
997
0998１３２人目の素数さん2005/08/17(水) 11:14:42
998
0999１３２人目の素数さん2005/08/17(水) 11:14:44
999
1000１３２人目の素数さん2005/08/17(水) 11:14:47
1000
1001１００１Over 1000Thread
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。