X



トップページ数学
1002コメント363KB
大学学部レベル質問スレ 15単位目
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
垢版 |
2020/12/28(月) 18:05:49.69ID:YO0EdTIr
大学で習う数学に関する質問を扱うスレ

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

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

※前スレ
大学学部レベル質問スレ 14単位目
https://rio2016.5ch.net/test/read.cgi/math/1594758474/
0145132人目の素数さん
垢版 |
2021/01/21(木) 17:55:10.79ID:oVrgxGnu
>>144
>>135の193ページ
0146132人目の素数さん
垢版 |
2021/01/21(木) 21:30:02.61ID:pF58XMAc
複素数の間の共形的かつ全単射で滑らかな写像φ:C→Cは1次変換か1次変換の複素共役である
という定理の証明がわかりません

本ではその少し前に
ψ:D→C,(D⊂C:開集合)が共形的でヤコビ行列がいたるところ可逆ならψかその複素共役が
正則関数になるという結果があり、これとリウビルの定理なりピカールの定理なりを使えば示せると書いてありました
上の命題を使うとφかその共役がCの間の全単射な正則関数であることは言えますが、そこから先がわかりません
(本は深谷「双曲幾何」のp.65です)
0148132人目の素数さん
垢版 |
2021/01/21(木) 22:42:12.51ID:rn3WyCvo
>>146
コレが示せたらいいのでは

fがRiemann球の自己全単射で正則なら一次変換

∵ 一次変換は三重可積遷だからf(0)=0, f(1)=1, f(∞)=∞として良い
f(z)=z^n g(z)、g(z)は正則、g(0)≠0、とおける
f(z)は一対一だったから原点以外に零点を持たない
よってg(z)は零点を持たない
∴ g(z)は定数(∵リュービルの定理)
∴ f(z)=cz^n
さらに再び一対一性よりc≠0, n=1□
0151132人目の素数さん
垢版 |
2021/01/22(金) 01:09:42.81ID:c7pUyOSZ
統計学の独学でもわかりやすい参考書とかってありますか?
ちなみに国立文系で数三はノータッチです。
0153132人目の素数さん
垢版 |
2021/01/25(月) 00:32:13.87ID:MdB8SPaM
ちょっと躓いた

A,B整列集合、 A⊆B、A≠Bとする
m=min(B-A)とおく。
この時、A=B<m> (切片の意味) 
だが、A⊆B<m>の証明に躓いた
0154132人目の素数さん
垢版 |
2021/01/25(月) 00:46:31.94ID:ZfoS9OEC
以下Bを全集合としてBに含まれる事は一々述べない
m≦x,x∈Aとすればm∈Aとなりm∈B-Aに矛盾
∴x∈A→x<m
x<m, ¬x∈Aとすればx∈B-A,x<mとなるがm=min(B-A)に矛盾
∴x<m→x∈A
0155132人目の素数さん
垢版 |
2021/01/25(月) 01:24:13.49ID:cnOGloVb
>>153
mがAに入ってなくて最小なんだからほぼ自明でしょ
証明は背理法で
0158132人目の素数さん
垢版 |
2021/01/25(月) 07:42:42.81ID:cnOGloVb
>>156
>A⊆B<m>は無条件では無理
??
0160132人目の素数さん
垢版 |
2021/01/25(月) 19:41:39.71ID:cnOGloVb
あそっか
0161132人目の素数さん
垢版 |
2021/01/26(火) 11:55:28.00ID:VQBvG5PV
遺伝的有限集合全体をHFとして
関係R⊆HF^nが兩1であるとき、
兩0集合S⊆HF^n+1が
a∈R⇔∃x∈HF((a,x)∈S)
となるようにとれる

キューネンの基礎論p292です
さらっと書いてあるんで自明なんでしょうけど、わかりません

どなたか証明をつけていただけないでしょうか
よろしくお願いします
0163132人目の素数さん
垢版 |
2021/01/26(火) 13:18:26.79ID:tDKpMNKD
>>161
原本をみたら、それらしき箇所に、(see Lemma II.17.28)とあるのだが、訳書の方には書いてないの?
0164132人目の素数さん
垢版 |
2021/01/26(火) 14:11:12.31ID:VQBvG5PV
あ、自分のノートばっかり見てました。
訳書にもありますね。
なんてミスを。すみません。
補題2.17.28から導出するのは論理式の相対化を使うんでしょうか
0165132人目の素数さん
垢版 |
2021/01/26(火) 18:42:57.70ID:I4alVVeD
双曲幾何の上半平面モデル(もしくは円盤モデル)と双曲面モデルとでは角度は等しいのでしょうか
もし異なれば余弦定理などの角度の入っている公式がモデル毎に異なることになると思うのですが
0167132人目の素数さん
垢版 |
2021/01/26(火) 20:19:47.65ID:I4alVVeD
>>166
リーマン幾何やってないので計量が違うという意味がよく分からないのですが
上半平面モデルと円盤モデルは共形ですがこれらの計量は同じなのですか?
0169132人目の素数さん
垢版 |
2021/01/27(水) 01:33:24.46ID:a13HY8y0
>>167
通常、角度というものは、計量から定めるものである。
リーマン幾何やってないのに、角度だのなんだの言っているのがよくわからん。
0170132人目の素数さん
垢版 |
2021/01/27(水) 13:13:01.54ID:HylCjDki
>>168>>169
実質的には計量を考えていることになるのだと思いますが計量という言葉をあまり出さずに書いてる本を読んでいます
(深谷「双曲幾何」)
リーマン幾何ちゃんとやってないと理解が難しいようならそれまで棚上げにしときますが
結論としては余弦定理などの角度が出てくる公式はモデル毎に異なるという事でいいんでしょうか
0172132人目の素数さん
垢版 |
2021/01/27(水) 13:22:34.68ID:HylCjDki
>>171
たとえば余弦定理の公式
cos∠γ=(coshAcoshB-coshC)/(sinhAsinhB)
という式を本では双曲面モデルの上で示していましたが
この式は上半平面モデルや円盤モデルでは成り立たないのかが気になっています
長さが保たれる2つのモデルで保たれることは書いてあったものの
左辺の角度が2つのモデルで同じである保証はあるのかと
0173132人目の素数さん
垢版 |
2021/01/27(水) 13:22:37.39ID:uyFxPKru
>>170
そうじゃない?
でも多分曲率が負の一定値の定曲率空間は計量テンソルの正の定数倍で写り合う気はする
なので上半平面モデルと単位円モデルで差があっても定数倍の差しかない気はする
でもどっちも曲率-1/4とかだったような記憶が...
0174132人目の素数さん
垢版 |
2021/01/27(水) 13:29:53.33ID:HylCjDki
>>172
>長さが保たれる2つのモデルで保たれることは書いてあったものの
長さが2つのモデルで保たれることは書いてあったものの
の間違いです失礼しました

>>173
なるほどそういうリーマン幾何の深い結果があって
それを使うと角度も等しい事が言える的な感じなんでしょうか
本だとどうも角度もモデルによらず決まるような雰囲気で記述してあって混乱していましたが
0176132人目の素数さん
垢版 |
2021/01/27(水) 23:06:44.95ID:B9DozRHO
証明系に詳しい人が居たら聞きたいんだが、今後10年20年と見据えたとき、どのプルーフチェッカーが「勝ち」そう?
0178132人目の素数さん
垢版 |
2021/01/28(木) 16:14:44.20ID:DvPln0LA
「e^x=10である実数xは存在するか? 理由も含めて答えよ」
集合と位相の講義で出題されたんですが、よく分かりません
「log10は実数だから存在する」終わりじゃ駄目なんですかね?
0179132人目の素数さん
垢版 |
2021/01/28(木) 17:01:54.12ID:QHxiB+CU
講義中に何か説明あったんじゃないですか?
数学の問題というよりちゃんと授業を聞いているかどうかの問題な気がしますけど
0180132人目の素数さん
垢版 |
2021/01/28(木) 17:10:17.94ID:Uz7dgf6/
>>179
もし良ければ解法を教えていただけますか?
0181132人目の素数さん
垢版 |
2021/01/28(木) 17:20:28.93ID:Or24e5QC
>>178
存在すればその値をlog10と書くのではなくて?
0185132人目の素数さん
垢版 |
2021/01/29(金) 05:49:37.35ID:NpFiIfdz
>>170
> 実質的には計量を考えていることになるのだと思いますが計量という言葉をあまり出さずに書いてる本を読んでいます
> (深谷「双曲幾何」)
本見てみたら、3章の冒頭文で、双曲面モデルが上半平面モデルや円盤モデルと同じ幾何を定める旨が述べてあるし、
円盤モデルと双曲面モデルが等長的であることも書いてある(定理3.59)。

等長なんだから内積も対応するし、内積から定まる角度も対応するでしょ。
0186132人目の素数さん
垢版 |
2021/01/29(金) 07:39:30.29ID:QcgvcU0r
恥を忍んで質問させて下さい。
書籍のAbramowitz and Stegun(Handbook of Mathematical Functions with Formulas,
Graphs, and Mathematical Tables)の略称って、
・AS
・A&S
・そのほか(省略しないなど)

あと、上の略称は「解析概論」(もちろん高木先生の)の様に、
知らないとモグリ扱いなのでしょうか?
0188132人目の素数さん
垢版 |
2021/01/29(金) 17:57:56.54ID:DyprcR8u
z= √ (x^2+y^2)の1≦x^2+y^2≦9の範囲の曲面積を求める問題で答えが8 √ 2になるはずが円錐の側面積として考えると9 √ 2になってしまいます。どちらが正答でしょうか?理由もつけて教えて欲しいです。
0190132人目の素数さん
垢版 |
2021/01/29(金) 19:20:53.80ID:x2PNa3Xt
>>185
等長なら対応する内積が等しいことが言えるんですか
疑問が氷解しました
ちなみにそのことはすぐ言えるんでしょうか
0192132人目の素数さん
垢版 |
2021/01/29(金) 19:36:35.06ID:x2PNa3Xt
>>191
長さは多様体の上での距離で内積は接空間の内積ですので
何らかの局所と大域をつなげる議論が必要でしょう
その部分が疑問なのです

疑問が氷解したというのは角度が等しくなるのかどうかとか
等長群の作用について等しいという事をなぜ幾何が等しいと呼ぶのかとかが
分かったという意味です
0193132人目の素数さん
垢版 |
2021/01/29(金) 19:53:43.59ID:Q9OtMHs1
>>165
>双曲幾何の上半平面モデル(もしくは円盤モデル)と双曲面モデルとでは
>角度は等しいのでしょうか

等しい

ただ、モデルは「見え方」だから、
円盤でもポアンカレモデルとクラインモデルでは見え方が違う
つまりクラインモデルでは見た目違う角度が、モデル内の合同変換で写り合う
ポアンカレモデルでは見た目の角度も同じになる
(ただしポアンカレモデルのほうでは直線が円弧になったりする)

投影の仕方の違いだけなので、
それぞれのモデルの間で1対1の対応がつけられ
結局同型であることがわかる
0194132人目の素数さん
垢版 |
2021/01/29(金) 19:54:42.90ID:NpFiIfdz
>>190
191に答えがあるが、補足。
・長さというのは、接ベクトルのノルムを積分したもの。
・角度というのは、接ベクトルの内積から決まるもの。
・接空間において、ノルムと内積は表裏一体。(191)
あとは、まとめれば良い。
0195132人目の素数さん
垢版 |
2021/01/29(金) 19:55:34.61ID:+uIwD83a
>>192
接続とはまた別の話だよ
0196132人目の素数さん
垢版 |
2021/01/29(金) 19:56:49.07ID:NpFiIfdz
>>192
> 長さは多様体の上での距離で内積は接空間の内積ですので
> 何らかの局所と大域をつなげる議論が必要でしょう
> その部分が疑問なのです
曲線をパラメータ付けして、0からsまでの部分の長さl(s)をsで微分すれば、接空間でのノルムが出てくる。
0199132人目の素数さん
垢版 |
2021/01/29(金) 20:08:21.01ID:x2PNa3Xt
>>196のレスで長さが等しいことから接空間のノルムが、よって内積が等しい事が分かりました
その部分が理解できていなかったようです
いろいろとありがとうございました感謝です

見た目の長さや角度とは違ってくる事はクラインモデルをいじって理解できていましたが
>>197も読んでみます
0200132人目の素数さん
垢版 |
2021/01/29(金) 23:17:27.84ID:5poGgjWr
z=‪√‬(12-x^2-y^2)とz=x^2+y^2で囲まれる体積を求めたいのですが積分領域をどうすればいいのかいまいち分かりません。x=rcosθ y=rsinθとおいてrの範囲はわかったんですがθの範囲をどうすればいいのでしょうか??
0201186
垢版 |
2021/01/29(金) 23:25:44.50ID:QcgvcU0r
「A&Sのこの項目」という表現は、Maximaのソースで知りました。

>>187
本自体はこんなやつです。
ttps://ja.wikipedia.org/wiki/Abramowitz_and_Stegun

以前雑誌記事で、参考文献に著者名抜きで「解析概論」って書いてあるのを見た事があって、
著者が分からずに学校の先生に訊いたら、どうも知ってるのが常識らしく…。
いまはそれではacceptされないんだろうなぁ。
0203132人目の素数さん
垢版 |
2021/01/30(土) 17:40:11.41ID:lHyDsxQK
有向族についての質問

集合Xの元の列x_i, i∈Iが有向族であるとは、Iが有向集合であるってのが普通の定義だけど、
Xの部分集合AとAの二項関係≦のセット(A,≦)に対して有効集合を定義しちゃいけないのか?

何か不都合があるなら教えてほしい
0204132人目の素数さん
垢版 |
2021/01/30(土) 18:28:49.48ID:1+K/Bd+i
>>203
その定義でもいいと思うよ。フィルターはそうだし
ただ、有向族は数列の拡張で、数列の考え方や記法が使えるのがいいんじゃないかな
同じ添字集合の複数の有向列どうしなら収束の速さなんかの比較もできそう
0205132人目の素数さん
垢版 |
2021/01/30(土) 19:06:27.24ID:lHyDsxQK
>>204
>同じ添字集合の複数の有向列
こういう概念も(A,≦_1)、(A,≦_2)として同様に扱えると思うんだが、

唯一の、(x_i|i∈I)と(A,≦)の違いは写像と集合の違いなんだが、これが各種議論でどういう影響を及ぼすのかが分からんから聞いてみたっていう趣旨。
0206132人目の素数さん
垢版 |
2021/01/30(土) 21:25:45.56ID:3AK59yWI
K, L をそれぞれ距離空間 (X, dX), (Y, dY ) のコンパクト部分集合とする.
K × L ⊂ O となる、直積空間 (X × Y, d) における任意の開集合 O に対して,
(X, dX) の開集合 U と (Y, dY ) の開集合 V s.t. K × L ⊂ U × V ⊂ O が存在することを示せ。


コンパクトの定義を使ってOを有限部分被覆に分解するのは分かるのですが、そこから先がいまいち分かりません...
どなたかお願いいたします...
0207132人目の素数さん
垢版 |
2021/01/30(土) 21:31:43.57ID:1+K/Bd+i
>>205
そりゃ考える数学的対象と何がしたいかによるだろう
有向族の途中の項に重複があるかどうかで違いがでるものを考えるのでなければ
どっちの定義でも同等なんじゃないの? ネットとフィルターのように
でもネットとフィルターで議論の仕方は結構違うよね
0208132人目の素数さん
垢版 |
2021/01/30(土) 23:20:18.76ID:RQ48F/1U
>>206
初手から間違っている。
一般に距離空間において、コンパクト集合KとKを含む開集合Oに対し、ε>0が存在して、Kのε近傍はOに含まれる。
問題に戻る。ε>0が存在して、K × Lの2ε近傍はOに含まれる。XにおけるKのε近傍をU、Lのε近傍をVとすると、U × VはK × Lの2ε近傍に含まれ、したがってOに含まれる。
これでわからなかったら、もっと前のところの理解が怪しくなっている。
0209132人目の素数さん
垢版 |
2021/01/30(土) 23:22:51.77ID:RQ48F/1U
K × L ⊂ U × Vを書き漏らしたが自明だから問題ないね。
0210132人目の素数さん
垢版 |
2021/01/31(日) 00:17:27.24ID:1GtbAOjB
>>208
それを使ったら簡単だよなー
まあ、その証明も簡単だが
ところで直積空間の距離は無数にあるけど、どう定義してんの?
0211132人目の素数さん
垢版 |
2021/01/31(日) 00:31:13.15ID:md3DB+Z5
私は各成分の距離の和なんだろうと補った
0212132人目の素数さん
垢版 |
2021/01/31(日) 00:32:28.92ID:y3ytn68g
>>208
ありがとうございます!
「コンパクト集合KとKを含む開集合Oに対し、ε>0が存在して、Kのε近傍はOに含まれる。」という定理を恥ずかしながら知らなかったのですが、どこかのサイトに証明が載ってたりしますか?
0213132人目の素数さん
垢版 |
2021/01/31(日) 01:01:48.30ID:md3DB+Z5
Oが全集合ならば自明。
そうでないならOの補集合は空でない閉集合。
コンパクト集合と、それと交わらない空でない閉集合との距離は正である。
以上により従う。
0216132人目の素数さん
垢版 |
2021/01/31(日) 20:33:48.81ID:WZTjWF7h
いやNG判定で弾かれるのを嫌ってURL表記を途中でブツ切りにしてあるだけだろ
今は何故かリンクを貼れるが前スレ当時はNGで弾かれてたんだのを
新スレ立てる時にリンクを貼れるか試さずに立てたんだろ
http://mathmathmath.dotera.net
0217132人目の素数さん
垢版 |
2021/01/31(日) 20:35:38.43ID:WZTjWF7h
ほれやっぱり貼れた。しかし何だって去年前半頃までNGワードだらけだったんだろうな
0218132人目の素数さん
垢版 |
2021/01/31(日) 20:39:22.59ID:FoAtuery
>>216
あーなるほど bb2cってブラウザで見てるとスペース以降見えなくて気づかなかった
ありがとう
0219132人目の素数さん
垢版 |
2021/01/31(日) 21:04:12.97ID:37sMitae
関数解析では線形写像を線形作用素と呼ぶのが普通とのこと

何でこんな無意味な言い換えってするの?
数学ではちらほらこういう無意味な言い換えあるよな
0220132人目の素数さん
垢版 |
2021/01/31(日) 21:47:42.24ID:mPPX04im
>>219
気分がそうさせるだけよ?何か問題なの?
0222132人目の素数さん
垢版 |
2021/02/01(月) 09:18:20.46ID:cq4NiitP
有界閉集合でジョルダン可測(面積確定)でないものってどんなものがあるんでしょうか。
本を読んでいたら「有界閉ジョルダン可測集合」と書かれていたものがあったので、有界閉集合ってジョルダン可測なんじゃないかと思ったのですが、判例などがあればよろしくお願いします。
0223132人目の素数さん
垢版 |
2021/02/01(月) 10:04:18.85ID:C7D672kN
なんかそういう判例集みたいな本があったような
0225132人目の素数さん
垢版 |
2021/02/01(月) 11:20:45.28ID:cq4NiitP
>>224
それって閉集合ではないですよね。
0<x<1となる無理数xは[0,1]∩Qの元ではないですが、[0,1]∩Qの集積点にはなっているので。
つまりxの近傍Vをどんなに小さく取ってもV∩([0,1]∩Q)が空集合にならないので。
0226132人目の素数さん
垢版 |
2021/02/01(月) 11:26:18.08ID:3VLHP/sk
またきやがった
質問してる風で偉そうな奴が
0227132人目の素数さん
垢版 |
2021/02/01(月) 11:31:13.20ID:cq4NiitP
>>224
すみません。勘違いしたかもしれませんが、
特性関数というのは確率論などで使うものでしょうか。
複素数値関数に見えるのですが。。。
0229132人目の素数さん
垢版 |
2021/02/01(月) 11:41:53.69ID:ylCDXE1x
ジョルダン可測ってのは境界のルベーグ測度が0って事だから
有開閉集合なら、内部とその集合自身のルベーグ測度が等しくないものがあるかどうか考えればいい
結局0かどうかで考えればいいから、内点を持たずに正のルベーグ測度を持つ集合であればよくて

普通にカントール集合でいいなこれは
0230132人目の素数さん
垢版 |
2021/02/01(月) 11:59:04.09ID:3VLHP/sk
>>227
特性関数は全然違う意味のが2つある
0232132人目の素数さん
垢版 |
2021/02/01(月) 13:00:20.60ID:OPH986+r
ハルナック集合はカントール集合の2次元版だから3次元版も作れるな
0233132人目の素数さん
垢版 |
2021/02/01(月) 13:01:24.40ID:cq4NiitP
>>228>>231
どうもありがとうございます。助かりました。
ルベーグ積分論をあまりやっていなかったので、微積の話でつまづいているものだと思っていました
ちなみにカントール集合のルベーグ測度は0だから違うような。。。
0234132人目の素数さん
垢版 |
2021/02/01(月) 15:27:24.35ID:xeODCXjX
>>233
> ちなみにカントール集合のルベーグ測度は0だから違うような。。。

こういうひとこと多いのは止めた方がいいよ
0235132人目の素数さん
垢版 |
2021/02/01(月) 15:47:30.76ID:cq4NiitP
>>234

気分を害されたなら申し訳ありません。
ただ間違ってると思ったので確認したかっただけなのですが、
それとも私が間違っているんでしょうか
0236132人目の素数さん
垢版 |
2021/02/01(月) 15:57:27.36ID:oMU5Sdem
そんなことを気にするより
>>227みたいな勘違いで人を貶した事を気にしなさい
0237132人目の素数さん
垢版 |
2021/02/01(月) 16:07:32.54ID:cq4NiitP
>>236
違うのではないかと言っただけで貶したわけではありませんし、
貶されたと思ったならそれこそ勘違いです。
ちなみに、特性関数をf(x)=0 if x ∈ [0,1]∩Q
f(x)=1 if x ∉ [0,1]∩Qと定義しても同じで閉集合になりません。
0238132人目の素数さん
垢版 |
2021/02/01(月) 16:19:57.20ID:iPzjkvA6
>>237
君、本当に神経がおかしいぞ?
リアルで対人トラブル起こしまくりだろ。
0239132人目の素数さん
垢版 |
2021/02/01(月) 16:30:37.76ID:cq4NiitP
うーん他人の感情より数学的な事実の方が大切だと思ってしまうのは良くないことなのか?
例えば>>225の段階で私の質問の目的に沿わない回答が来てしまった時、
私は閉集合でないということを指摘せざるを得なかったのですが、
何かもっと良い言い回しの仕方があったのでしょうか。
今後の参考にしたいので、「もっとこういう言い方をした方がいいよ」というのがあれば教えていただきたいです
0241132人目の素数さん
垢版 |
2021/02/01(月) 16:37:15.39ID:iPzjkvA6
>>240
君も無神経な人の1人か
0242132人目の素数さん
垢版 |
2021/02/01(月) 16:56:54.61ID:liMcVjwk
>>239
225とか227に悪意があるかどうかは知らないけど。
> うーん他人の感情より数学的な事実の方が大切だと思ってしまうのは良くないことなのか?
片方がより大切だからって他方を蔑ろにして良いなんてことないよね。
0244132人目の素数さん
垢版 |
2021/02/01(月) 19:13:24.69ID:OPH986+r
>>233 までは問題ないと思うが
>私が間違っているんでしょうか
てのは攻撃的意思を掩蔽してると解釈されるな
自覚してないと問題だね
■ このスレッドは過去ログ倉庫に格納されています

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