TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
奇数の完全数の存在に関する証明は正しいはず
Inter-universal geometry と ABC予想 41
ホモトピー,ホモロジー,ホモロジー代数コホモロジー
ホモの肛門は激臭
現代数学の系譜11 ガロア理論を読む33
多重集合と負の存在
茂木健一郎の数学
分からない問題はここに書いてね443
もし、体育教師が数学の授業をやったら?
abc予想ってどうなったの

大学学部レベル質問スレ 13単位目


1 :2019/12/31 〜 最終レス :2020/06/21
大学で習う数学に関する質問を扱うスレ

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

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

※前スレ
大学学部レベル質問スレ 12単位目
http://rio2016.2ch.sc/test/read.cgi/math/1531805974/

2 :
明けましておめでとうございます。

3 :
複素関数 1/sin²(z) を不定積分すると -cot(z)+C になると思いますが、この場合、始点をpi/2、終点を-pi/2にすると直線で結んだ場合は途中の経路に原点が含まれて正則じゃない点を通るのでこの経路では積分不可能で、そこを避けるように経路を取ることになり、直線経路にならないのですが、それでもそのことは気にせずに直線の時と同じような積分で良いのでしょうか。

4 :
そもそも複素積分で直線経路など要求してない

5 :
何言ってんだコイツ

6 :
テイラー級数を見て思ったんですが、単項式って何かの空間の基底になってますか?

7 :
単項式しだいだろ

8 :
Pr(θ)をポアソン核、ポアソン積分をPr*f(θ) := ∫_0^{2π} (Pr(θ-Φ))f(Φ)dΦ とします
ここからが分からないのですが、次の変形
( Pr*f(θ) ) - f(θ) = ∫_0^{2π} Pr(θ-Φ)(f(Φ)-f(θ))dθ
が成り立つのは何故なのでしょうか
特に、何故 f(θ) がPr(θ-Φ)で括られるのかが分かりません

9 :
>>7
単項式は1, x, x^2, x^3, ...でう

10 :
>>8
∫Prdθ=1だからじゃね?

11 :
複素数の超越数ってあんの?

12 :
>>6
つルジャンドル多項式

13 :
>>9
それらで張られる空間はk[x]
無限和も許すような基底であればC^ωかな

14 :
>>10
しばらく悩んで理解しました
言われてみれば単にこれだけですね
ありがとうございます

15 :
A, B が正定値エルミート行列で、AB=BAをみたすとき、
行列の平方根 (√A) と (√B) が (√A)(√B) = (√B)(√A) をみたすことを証明できないんですが、教えてください。

16 :
対角化したら

17 :
>>16
ありがとうございます。積年の疑問が雲散霧消しますた。

18 :
次のフーリエ変換を求めよ
1. f(x) = 1 (if |x|≦1)
f(x) = 0 (if |x|≧0)

2.f(x) = sinx*cosx/x

どなたかよろしくお願いします

19 :
おいおい同時対角化できるんかよ
まあ、できるんだが

20 :
質問です
z=0の周りで次の周回積分を正の向きに計算したい

兎xp(z) sinz/(z^2) dz

abs(z)=r
なる円を考え、かつ、rが十分小さいとき、
sinz≒zより

兎xp(z) sinz/(z^2) dz
≒兎xp(z) /z dz
=2πi

とやっていいものでしょうか…

21 :
理由がダメ
(sin z - z)/z^2 が正則にしとけ

22 :
>>13
テイラー展開の係数は点ごとに代わるから、C^ωというのは1点における茎みたいなやつになるんでしょうか?

23 :
知恵袋
https://chiebukuro.yahoo.co.jp/my/myspace_quedetail.php?writer=1043512917
https://chiebukuro.yahoo.co.jp/my/myspace_quedetail.php?writer=1147736549
二つのハンドルで質問しまくったがバカにされ始めたことを気づいたのか
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13218505343
で ID を非公開にwwwwwwwwwwwww

ここでも FFT

教えてgoo venomctun、 captain06
https://oshiete.goo.ne.jp/qa/11433028.html
ttps://oshiete.goo.ne.jp/qa/11423826.html
ttps://oshiete.goo.ne.jp/qa/11426289.html
ttps://oshiete.goo.ne.jp/qa/11418282.html
ttps://oshiete.goo.ne.jp/qa/11418068.html
ttps://oshiete.goo.ne.jp/qa/11417112.html
ttps://oshiete.goo.ne.jp/qa/11417088.html
ttps://oshiete.goo.ne.jp/qa/11418410.html
ttps://oshiete.goo.ne.jp/qa/11420102.html

24 :
質問です
z=0の周りで次の周回積分を正の向きに計算したい

兎xp(z) sinz/(z^3) dz

abs(z)=r
なる円を考え、かつ、rが十分小さいとき、
sinz≒zより

兎xp(z) sinz/(z^) dz
≒兎xp(z) /z^2 dz
=0

とやっていいものでしょうか…

25 :
>>24
>>21を使いましょう。

26 :
D={x=x(t):x∈C^2([a,b]),x(a)=x(b)=0}と定め、Dにおける対称な二階線形微分作用素Tを
Tx=px''+p'x'+rx (p=p(t))と定めるとき、
Tの固有値はp(t)>0なら上に有界、p(t)<0なら下に有界であることを示せ
お願いします

27 :
>>26
rは定数?

28 :
>>27
すみません
特に指定が無かったのですが出題範囲的に恐らくr(t)の略かと

29 :
あれ?p=1,r=0で反例になるような?

30 :
>>21
>>23

ありがとうございます
理解できた気がします

https://i.imgur.com/Tz4KZkR.jpg

31 :
誰やねん

32 :
>>13
k[[x]]

33 :
>>22
1+2x+3x^2+4x^3+5x^4+…
がC^ωと?

34 :
<u,n,k,o|unko=1>
うんこ群

35 :
R:微分作用素のレゾルベント、{φ_k}:Rの固有関数列
このとき、任意の連続関数fに対してParsevalの等式
納k=0] |(f,φ_k)| = || f ||^2
が成立、つまり{φ_k}が完全であることを示して下さい

36 :
>>35
門外漢でよくわからないんですが、このような設問の場合、関数空間は自動的に決まるんですか?
微分作用素Dと固有方程式Df=λfについて‥で自動的にヒルベルト空間は指定されるんですか?

37 :
質問
数学をするのにもし次のどちらかを使うとするならどっちを選ぶ?
液晶タブレット
DPT-RP1等のデジタルペーパー

ノートとしての使い勝手を考えたらデジタルペーパーの方がいいけど値段が高いし用途がかなり限定される
一方液晶タブレットは5万円台もあるし用途は数学以外もある

38 :
>>37
デジタルペーパーって店で触ったことしかないけどメリットあるのかな
「iPadよりしょぼいものがiPadより高く売られている?!なぜ?!」ってびっくりした

39 :
多変数の複素積分ってRからR^nに一般化するみたいに普通にやったらいいんですか?
ネット上にPDF落ちてませんか?

40 :
>>36
決まらないから出題者を忖度するしか無いわな

41 :
リュウビル型微分方程式の固有関数の直交性問われてるのかな?

42 :
>>41
その話だとするとどんな空間になるんですか?

43 :
>>38
宣伝されてた情報によると、バッテリーが数週間持つ、書き味が紙に近い らしい

44 :
髪に書く方が楽じゃあないかね?
探すときも早いし。

45 :
写真3枚目のAフーリエ正弦級数を求めるところでどのようにこの値を出したのか、途中計算込みで教えていただけないでしょうか、、、
https://i.imgur.com/3YINhDc.jpg
https://i.imgur.com/G78rDwM.jpg
https://i.imgur.com/vdjnc63.jpg

46 :
英語で検索したらわかったんだけど多変数の複素積分はかなりレベルが高いらしい
まだやめとく

47 :
賢明な判断です

48 :
来世で頑張れ

49 :
来週頑張れ

50 :
多変数の積分の変数変換の公式(ヤコビ行列式のやつ)ってシンプルで短い証明ないんですか?

51 :
つ微分形式

52 :
Xを(0,2)で有界連続関数全体とするとき、||f||=sup|f(x)|とノルムを定めてバナッハ空間とする
ここで次の線形作用素TがX上でも有界線形作用素となるか判定して下さい
以下、全てx∈(0,2)です

Tf(x)=f(x)/x, Tの定義域は{xg(x);g∈X}
Tf(x)=∫[0,x]f(t)dt, Tの定義域はX
Tf(x)=f'(x), Tの定義域は{f∈C^1(0,2);||f'||<∞}

全て成立してるような気がするのですが判定せよなので1つくらい不成立例が混ざっててもおかしくないんですよね
どなたかわかる方いたらお願いします

53 :
一番最初はムリやろ
f(x)=min{ax,1}
が任意のaで||f||≦1だけど||Tf||は非有界じゃね?

54 :
最後もムリ。
fx)=sin(ax)
でダメじゃね?

55 :
命題1
https://imgur.com/a/RkqdHXj


https://imgur.com/a/UCtEdJr
https://imgur.com/a/6Bzz4dA

系の証明が端折ってて不明瞭なので質問
系の証明で命題1はどのように使われてますか?

56 :
>>53
>>54
有界性ってこの場合fに依存しないように上から評価出来ないとでしたね
ありがとうございます解決しました

57 :
>>50
線形変換の体積比が行列式になることの証明て複雑か?

58 :
>>57
線形性と交代性から

59 :
そもそも行列式が符号つき体積なので

60 :
非線形の話だっつうの
線形代数じゃねえよ

61 :
>>60
線形変換だろ?

62 :
ふざけていやがる
証明しようとしてみれば分かるけど、変数変換の写像(一般に非線形)によって直方体が直方体に移らない上に
点によって拡大率(ヤコビ行列式)が違うから分割が分割に綺麗に対応しない
局所的な議論に比べてかなり複雑になる

63 :
そもそも微分てのは局所的に線形ってことだがなー

64 :
>>62
>局所的な議論に比べて
フンパン
局所的な議論をするのだが

65 :
次のRのイデアルIが極大イデアルか判定するのはどうすれば

R=Z[i]に対してI=(97)
R=Z[X](多項式環)に対してI=(7,X)

66 :
すみません下のは解決しました

67 :
皆さんありがとうございます
上も自決しました

68 :
p,q:Z[i]→Z/97
をp(i)=22、q(i)=-22で定めるともちろん(97)の原点はどちらも0イデアルに移されるのでIはkerp、kerqの両方に含まれる。
しかしp(22+i)=44≠0、w(22-i)=0によりkerp≠kerq。
もし(97)が極大イデアルなら(97)=kerp=kerqとなって矛盾。
∴(97)は極大イデアルではない。

69 :
97 = (4 + 9i)(4 ? 9i)で既約元じゃないから素元じゃない

70 :
次の普遍被覆空間を求めて下さい
簡単な説明もあると助かります

R^2\{(0,0)}
S^2
S^2\{(0,0,1)}

71 :
>>70
π:R^2→R^2-O:(x,y)→e^x(cosy,siny)
S^2, S^2-Nは自明

72 :
任意に与えられた超越数から、新たな超越数を構成する手続きって存在しますか?

73 :
>>72
T:=超越数全体のなす集合
Map(T):={写像f:T→T全体}としたときの、Map(T)の性質やf∈Map(T)が連続である時のfの性質とか気になるんだが、なんか分かってる事ってありますか?

74 :
>>72
x:超越数→x+1:超越数

75 :
無限少数で表して各桁に0を挟む
これが超越数って証明はどうすればいいのだろう?

76 :
>>75
どゆこと?
f(x)が十進表示の各桁の間に0を挟む関数
f(123.4567‥)=10203.4050607‥)
としてxが超越数→f(x)も超越数を示すの?
そもそもそんなの成立するん?

77 :
成立するんじゃない?
循環小数に0をはさんでも有理数になることをしめせばいい

0.10402080507010…
は有理数か。

成り立ちそう

78 :
>>77
何で有理数?

79 :
しかも→逆だし。
有理数⇔有理数は自明だけど超越数、超越数はどっち向きも相当ムズイ。
無理数と超越数の違いもわからんカスの自作問題か?

80 :
具体的な数学の問題ではないのですが、他学部出身ですが数学に興味があって、高校数学の復習が終わって、微分積分、線形代数、集合・位相、微分方程式まで学習しました。
数学科卒の最低レベルまで数学の知識を広めたいのですが、数学科卒といえるには、あと《最低限》何を勉強すれば宜しいでしょうか?
近い将来、転職する際に、数学科卒業程度の数学を独学した旨のアピールをしたいです。

81 :
>>79
あー(´・ω・`)
たしかに無理数なのは言えそうだけど
超越数は難しそうですね
でも真偽がかんたんにはわからない問題ってそれだけで価値ありそうじゃないですか?

82 :
群論 環論 体論 ガロア理論 数論 ホモロジー代数 代数幾何
ベクトル解析 複素解析 フーリエ解析 測度論 関数解析 偏微分方程式 確率論
多様体論 位相幾何 微分幾何 微分位相幾何 表現論

83 :
>>81
真偽が分からない問題なら腐るほどある
価値があるかどうかは問題に取り組んでみて
話が発展していきそうかそうでないかで考えるべき
難易度とはまた別のパースペクティヴで見るよ

84 :
>>83
おっしゃる通りなんですが、
超越数かどうかの判定ってのがさほど話が広がるものじゃないイメージもあったりします

85 :
まだ未発達な分野だろうから開拓は大変だね

86 :
∫dx 1/(x^2+1)=∫dx (1/(x-i)-1/(x+i))/2
みたいな感じで定積分求められますかね(´・ω・`)

87 :
複素対数関数がわかってればね

88 :
>>86
>)/2
2?

89 :
>>87
logz=log|z|+iargz
から導出して

90 :
>>86
求めたいのは不定積分でした

やってみます

91 :
>>90
0からxまでの定積分を求めるよ

92 :
漸化式が綺麗な形で表すことの出来る一般校を持つかどうかを判定するアルゴリズムなり定理ってありますか?

93 :
一般校には無理

94 :
この世には何にも綺麗な形なんて、ない!

95 :
審美眼ないのね

96 :
デデキント切断で実数を切断するとき下組に最大値か上組に最小値があることの証明ってありますよね?
これを証明なしで公理として扱ってるサイトが多いのはなんでなのですか?
上限下限の存在も公理としてる場合が多いですがこれも証明できますよね?

97 :
同値となる公理が多いからどれを公理とするかで変わる

98 :
実数の定義にその事実使ったからわからん

99 :
証明面倒くさいから

100 :
>>98
定義には使わないでしょ
実数の定義は有理数の切断からだから


100〜のスレッドの続きを読む
現代数学の系譜 工学物理雑談 古典ガロア理論も読む46
フェルマーの最終定理の簡単な証明5
奇数の完全数の存在に関する証明は正しいはず
邪馬台国畿内説の角度
現代数学など社会ではなんの役に立たない
@hyuasa=湯浅久利先生
ジョン・ナッシュ氏が交通事故で死去
圏論、カテゴリー論
【数セミ】エレガントな解答をもとむ3【2018.10】
数学学習法
--------------------
【PSO2】PHANTASY STAR ONLINE2【30470】
CHUNITHM(チュウニズム) 質問攻略スレ ゲージ4本目
【芸能】<渡部建>「不快なスキャンダル」で先手自粛も、炎上までのカウントダウン!一体、ふたりに何が起きたのだろうか? [Egg★]
東京ヤクルトスワローズpart1362
若手男性声優について 84
【常連専用】天才歌姫 中森明菜復活32
学者子どもの保育園3
大東市営グランドを特定の少年野球チーム(監督は市の職員)が抽選免除で優遇利用か 同時間帯に申込みの少年サッカーチーム等は落選続き
マリーンズの応援を語るスレ2019【球界改革議論板】
【J:COM】鶴光のオールナイトニッポン@J:COM
【Sing Out!】乃木坂46★9326【本スレ】
【実質】さだまさし vol.8【Part21?】
8/21 インターナショナルS 芝2050m★2
アマゾン川崎 Part5
【iPhone】神アプリを列挙するスレ★87
【30代以上】スプラトゥーン2 中年専用スレ50
【SKE48】山田樹奈応援スレ☆7【じゅなちゃん】
クレジットの序列・懐かしドラマ版その7
ファミスタオンラインpart 婚活の夢を叶えます
LaLa Call Part 07
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼