投稿者
 メール
  題名
  内容 入力補助
    
 URL
[ ケータイで使う ] [ BBSティッカー ] [ 書込み通知 ]


Re: リーマン面

 投稿者:南海  投稿日:2016年 9月 6日(火)09時37分52秒
  解析関数(新版)/田村二郎著を見ました.ここにあるのは解析関数のリーマン面の定義そのものです.
解析関数は,解析接続してゆけば,例えば特異点のまわりを回るたびに値が動いてゆくので,\bar{C}上の関数としては多価関数です.それでその分岐の値に応じて別の\bar{C}を用意し,それをつなぎ合わせることで,この関数が1価関数となる集合をつくります.それがリーマン面です.
>\bar{C}=∪_{λ∈Λ}\bar{C}_{λ}
∪_{λ∈Λ}\bar{C}_{λ}は,多価の値だけ\bar{C}_{λ}を用意し,それをあわせたものです.
それを射影すると\bar{C}になるということで,等号ではありません.
>λ≠μなら\bar{C}_λ∩\bar{C}_μ=φ
も正しくありません.
リーマン面は\bar{C}上の関数から飛躍するもっとも大切なところなので,くりかえし考えてみて下さい.
 

Re: リーマン面

 投稿者:南海  投稿日:2016年 9月 5日(月)08時38分12秒
  次にわからないのは
\bar{C}=∪_{λ∈Λ}\bar{C}_{λ}
です.左辺のCはリーマン面の間違い?
今日神戸に出るので本屋にいってみます.
 

Re: リーマン面

 投稿者:Ciera  投稿日:2016年 9月 5日(月)02時23分12秒
  >その場合,\bar{C}_{λ}は番号づけられた拡大複素平面ですか

はい,さようです。
 

Re: リーマン面

 投稿者:南海  投稿日:2016年 9月 4日(日)06時59分11秒
  >いえ,拡大複素平面の意味です。\bar{C}:=C∪{∞}.
これは了解です。
その場合,\bar{C}_{λ}は番号づけられた拡大複素平面ですか。
 

Re: リーマン面

 投稿者:Ciera  投稿日:2016年 9月 4日(日)05時12分27秒
  > \bar{C}は,開集合Cの閉包の意味ですね?

いえ,拡大複素平面の意味です。\bar{C}:=C∪{∞}.
 

Re: リーマン面

 投稿者:南海  投稿日:2016年 9月 3日(土)14時50分22秒
  手元にある田村先生の本は『リーマン面』(訳書)だけなので確認できませんが、\bar{C}は,開集合Cの閉包の意味ですね?

>p150の"重ねる"の定義が
そこにはどのように書かれていますか?
>∪_{λ∈Λ}\bar{C}_{λ}は\bar{C}=∪_{λ∈Λ}\bar{C}_{λ}で,
これはおかしい表現です。
>もしλ≠μなら\bar{C}_λ∩\bar{C}_μ=φ
これも被覆の定義としてはありえません。

開集合C_λとC_μがそれぞれ座標空間の原点近傍と同相で,C_λ∩C_μにおいて2つの同相写像は解析同値,となっているはずです。
 

リーマン面

 投稿者:Ciera  投稿日:2016年 9月 3日(土)01時01分52秒
  こんにちは。
解析関数(新版)/田村二郎著を読んでます。p150の"重ねる"の定義がいまいち分かりません。∪_{λ∈Λ}\bar{C}_{λ}は
\bar{C}=∪_{λ∈Λ}\bar{C}_{λ}で,もしλ≠μなら\bar{C}_λ∩\bar{C}_μ=φと解釈したのですがこれで正しいでしょうか?
 

Re:曲面の表面積

 投稿者:南海  投稿日:2016年 9月 1日(木)10時00分26秒
  定積分による表面積の計算は,なかなか難しいですね.
それはともかく,質問の点に関しては,
①では+部分と-部分が回転でも重ならないが,②では回転で重なってしまう,ということですね.
 

Re:帰納法の仮定

 投稿者:杏里  投稿日:2016年 9月 1日(木)02時53分47秒
  どうも有難うございます。

> そうではありません.まず,
>  BはΣ_{j=2}^{r+1} A_jx_jというr個の正値n×nエルミート行列の和
> ではなく,
>  B=x_2 A_2+…+x_r A_r    ・・・ (r-1) 個
> です.また,ここでの「帰納法の仮定」は
> 「m次(mは任意の自然数)の(r-1)個の正値エルミート行列 H_2,H_3,...,H_r について,
> |x_2 H_2+x_3 H_3+…+x_r H_r}|∈C[x_2,x_3,...,x_r]
> の係数はすべて正の実数である」
> というものです.

ここでのmはm≦nとかの条件は無く,飽く迄任意の自然数mですね。

> つまり,証明すべき命題を
> 「n次(nは任意の自然数)のr個(rは任意の自然数)の正値エルミート行列 A_1,A_2,...,A_r について,
>  |x_1A_1+x_2A_2+…+x_rA_r|∈C[x_1,x_2,...,x_r]
> の係数はすべて正の実数である」
> と捉え,これをrに関する数学的帰納法で証明しようとしているのです.

そうしますと,

『A_1,A_2,…,A_rをn×n正値エルミート行列とすると,|A_1x_1+A_2x_2+…+A_rx_r|∈C[x_1,x_2,…,x_r]という次数nの同次多項式になりますがその全係数が正実数になる(但し,r∈N,x_1,x_2,…,x_rは実変数)




『任意の自然数nに対してA_1,A_2,…,A_rをn×n正値エルミート行列とすると,|A_1x_1+A_2x_2+…+A_rx_r|∈C[x_1,x_2,…,x_r]という次数nの同次多項式になりますがその全係数が正実数になる(但し,r∈N,x_1,x_2,…,x_rは実変数)』
という事でしょうか。

と捉えるという事なのですね。ふーむ,なぜか違和感が生じてしまいます。上段の命題でのnは固定されてるように感じますが下段の命題は固定されてないのですよね。。
つまり下段の命題が示せれば自動的に上段の命題の正しさが言えるというカラクリなのですね。

> 追記1
> 対象とする正値エルミート行列のサイズを固定して考えてしまうと証明が進みません.

例えば, n=100とかに固定して,
『A_1,A_2,…,A_rを100×100正値エルミート行列とすると,|A_1x_1+A_2x_2+…+A_rx_r|∈C[x_1,x_2,…,x_r]という次数100の同次多項式になりますがその全係数が正実数になる(但し,r∈N,x_1,x_2,…,x_rは実変数)

nを固定した場合は証明は帰納法での証明は難しくなるのですね。
r=1の時は自明で2≦r-1の時,命題成立(|A_1x_1+A_2x_2+…+A_{r-1}x_{r-1}|の全係数は正数)と仮定すると,rの場合は,(100-k)×(100-k)行列の行列式|B(i(1),...,i(k))|の係数が正数だとは帰納法の仮定からはどうしても言えないので,nを固定せずに任意として証明しておいて任意のnで証明できたのだから,n=100の場合も命題は真である事が言える。

> あらゆるサイズの正値エルミート行列を一挙に対象とすることで,帰納法の仮定も強化され,
> スムーズに証明できるというわけです.

なるほどです。

> 追記2
> これも2年前に伺った『Matrix Analysis by Roger A. Horn and Charles R. Johnson』に
> 載っている問題でしょうか? であるとしたら何頁?

はい,Second Editionのp52,p54にあるsum of k-th principal minorsとk-th elementary symmetric functionから今回の問題に考えを膨らましました。
 

曲面の表面積

 投稿者:roxa  投稿日:2016年 8月31日(水)22時50分0秒
  設問1:次の曲線をx軸まわりに回転してできる立体の表面積を求めよ。
(1)x^2+(y-a)^2=r^2(0<r<a)

y=a+-√(r^2-x^2)
S=∫[-r→r]2π(a+√(r^2-x^2)*(r/√(r^2-x^2))*r dx+∫[-r→r]2π(a-√(r^2-x^2)*r/√(r^2-x^2)dx-------①
答えは省略しますが、計算過程はこのようになります。

設問2:次の曲線をx軸のまわりに回転してできる立体の表面積を求めよ。
(1)x^2/a^2+y^2/b^2=1 (a>b>0)

y=+-b/a√(a^2-x^2)
S=∫[-a→a]2π・b/a*√(a^2-x^2)・√(a^4-(a^2-b^2)x^2)/(a√(a^2-x^2)dx-------------------②

①ではy=の式のプラスマイナスを考慮して積分の足し算をしていますが、②ではプラスの式だけしか考えていません。①と②の違いは何でしょうか。

よろしければ、ご教授よろしくお願いします。
 

帰納法の仮定

 投稿者:かたつむり  投稿日:2016年 8月30日(火)11時27分48秒
編集済
  >この時の帰納法の仮定は|B|(つまり,BはΣ_{j=2}^{r+1} A_jx_jというr個の正値n×nエルミート行列の和)の全係数は正実数
>ということですよね。

そうではありません.まず,
  BはΣ_{j=2}^{r+1} A_jx_jというr個の正値n×nエルミート行列の和
ではなく,
  B=x_2 A_2+…+x_r A_r    ・・・ (r-1) 個
です.また,ここでの「帰納法の仮定」は
「m次(mは任意の自然数)の(r-1)個の正値エルミート行列 H_2,H_3,...,H_r について,
  |x_2 H_2+x_3 H_3+…+x_r H_r}|∈C[x_2,x_3,...,x_r]
 の係数はすべて正の実数である」
というものです.つまり,証明すべき命題を
「n次(nは任意の自然数)のr個(rは任意の自然数)の正値エルミート行列 A_1,A_2,...,A_r について,
  |x_1A_1+x_2A_2+…+x_rA_r|∈C[x_1,x_2,...,x_r]
 の係数はすべて正の実数である」
と捉え,これをrに関する数学的帰納法で証明しようとしているのです.

追記1
対象とする正値エルミート行列のサイズを固定して考えてしまうと証明が進みません.
あらゆるサイズの正値エルミート行列を一挙に対象とすることで,帰納法の仮定も強化され,
スムーズに証明できるというわけです.

追記2
これも2年前に伺った『Matrix Analysis by Roger A. Horn and Charles R. Johnson』に
載っている問題でしょうか? であるとしたら何頁?
 

Re:多項式の係数が正実数になる

 投稿者:杏里  投稿日:2016年 8月30日(火)06時20分5秒
  すみません。だいぶ以前にかたつむり先生からご教示いただいた箇所で未だに不明なところがありますので質問をお許し下さい。

『A_1,A_2,…,A_rをn×n正値エルミート行列とすると,|A_1x_1+A_2x_2+…+A_rx_r|∈C[x_1,x_2,…,x_r]という次数nの同次多項式になりますがその全係数が正実数になる(但し,r∈N,x_1,x_2,…,x_rは実変数)


の証明で下記のようにご回答賜りました。

『8月12日の質問を拝見しました.命題
「A_1,A_2,...,A_rをn次正値エルミート行列とするとき,
  |x_1A_1+x_2A_2+…+x_rA_r|∈C[x_1,x_2,...,x_r]
 の係数はすべて正の実数である.」
については,次の方針で証明できると思います:
【方針】A_1 が対角行列であるとしても一般性を失わないことに注意し,r に関する数学的帰納法を用いる.

先を読み進める前に,これをヒントとして,まず,ご自分で取り組まれることをお勧めします.

以下に,証明の骨子を記します.(他の方々にも批判的に検討して頂けると有り難いです.)
まず,記法の約束をします.A∈M_n(C) に対し,
{1,2,...,n} からのk個の組合せを {i(1),i(2),...,i(k)} とし,
A から i(1),i(2),...,i(k) 行,i(1),i(2),...,i(k) 列を取り除いてできる n-k次の正方行列を
  A(i(1),...,i(k))
と書くことにします.

r=1 の場合は,「正値エルミート行列の行列式は正の実数である」ことにより大丈夫です.

r>1 の場合,A_1 が対角行列であるとしても一般性を失うことはないのでそのように仮定し,
その(i,i)成分を λ_i とおきます.λ_i は正の実数です.そして,
  B=x_2A_2+…+x_rA_r
とおきます.
  |x_1A_1+x_2A_2+…+x_rA_r|=|x_1A_1+B| ……[1]
について,その (x_1)^k の係数(x_2,...,x_r の(n-k)次同次多項式)は
  Σλ_{i(1)}…λ_{i(k)}|B(i(1),...,i(k))| ……[2]
と表されます.Σ は comb(n,k) 個の和です.
行列 A_j(i(1),...,i(k)) (2≦j≦r) は正値エルミート行列であるので,
帰納法の仮定により
  |B(i(1),...,i(k))|=|Σ_{j=2}^{r}x_jA_j(i(1),...,i(k))|(これはx_2,...,x_r の(n-k)次同次多項式)
の係数は正の実数であり,したがって,[2] に現れる
   (x_1)^{k}(x_2)^{m_2}…(x_r)^{m_r}  (m_2+…m_r=n-k)
の係数は正の実数になります.』

の最後辺りで

「帰納法の仮定により
  |B(i(1),...,i(k))|=|Σ_{j=2}^{r}x_jA_j(i(1),...,i(k))|(これはx_2,...,x_r の(n-k)次同次多項式)
の係数は正の実数であり,」

と仰ってますが,この時の帰納法の仮定は|B|(つまり,BはΣ_{j=2}^{r+1} A_jx_jというr個の正値n×nエルミート行列の和_)の全係数は正実数ということですよね。

でも|B(i(1),...,i(k))|のB(i(1),...,i(k))はr個の正値(n-k)×(n-k)エルミート行列の和であって,もともとの帰納法の仮定は大きく異なると感じました。

いかがでしょうか?
 

初等整数論講義(高木)

 投稿者:  投稿日:2016年 8月27日(土)20時05分16秒
  南海先生、ありがとうございました。

やはり、ミスプリですね。他人に確認していただくと安心しました。

次に、うまくx+iyとx-iyをおいて、h1≦h2
ならびに、h1≧h2
を示してあるのは感心しました。少しのつまずきをこのように
助けていただけると独習するものには心強いです。

蟻のように、この本を一歩一歩読んでいきます。感謝します。
 

Re: 初等整数論講義(高木)

 投稿者:南海  投稿日:2016年 8月27日(土)16時24分12秒
  >λ=iλは、λの上にバー=iλのミスプリントではないか?
そのようです.\bar{λ}=iλ ですね.

x+iy=αλ^{h_1},x-iy=βλ^{h_2}とおく.h_1+h_2=2hで αもβも因子hを含まない.

x-iy=\bar{α}\bar{λ}^{h_1}=\bar{α}i^{h_1}λ^{h_1}でこれがβλ^{h_2}と等しい.
よって,h_1≦h_2.
逆に,\bar{β}i^{h_2}λ^{h_2}=αλ^{h_1}もいえ,h_1≧h_2.∴ h_1=h_2.
 

初等整数論講義(高木)

 投稿者:  投稿日:2016年 8月27日(土)10時33分51秒
編集済
  P250あたりまで、読んでいるのですが
理解できないところがあります。教えてください。

 P250 2行目  次にまたaが2なる素因数h個を含むとすれば、2=iλ^2(λ=1-i)
であるから、λ^2hがx+yiとx-yiとの間に分配されなければならないが
(この部分は理解できる)

λ=iλであるから、x+yiおよびx-yiはおのおのλ^hで割り切れなければならない
(この部分がわからない)

まず最初の、λ=iλは、λの上にバー=iλのミスプリントではないか?
次に、なぜおのおのが、λ^hで割り切れるといえるのか?
自分の中で、釈然としません。

よろしくお願いします。


 

Re:像 f(S)

 投稿者:南海  投稿日:2016年 8月19日(金)20時19分24秒
  像は直線x=-y=z上にあるので,xの範囲が求まればよい.yの値は像に関係しないので,x^2+z^2=1でk=x+zとすると,-√2≦k≦√2なので,解はx=-y=z(-√2≦x≦√2).  

さんへいほんのていりのぎゃくについて。

 投稿者:コルム  投稿日:2016年 8月17日(水)16時54分38秒
編集済
  問題を作っていただけないでしょうか。ご無理でしたら大丈夫です。調べたのですがわからないのです。教えていただけないでしょうか。高校の内容でお願いできないでしょうか?  

英語について。

 投稿者:コルム  投稿日:2016年 8月17日(水)13時22分54秒
  南海様お返事ありがとうございます。  

像 f(S)

 投稿者:i  投稿日:2016年 8月17日(水)10時15分45秒
        有難う御座います。
球面 S; x^2 + y^2 + z^2 = 1 の
 一次変換 f={{1,0,1},{-1,0,-1},{1,0,1}}
 による像 f(S)を求めよ.[長岡技術科学大学」
 はどうすればよいでしょうか。
 

(無題)

 投稿者:南海  投稿日:2016年 8月17日(水)01時40分4秒
  英語の質問はこれまでもありました。質問自体はかまいませんが、回答は日本語です。  

/174