X



トップページ数学
1002コメント342KB
大学学部レベル質問スレ 11単位目
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2018/04/20(金) 05:50:10.46ID:KlG5+Hlw
大学で習う数学に関する質問を扱うスレ

・質問する前に教科書や参考書を読むなりググるなりして
・ただの計算は
http://wolframalpha.com
・数式の表記法は
http://mathmathmath.dote ra.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー

関連スレ
分からない問題はここに書いてね478
http://rio2016.5ch.net/test/read.cgi/math/1511604229/

※前スレ
大学学部レベル質問スレ 10単位目
http://rio2016.5ch.net/test/read.cgi/math/1519715377/
0664132人目の素数さん
垢版 |
2018/06/06(水) 17:44:44.63ID:f4z4TL4l
>>658
Fを環とする。環F上に定義された二項演算としての加法、乗法をそれぞれ+、・とする。1をFの単元とする。
Gを任意の可換群とする。可換群はその上に定義された加法の二項演算について可換と見なして考えることが多い。
そこで、+と区別するため、群G上に定義された二項演算を +' で表すことにする。0をGの単位元とする。
すると、Fの加法群Gへの、Gの加法 +' に関する左からの作用 F×G→G (a,f)→a+'f が定まる。
同様に、FのGへの、Gの加法 +' に関する右からの作用 G×F→G (f,a)→f+'a も定まる。
Fの加法群Gへの、Fの乗法・に関する左からの作用 F×G→G (a,f)→a・f=af も定まるから、加法群Gは環Fの左F-加群。
同様に、FのGへの、Fの乗法・に関する右からの作用 G×F→G (f,a)→f・a=fa も定まるから、GはFのF-右加群。
よって、加法群Gは環FのF-両側加群。Gは任意なので、G=F として、
Gに定義された加法の二項演算 +' とFに定義された加法の二項演算+とを同じ二項演算の加法と見なせば、環FはFのF-両側加群となる。
単位的環はその上に定義された加法と乗法の二項演算について環なので、単位的環Fの加法の二項演算を+、乗法の二項演算を・とすれば、
Fは加法の二項演算+、乗法の二項演算・について、F上のF-両側加群となる。
Fの乗法の二項演算・が可換のときは、単位的環Fは可換環となって、同様に可換環Fは、
Fに定められた加法の二項演算+、乗法の二項演算・について、FのF-両側加群となる。
多項式環の定義から、可換環の点を係数とする多項式全体の空間F[x]は可換環をなし、
多項式環F[x]のF-係数多項式の変数xは固定されている。
このとき、もしF-係数多項式1,x,1+xが可換環F上一次独立ならば、{1,x,1+x}はF-係数の多項式環F[x]の基底となる。
体Kはその上に定義された加法と乗法の各二項演算が、環Fに定義された加法と乗法の各二項演算+、・のときは、環Fと見なせるので、
上の議論でのF上をF=Kとすれば、多項式1,x,1+xが体K上一次独立とすると、
1,x,1+x{∈K[x]で、1,x,1+x}はK-係数の多項式環K[x]の基底となることがいえる。
0665132人目の素数さん
垢版 |
2018/06/06(水) 18:02:03.77ID:f4z4TL4l
>>658
>>664の一番下の「1,x,1+x{∈K[x]で、1,x,1+x}」は「1,x,1+x∈K[x]で、{1,x,1+x}」
0666132人目の素数さん
垢版 |
2018/06/06(水) 18:25:48.86ID:EZ6cKRaC
1+x=1+x
これで終わることに長文垂れ流す人の心理を答えよ、という問題がわかりません
0668132人目の素数さん
垢版 |
2018/06/06(水) 18:36:11.35ID:EZ6cKRaC
また、1,x,1+xの線形結合によりx^2を構成せよ、という問題もわかりません
0669132人目の素数さん
垢版 |
2018/06/06(水) 18:45:04.66ID:f4z4TL4l
Kを体とすると、{1,x,x^2}はK-係数の多項式環K[x]の基底だから、
1,x,1+xのKの点による線形結合では表せない
0671132人目の素数さん
垢版 |
2018/06/06(水) 19:08:21.51ID:42MpZsQ1
>>664
長々と意味のない説明もどきをありがとうございます
0点ですね
0672132人目の素数さん
垢版 |
2018/06/06(水) 19:18:45.46ID:+N4wjYI8
>>669
基底なんだからどんなものでも表せるはずですよね
はやく1とxと1+xでx^2を表してくださいね
0673132人目の素数さん
垢版 |
2018/06/06(水) 21:05:46.33ID:f4z4TL4l
>>671
そもそも、そのような類の詳細は話はテキストに書いてある
テキストへ Let's go.

>>672
少なくともKが標数0の体である限り、そんなこと出来ない
0674132人目の素数さん
垢版 |
2018/06/06(水) 21:12:54.93ID:DqPZ42vc
>>673
>>664
>このとき、もしF-係数多項式1,x,1+xが可換環F上一次独立ならば、{1,x,1+x}はF-係数の多項式環F[x]の基底となる。


あなたが基底だって言ったんですよ
0675132人目の素数さん
垢版 |
2018/06/06(水) 21:19:46.56ID:f4z4TL4l
>>674
可換環FのF-係数多項式やその多項式環F[x]の構成などの話まで
ここに書く気はしない。それで話は終わる。
0676132人目の素数さん
垢版 |
2018/06/06(水) 21:22:38.38ID:DqPZ42vc
>>675
あなたが1とxと1+xでx^2つくればいいだけの話ですね

てか、環論よくわかりませんが、F係数って、多項式を係数としたら1が基底になるみたいな話なんですか?
係数はKですよね
0677132人目の素数さん
垢版 |
2018/06/06(水) 21:26:42.95ID:42MpZsQ1
>>673
もちろん1,x,1+xが係数環上で一次従属(=一次独立でない)ことは知っていますよ
(そんな当たり前なことを一々書いてある本は見たことないですが)

環K[x]の生成系ではなく基底だと言ったんですよね?
0678132人目の素数さん
垢版 |
2018/06/06(水) 21:37:33.61ID:f4z4TL4l
>>676
可換環Fの元を係数に持つ1変数の多項式をF-係数の1変数多項式という。
有理関数体K'(y)の係数を持つK-係数の2変数xy多項式を考えて
多項式環が環K[y,x]だと>>647
>c≠0、a+c=b+c=0のときa,b≠0でa+bx+c(1+x)=0は成立(a,b,c∈K(y))
がヒントになる。xに着目するのではなく、yに着目してyを不定元として考える。
0679132人目の素数さん
垢版 |
2018/06/06(水) 21:38:49.88ID:DqPZ42vc
>>678
1とxと1+xは一般には基底にならないということで良いですか?
0681132人目の素数さん
垢版 |
2018/06/06(水) 21:42:20.85ID:DqPZ42vc
>>680
1とxと1+xはその線形空間の基底になってるんですか?
0684132人目の素数さん
垢版 |
2018/06/06(水) 21:52:54.58ID:DqPZ42vc
代数も勉強した方がいいんですかねやっぱり
0685132人目の素数さん
垢版 |
2018/06/06(水) 21:54:39.14ID:42MpZsQ1
>>682
「そう」の指し示すことは「(一般には)基底にならない」ということでいいですか?
それでは、あなたの発言を見てみましょうか


>多項式1,x,1+xが体K上一次独立とすると、
>{1,x,1+x}はK-係数の多項式環K[x]の基底となり、
0687132人目の素数さん
垢版 |
2018/06/06(水) 22:00:05.77ID:42MpZsQ1
ところで、>>678

>有理関数体K'(y)の係数を持つK-係数の2変数xy多項式を考えて

はどういう意味でしょうか?結局、係数環(体)はKですか?それともK(y)ですか???
0689132人目の素数さん
垢版 |
2018/06/06(水) 22:07:49.21ID:42MpZsQ1
>>686
いまは線形代数の話ではないのですか?
私はずっと線形代数の話のつもりでしたが……そもそも一次独立性と基底についての疑問でしたよね?

>>688
結局、係数はKなのかK(y)なのかどちらでしょうか?
0690132人目の素数さん
垢版 |
2018/06/07(木) 00:04:22.61ID:dkWC8TZy
>>646
恥ずかしいですね
0691132人目の素数さん
垢版 |
2018/06/07(木) 00:04:58.29ID:dkWC8TZy
>>650
恥ずかしいですね
0692132人目の素数さん
垢版 |
2018/06/07(木) 00:07:25.79ID:dkWC8TZy
>>669
K[x]_2の基底ね
0693132人目の素数さん
垢版 |
2018/06/07(木) 00:14:16.68ID:dkWC8TZy
しかし何でこんなアホな紛糾しトルンか分からんな
1,x,1+xはどんな体上の多項式と考えても1次従属
ただ
適当な値(たとえばx=0)を代入するという線形写像の像が1次従属だと示しても無駄
像が1次従属でも元が1次従属とは限らないからな
でしまいだがや
0694132人目の素数さん
垢版 |
2018/06/07(木) 00:21:01.13ID:6/PBQ17G
1+x=1+xで終わる話ですよね
0695132人目の素数さん
垢版 |
2018/06/07(木) 00:29:20.96ID:jN6jtydj
>>693
「f(E)={f(x)|x∈E}が一次従属⇒Eが一次従属」が成り立つとしたら、線形写像として零写像を考えれば全ての部分集合E⊂Vが一次従属になってしまうわな

具体例考えれば明らかにおかしいのに、なんでこんな疑問を持つのか謎すぎる
0696132人目の素数さん
垢版 |
2018/06/07(木) 00:52:03.60ID:8fgM1ZQ4
>>689
>>677
>もちろん1,x,1+xが係数環上で一次従属(=一次独立でない)ことは知っていますよ
>(そんな当たり前なことを一々書いてある本は見たことないですが)
と書いたようだが、そういった可換環FのF-係数多項式やその多項式環F[x]の構成などに関わる話は、
現代数学概説Tや岩波講座基礎数学の環と加群に書いてある。どっちも、ページ数は多い。
現代数学概説@の代数系の話ははじめ群、環と体などの話からはじまり、後半の方でやっと線型代数の話になる。
環と加群の方は群を除いた加群や環から体にかけての話についてはとても詳しいが、
線型代数だと線型空間やJordan標準形と単因子論などからなる同講座の線型代数シリーズの方が詳しい。
後者のシリーズは如何に併読するかが問題だが、そこら辺は読者によって異なると思う。
今だと、それらのような本に沿った線形代数はやってないだろうから、食い違いが起きたんだと思う。
>>687の係数はK(y)の元。
0697132人目の素数さん
垢版 |
2018/06/07(木) 00:55:10.64ID:6/PBQ17G
なんで勝手にKを限定してるんですか?
0698132人目の素数さん
垢版 |
2018/06/07(木) 01:03:50.09ID:8fgM1ZQ4
>>697
代数の一般論は、係数体が実数体Rや複素数体Cなどのような標数0の位相体になると、
必ずしもその一般論が適用出来るとは限らなくなることがある。
0699132人目の素数さん
垢版 |
2018/06/07(木) 01:06:56.25ID:6/PBQ17G
一般論としては、1,x,1+xは基底となるとは限らない、ですね
具体的な場合は成り立たないのかもしれません


で?て感じです
0700132人目の素数さん
垢版 |
2018/06/07(木) 01:31:50.53ID:jN6jtydj
>>696
「本に書いてある」というのは基底であることの証明ではなく多項式環の構成でしたか
それなら>>677の括弧は取り下げますね
で、その構成から1,x,1+xがどう(一次独立であるとした上で)K[x]の基底になるのか説明をお願いします

>>687はつまりK(y)[x,y]ということですか
()内と[]内のyは同じものですよね?それならK(y)[x,y]=K(y)[x]となり体K(y)係数の一変数多項式環になりますけど
0701132人目の素数さん
垢版 |
2018/06/07(木) 01:36:32.62ID:8fgM1ZQ4
>>699
係数体KがRやCだと、Kは完備な位相体で1,x,1+xは関数でもあるので、本来は多項式環だったK[x]を位相線形空間として、
その位相線形空間K[x]上で考える必要性がある。複数あるK[x]のノルムの定義法の中から、
ノルムを選んで定めることなども問題になる。一般にはK[x]のノルムの選び方によって結果は変わる。
そこら辺は自分で。
0702132人目の素数さん
垢版 |
2018/06/07(木) 01:48:59.50ID:dkWC8TZy
>>701
>その位相線形空間K[x]上で考える必要性がある
?ないよ
0703132人目の素数さん
垢版 |
2018/06/07(木) 01:53:00.72ID:8fgM1ZQ4
>>700
>1,x,1+xがどう(一次独立であるとした上で)K[x]の基底
K[x]の基底は { x^n | n∈N\{0} } だった

>()内と[]内のyは同じものですよね?それならK(y)[x,y]=K(y)[x]となり体K(y)係数の一変数多項式環になりますけど
記法間違えた。K[x,y]はK(y)[x]の間違い
0704132人目の素数さん
垢版 |
2018/06/07(木) 02:09:40.90ID:8fgM1ZQ4
>>702
はじめ問題にはロンスキアンが出ていたから、係数体はRかCで、1,x,1+xは関数の筈
あとは問題の創作をするかどうか
0705132人目の素数さん
垢版 |
2018/06/07(木) 06:38:04.04ID:2579HZik
単体集合から係数±1をうまくつけてd^2=0になる微分(つまり鎖複体)を作れたように
係数に1のnべき根をうまくつけるとd^n=0になるようなものが作れるって話聞きました
詳しくわかる人いたら教えてください
0706132人目の素数さん
垢版 |
2018/06/07(木) 12:56:19.91ID:ThU6x6bj
マセマの微分積分という本に、下のように書いてありました。
z=f(x,y)とおく
∂z/∂x=fx(x,y)+fy(x,y)・dy/dx

この式は正しいのでしょうか?
左辺はz=f(x,y)をxで偏微分したもの
右辺の第1項もf(x,y)をxで偏微分したものですよね。
でしたら左辺と等しいのは右辺の第1項のみだと思うのですが・・・
0708132人目の素数さん
垢版 |
2018/06/07(木) 13:22:34.69ID:6/PBQ17G
その場合はdz/dxになるんじゃないですか?
0709132人目の素数さん
垢版 |
2018/06/07(木) 14:00:18.89ID:VAXZnzf0
>>706
左辺はf(x,y)をxで偏微分したもの
右辺第一項はfという関数の第一変数に関する導関数にx,yを代入したもの

似ているようで意味は異なる
0710132人目の素数さん
垢版 |
2018/06/07(木) 14:04:03.95ID:6/PBQ17G
>>709
同じですよね
0711132人目の素数さん
垢版 |
2018/06/07(木) 14:33:17.86ID:Vm7vWCce
違う
0712132人目の素数さん
垢版 |
2018/06/07(木) 14:48:08.95ID:xRDshG/G
俺が最初に使った教科書にも、その定理は偏微分で書いてあった気がするな
x, y以外の変数の可能性も考えてそう書いているのだと思ってた
0713132人目の素数さん
垢版 |
2018/06/07(木) 14:49:39.01ID:vatmG1lW
ふつうの人は、そこは dz/dx のつもりなんだろうなと割り切って読み進む。
いちいちそんなとこで立ち止まらない。
誤植や著者のちょっとした勘違いなんて、この先いくらでも出てくるからね。
0714132人目の素数さん
垢版 |
2018/06/07(木) 14:50:47.69ID:SX28udAa
いわゆるガロア拡大の推進定理についての質問なんですが
ガロア群Gal((M・N)/ N )をMに制限する写像π
π:Gal((M・N)/ N )→ Gal( M/(N∩M))
が全射になることの証明がわかりません。
Gal((M・N)/ (N∩M) )→ Gal( M/(N∩M))
が全射であることは言えそうですが
Gal((M・N)/ N )→ Gal((M・N)/ (N∩M) )
は全射ではなさそうなので詰んでいます。どなたがご教授願います・・。
0715132人目の素数さん
垢版 |
2018/06/07(木) 15:41:02.39ID:SX28udAa
>>714
なんか頭のおかしいことをいろいろ書いてましたすみません
そもそもガロア拡大かどうかわからないものについて
ガロア群を考えているような感じになってしまいましたね・・。
π:Gal((M・N)/ N )→ Gal( M/(N∩M))
これが全射かどうか知りたいだけです。他は虫してください・・。
0718132人目の素数さん
垢版 |
2018/06/07(木) 23:47:27.38ID:E/Sjw1AU
>>715
M/(M∩N)とかMN/Nとかになんの仮定もないと、そもそもMへの制限の写像がwell definedじゃないやん。
つまりMNの自己同型でNの元を固定するσをとって来たときσ(M)⊂Mが成立するとは限らない。
M/(M∩N)がガロア拡大とかなんとかそんな仮定が抜けてるのでわ?
0720132人目の素数さん
垢版 |
2018/06/08(金) 09:12:38.37ID:oMit71Pl
https://imgur.com/ByTQxCK.jpg
https://imgur.com/cvoii5m.jpg

↑物理で出てくる面積素片 dS = r * dr * dφ の極座標表示のグラフを描きました。
なんか、物理の本の図では、全然、 dr、 dφ が微小じゃないんですよね。
だから本当に長方形を近似しているのだろうか?と思ってしまいますよね。
だから確かめてみました。
0721132人目の素数さん
垢版 |
2018/06/08(金) 12:23:22.92ID:nIWlXXWq
>>703
>K[x]の基底は { x^n | n∈N\{0} } だった
なぜわざわざx^0=1を除外してしまったのか
0722132人目の素数さん
垢版 |
2018/06/08(金) 12:48:45.24ID:LboEm2ef
>>721
それか。ここは代数が出来るなら、その位自分で訂正出来るだろうと思って、
面倒臭くて敢えて訂正しなかった。0∈Nとする流儀とNを正整数全体とする流儀とがあって、
単純に { x^n | n∈N } と書くと人によって、解釈に相違が生じかねない。
正確にはK[x]の基底は { x^n | n∈N }∪{1} になる。
後、元の問題では変数xの定義域がRかCかも不明だし、
三角関数の一時独立性も判定しなきゃいけないから、やはり単純に代数「だけ」の問題とはいえない。
0724132人目の素数さん
垢版 |
2018/06/08(金) 12:57:03.37ID:xXWPeHIT
>>714

できたかも…

M∩N → Nは M→MNへ拡張される。

(∵) [M:M∩N]=1なら明らか。[M:M∩N]<kで成立するとして[M:M∩N]=kとする。
M∩Nを含む真の部分体M'とm∈MをM=M'[m]となるようにとる。
仮定から拡張 f:M'→M'N がとれる。
(M'N/M')の代数閉包をL、包含写像M'⊂LをgとしてgfはL→Lに拡張される。
gf^(-1)(m)とmはM'上の共役元であるからh∈Gal(M'N/M')をh(m) = (gf^(-1)(m)) となるように選べる。
このときk=gfhが求める拡張である。
実際kをM'に制限すれば拡張であり、
k(m)=gfh(m)=gf(gf^(-1)(m)) = m
であるからkをM'[m]に制限すればその像はM'N[m]に含まれる。
0725132人目の素数さん
垢版 |
2018/06/08(金) 13:25:48.02ID:LboEm2ef
>>721
Nの流儀による解釈の相違を避けるため、一応書くと
正確にはK[x]の基底は { x^n | n∈N\{0} }∪{1} になる。
0726132人目の素数さん
垢版 |
2018/06/08(金) 13:30:58.32ID:nIWlXXWq
>>722
それなら{x^n|n∈N∪{0}}と書けばいいのでは

まあそこはどうでもいいか
位相が入ったらK[x]のK基底が変わるというのが間違い
もしかしてV*=Hom(V,K)の双対基底とかの話と混同してない?
0728132人目の素数さん
垢版 |
2018/06/08(金) 15:36:09.99ID:EPLYwmAe
フーリエ変換の勉強を本で始めました
オシロスコープでとったデータを変換する元の式にしてそれをフーリエ変換する流れはわかったのですが
オシロスコープの自然の波を→変換する元の式にする そこをどうやるのかが全く書いていませんでした
この元の式への変換は一体どうやるのでしょうか?
説明や参考となる検索キーワードをいただければありがたいです
0730132人目の素数さん
垢版 |
2018/06/08(金) 17:31:17.02ID:EPLYwmAe
数学的にいろいろな式の波に当てはめてみてそれで近いものを探すとか想定してみたんですが
違うんですかね
これは電気・電子板の問題でしょうか、あちらで聞いてみます
0731132人目の素数さん
垢版 |
2018/06/09(土) 16:08:23.13ID:5i4qEslh
どうして環の剰余は部分環ではなくイデアルで取るんですか?
群の剰余は部分群で取ってると思うんですが。。。
0732132人目の素数さん
垢版 |
2018/06/09(土) 16:10:58.19ID:pvRDsn7P
>>731
部分加群だと思え
0733132人目の素数さん
垢版 |
2018/06/09(土) 16:47:34.49ID:bEhBqx02
>>731
イデアルは加法部分群じゃん
0734132人目の素数さん
垢版 |
2018/06/09(土) 22:31:37.52ID:9YRJcmCO
環Rの加法部分群Aによる剰余群に
乗法を (x+A)(y+A) := (xy)+A で定義する
Aがイデアルならこれが well defind になり、R/Aは環となる
0735132人目の素数さん
垢版 |
2018/06/09(土) 22:40:22.40ID:9YRJcmCO
加法部分群による剰余類が環になる条件を考えると、自然にイデアルになったはず

歴史的には素因数分解の拡張あたりからだから、加法群なのは自然な発想なのかもしれん
0737132人目の素数さん
垢版 |
2018/06/12(火) 11:58:29.64ID:+EVzgNzt
It is often useful to parametrize a curve with respect to arc length
because arc length arises naturally from the shape of the curve and
does not depend on a particular coordinate system.

↑特定の座標系に依存しないってどういうことですか?
0738132人目の素数さん
垢版 |
2018/06/12(火) 12:00:04.45ID:+EVzgNzt
弧の長さをパラメータにしなかった場合に、曲線の形状が座標系に
依存するようになる例を教えてください。
0739132人目の素数さん
垢版 |
2018/06/12(火) 12:06:29.30ID:+rtz30Da
曲線のパラメータとして狐長パラメータをとると、しばしば便利です、なぜならば狐長とは自然に曲線の形から得られるものであり、狐長は特定の座標に依存しないからです


弧の長さをパラメータにしなかった場合に、曲線の形状が座標系に依存する、なんてどこにも書いてないですよ
0740132人目の素数さん
垢版 |
2018/06/12(火) 12:11:11.82ID:+EVzgNzt
>>739

ありがとうございます。

弧の長さが特定の座標系に依存しないとはどういうことでしょうか?
0741132人目の素数さん
垢版 |
2018/06/12(火) 12:11:45.36ID:+rtz30Da
日本語がわからないということですか?
何語ならわかりますか?
0742132人目の素数さん
垢版 |
2018/06/12(火) 12:13:20.48ID:+EVzgNzt
単位ベクトル i, j, k の大きさを2倍にしたら、曲線の長さは 1/2 になるのではないでしょうか?
0743132人目の素数さん
垢版 |
2018/06/12(火) 12:14:37.53ID:+rtz30Da
100cmを1mに置き換えたら長さ1/100になるんじゃないですか?

と聞いているのと同じですね
0744132人目の素数さん
垢版 |
2018/06/12(火) 12:43:02.52ID:+EVzgNzt
弧の長さが特定の座標系に依存しない

から、何がうれしいんですか?
0745132人目の素数さん
垢版 |
2018/06/12(火) 12:50:38.85ID:ZO81F2Zk
弧と狐間違えててワロタ
0746132人目の素数さん
垢版 |
2018/06/12(火) 12:57:46.62ID:+rtz30Da
>>744
パラメータとして弧長をとるのが一番自然だということです
0747132人目の素数さん
垢版 |
2018/06/12(火) 12:59:36.76ID:+EVzgNzt
>>746

自然の定義は何でしょうか?
0748132人目の素数さん
垢版 |
2018/06/12(火) 13:00:31.98ID:+EVzgNzt
座標系に依存しない

というのが分かりません。

依存する例と依存しない例をそれぞれ挙げてください。
0749132人目の素数さん
垢版 |
2018/06/12(火) 13:04:49.56ID:+rtz30Da
>>747
なんとなくです

>>748
座標値は座標に依存します
100cmと1mなら、100と1は違う値ですね
0750132人目の素数さん
垢版 |
2018/06/12(火) 13:05:22.01ID:+EVzgNzt
ちなみに、

>>737

は、 James Stewartの『Calculus第7版』からの引用です。
0751132人目の素数さん
垢版 |
2018/06/12(火) 13:10:14.79ID:+EVzgNzt
例えば、3次元空間内の曲線 r(t) を考えます。

t は時間で、 r(t) は時刻 t での質点の位置とします。

t よりも弧長 s のほうが自然なパラメータなのでしょうか?

また、時間は特定の座標系に依存するのでしょうか?
0752132人目の素数さん
垢版 |
2018/06/12(火) 13:11:11.14ID:+EVzgNzt
Stewart が何が言いたいのか分かりません。
0753132人目の素数さん
垢版 |
2018/06/12(火) 13:13:36.27ID:+EVzgNzt
It is often useful to parametrize a curve with respect to arc length
because arc length arises naturally from the shape of the curve and
does not depend on a particular coordinate system.

座標系に依存しないとはどういうことでしょうか?

例えば、3次元空間内の曲線 r(t) を考えます。

t は時間で、 r(t) は時刻 t での質点の位置とします。

t よりも弧長 s のほうが自然なパラメータなのでしょうか?

また、時間は特定の座標系に依存するのでしょうか?
0754132人目の素数さん
垢版 |
2018/06/12(火) 13:20:49.67ID:+rtz30Da
>>753
それ数学の本ですよね
だから、まず曲線があってそれに対して議論をしてるんだと思いますよ

物理なら時間の方がいいでしょうね

また、自然かどうかなんて曖昧な議論ですから、いちいち気にすることないと思います

そういう記述は、普通はどうでもいい部分として読み飛ばすところだと思いますよ
へーそうかもね、くらいで終わりでいいんです
0755132人目の素数さん
垢版 |
2018/06/12(火) 13:51:40.51ID:+EVzgNzt
>>754

ありがとうございます。

とりあえず、この件は忘れて先に進もうと思います。
0756132人目の素数さん
垢版 |
2018/06/12(火) 14:33:41.92ID:sgSsNzGz
ゲージ普遍大切だけどね。リーマン計量の話まで読み進めないとわかんないよ。とりあえずおいとけ。
0757132人目の素数さん
垢版 |
2018/06/12(火) 17:35:01.75ID:breZQF25
元の意味でのゲージ普遍性はないはずですけど?
0758132人目の素数さん
垢版 |
2018/06/12(火) 17:51:21.41ID:qBPEHh1J
今の段階で背伸びして難しい言葉使ってちゃだめだ。
わかったフリがクセになるよ。
とりあえずリーマン幾何の教科書読みこなせる段階まではそんなもなのかなぁと思ってればよろしい。
0759132人目の素数さん
垢版 |
2018/06/12(火) 18:33:02.26ID:Sfb+HVki
>>753
例えば世界が単位円で、あなたは単位円上に生きる質点 r=(cos(θ), sin(θ)) (-π/2 &le; θ < π/2) であるとする。
世界は重力で歪んでいて、あなたの位置 r=r(t) は時刻 t に対して t=tan(θ) となる位置であるとすると、
あなたは点 (-1, 0) に永遠に到達することはできず、おそらく自分では数直線 (-∞, ∞) 上にいるように錯覚するだろう

なお、ラジアンで測った上記の θ は ((1, 0) を基点とした) 弧長パラメータになっている
∵ θ = ∫_[0,θ] ((cos(θ)')^2 + (sin(θ)')^2))^(1/2) dθ
    = ∫_[0,θ] ((cos(arctan(t))')^2 + (sin(arctan(t))')^2))^(1/2) (d(arctan(t))/dt) dt

弧長 s が座標系に依存しないとは、どの二つの座標系 (x(t), y(t)), (x(τ), y(τ)) に対しても
 ds = (dx(t)^2 +dy(t)^2)^(1/2) dt = (dx(τ)^2+dy(τ)^2)^(1/2) dτ
(微分形で書いたが 's=' の形にしたければ(定)積分すればいい)
が成り立つという意味で、どんな座標系からでも必ず同じものが計算できるという利点がある

数学的には、図形の「表し方」に依存せずに「図形自体に対して」一意に決まる値という意味で
弧長パラメータ「自然」あるいは「本質的」であると形容する
0760132人目の素数さん
垢版 |
2018/06/12(火) 18:35:10.06ID:Sfb+HVki
>世界は重力で歪んでいて、
あなたは自分では常に一定の速さで動いていると認識しているが、世界は重力で歪んでいて、実際の

に修正
0761132人目の素数さん
垢版 |
2018/06/12(火) 20:56:36.65ID:1Jr2PjzF
>>758
定義が確認できるのならファイバーバンドルの言葉に翻訳した方がふれんどりーだろ。
定義が確認できてるかどうかが問題だけど。
0762132人目の素数さん
垢版 |
2018/06/12(火) 21:01:29.31ID:Sfb+HVki
いうても「何がうれしいんだ」とcoordinate-freeな概念がどうでもいいものかのように感じてる間は何言っても仕方がないのではと
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況