23/03/07 18:35:39.96 6myOW2uQ.net
>>75 素人なので、知らない人で調べたことを貼りますね
URLリンク(en.wikipedia.org)
Abhyankar is a surname native to the Indian state of Maharashtra. Abhyankar surname is found among Chitpavan Brahmin community.[1][2]
Notable people
URLリンク(en.wikipedia.org)
Shreeram Shankar Abhyankar
Shreeram Shankar Abhyankar (22 July 1930 ? 2 November 2012)[1][2] was an Indian American mathematician known for his contributions to algebraic geometry.
URLリンク(upload.wikimedia.org)
Shreeram Abhyankar (right) with Alexander Grothendieck (left), Michael Artin in the background, at Montreal, Quebec, Canada in 1970.
Career
Abhyankar was appointed the Marshall Distinguished Professor of Mathematics at Purdue in 1967. His research topics include algebraic geometry (particularly resolution of singularities, a field in which he made significant progress over fields of finite characteristic), commutative algebra, local algebra, valuation theory, theory of functions of several complex variables, quantum electrodynamics, circuit theory, invariant theory, combinatorics, computer-aided design, and robotics. He popularized the Jacobian conjecture.
92:132人目の素数さん
23/03/07 18:36:07.47 6myOW2uQ.net
>>75
URLリンク(ja.wikipedia.org)
フィリップ・グリフィス (Phillip Augustus Griffiths, 1938年10月18日 - )は、アメリカ合衆国の数学者。プリンストン高等研究所教授。
1962年プリンストン大学で学位を取得。 カリフォルニア大学バークレー校、プリンストン大学、ハーバード大学、デューク大学、プリンストン高等研究所所長(1991 - 2003)を経て現職。 専門は代数幾何学、微分幾何学、積分幾何学、幾何学的関数論。
Griffiths理論 (Hodge構造の分類空間の理論の導入)。非特異射影空間の超曲面のHodge構造におけるGriffithsの定理。 コンパクト Kahler 多様体のコホモロジーの決定。Griffiths transversality。GriffithsのAbel-Jacobi写像。
師は小平・スペンサー理論で著名なドナルド・スペンサー。
受賞
1971年 - スティール賞(1回目)
2008年 - ウルフ財団ウルフ賞数学部門:複素微分幾何学への貢献、アーベル積分の周期理論、ホッジ構造分類に対して
2008年 - ブラウワー・メダル
2014年 - スティール賞(2回目、生涯の業績部門)
2014年 - チャーン賞
URLリンク(en.wikipedia.org)
Conjeevaram Srirangachari Seshadri [1]FRS (29 February 1932 ? 17 July 2020) was an Indian mathematician.[2]
He was also known for his collaboration with mathematician M. S. Narasimhan, for their proof of the Narasimhan?Seshadri theorem which proved the necessary conditions for stable vector bundles on a Riemann surface.
93:132人目の素数さん
23/03/07 18:51:43.64 GjhwvE/L.net
AbyhankarはそのころJacobian予想にご執心で
セミナーで200次くらいまでは確かめたと言った。
誰かがコンピュータを使ったのかと聞いたら
"I do not believe in computers"と答えた。
Purdue大学の同僚のMohは北京大から来た学生に
この問題を学位論文の課題として出した。
その学生の名は張益唐。
94:132人目の素数さん
23/03/07 19:28:41.25 dq7kBuOU.net
>>90
____
/ \
/ ⌒ ⌒ \ 何言ってんだこいつ
/ (●) (●) \
| 、" ゙)(__人__)" ) ___________
\ 。` ⌒゚:j´ ,/ j゙~~| | | |
__/ \ |__| | | |
| | / , \n|| | | |
| | / / r. ( こ) | | |
| | | ⌒ ーnnn |\ (⊆ソ .|_|___________|
 ̄ \__、("二) ̄ ̄ ̄ ̄ ̄l二二l二二 _|_|__|_
95:132人目の素数さん
23/03/07 19:29:19.97 dq7kBuOU.net
>>94
楕円曲線とかSchizophreniaか?
96:132人目の素数さん
23/03/07 20:14:21.78 qQKmmgiz.net
>>69
>1のp乗根ζp^xに対しては以下の写像で作用する
>
>ζp^x→ζp^(ax+b)
ガロア群の元がってこと?
なら、b=0 でないと。
97:132人目の素数さん
23/03/07 21:23:22.85 X1YDyGoP.net
>>95
都合が悪くなってCQoO/N0zから
dq7kBuOUに変えた?
98:132人目の素数さん
23/03/07 23:36:46.55 aNdPDvr9.net
>>93
>AbyhankarはそのころJacobian予想にご執心で
>セミナーで200次くらいまでは確かめたと言った。
ありがとう
へー、これか!
URLリンク(ja.wikipedia.org)
ヤコビアン予想(英: Jacobian conjecture)とは多変数多項式に関する有名な問題である。これは1939年オット・ハインリヒ・ケラー(英語版)によって初めて提出された。これは、代数幾何における問いであって、その主張を述べるのに微分積分学をわずかに超える程度の知識だけを要するものの例として、Shreeram Abhyankar(英語版)によって広く宣伝された。
ヤコビアン予想は膨大な証明が試みられては微妙な(些細で捉えにくい)誤りが判明してきたことで悪名高い。2018年現在これを証明したという尤もらしい主張はない。2変数の場合でさえ全ての努力に抵抗してきた。この予想が真であると信じるに足る説得的な理由は知られていないし、van den Essen (1997)によれば、変数が非常に多い場合にはこの予想は実際には偽であるという幾つかの疑いもある。The Jacobian conjecture is number 16 in Stephen Smale's 1998 list of Mathematical Problems for the Next Century.
URLリンク(en.wikipedia.org)
Jacobian conjecture
つづく
99:132人目の素数さん
23/03/07 23:37:11.59 aNdPDvr9.net
>>98
つづき
>その学生の名は張益唐
2022年フィールズ賞にちょっと関係ありか
URLリンク(ja.wikipedia.org)
張 益唐(ちょう えきとう、ジャン・イータン、1955年 - )は、中華人民共和国生まれのアメリカ合衆国の数学者である。数論を専門とする。
ニューハンプシャー大学(英語版)に講師として在籍中の2013年、隣り合った素数の間隔として無限回みられる値の最小値に関して、有限な上界を初めて確立する論文を数学誌『Annals of Mathematics』に提出した。この研究により、2014年のマッカーサー・フェローに選出され[5]、カリフォルニア大学サンタバーバラ校の教授に任命された[6][7][8]。
URLリンク(columnlab.net)
【ざっくり分かる】フィールズ賞2022 ,どんな人がどんな理由で受賞した?
2022-07-27
James Maynard(ジェームズ・メイナード)
素数の間隔はどこまでも離れていくのでしょうか。
この問題について,2013年に張益唐ザン・イータン氏は
「隣り合った素数の隔たりが7千万以下のものが無限組存在する」
という画期的な証明を発表しました。
目指している差の”2”には及びませんが,連続する素数の間隔が有限(7千万以下)であるということが証明できたのですから,これはとても大きな進歩と言えます。
そしてすぐ後の2014年,メイナード教授はこの間隔を大幅に狭め,
「差が600以下の素数の組が無数に存在する」
ことを証明しました。※
※現在では,この間隔は600→246まで狭められています。
その他にも数多くの優れた業績が評価され,今回の受賞につながりました。
URLリンク(en.wikipedia.org)(mathematician)
James Maynard (mathematician)
Maynard was awarded the Fields Medal 2022 for "contributions to analytic number theory, which have led to major advances in the understanding of the structure of prime numbers and in Diophantine approximation".[24]
(引用終り)
以上
100:132人目の素数さん
23/03/08 05:52:24.71 aG1kaKG5.net
>>96
>>ζp^x→ζp^(ax+b)
>ガロア群の元がってこと?
>なら、b=0 でないと。
あ、ウマシカ
x^p-2=0 のガロア群は?
101:132人目の素数さん
23/03/08 05:58:31.63 aG1kaKG5.net
>>97
数奇蔵クンが「楕円関数の類似」とかいう
言語障害的なアウアウアー発言でいいたかったことが
「円のp等分を楕円曲線のp等分に置き換えた場合
p等分点に作用する自然な群って何?」
だとすると(この程度の日本語も書けないって完全な池沼だが)
答えは
PSL(2,Z/pZ)
だが、こんなのネット検索ウマシカでもわかる
ただのウンコ知識で、こんなこと知ってたからって
数学の天才とか自惚れるのは中卒ウマシカだよな(嘲)
102:132人目の素数さん
23/03/08 06:41:53.35 4Kl3nQLY.net
>>101
フロベニウスががロア群の中に規則正しく入っている様子は
がロア表現を通して簡明に理解することができます。
この楕円曲線での類似がどうなるかという話です。
103:132人目の素数さん
23/03/08 06:49:45.47 4Kl3nQLY.net
訂正
がロアーー>ガロア
104:132人目の素数さん
23/03/08 06:53:16.75 aG1kaKG5.net
>>102
日本語が正確に書けない数奇蔵クンには数学は無理だな
フロベニウスという「人物」はガロア群の中に入りようがない
フロベニウス写像といいたいのかもしれないが
フロベニウス群の話はしたかもしれんが
フロベニウス写像の話はしていない
同じフロベニウスという名前がついているというだけで
脊髄反射したのなら完全な数奇蔵だから
医者で見てもらったほうがいいだろう
したがって
>この楕円曲線での類似がどうなるか
は全く無意味
精神患ってんな
105:132人目の素数さん
23/03/08 06:56:15.12 aG1kaKG5.net
数学板ではニセ数学者のウマシカが出没するが
どいつもこいつもすぐニセだとバレる
一貫した文章が書けない時点で精神患ってると分かる
106:132人目の素数さん
23/03/08 06:56:58.19 4Kl3nQLY.net
張益唐の最近の話題作はこれ
URLリンク(doi.org)
107:132人目の素数さん
23/03/08 06:57:50.32 aG1kaKG5.net
>>106
都合悪くなると、すぐ別の話題に逃げる
ウソツキは卑怯
108:132人目の素数さん
23/03/08 06:58:30.13 aG1kaKG5.net
だいたい数学が分かってないのに
分かったと嘘つくのが最大級の犯罪行為
焚殺に値する
109:132人目の素数さん
23/03/08 07:01:54.57 4Kl3nQLY.net
>>104
フロベニウスがフロベニウス写像のことであることを
明確にするために102を書いたのだが
それが伝わったようで何より
110:132人目の素数さん
23/03/08 07:04:02.19 4Kl3nQLY.net
>>107
106が99へのレスであることは読み取れませんか?
111:132人目の素数さん
23/03/08 07:05:59.97 EUxCz53I.net
>>100
>x^p-2=0 のガロア群は?
位数p(p-1)の群だけど。
しかし、だからと言って
>ζp^x→ζp^(ax+b)
と作用してるわけではありませんから~、残念。
112:132人目の素数さん
23/03/08 07:07:44.09 EUxCz53I.net
>>101
「p等分点に作用する自然な群」
「ガロア群」とは言わない点が誤魔化している。
「自然な群」って何?w
大体、ガロア群が常にPSL(2,Z/pZ)なら
べき根で解けるケースがあることと矛盾する。
113:132人目の素数さん
23/03/08 08:25:24.91 wlya33oV.net
>>106
ありがとう
Landau-Siegel zero か
ABC予想にも、ジーゲル零点(英語版)が出てたな
htURLリンク(arxiv.org)
[Submitted on 4 Nov 2022]
Discrete mean estimates and the Landau-Siegel zero
Yitang Zhang
Let χ be a real primitive character to the modulus D. It is proved that
L(1,χ)>>(logD)?2022
where the implied constant is absolute and effectively computable.
In the proof, the lower bound for L(1,χ) is first related to the distribution of zeros of a family of Dirichlet L-functions in a certain region, and some results on the gaps between consecutive zeros are derived. Then, by evaluating certain discrete means of the large sieve type, a contradiction can be obtained if L(1,χ) is too small.
URLリンク(ja.wikipedia.org)
ABC予想
得られる結果の例
ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がジーゲル零点(英語版)を持たないこと
正確には、このためには上で紹介している有理整数を扱うABC予想に加えて、代数体上の一様なABC予想を用いる。(Granville & Stark 2000)。
114:132人目の素数さん
23/03/08 08:31:05.67 wlya33oV.net
>>96
>>>69
>>1のp乗根ζp^xに対しては以下の写像で作用する
>>ζp^x→ζp^(ax+b)
>ガロア群の元がってこと?
>なら、b=0 でないと。
なるほど
言われてみれば・・
気づかなかったな、どんくさいなオレ
いや、胡散臭いとは思ったんだが・・w
”楕円曲線での類似は?”>>71
は、きっと類似のことを指摘しているね
115:132人目の素数さん
23/03/08 09:53:26.88 HC8NrYIb.net
>>111
じゃ、どう作用してんの?
116:132人目の素数さん
23/03/08 09:55:15.74 HC8NrYIb.net
>>112
>大体、ガロア群が常にPSL(2,Z/pZ)なら
幻聴?
117:132人目の素数さん
23/03/08 09:56:34.82 HC8NrYIb.net
>>114
オチコボレがなんかイキってる
118:132人目の素数さん
23/03/08 10:31:10.63 5EhJK9sz.net
>>111
>>x^p-2=0 のガロア群は?
>位数p(p-1)の群だけど。
>しかし、だからと言って
>>ζp^x→ζp^(ax+b)
>と作用してるわけではありませんから~、残念。
横から失礼
ガロア初心者には分かりづらいだろうから(私も初心者ですが)
(作用は、おいといて(多分そのうちw))
下記の雪江明彦 可解性について の”1 のべき根のことをどう考えるか”
関連事項です。もっと言えば、クンマー拡大、クンマー理論関連だね
ここ、私も昔はよく分かっていなかった
大体は、どのガロア理論のテキストでも
”必要な1のべき根は基礎体に含まれる”とさらっと書いて流している
私も、それが当たり前で空気みたいに思っていた(1のべき根に対する意識が希薄化していた)
が、1のべき根をしっかり意識しないといけないのが
クンマー拡大、クンマー理論、クロネッカー・ウェーバー、その先に高木類体論という流れになります
x^p-2=0は、1のべき根が含まれている雪江明彦の立場では(これが一般ですが)
ガロア群は、位数pの群(=巡回群(=コーシーの定理とガロア第一論文にある))です
URLリンク(www.math.kyoto-u.ac.jp)
雪江明彦
代数の教科書について
代数の教科書は日本評論社から出版されました。
・可解性について (2012/10/30更新)
URLリンク(www.math.kyoto-u.ac.jp)
可解性について
方程式が可解であることをどう定義するかだが,1 のべき根のことをどう考えるか
ということがしばしば問題になる. 私個人の結論としては 1 のべき根も加えて考える
のがよいということである.
略
この方程式は t, cos((θ0 + 2π)/3), cos((θ0 + 4π)/3) と 3 つの実数解を持つ. す
ると判別式は正で,解の公式を使うと,3 乗根の中の平方根は虚数である. よって,ま
た複素数の 3 乗根をとることになり,どうどうめぐりになる. だから 1 のべき根は 1
のべき根としてそのままにしておくのがよいと思う.
どちらにせよ,5 次以上の方程式は 1 のべき根を加えてもべき根で表せないので,
非可解性に問題はないのである.
119:132人目の素数さん
23/03/08 10:33:10.39 5EhJK9sz.net
>>118 追加
(余談:雪江 明彦の講義 Youtube がヒットしたので貼る)
URLリンク(ocwcentral.com)
OCW Central
Youtubeあり
代数学Ⅱ
第1回(2限)「群・環の復習」 | 雪江 明彦
自動書き起こし(かなりいい加減みたい 大数学→代数学)
00:08
この授業は、大数学2の授業で、私ですけど、この講義を担当する受験です。
00:26
教科書は一応なしということにします。でも私は大数の教科書を書いたんですけれども、その教科書か、あるいは整数論の教科書も書いて、その第1巻にも大数のことについて書いて、
講義一覧16(抜粋)
1. 第1回(2限)「群・環の復習」
雪江 明彦(理学研究科 教授) 2014-10-07 日本語 52m8s
2. 第1回(3限)「体の拡大と拡大次数」
雪江 明彦(理学研究科 教授) 2014-10-07 日本語 1h30m55s
3. 第2回
雪江 明彦(理学研究科 教授) 2014-10-14 日本語 1h26m29s
4. 第3回 2限
雪江 明彦(理学研究科 教授) 2014-10-21 日本語 1h21m19s
以下略
120:132人目の素数さん
23/03/08 10:42:31.05 7qMKrqpL.net
>>118
>x^p-2=0は、1のべき根が含まれている雪江明彦の立場では(これが一般ですが)
>ガロア群は、位数pの群(=巡回群(=コーシーの定理とガロア第一論文にある))です
それは基礎体がQ(ζp)の場合であって
基礎体がQなら違うけど
もしかして全然分かってなかった?
121:132人目の素数さん
23/03/08 10:54:52.88 7qMKrqpL.net
>>69
>ζp^x→ζp^(ax+b)
この式、読み違ってる奴がいるな
ζp^xはζ(p^x)じゃなくて(ζp)^xだぞ
122:132人目の素数さん
23/03/08 11:04:16.09 7qMKrqpL.net
>>109
式だけ見て脊髄反射したな
日本語読めないのか
123:132人目の素数さん
23/03/08 11:30:00.25 QM0jzrx1.net
u^p=1,u!=1.
w^p=2.
f(w)=u^(b)w.
f(uw)=u^(a+b)w.
a!=0.
f(u)=u^a.
f(u^x)=u^(ax).
f(u^(x)w^(y))=u^(ax+by)w^(y).
124:132人目の素数さん
23/03/08 11:44:58.16 CsZATQph.net
>>122
多分脊髄反射以前
式もろくろく見ずに
反応されている
よっぽど甘く見られているらしい
125:132人目の素数さん
23/03/08 12:00:27.17 5EhJK9sz.net
>>120
>>x^p-2=0は、1のべき根が含まれている雪江明彦の立場では(これが一般ですが)
>>ガロア群は、位数pの群(=巡回群(=コーシーの定理とガロア第一論文にある))です
>それは基礎体がQ(ζp)の場合であって
>基礎体がQなら違うけど
>もしかして全然分かってなかった?
おサルさん、頑張るねw >>スレリンク(math板:5番)
1)仰る通り、というか、雪江 >>118の通り
ガロア理論で簡単に基礎体をQとして、
二つの立場 a)必要な1のべき根を含める b)含めない
がある
2)そして、素数p次の既約な代数方程式が、べき根で解けるとき
そのガロア群は、位数p(p-1)のフロベニウス群(日本のテキストでは線型群と言われる場合が多い。メタ巡回群とも)
(ガロア第一論文の最終定理)
とするのは、上記a)の場合です
以上
126:132人目の素数さん
23/03/08 12:52:02.29 05Qf8sXn.net
>>125
>ガロア理論で簡単に基礎体をQとして、
>二つの立場 、必要な1のべき根を
>a)含める
>b)含めない
>がある
基礎体がQだと言い切った瞬間、b)なんだが
だって1のべき乗根は1以外Qじゃないだろ
そんな初歩も知らんで間違った嘘言ってんのか
そら大学1年で落ちこぼれるわけだ
127:132人目の素数さん
23/03/08 13:00:41.57 05Qf8sXn.net
>>125
>素数p次の既約な代数方程式が、べき根で解けるとき
>そのガロア群は、位数p(p-1)のフロベニウス群
>(日本のテキストでは線型群と言われる場合が多い。
> メタ巡回群とも)
フロベニウス群が何だかわかってんのか?
2つの群の半直積だぞ
位数pの方が+bで、p-1の方がa×な
全然分かってなかっただろ?
10年かかってそのザマだから
ガロア理論とかいくら吠えても
無駄ってこった 諦めて
ネット違翼でもやってろ(嘲)
128:132人目の素数さん
23/03/08 13:08:19.90 05Qf8sXn.net
違翼 wrong wing
自分では正義の右翼 right wingだと思ってるが
実際は自己中心的な幼稚な動機で
誰の得にもならないことを吠え散らかす
迷惑極まりないウマシカ野郎女郎のこと
129:132人目の素数さん
23/03/08 13:17:05.41 aIPnRvrX.net
>>126
>>1のべき乗根は1以外Qじゃないだろ
正気か?
130:132人目の素数さん
23/03/08 13:24:04.65 05Qf8sXn.net
>>129
1と-1以外ねw
ただpが3以上の素数なら
-1は1のp乗根にはならない
131:132人目の素数さん
23/03/08 14:44:06.94 5EhJK9sz.net
>>126
> 基礎体がQだと言い切った瞬間、b)なんだが
> だって1のべき乗根は1以外Qじゃないだろ
> そんな初歩も知らんで間違った嘘言ってんのか
> そら大学1年で落ちこぼれるわけだ
速攻で、ツッコミ入ったね>>129 w
まあ、後は、例の次期日銀総裁植田氏と東大数学科でゼミを一緒したという
数学科出身生>>109-110へ戻す
余りにも おサルのレベルが低いと >>スレリンク(math板:5番)
見ている方が面白くないのでねw
健闘を祈る!
132:132人目の素数さん
23/03/08 14:47:43.02 05Qf8sXn.net
>>131
>次期日銀総裁植田氏と東大数学科でゼミを一緒したという数学科出身生
ただの耄碌爺じゃん(嘲)
133:132人目の素数さん
23/03/08 14:53:18.77 05Qf8sXn.net
>>131
テハミングが中卒程度の最低レベルのくせに
まるで数学で博士号とったかのようなデカい面で
ウソ800書き込むのが実におぞましい
134:132人目の素数さん
23/03/08 14:55:38.60 05Qf8sXn.net
>>110
数寄蔵は医者で診てもらえ
135:132人目の素数さん
23/03/08 14:57:28.64 05Qf8sXn.net
ここは博恥と数寄蔵しかおらんのか
136:132人目の素数さん
23/03/08 16:30:36.84 5EhJK9sz.net
>>133
下記正しいかどうか知らずだが
読んで、次の戦いにそなえよ!!w
URLリンク(ikumi.que.jp)
五次元世界の冒険
新・方程式のガロア群の求め方 & ガロア群が可解である方程式の解き方 その6
作成者: 井汲 景太 2021年1月7日
以前の、可約な方程式の解を実際にべき根で求める手順で、ガロア理論の「中間体と部分群の1体1対応」を利用する所にはまだ遠回りしている箇所があった。そこでは、群の第二準同型定理なんていうものを利用していたが、ここはもっとはるかに簡単にカタがつくことだった。ガロア理論をちゃんと血肉としている人から見れば当たり前のことなのに、それにまったく気づいていないというお恥ずかしい話だった。
使うのは、これまでもしばしば登場してきた、ガロア理論の次の定理だ。
「新・方程式のガロア群の求め方 & ガロア群が可解である方程式の解き方 その6」への7件の返信
サイトウの発言:
2022年6月10日
はじめまして。ガロア理論を勉強する中で参考にさせていただいております。大変勉強になります。ありがとうございます。
1のn乗根の扱いに大きく関係しているのかも知れません。と言うことで、恥ずかしながら、いまだにこの最後の詰めのところが釈然としません。
上手く表現出来ずたいへん申し訳ありませんが、可能であればご助言などご教示いただけますとありがたく思います。よろしくお願いいたします。すみません。
サイトウの発言:
2022年6月12日
可解群であれば代数的に解けるとはいうものの、実際には1のn乗根が必要となり、事前に用意しておく必要があると言う認識で良いでしょうか?
井汲 景太の発言:
2022年6月12日
> 実際には1のn乗根が必要となり、事前に用意しておく必要があると言う認識で良いでしょうか?
うーんと、「事前に用意しておく必要がある」というのがどういうことなのかよくわかりません。前回書いた通り、1の原始
乗根はすべてべき根で表せるので、1のべき根の添加は、その気になればすべて(多段の)べき根添加で代替できますよ。
137:132人目の素数さん
23/03/08 16:53:03.41 Fbr0xEWO.net
「テーハミング」は韓国語で「大韓民国」という意味で、
正式名称で韓国のことをこう言います。
日本でこの言葉が知られているのは、韓国のサポーターが
自国チームを応援する時の掛け声にも使われているからです。
日本のサポーターなら「ニッポン!拍手×3」のようなものです。
日本の正式な国号は日本国ですが、応援ではニッポンと言います。
ハングルで書くと
ハングルで書くと、대한민국なので、本来の発音は
テハンミングッ(te han min gug)のような音ですが、
スタジアムでリズムをつけて言うと日本人の耳には「テーハミング」
と聞こえるのでしょう。
138:132人目の素数さん
23/03/08 16:53:14.10 Fbr0xEWO.net
「テーハミング」は韓国語で「大韓民国」という意味で、
正式名称で韓国のことをこう言います。
日本でこの言葉が知られているのは、韓国のサポーターが
自国チームを応援する時の掛け声にも使われているからです。
日本のサポーターなら「ニッポン!拍手×3」のようなものです。
日本の正式な国号は日本国ですが、応援ではニッポンと言います。
ハングルで書くと
ハングルで書くと、대한민국なので、本来の発音は
テハンミングッ(te han min gug)のような音ですが、
スタジアムでリズムをつけて言うと日本人の耳には「テーハミング」
と聞こえるのでしょう。
139:132人目の素数さん
23/03/08 17:01:15.34 Fbr0xEWO.net
韓国語で、
大韓民国をテハミングと読みます。
だからサッカーの応援とかだとリズムに合わせて、
「テーハミング!」となるんだと思います。
140:132人目の素数さん
23/03/08 17:06:22.02 Fbr0xEWO.net
NEWS
11 November 2022
Correction 14 November 2022
Mathematician who solved prime-number riddle claims new breakthrough
After shocking the mathematics community with a major result in 2013, Yitang Zhang now says he has solved an analogue of the celebrated Riemann hypothesis.
A mathematician who went from obscurity to luminary status in 2013 for cracking a century-old question about prime numbers now claims to have solved another. The problem is similar to — but distinct from — the Riemann hypothesis, which is considered one of the most important problems in mathematics.
Nature 611, 645-646 (2022)
doi: URLリンク(doi.org)
141:132人目の素数さん
23/03/08 17:17:53.42 Fbr0xEWO.net
BCHMの衝撃をきっかけに
乗数イデアルが注目されたが
深い結果が解析的方法でのみ証明可能であることから
代数幾何では川又の本以後あまり話題にされない
142:132人目の素数さん
23/03/08 18:23:20.63 LH0pd+d3.net
>>131
>>まるで数学で博士号とったかのようなデカい面で
>>ウソ800書き込むのが実におぞましい
どこでウソだと分かった?
143:132人目の素数さん
23/03/08 20:00:35.74 4Kl3nQLY.net
>>141
XuによるJonsson-Mustata予想の解決は
代数サイドの目覚ましい成果
144:132人目の素数さん
23/03/08 20:56:16.69 wlya33oV.net
>>143
Xu Jonsson-Mustata conjecture で下記ヒットです
これ関連かな?
URLリンク(www.math.utah.edu)
Complements and local singularities in birational geometry Jihao Liu University of Utah Stanford, Feb 26th, 2021
P7
Structure of the talk In this talk, I will introduce the complements theory, a technical yet influential theory in birational geometry introduced by V.V. Shokurov.
I will start talking about the intuition of complements from the study of linear systems in birational geometry.
Then, I will introduce the complements theory and talk about my joint work with J. Han and V.V. Shokurov on a complement conjecture of Shokurov.
After that, I will briefly talk about the applications of the complements theory, especially its applications towards the study on local singularities in birational geometry.
I will also talk about an interesting application in the opposite direction.
In the end, I talk about some open problems.
Without further notice, we work over an algebraically closed field k of characteristic zero, e.g., the field of complex numbers C.
つづく
145:132人目の素数さん
23/03/08 20:56:33.45 wlya33oV.net
>>144
つづき
P88
Applications of the complement theorem Although seemingly technical, our theorem on complements is expected to have many applications.
A special case of our theorem, i.e., Birkar’s theorem on boundedness of complements for pairs with finite rational coefficients, already has applications in many areas:
1 The BBAB theorem (i.e., the boundedness of Fano varieties, BAB conjecture) ([Birkar 16], [Birkar 19]).
2 K-stability theory, e.g. Yau-Tian-Donaldson conjecture ([Y.Liu-Xu-Zhuang 21]), Jonsson-Mustat,?a conjecture, openness of K-semistability, Chi Li’s conjecture on minimizers of the normalized volumes ([Blum-Y.Liu-Xu 19], [Xu 20]).
3 Demailly?Koll´ar’s openness conjecture ([Xu 20])
4 Log Calabi-Yau fibrations ([Birkar 18]).
In the rest of the talk, I will talk about the application of our theorem on complements to the study of local singularities questions.
In this case, Birkar’s result is not strong enough, while our result remains useful
(引用終り)
以上
146:132人目の素数さん
23/03/08 21:42:01.76 wlya33oV.net
>>141
>BCHMの衝撃をきっかけに
>乗数イデアルが注目されたが
>深い結果が解析的方法でのみ証明可能であることから
>代数幾何では川又の本以後あまり話題にされない
素人ですが
1)そも、乗数イデアルとは 何か? その本質は?
2)乗数イデアル vs 解析的方法 の 利害得失は?
3)乗数イデアルも、まだ改善や発展形がありうるのでは? それは、上記1)2)とも関連するが
そこらが、乗数イデアルに対する疑問点なのです
147:132人目の素数さん
23/03/08 22:46:24.72 4Kl3nQLY.net
>>146
1) φを多重劣調和関数としたとき
|f|^2e^{-φ}が可積分であるような解析函数芽fの集合は
連接イデアル層になる(Nadelの定理)
これをφの乗数イデアル層といいI(φ)で表す。
Fano多様体上のK"ahler-Einstein計量の存在問題に現れる
Monge-Amp`ere方程式の解析において
I(φ)を係数とするコホモロジー群の消滅が決定的に重要な
役割を果たした。
2)小平消滅定理をアンプル(豊富)束係数のコホモロジー消滅と見ると
代数的証明が可能である(Deligne-Illusie)ので、乗数イデアル層も
同様な代数化が期待できる。I(φ)=I(pφ)を満たすpの上限は>1であろう
というのがDemaillyのSOC(strong openness conjecture)であったが
JohnssonとMustataはこれを代数的な定式化により二次元で解いた。
Valuations and asymptotic invariants for sequences
of ideals Ann. Inst. Fourier (2012)
そのあと一般次元でGuanとZhouが解析的方法で解いた。
A proof of Demailly's strong openness conjecture
Ann. of Math. (2015)
XuはJ-M方式を完遂した。
Xu : A minimizing valuation is quasi-monomial, Ann. of Math. (2020)
3) 乗数イデアル層は整閉な連接イデアル層だが逆は正しくないので、
乗数イデアル層の代数的な特徴づけは非常に興味ある課題である。
148:132人目の素数さん
23/03/08 23:26:39.99 wlya33oV.net
>>147
ああ、ありがとうございます
細かいところは、フォローできないが
大まかな流れは、良くわかりました
Monge-Amp`ere方程式か・・
久しぶりにそのお名前にお目に掛かったな
あと細かいけど質問です
1)一般次元でGuanとZhouが解析的方法で解いた。
A proof of Demailly's strong openness conjecture
Ann. of Math. (2015)
2)XuはJ-M方式を完遂した。
Xu : A minimizing valuation is quasi-monomial, Ann. of Math. (2020)
この二つの対比が分からなかったので確認ですが
1)は、一般次元で、解析的方法でDemaillyのSOC(strong openness conjecture)を解いた
2)は、Xu氏が代数的な定式化でもって、SOC(strong openness conjecture)を一般次元で解いた
で合ってますか?
> 3) 乗数イデアル層は整閉な連接イデアル層だが逆は正しくないので、
>乗数イデアル層の代数的な特徴づけは非常に興味ある課題である。
へー、”Nadelの定理”との対比が、ド素人なのですぐ出来ないのですが
イメージはなんとなく・・・
乗数イデアル層もまだ探求する価値ありと読みました
149:132人目の素数さん
23/03/08 23:30:00.47 QM0jzrx1.net
f(u^x)=u^(ax).
f(u^(x)w)=u^(ax+b)w.
150:132人目の素数さん
23/03/09 06:16:48.01 jaCVlYEr.net
>>148
>>1)は、一般次元で、解析的方法でDemaillyのSOC(strong openness conjecture)を解いた
>>2)は、Xu氏が代数的な定式化でもって、SOC(strong openness conjecture)を一般次元で解いた
>>で合ってますか?
はい。
細かいことですが、Guanは関啓安でZhouは周向宇。
151:132人目の素数さん
23/03/09 08:08:34.95 3hWL+mkU.net
>>146
> 素人ですが
云わんでもわかる
> 1)そも、乗数イデアルとは 何か? その本質は?
> 2)乗数イデアル vs 解析的方法 の 利害得失は?
> 3)乗数イデアルも、まだ改善や発展形がありうるのでは?
こんな初歩の質問してる時点でド素人パクチー
> そこらが、乗数イデアルに対する疑問点なのです
ド素人に代数幾何は無理 諦めろ
>>148
> 細かいところは、フォローできないが
> 大まかな流れは、良くわかりました
(中略)
>へー、・・・との対比が、
>ド素人なのですぐ出来ないのですが
>イメージはなんとなく・・・
ド素人は自分がわかってないことすらわからない
だから
「大まかな流れは、良くわかりました」
「イメージはなんとなく(わかりました)」
と平気でウソをつく
実際は
「分からんことも分からんので
分かった気分の(「大まかなイメージ」)
トンチンカン妄想で精神癒します
もう知的レベルも社会的レベルも最底辺で
メンタルボロボロなんで」
そりゃ中卒高卒レベルで
なんのスキルもないんじゃ
年収200万円代だろ
数学諦めてまず職業訓練な
ド素人パクチー
152:132人目の素数さん
23/03/09 08:18:29.30 3hWL+mkU.net
パクチーは数学の理解の仕方から間違ってる
まず論理が理解できないから
公理定理の文章が読めず
証明の文章も読めない
次に計算式しか理解できないから
とにかく公式だけ拾い読みして
それだけで分かったと脊髄反射する
最後に計算すらしないから
公式の適用条件すら理解せず
「任意の正方行列は、余因子によって逆行列がもとめられる」
と平気で嘘をつく、
行列式なんて一度も計算しないし
それが何を表すかも理解してないから
行列式が0になることも想定できない
そんなパクチーは
大学1年の線形代数で
ものの見事に落ちこぼれる
行列式が理解できないなら
ヤコビアンも理解できないし
逆関数定理、陰関数定理も理解できない
要するになんもかんも理解できない
153:132人目の素数さん
23/03/09 08:26:08.04 jaCVlYEr.net
>>151
>> 1)そも、乗数イデアルとは 何か? その本質は?
>> 2)乗数イデアル vs 解析的方法 の 利害得失は?
>> 3)乗数イデアルも、まだ改善や発展形がありうるのでは?
>こんな初歩の質問してる時点でド素人パクチー
>> そこらが、乗数イデアルに対する疑問点なのです
>ド素人に代数幾何は無理 諦めろ
複素解析なら今からでも遅くないかもしれない
154:132人目の素数さん
23/03/09 08:30:32.29 3hWL+mkU.net
>>153
無理
そもそも、パクチーは
・コーシー・リーマンの方程式
・コーシーの積分定理
が理解できない
155:132人目の素数さん
23/03/09 08:32:41.15 3hWL+mkU.net
一変数複素解析が分からんなら
多変数複素解析はもっと分からん
まあ、多変数が一変数より面白いかといわれると正直疑わしいがな
156:132人目の素数さん
23/03/09 08:33:43.49 3hWL+mkU.net
トポロジーも高次元が3次元4次元より面白いかといわれると正直疑わしい
157:132人目の素数さん
23/03/09 08:36:49.42 jaCVlYEr.net
複素解析もトポロジーも
高次元での理論展開がある程度見えてから
低次元の議論が深まった
158:132人目の素数さん
23/03/09 10:13:35.92 PjKcpDKf.net
>>150
回答ありがとうございます
なるほど
あと少し、素人質問を
1)乗数イデアルで、なんで”イデアル”と命名されたのか?
(関連するが、乗数(multiplier)も同様です。普通のイデアルとの対比で乗数(multiplier)とした?)
2)>>141より(乗数イデアルが)
”深い結果が解析的方法でのみ証明可能であることから
代数幾何では川又の本以後あまり話題にされない”
とあったけど、>>147は 解析的方法と、乗数イデアルの代数幾何への方法が同じように深い結果が得られている
という説明と理解したけど
それで合ってますか
いかがでしょうか
159:132人目の素数さん
23/03/09 12:07:25.49 jtIlNeJo.net
>>乗数イデアルで、なんで”イデアル”と命名されたのか?
>> (関連するが、乗数(multiplier)も同様です。普通のイデアルとの対比で
>>乗数(multiplier)とした?)
命名はKohn理論が出所であることにもよっていますが
PDEでmultiplierが他にどう使われているかは詳しく知りません。
複素幾何の分脈ではSiuがそう呼びだしたので
弟子のNadelがそれに従ったのだと思います。
>>解析的方法と、乗数イデアルの代数幾何への方法が同じように
>>深い結果が得られている
SOCは一例で、最近になって解析的手法によりどんどん
新しい結果が出されています。
例えばルロン数が1のPSH関数の乗数イデアルの特徴づけなど
160:132人目の素数さん
23/03/09 12:19:19.73 vptmb9M9.net
この辺りは昔から代数屋と解析屋の興味が交錯する
デリケートな領域です。
有名な例はBriancon-Skodaの定理
これがL2評価の方法でしか証明出来ていなかったので
LipmanとTeissierは純粋に代数的な証明を考案した。
論文の序文には「これで屈辱が晴らせた」という意味の
文章がある。
161:132人目の素数さん
23/03/09 13:05:57.14 a7ma9z1P.net
>>159 SOCって何?
162:132人目の素数さん
23/03/09 13:12:41.42 vptmb9M9.net
>>161
147を再掲します。
1) φを多重劣調和関数としたとき
|f|^2e^{-φ}が可積分であるような解析函数芽fの集合は
連接イデアル層になる(Nadelの定理)
これをφの乗数イデアル層といいI(φ)で表す。
Fano多様体上のK"ahler-Einstein計量の存在問題に現れる
Monge-Amp`ere方程式の解析において
I(φ)を係数とするコホモロジー群の消滅が決定的に重要な
役割を果たした。
2)小平消滅定理をアンプル(豊富)束係数のコホモロジー消滅と見ると
代数的証明が可能である(Deligne-Illusie)ので、乗数イデアル層も
同様な代数化が期待できる。I(φ)=I(pφ)を満たすpの上限は>1であろう
というのがDemaillyのSOC(strong openness conjecture)であったが
JohnssonとMustataはこれを代数的な定式化により二次元で解いた。
Valuations and asymptotic invariants for sequences
of ideals Ann. Inst. Fourier (2012)
そのあと一般次元でGuanとZhouが解析的方法で解いた。
A proof of Demailly's strong openness conjecture
Ann. of Math. (2015)
XuはJ-M方式を完遂した。
Xu : A minimizing valuation is quasi-monomial, Ann. of Math. (2020)
3) 乗数イデアル層は整閉な連接イデアル層だが逆は正しくないので、
乗数イデアル層の代数的な特徴づけは非常に興味ある課題である。
163:132人目の素数さん
23/03/09 13:12:44.07 a7ma9z1P.net
>>161
ああ、>>147に書いてあったか
164:132人目の素数さん
23/03/09 13:17:39.80 a7ma9z1P.net
>>162
乗数イデアル層は岡潔の夢とか言わんよな
別に言ってもいいけど、言うなら何故かは説明してな
165:132人目の素数さん
23/03/09 14:02:12.25 vptmb9M9.net
>>164
>>乗数イデアル層は岡潔の夢とか言わんよな
岡潔の夢というより、φとI(φ)とK(φ)のこんな三位一体↓
φ(\inPSH) ---> I(φ)のL^2sections-->K(φ)(=φ-weightedベルグマン核)
K(φ)---> (1/m)logK(mφ), m-->∞ ---> φ
166:132人目の素数さん
23/03/09 14:28:35.17 PjKcpDKf.net
>>159-160
>命名はKohn理論が出所であることにもよっていますが
>PDEでmultiplierが他にどう使われているかは詳しく知りません。
>複素幾何の分脈ではSiuがそう呼びだしたので
>弟子のNadelがそれに従ったのだと思います。
なるほど
キャッチーな名前を付けたわけですね
Mac Laneの”category”みたいなものか
数学用語としてヒット作なので、それ成功ですね
>SOCは一例で、最近になって解析的手法によりどんどん
>新しい結果が出されています。
>例えばルロン数が1のPSH関数の乗数イデアルの特徴づけなど
それは面白そうですね
(細かいところは分かりませんが)
>有名な例はBriancon-Skodaの定理
>これがL2評価の方法でしか証明出来ていなかったので
>LipmanとTeissierは純粋に代数的な証明を考案した。
>論文の序文には「これで屈辱が晴らせた」という意味の
>文章がある。
なるほど なるほど
高木貞治先生の”微分のことは微分でせよ”
(下記)を連想させますね
URLリンク(coolkai.blog129.fc2.com)
独り言
日々の出来事の感想
微分のことは微分でせよ
2012/08/10
高木貞治は明治の日本が生んだ世界的数学者である。
その高木貞治の弟子,矢野健太郎が伝える逸話がある。それがタイトルの「微分のことは微分でせよ」だ。
東大で微分の講義をしているとき,ある重要な微分の定理が積分を使って証明されていたことに不満を持っていた高木は,工夫して微分だけを用いて証明を完成した。
学生だった矢野健太郎が感心していると「微分のことは微分でせよというではないか」と言われてギャフンとしたというのである。
167:132人目の素数さん
23/03/09 15:07:50.96 jqR0K47l.net
>>166 素人は口開くな 💩臭い
168:132人目の素数さん
23/03/09 15:28:18.73 jtIlNeJo.net
素人の方々の自由な感想は
プロを自認したい(=辞任したくない)者にとってはありがたい
「お客様は神様です」
169:132人目の素数さん
23/03/09 15:38:07.02 XiwThM8i.net
>>166
>「微分のことは微分でせよ」
令和の今、この話をしたり顔で語る奴は
「昭和の耄碌爺」と言われる
なぜなら、この件は梅田亨が2004年1月〜3月の
数学セミナーの連載記事で、矢野健太郎の記憶違い
によるホラ話であることが明らかになったからである
ホラは以下の2点
1. ある定理(連続関数の原始関数の存在)を
積分を用いずに証明したのは高木貞治ではない
(実はシュミットだそうだ)
2. ダジャレをいつたのは高木だが
実は彼の考えは全く逆であった
したがっていまだにヤノケンの誤解を真に受けて
そのまま繰り返す奴は他人の言葉をただ繰り返す
脳ミソがトリ並のオウム野郎と🐎🦌にされる
170:132人目の素数さん
23/03/09 15:40:32.92 XiwThM8i.net
>>169
ああ、いかんいかん
ド素人相手に志村五郎みたいなイケズ発言してもうた
171:132人目の素数さん
23/03/09 15:50:27.90 XiwThM8i.net
>>168
>プロを自認したい
数学に「プロ」は存在しないだろう
大学の教員というのは数学を教えることで
給料をもらっているのであって、数学の定理を
証明することで給料をもらってる訳では無い
数学で実績を上げたか否かで区分はできるが
それは正確にはプロか否かとは違う
素人というのは、数学が分かってない奴という意味
172:132人目の素数さん
23/03/09 15:55:46.00 XiwThM8i.net
>>171
数学で実績を上げてない人は
大学で数学を教える資格がないか?
という問いについては
「そんなことないんじゃね?」
と答えたい
というのは数学の研究者として有能だからといって
数学の教育者としても有能なんてことはいえず
実にしばしばその逆だからである
173:132人目の素数さん
23/03/09 18:28:38.82 PjKcpDKf.net
>>169
> なぜなら、この件は梅田亨が2004年1月~3月の
>数学セミナーの連載記事で、矢野健太郎の記憶違い
>によるホラ話であることが明らかになったからである
> ホラは以下の2点
> 1. ある定理(連続関数の原始関数の存在)を
> 積分を用いずに証明したのは高木貞治ではない
> (実はシュミットだそうだ)
> 2. ダジャレをいつたのは高木だが
> 実は彼の考えは全く逆であった
梅田亨さんね(下記)。彼は、いろんな連載をしているね
だが、梅田説が完全に正しいとは限らないと思うよ
(その記事読んでないのに反論して悪いけど)
1)2004年1月~3月とあるけど、どの月なの? ピンポイント指定しなよw
2)矢野健太郎の記憶違いがある可能性は否定できないが、かと言って矢野健太郎氏が荒唐無稽な根も葉もないことを書いたとするのは、如何か?
3)梅田亨氏が 「連続関数の原始関数の存在を、積分を用いずに証明した」説は、意味分からんし
(下記のように、測度論と絡むし、リーマン積分から定義しないと、結局ダメなんじゃない?w
下記の高知工科大学はそこは流しているけど、この程度の証明で済むなら、高木先生の出る幕ないぜw
おサルさん、何か勘違いじゃね?)
URLリンク(ja.wikipedia.org)
不定積分
URLリンク(ja.wikipedia.org)
微分積分学の基本定理
微分積分学の基本定理(びぶんせきぶんがくのきほんていり、英: fundamental theorem of calculus)とは、「関数に対する微分と積分は互いの逆操作である」 ということを主張する解析学の定理である。微分積分法の基本定理ともいう。
微分積分学の基本定理は一変数の関数に対するものだが、多変数関数への拡張は、ストークスの定理として知られる。
定理
微分積分学の基本定理として知られる定理にはいくつか(等価でない)バリエーションがある。
つづく
174:132人目の素数さん
23/03/09 18:29:02.10 PjKcpDKf.net
>>173
つづき
URLリンク(www.core.kochi-tech.ac.jp)
高知工科大学
URLリンク(www.core.kochi-tech.ac.jp)
2010度版 : 初級編
URLリンク(www.core.kochi-tech.ac.jp)
2010 年度 「数学 2」 高知工科大学
25 原始関数の存在定理
URLリンク(researchmap.jp)
梅田 亨
Toru Umeda 更新日: 2022/09/06
URLリンク(www.hmv.co.jp)
梅田亨 プロフィール
1955年大阪府豊中市生まれ。京都大学大学院理学研究科准教授。理学博士。専門は、表現論、不変式論、函数解析(本データはこの書籍が刊行された当時に掲載されていたものです)
『数学の読み方・聴き方 森毅の主題による変奏曲 下』より
(引用終り)
以上
175:132人目の素数さん
23/03/09 19:13:33.62 vptmb9M9.net
2004年1月、2月、3月号を読んできたところです。
梅田さんはちゃんと然るべき文献にあたって
逸話の正体をあばいていました。
連載記事などで気楽に話を盛るのは矢野先生だけでは
なかったようで
私もある先生の連載が面白いので
お会いしたときに
毎回楽しみにしている旨申し上げたら
「私は日本書紀を書くつもりであれを書いています」
と答えられて絶句したことがありました。
176:132人目の素数さん
23/03/09 19:17:07.07 jo/xk9tx.net
>>173
>1)2004年1月~3月とあるけど、どの月なの?
> ピンポイント指定しなよ
連載って言ってるのにピンポイント指定しろって
マジ🐎🦌だな
>2)矢野健太郎氏が荒唐無稽な根も葉もないことを書いたとするのは、如何か?
証拠があるから言い逃れはできんね
あんた数学者はみんな完璧な人だと
信奉してるみたいだけど、んなことねぇから
>3)「連続関数の原始関数の存在を、積分を用いずに証明した」説は、意味分からんし
正則行列の意味分かんない🐎🦌にゃそりゃわかんねぇだろ
大体実質中卒レベルの貴様に何がわかるの?
177:132人目の素数さん
23/03/09 19:24:14.86 vptmb9M9.net
>>数学に「プロ」は存在しないだろう
>>大学の教員というのは数学を教えることで
>>給料をもらっているのであって、数学の定理を
>>証明することで給料をもらってる訳では無い
社会システム上の厳密な用語として「プロ」を使っているのではなく
学生時代から友人たちとの数学に関するやり取りの中で
「そんな情けない理解だととうてい数学のプロにはなれんぞ」
という言葉を浴び去られ続けたもので
そういう私的な使用法です。
>>数学で実績を上げたか否かで区分はできるが
>>それは正確にはプロか否かとは違う
実績で分けることがないのは数学に限らないでしょう。
ただし
天才は忘れた頃に認められることの方が多いので
プロとして認知されなかった人の業績が
死後になって評価されることはあり得ますね。
>>素人というのは、数学が分かってない奴という意味
自分の文章を読み返して引っ掛かるとき
「ああ、素人臭くて読めたもんじゃないな」
と破り捨てたくなることがしばしばです。
178:132人目の素数さん
23/03/09 19:27:30.40 3hWL+mkU.net
>>175
> 連載記事などで気楽に話を盛るのは
> 矢野先生だけではなかったようで
竹内外史もそういうとこあるね
タルスキの(真理)定義不可能性定理が
ゲーデルの不完全性定理より前に
証明されたとかいうのはウソ
(ちなみにゲーデルは不完全性定理より前に
この定理を発見している)
あと、タルスキの姓が本当はもっと長いのを
タルスキに縮めたとかいってるのも厳密にいうとウソ
タルスキは確かにもともと違う苗字であったが
それはなんとかスキーとかではなく
Teitelbaum(テイテルバウム)とかいうものだった
タルスキはユダヤ人であったがポーランド人ぽい
苗字にしたかったので改名したらしい
なお、タルスキがセクハラ大魔王で
弟子の女子学生と**
179:132人目の素数さん
23/03/09 19:28:43.86 3hWL+mkU.net
>>178
なお、タルスキがセクハラ大魔王で
弟子の女子学生と**しまくって
妊娠させたこともあるとかいうのは
誰がばらしたのかは知らん
180:132人目の素数さん
23/03/09 19:34:35.94 3hWL+mkU.net
>>177
>「そんな情けない理解だととうてい数学のプロにはなれんぞ」
数学のプロになれんぞ を
数学で結果だせんぞ に置き換えればよし
ヲタクというのは職業ではないからプロではないが
ヲタクとして許される線があるだろうから
それより下だとやっぱり情けないと感じるだろう
実績かどうかが、時代の関数というのはまあそうでしょう
>「ああ、素人臭くて読めたもんじゃないな」
まあ、そういうこともあるんでしょうけど
ほんまもんの素人は専門用語ちりばめただけで
「ああ、俺って玄人はだし」
と自惚れるミットモナイ傾向があるので
そんなんよりは全然マシでしょう
修羅道より下にも何階層もあるんですよ
畜生道、餓鬼道、地獄道・・・
181:132人目の素数さん
23/03/09 20:45:41.63 jaCVlYEr.net
修羅道ね
奈良で阿修羅像に惚れ惚れと見入った時を
思い出す
182:132人目の素数さん
23/03/09 21:18:49.85 dVtCH7NE.net
>>175-176
>2004年1月、2月、3月号を読んできたところです。
>梅田さんはちゃんと然るべき文献にあたって
>逸話の正体をあばいていました。
>連載記事などで気楽に話を盛るのは矢野先生だけでは
>なかったようで
>「私は日本書紀を書くつもりであれを書いています」
>と答えられて絶句したことがありました。
> 連載って言ってるのにピンポイント指定しろって
へー、ありがとう
微分の話が、どんなだったか、覚えていない
というか、”都市伝説”のような伝聞で聞いたか見たかした
矢野健太郎氏の話でなく、高木先生本人の話として当時聞いた気がする
なので、解析概論にでもあるかと思ったのだが、以前解析概論を見たとき、
それらしい箇所が無かったので「はて?」とは思った
(梅田先生も同じ疑問を持ったのかも。その究明に3ヶ月の連載を費やしたのか!w)
いや、そも”(連続関数の原始関数の存在)”の証明としてだったかも、記憶に無い
”微分のことは微分で”というシャレだけ覚えている
そもそも、”(連続関数の原始関数の存在)”の証明なんて、>>173-174に示したように、
病的な関数まで(例えば、連続だが至る所微分不可能な関数)考え出すとどうなる?ということもあるし
そもそも、「積分の定義」をしないとダメっぽいから「積分を用いずに」が、胡散臭いかな?w
つづく
183:132人目の素数さん
23/03/09 21:19:26.65 dVtCH7NE.net
>>182
つづき
> (実はシュミットだそうだ) >>169
シュミットさんで、浮かぶのは”直交化”だけだが、下記の”Erhard Schmidt”さんか
(もう一人、Wolfgang M. Schmidtさんもヒットしたけどね、別人ね)
URLリンク(ja.wikipedia.org)
エルハルト・シュミット(Erhard Schmidt, 1876年1月13日 - 1959年12月6日)は、20世紀の数学の方向性に多大な影響を与えたドイツの数学者。
指導教員のダフィット・ヒルベルトの下で、1905年にゲッティンゲン大学において博士号を取得した。博士論文の題目は、Entwickelung willkurlicher Funktionen nach Systemen vorgeschriebener であり、積分方程式に関する研究を行った。
ヒルベルトと共に、関数解析学の分野において多大な貢献を遺した。
関連項目
グラム・シュミットの正規直交化法
URLリンク(en.wikipedia.org)
Wolfgang M. Schmidt (born 3 October 1933) is an Austrian mathematician working in the area of number theory.
> 2. ダジャレをいつたのは高木だが >>169
> 実は彼の考えは全く逆であった
高木先生が、「微分のことは微分で」と言ったところまでは正しいのかな?
だったら、>>166は成立じゃない?
以上
184:132人目の素数さん
23/03/09 22:14:22.22 jaCVlYEr.net
>>183
>>高木先生が、「微分のことは微分で」と言ったところまでは正しいのかな?
>>だったら、>>166は成立じゃない?
高木先生が「微分のことは微分でというこだわりは良くない」
と書いたのが伝言ゲーム式に変形されたようだ
185:132人目の素数さん
23/03/09 22:47:09.49 jaCVlYEr.net
シュミットの弟子たちは
複素直交関数系の研究から
再生核を発見した。
その中で特に有名なのがベルグマン核で
乗数イデアル層の最近の研究結果は
系として
ベルグマン核の注目すべき性質を含んでいる。
186:132人目の素数さん
23/03/09 23:01:02.90 dVtCH7NE.net
>>183
>シュミットさんで、浮かぶのは”直交化”
シュミットの直交化は、量子力学で出てきた記憶が・・
下記などですね
ほとんど、忘却のかなたですがw
URLリンク(hb3.seikyou.ne.jp)
量子力学のTips
~座標表示と運動量表示について~
KENZOU
2008 年 5 月 24 日
P10
12 同じ固有値を持つ固有ケットが複数ある場合を縮退と呼ぶ。縮退がある場合,一般に |ψii と |ψj i は直交するとは限らない。しかし,
同じ固有値に属する任意のケットベクトルが互いに直交するように構成することは常に可能である(グラムシュミットの直交化)。
URLリンク(detail.chiebukuro.yahoo.co.jp)
yahoo
den********さん
2011/3/29 14:00
大学の物理(量子力学)の問題です。
2つに縮退している状態iに対する規格化された波動関数をFi1,Fi2とします。
状態iに対する固有値をaiとして演算子Aに対して
AFik=aiFik,ただしk=1,2
となる固有値問題を考えます。
Fi1とFi2の内積がK(ゼロではない)となる、つまり直交化されていないとき
Fi2'=αFi1+βFi2としてFi1とFi2'の内積がゼロという条件とFi2'に規格化の条件を適用し
α、βを求めFi2'をFi1とFi2とKを使って表せ
という問題です。
答え自体は教科書に書いてあるのでもう分かってますが解き方がわかりません。
詳しく教えてください。
その他の回答(1件)
wonderwallさん
2011/3/29 15:24
要するにグラムシュミットの直交化をすることになります。
線形代数の教科書には詳しく載ってると思います。
187:132人目の素数さん
23/03/09 23:07:44.75 jaCVlYEr.net
>>186
>>シュミットの直交化は、量子力学で出てきた記憶が・・
同時にエルミート多項式も浮かんできませんでしたか?
188:132人目の素数さん
23/03/09 23:21:29.33 dVtCH7NE.net
>>184
>高木先生が「微分のことは微分でというこだわりは良くない」
>と書いたのが伝言ゲーム式に変形されたようだ
はあ
なるほど、そうか、そうなのか?
そういわれてみると
数学操作としては、微分より積分の方が穏やかで扱いやすいですよね
それは、筋が通っているかも
>>185
>その中で特に有名なのがベルグマン核で
"ベルグマン核"ね
全く詳しくないですが
このスレの常連の”おっちゃん”が、「ベルグマン核うんぬん」について語っていたのが初耳でして(数年前の記憶)
その後、”現代数学”誌を書店でチラ見したときに、大沢健夫先生が Bergman 核の100 年 を連載していた記憶が・・
そもそも不勉強で、Bergman 核が良く分からないし、連載の途中から読むのは、相当力がないと難しいので、ほんとチラ見でしたね
下記は、その連載が成書になったのかな?
大沢健夫先生が、微分方程式の大家だというのも、最近知ったくらいです(苦笑)
URLリンク(www.gensu.jp)
株式会社 現代数学社
関数論外伝?Bergman 核の100 年?
大沢健夫 著
A5判/208頁
20世紀初頭Lebesgue積分論の確立を機に発達した関数解析学の中から、複素解析の新しい芽としてBergman核が生まれた。この関数は、天才数学者Riemannが直観でとらえた写像に明示公式を与えるとともに、後に非常に強力な$L^2$評価式の方法の成立を促した。本書の目的はBergman核についてその一世紀にわたる進展を振り返り、Bergmanを含む主要な研究者たちの業績や風貌を記しながら、最近の複素幾何の研究の動向をも概観することである。
189:132人目の素数さん
23/03/09 23:41:38.64 dVtCH7NE.net
>>187
>>>シュミットの直交化は、量子力学で出てきた記憶が・・
>同時にエルミート多項式も浮かんできませんでしたか?
すみません
浮かびませんでした(苦笑)(検索すると下記か)
エルミートで浮かぶのは、エルミート行列に
5次方程式の解法(エルミートの方法)(下記)
とか
ラゲールの球関数を使ったとか、朧気な記憶が・・
下記だったような
URLリンク(ja.wikipedia.org)
エルミート多項式
エルミート多項式(-たこうしき、英: Hermite polynomial)は、常微分方程式
略
を満たす多項式
H_n(x)のことを言う[1][2]。 またこの微分方程式はスツルム=リウヴィル型微分方程式の一つである。
URLリンク(ja.wikipedia.org)
ラゲールの陪多項式
ラゲールの陪多項式(ラゲールのばいたこうしき、associated Laguerre polynomials)とは、常微分方程式
略
を満たす多項式
L_{n}^{k}(x)} のことを言う。
量子力学において、球対称ポテンシャルのシュレディンガー方程式(代表的なものは水素原子におけるシュレーディンガー方程式)の動径方向の解は、ラゲールの陪多項式を用いて表される。
つづく
190:132人目の素数さん
23/03/09 23:43:20.99 dVtCH7NE.net
>>189
つづき
URLリンク(ikuro-kotaro.)サクラ.ne.jp/koramu/4469_h8.htm
■5次方程式・再訪(その6)
【1】5次方程式の解法(エルミートの方法)
アーベルとガロアが証明したことは一般的な5次方程式が係数の単純な演算を行う公式では解けないということであって,5次方程式が解けないという意味ではありません.1860年頃,ブリオスキ,エルミートらは超越関数である楕円モジュラー関数の5等分値を使って,初めて一般的な5次方程式を解くことに成功しました.
ヴィエトは三角関数の3倍角公式を使って3次方程式を解いたわけですが,エルミートの方法もそれに似ていて,定数κに対して,楕円関数の5倍角公式
dy/{(1-y^2)(1-λ^2y^2)}^1/2=dx/5{(1-x^2)(1-κ^2x^2)}^1/2
の定数λを得る方法を開発したのです.
【2】クラインの見た正20面体(正20面体方程式)
1870年代のクラインの研究は,正20面体を複素球面に内接させ,頂点,各面の中心,各辺の中点の座標の関係(正20面体方程式)を任意の5次方程式に還元させて,一般の5次方程式と特殊な6次方程式を解くのに成功しています.この5次方程式を多面体を使って調べるというアイディアは,
クライン「正20面体と5次方程式」シュプリンガー・フェアラーク東京
に紹介されています.
(引用終り)
以上
191:132人目の素数さん
23/03/10 06:22:35.82 WDvXIOZ/.net
>>188
チリンチリーンって鈴を鳴らして常連の”おっちゃん”を呼んであげましょうか?
チリンチリーンって鈴を鳴らせばスレ主は喜ぶんじゃないですか?
192:132人目の素数さん
23/03/10 06:37:37.17 WDvXIOZ/.net
>>188
>微分方程式の大家
楕円型偏微分方程式または放物型偏微分方程式の大家と書きましょうね
193:132人目の素数さん
23/03/10 06:44:14.94 14LHUOWE.net
>>192
双曲型の大家の方ですか?
194:132人目の素数さん
23/03/10 06:47:47.11 WDvXIOZ/.net
>>193
いや、違う
複素解析で使うのは楕円型か放物型だからそう書いただけ
195:132人目の素数さん
23/03/10 06:50:27.98 WDvXIOZ/.net
双曲型だと大域解の存在性の問題や有限時刻での解の爆発などが問題になり得るから
196:132人目の素数さん
23/03/10 07:00:45.40 14LHUOWE.net
>>189
エルミート多項式と量子力学でググるとこんなのも出て来たので貼ります。↓
エルミート多項式列って言うのはエルミートの微分方程式の解になる
直行多項式列のことです。これが調和振動子のシュレディンガー方程式を解くと
出てくるというだけです。最初はふーんそうなのかーって感じでいいと思います。
この先量子力学ではルジャンドル多項式とかラゲール多項式とか直交多項式がいっぱい
出てきます。でもあんまりそこで深入りしちゃうと挫折します。
とりあえず調和振動子のシュレディンガー方程式を解くと
エルミート多項式が出てくるというぐらいで次々進んでいった方がいいです。
量子力学は数学ではなく物理なので数学に囚われて物理が疎かになってはいけません。
しかし量子力学は線形代数と密接に関わってます。ベクトル空間と、
固有ベクトルと対角化が理解できて無いと
量子力学は理解できないのでそこだけは出来るだけ完璧にした方がいいです。
197:132人目の素数さん
23/03/10 07:08:51.36 7TMvQIkL.net
>>182
> そもそも、”(連続関数の原始関数の存在)”の証明なんて、
> 病的な関数まで(例えば、連続だが至る所微分不可能な関数)
> 考え出すとどうなる?ということもあるし
大1でオチコボレた負け犬がトンチンカンなこと吠えとる
連続関数が微分不可能でも関係ない
任意の連続関数fについて、fを導関数とする
原始関数Fが存在する、という定理だから
こいつ論理の基本も分からんのか
> そもそも、「積分の定義」をしないとダメっぽいから
>「積分を用いずに」が、胡散臭いかな?w
定理の中に積分は出てこない
だから、積分を用いないでできるか
という問題意識が生まれた
それが意義があるかどうかは別の話
まあ、そもそも実数の定義もεδも分からん
オチコボレには死ぬまで全く無縁の話だったか
198:132人目の素数さん
23/03/10 07:10:33.94 7TMvQIkL.net
>>188
> 書店でチラ見
> ほんとチラ見
こんどからおまえのこと「パンチラ男」って呼ぶな
199:132人目の素数さん
23/03/10 07:16:03.98 7TMvQIkL.net
パンチラ男は大阪大学工学部卒とか云ってるが大嘘だろう
いくらなんでも国立大学に受かるオツムの持ち主が
正則行列を理解できないほど頭が悪いとは思えん
正しくは大阪と大学の間に多分文字が入るんだろう
それなら線型代数が全然分からんでも卒業させるしかない
永遠に数学書をパンチラしてろといいたい
数学書の●ンコに貴様の●ンコが入ることは永遠にない
200:132人目の素数さん
23/03/10 07:22:07.36 7TMvQIkL.net
>このスレの常連の”おっちゃん”が、・・・について語っていたのが
乙とかいう東京●●大●部のしかも応用数学の落ちこぼれは
聞きかじりの知識をまったく分かりもせずに振り回すホラ吹き
真に受けるのは大阪●●大をお情けで卒業させてもらった
最底辺落ちこぼれくらいのもん
二人で●ッ●してろ
201:132人目の素数さん
23/03/10 07:35:53.05 WDvXIOZ/.net
>>200
>乙とかいう東京●●大●部のしかも応用数学の落ちこぼれは
>聞きかじりの知識をまったく分かりもせずに振り回すホラ吹き
スレ主がしょうもないこと書き出したから特別書いたが、ベルグマン核は簡単な話ではない
解析学の基礎や一松本にはベルグマン核のことは載っている
ま、卒業後も数学は努力次第で何とかなるから、
数学では大学の所属や成績は当てにならず、関係ないというのが私の持論だ
202:132人目の素数さん
23/03/10 08:24:48.57 14LHUOWE.net
>>201
磁場項を含むシュレディンガー方程式は
複素モンジュ・アンペール方程式の解析に
新しい道を開きました。
Demaillyが「これが私の最も良い仕事だ」
と言っていた複素モース不等式の理論です。
203:132人目の素数さん
23/03/10 08:43:46.28 mCwkYGqk.net
>>201
>スレ主がしょうもないこと書き出したから
>特別書いたが、
1より賢い、と乙は言いたいらしいが
実は全く同レベルの最低辺
>卒業後も数学は努力次第で何とかなるから、
>数学では大学の所属や成績は当てにならず、
>関係ない
その主張自体は御尤もだが
乙自身が「努力でなんとかなった例」だと言うなら
それは全くの嘘だな
これは私個人の意見ではなく、
大多数の読者の「総意」
204:132人目の素数さん
23/03/10 08:45:12.13 WDvXIOZ/.net
>>202
複素モース不等式は分からんが、
物理由来の分散型方程式の実解析や調和解析が主体の解析から
新しい解析につながったのはよかったね
205:132人目の素数さん
23/03/10 08:48:42.55 mCwkYGqk.net
>>203
人名書名を全く出さずに
内容を論理的に説明できるのが
本物の分かってる人だとすると
1とか乙とかは人名書名ばつかりで
中身を全く論理的に説明できない
パチモンだと言わざるを得ない
206:132人目の素数さん
23/03/10 08:53:26.12 WDvXIOZ/.net
>>203
>>スレ主がしょうもないこと書き出したから
>>特別書いたが、
> 1より賢い、と乙は言いたいらしい
暫くの間書いてないし書く気もなかったし、
どこをどう読んだらそのように読めるんだか
207:132人目の素数さん
23/03/10 09:01:17.25 WDvXIOZ/.net
>>205
>人名書名を全く出さずに
>内容を論理的に説明できるのが
>本物の分かってる人
利用しながら理解していくという手法もある
208:132人目の素数さん
23/03/10 09:03:27.66 mCwkYGqk.net
>>206
自分も1と同レベルと思うなら書き込まないだろ
ウソ書いて嘲られるだけだから
まだ懲りないのか 負け犬
209:132人目の素数さん
23/03/10 09:06:06.15 mCwkYGqk.net
>>207
何を読むのも随意だが
それを表に出して
権威で圧迫しようというのが
実にアサハカでも愚かだと気づけ
210:132人目の素数さん
23/03/10 09:07:19.98 mCwkYGqk.net
負け犬は言い訳しかできない
だから数学に負けたと気づけ
211:132人目の素数さん
23/03/10 09:08:24.01 WDvXIOZ/.net
>>208
現在では、スレの常連の”おっちゃん”ではなく、スレの常連だった”おっちゃん”になるだろ
212:132人目の素数さん
23/03/10 09:11:47.58 mCwkYGqk.net
>>211
何が言いたいのかわからんが
乙が愚かなままのは事実
もう多変数関数論とか諦めろ
大学1年の微積分の単位もとれずに負けた
貴様に分かるわけなかろうが
213:132人目の素数さん
23/03/10 09:18:56.11 WDvXIOZ/.net
>>212
>何が言いたいのかわからん
スレ主の>>188での書き方のことだよ
>大学1年の微積分の単位もとれずに負けた
卒業はしたから単位は取っている
何いい出してんだか…
214:132人目の素数さん
23/03/10 09:24:19.32 14LHUOWE.net
こういうのがいわゆるレスバ
215:132人目の素数さん
23/03/10 09:26:29.11 mCwkYGqk.net
>>213
あんなんで単位取れるとかザルだな
>>214
数学分からんのに分かったとウソつく奴は駆逐すべし😏
216:132人目の素数さん
23/03/10 09:29:44.09 WDvXIOZ/.net
>>215
あっそう
ゼミはためになったけどな
217:132人目の素数さん
23/03/10 09:30:28.07 mCwkYGqk.net
数学分からんのがアカンとは誰も言ってない
分からんのに分かったようなウソつくのがアカンと言ってる
なんでそんなウソつく必要がある
分からんなら分からんから教えてと言えばいい
人にアタマ下げるのが嫌だ?
あんた何様のつもりなの?
いくらアタマ下げたって死にゃしねぇよ
218:132人目の素数さん
23/03/10 09:32:25.39 mCwkYGqk.net
>>216
>ゼミはためになったけどな
でも論理は全然身についてないけどな
全く自覚ないの?自惚れにも程があるね
219:132人目の素数さん
23/03/10 09:33:01.76 WDvXIOZ/.net
>>217
自学自習
220:132人目の素数さん
23/03/10 09:33:52.80 mCwkYGqk.net
>>219
できてないよ 負け犬
221:132人目の素数さん
23/03/10 09:35:09.74 mCwkYGqk.net
勝ちたがる奴程負ける
要するに人として間違ってるんだな
222:132人目の素数さん
23/03/10 09:37:38.35 WDvXIOZ/.net
>>218
論理とかよりむしろ、ジョルダンの曲線定理の証明にはデデキント切断の考え方が必要とか議論出来てよかったよ
223:132人目の素数さん
23/03/10 09:39:48.46 WDvXIOZ/.net
>>220
ま、数年前まで背理法の考え方は分からなかったけどな
224:132人目の素数さん
23/03/10 09:48:18.44 mCwkYGqk.net
>>222
>●●定理の証明には○○の考え方が必要とか
>議論出来てよかったよ
でも理解はしてない、と
指導教授、誰?
なんかその人に同情するわ
>>223
数年前?いまだにわかってないだろ
225:132人目の素数さん
23/03/10 09:49:51.37 mCwkYGqk.net
そもそも背理法の何がどう理解できないのかちっとも分からん
226:132人目の素数さん
23/03/10 09:53:52.72 mCwkYGqk.net
乙はそもそも∀と∃の違いも分からんくらいだから
数学書を読んでも書いてあることが理解できるレベルに達してない
227:132人目の素数さん
23/03/10 09:55:05.06 WDvXIOZ/.net
>>224
>でも理解はしてない
位相幾何学は大変だから
>数年前?いまだにわかってないだろ
いや、背理法の使い方は分かった
何で一々レスバしないといけないんだ?
228:132人目の素数さん
23/03/10 09:57:47.67 WDvXIOZ/.net
>>226
>乙はそもそも∀と∃の違いも分からんくらい
∀は任意の、∃は或る
229:132人目の素数さん
23/03/10 10:03:53.21 mCwkYGqk.net
>>227
>位相幾何学は大変だから
それを言うなら一般位相
乙がレスやめれば終わり
負け犬が何書いたって勝てねえよ
貴様の存在そのものが誤り
230:132人目の素数さん
23/03/10 10:05:51.24 mCwkYGqk.net
>>228
でも数学書の証明では読み違える
それを世間では分かってないと言う
231:132人目の素数さん
23/03/10 10:11:38.89 WDvXIOZ/.net
>>229-230
>でも数学書の証明では読み違える
何の関係があるのか知らないが面倒臭い人間だな
どちらかというと証明を読むというより、証明を出来るだけ考えるというスタンスだから
232:132人目の素数さん
23/03/10 10:18:28.70 mCwkYGqk.net
>>231
下手な考え 休むに似たり
面倒臭いのは君
負け犬がウソで勝ちたがるな
233:132人目の素数さん
23/03/10 10:21:40.25 mCwkYGqk.net
乙は愚かなくせに利口ぶる
要するに自分が分かってない
誰でも最初は愚か
それを自覚するのがスタート
乙はいまだにスタートできてない
これ、1も同じだけどな
234:132人目の素数さん
23/03/10 10:23:05.32 WDvXIOZ/.net
>>233
出来るだけ証明考える習慣を付ければ考える力は身に付くし、演習にもなる
負け犬とかいい出して絡んで来て、本当に面倒臭い人間だ
235:132人目の素数さん
23/03/10 10:24:24.58 mCwkYGqk.net
自分は1や乙が愚かだという点では否定しない
愚かだと認めずウソついて利口ぶるから否定してる
236:132人目の素数さん
23/03/10 10:26:45.44 mCwkYGqk.net
>>234
言い訳するな
単に他人の言ってることが理解できない
屈辱に耐えられないで逃げてるだけだろ
そもそもそんなことを屈辱と思うこと自体狂ってるが
237:132人目の素数さん
23/03/10 10:27:07.95 WDvXIOZ/.net
>>235
愚かで結構
238:132人目の素数さん
23/03/10 10:29:24.28 mCwkYGqk.net
>>237
だろ?
だったら素直に他人の証明を読むことだ
常に他人と勝負するのは愚か者
239:132人目の素数さん
23/03/10 10:30:23.90 WDvXIOZ/.net
>>236
>(愚かでも)出来るだけ証明考える習慣を付ければ考える力は身に付くし、演習にもなる
は事実だけどな
240:132人目の素数さん
23/03/10 10:32:05.90 mCwkYGqk.net
実はこれはレスバトルではない
私は乙と勝負して勝とうとしてるわけではない
寧ろ勝負なんて馬鹿げたことだと言っている
なぜこのことが理解できないのか分からん
241:132人目の素数さん
23/03/10 10:33:36.42 mCwkYGqk.net
>>239
でも実際には何も身についてない
なぜそれを認めない?
242:132人目の素数さん
23/03/10 10:34:27.62 WDvXIOZ/.net
>>238
或る期間考えてムリだったらそうしてる
それぞれの人にはその人なりの学習法があるから、
他人に自分の学習法を押し付けるのはおかしいとは思うね
243:132人目の素数さん
23/03/10 10:34:35.97 mCwkYGqk.net
他人の言葉が理解できない者が賢くなることはない
244:132人目の素数さん
23/03/10 10:37:26.38 mCwkYGqk.net
>>242
或る期間とはどの程度?
一ヶ月も費やすのは無駄
自分なら三分しか費やさない
おかしいのは自惚れ屋の乙
245:132人目の素数さん
23/03/10 10:38:37.39 WDvXIOZ/.net
>>241
分野によっては、研究法は身に付く可能性がある
246:132人目の素数さん
23/03/10 10:41:12.43 WDvXIOZ/.net
>>244
3分で諦めるのか
私はせめて2週間位は考えてみるけどな
247:132人目の素数さん
23/03/10 10:42:00.65 mCwkYGqk.net
乙が自分は賢いと思うのがそもそも病んでいる
自分なら同じ状況なら自分は何も分かってないと認める
そうしたところで何の問題もない
死ぬわけでもない 笑うやつは笑わせとけ
自分をしっかり保てばそんなことは痛くも痒くもない
248:132人目の素数さん
23/03/10 10:42:51.32 mCwkYGqk.net
>>245
自惚れるな
249:132人目の素数さん
23/03/10 10:44:08.06 mCwkYGqk.net
>>246
そんな無駄な時間は掛けない
馬鹿は時間の配分から間違ってる
250:132人目の素数さん
23/03/10 10:44:20.62 WDvXIOZ/.net
>>247
そもそも、考える力を身に付けないと意味ない
251:132人目の素数さん
23/03/10 10:45:55.76 mCwkYGqk.net
>>249
本の演習問題は三分で答えが思いつかないなら
何分考えても無駄
252:132人目の素数さん
23/03/10 10:46:56.49 WDvXIOZ/.net
>>248
演習問題に何とかの定理とかが載っていることあるでしょ
基本的には、それと同じ話だよ
253:132人目の素数さん
23/03/10 10:48:56.44 mCwkYGqk.net
>>250
考える力とは何か?
そもそもすでにわかってしまったことを
自力で全部再構成しようなんて愚の骨頂
さっさと先人のアイデアを理解したほうが得
だから言ってるだろう 無闇に勝負するなと
254:132人目の素数さん
23/03/10 10:50:03.71 mCwkYGqk.net
>>252
だからそんなもんで2週間粘るのは無駄
255:132人目の素数さん
23/03/10 10:54:10.97 WDvXIOZ/.net
>>253
誰だか知らないが、私には私なりの学習法がある
私は院生でも大学の教員でもないし、ここでレスバしても何の意味ない
256:132人目の素数さん
23/03/10 10:57:54.55 WDvXIOZ/.net
>>253
その考え方だと、誤植の訂正とかしながら読み進められるか分からないとは思う
257:132人目の素数さん
23/03/10 10:59:32.19 mCwkYGqk.net
>>255
レスバトルではない わかってないな
君の学習法が成功したかね?
失敗しただろ?
失敗を認めない限り成功はないよ
258:132人目の素数さん
23/03/10 11:01:08.34 mCwkYGqk.net
>>256
言い訳しなくていい
君が無闇にタニンに勝ちたがる病を克服すればいい
259:132人目の素数さん
23/03/10 11:03:42.29 WDvXIOZ/.net
>>257
生涯学習で、学習法が成功するかどうかは死ぬまで分からない
260:132人目の素数さん
23/03/10 11:04:59.94 mCwkYGqk.net
愚か者に限って自分の力を過信し誇示したがる
そして身を滅ぼす
生き延びたかったら自分を知ることだ
261:132人目の素数さん
23/03/10 11:05:45.08 WDvXIOZ/.net
>>258
当事者にとっては本当にそうなるとは思う
262:132人目の素数さん
23/03/10 11:05:51.64 mCwkYGqk.net
>>259
言い訳は失敗の元
263:132人目の素数さん
23/03/10 11:06:39.69 mCwkYGqk.net
>>261
君が当事者だよ
264:132人目の素数さん
23/03/10 11:09:36.52 WDvXIOZ/.net
>>310
今日久し振りに書いたのに何故面倒臭いレスバしないといけないんだ?
一々ジャマしないでくれ
265:132人目の素数さん
23/03/10 11:12:05.98 WDvXIOZ/.net
>>262-263
>>264は>>310へのレスではない
レス番号間違えた
266:132人目の素数さん
23/03/10 11:12:58.76 mCwkYGqk.net
>>264
レスバトルではない
君に反論は求めてない
ただ君が多変数関数論を理解しきった体で
書き散らかすのは不健全だからやめとけと
いつてるまで 反論の余地0
267:132人目の素数さん
23/03/10 11:15:56.02 WDvXIOZ/.net
>>266
そもそも、多変数関数論は余り興味ない
268:132人目の素数さん
23/03/10 11:21:47.58 ghglJniN.net
>>266
こらこら、おサル スレリンク(math板:5番)
数学科で落ちこぼれて35年のおサルが、大きな顔するな、アホw
自分より下を探すゲスやろう
おっちゃん相手に、良い恰好するな! あほ
すっこんでろ!
269:132人目の素数さん
23/03/10 11:29:37.38 YXTEQX3G.net
>>266
>>ただ君が多変数関数論を理解しきった体で
>>書き散らかすのは不健全だからやめとけと
>>いつてるまで
↓もしかしてこのレスのこと?
1) φを多重劣調和関数としたとき
|f|^2e^{-φ}が可積分であるような解析函数芽fの集合は
連接イデアル層になる(Nadelの定理)
これをφの乗数イデアル層といいI(φ)で表す。
Fano多様体上のK"ahler-Einstein計量の存在問題に現れる
Monge-Amp`ere方程式の解析において
I(φ)を係数とするコホモロジー群の消滅が決定的に重要な
役割を果たした。
2)小平消滅定理をアンプル(豊富)束係数のコホモロジー消滅と見ると
代数的証明が可能である(Deligne-Illusie)ので、乗数イデアル層も
同様な代数化が期待できる。I(φ)=I(pφ)を満たすpの上限は>1であろう
というのがDemaillyのSOC(strong openness conjecture)であったが
JohnssonとMustataはこれを代数的な定式化により二次元で解いた。
Valuations and asymptotic invariants for sequences
of ideals Ann. Inst. Fourier (2012)
そのあと一般次元でGuanとZhouが解析的方法で解いた。
A proof of Demailly's strong openness conjecture
Ann. of Math. (2015)
XuはJ-M方式を完遂した。
Xu : A minimizing valuation is quasi-monomial, Ann. of Math. (2020)
3) 乗数イデアル層は整閉な連接イデアル層だが逆は正しくないので、
乗数イデアル層の代数的な特徴づけは非常に興味ある課題である。
270:132人目の素数さん
23/03/10 11:56:54.97 mCwkYGqk.net
>>267
さよか ならけっこう
>>269
乙がこんな文章書けるなら褒めてあげるよ
271:132人目の素数さん
23/03/10 11:59:00.52 mCwkYGqk.net
>>268
>大きな顔するな、アホ
>自分より下を探すゲスやろう
>良い恰好するな! あほ
>すっこんでろ!
その言葉、全部1にお返し致す
272:132人目の素数さん
23/03/10 12:01:28.17 ghglJniN.net
>>202
>磁場項を含むシュレディンガー方程式は
>複素モンジュ・アンペール方程式の解析に
>新しい道を開きました。
ありがとう
和文検索では、ジャストの文献ヒットしないけど
取りあえずヒットしたメモをば貼ります
URLリンク(www.ms.u-tokyo.ac.jp)
談話会・数理科学講演会
過去の記録
2019年06月28日(金)
15:30-16:30 数理科学研究科棟(駒場) 056号室
木田良才 氏 (東京大学数理科学研究科)
軌道同値関係への誘い
[ 講演概要 ]
測度空間への群作用に対し,作用の軌道を同値類とする同値関係が得られる.このような軌道同値関係の研究は,古くはフォンノイマン環の研究に動機付けられ,そのため,従順性を対象とするものが多かった.現在では,非従順な対象の研究も盛んである.例えば,非従順性と自由部分群の存在の関係を問うフォンノイマンの問題が,軌道同値関係の枠組みでは(群の場合と違って)肯定的に解決され,驚くべきことに,そのアイデアはパーコレーションの理論に基づいている(Gaboriau-Lyons).講演では,これらを概観した後,講演者が近年取り組んでいる内部従順性にまつわる研究を紹介したい.
2018年03月10日(土)
13:00-14:00 数理科学研究科棟(駒場) 大講義室号室
二木昭人 氏 (東大数理)
K安定性と幾何学的非線形問題 (JAPANESE)
[ 講演概要 ]
K安定性は代数幾何における幾何学的不変式論(GIT)の安定性として定式化されたものであるが,アイデアの端緒は Kazdan-Warner が見出したある非線形偏微分方程式の可解性の障害にある.この非線形問題は微分幾何学的に表現すると,2次元単位球面に滑らかな関数 k を任意に与えたとき,計量 g に適当な正の関数 f をかけて得られる計量 fg が k をガウス曲率になるように,f を決めることができるか,という問題である.これは Nirenberg の問題と呼ばれ,現時点でも完全な答えは得られていない.2次元球面を1次元複素射影空間とみなし,更に Fano 多様体の特別な場合とみなして,Fano 多様体の GIT 安定性として定式化したのは Gang Tian であり(1997),
つづく
273:132人目の素数さん
23/03/10 12:03:11.70 ghglJniN.net
>>272
つづき
さらに一般の偏極多様体に一般化したのは Simon K. Donaldson である(2002).GIT 安定性はモーメント写像を用いた描像があり,有限次元シンプレクティック幾何の形式的議論が,非線形偏微分方程式を解くにあたっての関数空間における無限次元シンプレクティック幾何的な議論の適切な方向を探る指針を与える.Fano 多様体においては,K安定性がモンジュ・アンペール方程式の可解性と同値であり,従ってケーラー・アインシュタイン計量の存在と同値であることが2012年頃,Chen-Donaldson-Sun と Tian によって証明された.モーメント写像を用いた描像を用いると,他の色々な非線形問題においても同じパターンで,K安定性と可解性の同値性を証明する問題として定式化される.
2018年03月10日(土)
14:30-15:30 数理科学研究科棟(駒場) 大講義室号室
川又雄二郎 氏 (東大数理)
双有理幾何学と導来圏 (JAPANESE)
[ 講演概要 ]
極小モデル理論によれば、代数多様体の間の双有理写像は基本的な双有理写像(フリップや因子収縮写像)に分解され、双有理幾何学は双正則幾何学に帰着される。その際の道案内になるのが標準因子Kである。代数多様体上の幾何学はその上の連接層によって表現されるが、連接層全体のなすアーベル圏から、複体を考え局所化することによって対称性がアップした導来圏Dが得られる。Kの変化とDの変化の間には思いがけず密接な関係が観測された。一方、有限群による商特異点の極小特異点解消(幾何学)とその群の表現(代数)の間には隠れた関係(マッカイ対応)が観測される。これらを総合した予想としてDK予想がある。最近の進展について解説する。
(引用終り)
以上
要するに、
数学とその応用分野の物理などとの交流も、大事ってことかな
274:132人目の素数さん
23/03/10 12:04:31.82 WDvXIOZ/.net
>>270
私にそんな文章書ける訳ないだろw
275:132人目の素数さん
23/03/10 12:11:56.34 ghglJniN.net
>>196
>この先量子力学ではルジャンドル多項式とかラゲール多項式とか直交多項式がいっぱい
>出てきます。でもあんまりそこで深入りしちゃうと挫折します。
>とりあえず調和振動子のシュレディンガー方程式を解くと
>エルミート多項式が出てくるというぐらいで次々進んでいった方がいいです。
>量子力学は数学ではなく物理なので数学に囚われて物理が疎かになってはいけません。
ありがとう
調和振動子のシュレディンガー方程式の解が出てきたことは覚えているが
”エルミート多項式”という名前は、記憶ない
多分、名前を出さずに説明していたかも
”ラゲール”は、記憶ある
”およ”と思ったけど、上記のように深入りせずに流しましたw
余談ですが、いまどき(2023年)は、こういうのはソフト内で処理されて
結果だけは、細かい理論を知らずとも、得られる時代みたいですね
(シュレディンガー方程式の解を、数値的に解く分野では)