X



トップページ数学
1002コメント379KB
大学学部レベル質問スレ 18単位目
レス数が1000を超えています。これ以上書き込みはできません。
0001132人目の素数さん
垢版 |
2022/04/28(木) 21:13:06.70ID:oq75KvzG
大学で習う数学に関する質問を扱うスレ

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

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

※前スレ
大学学部レベル質問スレ 17単位目
https://rio2016.5ch.net/test/read.cgi/math/1637449244/
0952132人目の素数さん
垢版 |
2022/08/01(月) 12:00:18.56ID:0c3xP5Im
e^zの定義はe^{zloge}ではなかったと思う
0953132人目の素数さん
垢版 |
2022/08/01(月) 16:32:43.05ID:Gz24ryfT
多変数の広義積分のところを読んでいるのですが,おそらく n=1 の場合を考えると,1変数の
微分積分でのよくある広義積分の定義と一致すると思います.

多変数の広義積分のやり方のほうが分かりやすいと思います.

1変数の場合も多変数に通用するやり方で広義積分を論じている本はありますか?
0954132人目の素数さん
垢版 |
2022/08/01(月) 16:37:24.46ID:ni+squ1I
>>953
ちょっと質問の意味が分かりにくい
0955132人目の素数さん
垢版 |
2022/08/01(月) 18:40:08.60ID:Gz24ryfT
今,読んでいる本で,非負連続関数に対する広義積分の定義が以下です:

A を R^n の開集合とする.
f を A 上の非負連続関数とする.
∫_A f を sup {∫_D f | D ⊂ A はコンパクトな体積確定集合} と定義する.

D に有界という条件を課すのは有界な集合上でしか普通の積分は定義していないので,当たり前です.
D に閉集合という条件を課すのはなぜでしょうか?
0956132人目の素数さん
垢版 |
2022/08/01(月) 18:49:19.99ID:XaA77f47
>>955
具体例で考えてみよう
特にn=1のときを
0957132人目の素数さん
垢版 |
2022/08/01(月) 18:55:38.08ID:hzbZ4qDF
>>953
一致しません。
sin x/xとか高次元の定義で広義積分可能かどうか判定してみれば?
0958132人目の素数さん
垢版 |
2022/08/01(月) 23:13:44.13ID:dHWXTxuI
>>952
a^zの定義と違うんならe^zと書くべきでないと思う
exp(z)が妥当でないかしら
0959132人目の素数さん
垢版 |
2022/08/02(火) 01:43:59.32ID:RH9zMX6s
なかやまきんに君が吉本退社バブル″数秩@
ユーチューブ収入は7000万円

きんに君は「世界でも活躍できるようになりたい。その夢をかなえたくて
退所した」と説明。「アメリカの筋肉情報って、めちゃめちゃ面白い。
スーパーのプロテインのゾーンもめちゃめちゃある。壁一面ドーン!と。
めちゃめちゃ面白くないですか?」と目を輝かせ、今後は筋肉知識を広げ、
新たな情報を配信していきたいと語った。
すでに「結構、メールとかも頂いて。CM依頼とか、筋肉系なので
食品とか」と、仕事依頼は来ていることも明かした。
退所発表後の反響については「驚くことに大変反響いただきまして、
CM依頼とかイメージキャラクターの依頼が7〜8件来てるんです。
この2、3日で」とバブル到来≠におわせた。さらに年収は?と
聞かれると「めちゃくちゃ貯金、あります!貯金の金は筋肉の筋!」
と鍛えた体があると訴え、スタッフを笑わせていた。
0960132人目の素数さん
垢版 |
2022/08/02(火) 08:45:53.27ID:XdN9uWcE
>>958
eとaは意味が違うのでOK
0961132人目の素数さん
垢版 |
2022/08/02(火) 20:21:12.60ID:9uFfoMVa
>>960
は?
同じ複素数ですが?
0962132人目の素数さん
垢版 |
2022/08/02(火) 21:10:36.68ID:XdN9uWcE
でも意味が違う
0963132人目の素数さん
垢版 |
2022/08/02(火) 21:12:57.58ID:9uFfoMVa
>>962
説明して
0964132人目の素数さん
垢版 |
2022/08/02(火) 21:13:25.31ID:9uFfoMVa
なぜa=eだけ特別扱いする理由があるのか
0965132人目の素数さん
垢版 |
2022/08/02(火) 21:18:20.38ID:XdN9uWcE
e^zはeの一つの定義を特殊値とする
べき級数として定義する。
例えばRudinの本はこのやり方を採用している。
本来はWeierstrass流であり、円周率もe^{iz}+1の
最小の正の零点として定義する。
0967132人目の素数さん
垢版 |
2022/08/03(水) 00:52:20.36ID:xa6kyHcD
まぁe^zを多価関数とみなしたい場合が出てきたらその旨明記して使えばいいんじゃやいの?
単にそうすべき場面がほとんどないから使われないだけでしょ?
0968132人目の素数さん
垢版 |
2022/08/03(水) 03:26:30.86ID:miPVTGIx
>>966
なら1^z=1とすればピッタリね
0969132人目の素数さん
垢版 |
2022/08/03(水) 16:35:15.31ID:AGcJG1sk
>>単にぴったり一致するからじゃないの?

>>なら1^z=1とすればピッタリね

「ぴったり」と「ピッタリ」は
かなり意味が違うようだね
0970132人目の素数さん
垢版 |
2022/08/03(水) 20:05:51.19ID:miPVTGIx
>>969
同じだケド?
0971132人目の素数さん
垢版 |
2022/08/03(水) 20:48:46.25ID:22Dgj5ca
>>970
そう断言できるのは
966と968が自演であることの証拠と考えてよいか?
0973132人目の素数さん
垢版 |
2022/08/03(水) 21:48:50.80ID:miPVTGIx
>>971
はぁ
自演の必要ってあるのかw
0974132人目の素数さん
垢版 |
2022/08/03(水) 21:52:56.22ID:miPVTGIx
>>969,971
e^zが一般の複素数aについてのa^zの定義と異なるのは
「ピッタリ一致するから」と>>966が書いていたから
それは実数関数と「ピッタリ一致する」という意味だと解釈
つまり1^z=1が実数関数1^xの解析接続として「ピッタリ一致」しているわけ
0975132人目の素数さん
垢版 |
2022/08/03(水) 21:56:18.06ID:22Dgj5ca
>>974
そう解釈しているなら全く問題ない。
0976132人目の素数さん
垢版 |
2022/08/03(水) 22:28:59.17ID:miPVTGIx
>>975
しかし複素函数の1^zは1ではなくて多価関数
1^z=1とすると間違いとされる
e^zとは書くべきでなくΣz^n/n!=exp(z)と書くべき
そしてe^zも多価関数を表すとするべき
工学でも物理でもe^xもあまり使わない
exp(x)が妥当だということが数学以外でのコンセンサス
0977132人目の素数さん
垢版 |
2022/08/03(水) 22:57:46.10ID:22Dgj5ca
>>976
工学や物理学の都合もあるだろうが
数学者たちの感情を満足させるためには
EulerやWeierstrassらの記号法を残しておかねばならない
0978132人目の素数さん
垢版 |
2022/08/04(木) 01:39:47.77ID:JNkykMa9
数学での複素表記 a+bi i:虚数単位
電気電子工学での複素表記 a+jb j:虚数単位 i:交流電流
0979132人目の素数さん
垢版 |
2022/08/04(木) 02:13:18.03ID:2zMvcFob
>>976
どこから来てる自信か知らんが数学の話で工学や物理の人間が数学畑の人間に“こうすべき”などという言葉がはけるのがアンポンタン
0981132人目の素数さん
垢版 |
2022/08/04(木) 08:08:51.12ID:iJDYaUtB
>>955,957

ありがとうございました.
0982132人目の素数さん
垢版 |
2022/08/04(木) 09:13:47.41ID:cn+b/DZH
電気電子工学ではΩをオームと読む
0983132人目の素数さん
垢版 |
2022/08/04(木) 10:08:54.00ID:6TVllEjA
そりゃ人名のOhmが元だし工学に限らず抵抗の単位をオメガなんて読むやつなんておらん
記号Ωを使った理由は知らんが
0984132人目の素数さん
垢版 |
2022/08/04(木) 12:33:09.92ID:iJDYaUtB
松坂和夫著『解析入門下』

A を有界集合とする.
K_A を A の定義関数とする.
A ⊂ I なる区間 I をとるとき, K_A の I における上積分および下積分の値は, I によらず A によって一意的に定まる.

という内容の補題があります.

その証明のはじめの部分ですが,


I, J をともに A を含む区間とする.はじめに I ⊂ J である場合を考える.
その場合,上の右の図のように J を網状分割すれば, I 以外の長方形の部分では K_A = 0 であるから,
上積分,下積分はともに 0 に等しい.


などと書いています.

I の境界と A の共通部分が空集合でない場合には,松坂さんの論法は成り立ちません.

デリケートな議論をしているのに,なぜこんなにも不注意なのか全く理解できません.
0985132人目の素数さん
垢版 |
2022/08/04(木) 12:47:12.51ID:iJDYaUtB
その後,

I, J をともに含む区間 K を作り,↑の結果を適用して,
K_A の I 上の上下積分と J 上の上下積分は等しいことを証明しています.

K はいくらでも大きな区間をとってもいいので,

I をその内部に含む J を考え, I を少し大きくした I' ⊂ J を考えて,

K_A の I 上の上下積分と I' 上の上下積分が等しいことを示せばいいですね.
I' を限りなく小さくすれば, K_A の I 上の上積分と I' 上の上積分の差はいくらでも小さく
なるのでこれらは等しいことが分かります.
0986132人目の素数さん
垢版 |
2022/08/04(木) 12:48:46.06ID:iJDYaUtB
訂正します:

その後,

I, J をともに含む区間 K を作り,↑の結果を適用して,
K_A の I 上の上下積分と J 上の上下積分は等しいことを証明しています.

K はいくらでも大きな区間をとってもいいので,

I をその内部に含む J を考え, I を少し大きくした I' ⊂ J を考えて,

K_A の I 上の上下積分と I' 上の上下積分が等しいことを示せばいいですね.
I' を I に限りなく近づければ, K_A の I 上の上積分と I' 上の上積分の差はいくらでも小さく
なるのでこれらは等しいことが分かります.
0988132人目の素数さん
垢版 |
2022/08/04(木) 13:14:51.48ID:iJDYaUtB
松坂和夫さんの『解析入門』シリーズは,全体としての統一感がないですよね.

一人の著者が書いた本とはとても思えません.

Walter Rudinの本と酷似している部分は既に確認済みです.
0989132人目の素数さん
垢版 |
2022/08/04(木) 21:33:57.86ID:d/omH9Ei
>>979
いや
数学だけが過去に固執している
exp(z)を使うのがベスト
同様にして
1+2+3+…=ζ(-1)=-1/12
とか部外者を煙に巻くのもいかがなものかね
0990132人目の素数さん
垢版 |
2022/08/04(木) 21:44:45.24ID:RodH6OOt
>>989
そういうアンポンタンな通俗の読み物ばっかり読んでキッチリした数学書読んでないからそんなアホなことがほざけるんだよバーカ
0991132人目の素数さん
垢版 |
2022/08/04(木) 22:02:16.08ID:d/omH9Ei
>>990
おやおや
ζ関数はs>0であるときのζ(s)=1+2^(-s)+3^(-s)+…を解析接続することでζ(-1)の値を考えることができるようになるわけだが
それは1+2+3+…であるわけではない
あくまでs>0でのζ(s)を解析接続した複素函数のs=-1のときの値ζ(-1)にすぎない
0994132人目の素数さん
垢版 |
2022/08/04(木) 22:39:45.38ID:d/omH9Ei
>>993
>素人相手の通俗本
だからそれを止めろっていっているのがワカラン金
1+2+3+…=-1/12
がまさにそれだ
止めるべき
0995132人目の素数さん
垢版 |
2022/08/04(木) 22:41:20.73ID:T2kTsJyE
>それは1+2+3+…であるわけではない
>あくまでs>0でのζ(s)を解析接続した複素函数のs=-1のときの値ζ(-1)にすぎない

物理出身なら、アーベル総和法とかボレル総和法くらい知ってそうなもんだけど、
この人は総和法の概念を1つも知らないのかな。

まあ、アーベル総和法だと AΣ[n=1〜∞] n =+∞ で、
ボレル総和法だと BΣ[n=1〜∞] n =+∞ で、
結局は −1/12 なんて出てこないので例としては不適切だが、
ζ関数の解析接続で発散しない値が割り当て可能なら「ζ総和法」とでも名付けて
新しい総和法にすればいいだけ。それを例えば ζΣ[n=1〜∞] a_n と表記すれば、

ζΣ[n=1〜∞] n =−1/12

が厳密に成り立つわけで、このことにインチキな要素は1つもない。

Σ[n=1〜∞] n = −1/12

と書いちゃったらインチキだけどね。
0997132人目の素数さん
垢版 |
2022/08/04(木) 22:53:03.82ID:RodH6OOt
アホか
書いてるレベルでせいぜい学部でもがいてるレベルのアンポンタンやとすぐわかるわ
そしてその程度のカスみたいな力しかないくせにその認識すらなく数学界に一言苦言申し上げるアフォ
高木とかセタとかとギロチ50歩100歩
10011001
垢版 |
Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 98日 1時間 44分 37秒
10021002
垢版 |
Over 1000Thread
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php
レス数が1000を超えています。これ以上書き込みはできません。

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