23/02/05 00:17:40.68 XfMj3WNk.net
>>166 追加
URLﾘﾝｸ(ja.wikipedia.org)
エキゾチック R^4
球面上の非微分同形の滑らかな構造(エキゾチックな球体) が存在することが既に知られていたが、 4-球体 の特定のケースに対するそのような構造の存在の問題は未解決のままであった (2022 年現在も未解決のままである)。
関連するエキゾチックな構造
Casson ハンドルはフリードマンの定理により
D^2 Ｘ R^2と同相であるが、ドナルドソンの定理から、それらはすべて
D^2 Ｘ R^2と微分同相ではない。言い換えれば、一部の Casson ハンドルはエキゾチック
D^2 Ｘ R^2である。
en.wikipediaより
It is not known (as of 2022) whether or not there are any exotic 4-spheres; such an exotic 4-sphere would be a counterexample to the smooth generalized Poincare conjecture in dimension 4. Some plausible candidates are given by Gluck twists.
URLﾘﾝｸ(en.wikipedia.org)
Exotic sphere
4-dimensional exotic spheres and Gluck twists
In 4 dimensions it is not known whether there are any exotic smooth structures on the 4-sphere. The statement that they do not exist is known as the "smooth Poincare conjecture", and is discussed by Michael Freedman, Robert Gompf, and Scott Morrison et al. (2010) who say that it is believed to be false.
Some candidates proposed for exotic 4-spheres are the Cappell?Shaneson spheres (Sylvain Cappell and Julius Shaneson (1976)) and those derived by Gluck twists (Gluck 1962). Gluck twist spheres are constructed by cutting out a tubular neighborhood of a 2-sphere S in S4 and gluing it back in using a diffeomorphism of its boundary S2×S1. The result is always homeomorphic to S4. Many cases over the years were ruled out as possible counterexamples to the smooth 4 dimensional Poincare conjecture. For example, Cameron Gordon (1976), Jose Montesinos (1983), Steven P. Plotnick (1984), Gompf (1991), Habiro, Marumoto & Yamada (2000), Selman Akbulut (2010), Gompf (2010), Kim & Yamada (2017).
220:１３２人目の素数さん
23/02/05 06:00:07.93 wVajbkib.net
>>197
>○○か？
いつも他人の罵倒からはじまる承認欲求君
>シッタカするならば
自分が他人にしていることを他人がしかえすと発○する承認欲求君
>問う
どうぞ御随意に 要するに分かってないんでしょ？
221:１３２人目の素数さん
23/02/05 06:08:08.58 wVajbkib.net
>>201
>a)環(ring)について、説明せよ！
定義は以下の通り
環とは、集合 R とその上の二つの二項演算、
加法 +: R × R → R および
乗法 ?: R × R → R
の組 (R,+,?) で、
「環の公理系」と呼ばれる以下の条件を満たすものを言う
（環の公理系にはいくつか異なる流儀があるが、それについては後で触れる）。
加法群
(R, +) はアーベル群である
1. 加法に関して閉じている： 任意の a, b ∈ R に対して a + b ∈ R が成り立つ[注 2]。
2. 加法の結合性： 任意の a, b, c ∈ R に対して (a + b) + c = a + (b + c) が成り立つ。
3. 加法単位元（零元）の存在：如何なる a ∈ R に対しても共通して 0 + a = a + 0 = a を満たす 0 ∈ R が存在する。
4. 加法逆元（反元、マイナス元）の存在： 各 a ∈ R ごとに a + b = b + a = 0 を満たす b ∈ R が存在する。
5. 加法の可換性： 任意の a, b ∈ R に対して a + b = b + a が成立する。
乗法半群
(R,?) はモノイド（あるいは半群）である
1. 乗法に関して閉じている： 任意の a, b ∈ R に対して a ? b ∈ R が成り立つ[注 2]。
2. 乗法の結合性：任意の a, b, c ∈ R に対して (a ? b)? c = a ?(b ? c) が成立する。
3. 乗法に関する単位元を持つ[注 1]。
分配律
乗法は加法の上に分配的である
1. 左分配律: 任意の a, b, c ∈ R に対して a ?(b + c) = (a ? b) + (a ? c) が成り立つ。
2. 右分配律: 任意の a, b, c ∈ R に対して (a + b)? c = (a ? c) + (b ? c) が成り立つ。
が成り立つものをいう。
乗法演算の記号 ? は普通省略されて、a ? b は、ab と書かれる。
222:１３２人目の素数さん
23/02/05 06:24:03.54 wVajbkib.net
>>202
>b)層(sheaf)について、説明せよ！
定義は以下の通り
前層の定義
組 (X,T)を X が集合、T が X の開集合系である位相空間とする。
X 上の（集合の）前層 F とは、次の条件を満たす
X の開集合から集合への対応規則である。
・X の開集合 U∈T に対して集合 F(U) が定まる。
開集合の包含関係 U⊂V に応じて制限写像（せいげんしゃぞう、restriction map）と呼ばれる写像
ρUV： F(V)→F(U)
が定まり、さらに次の条件を満たす。
1. ρUU=id U（ここで、id U:F(U)→F(U)は恒等写像である）。
2. U⊂V⊂W⇒ρUW=ρUV・ρVW(・は写像の結合)。
各開集合 U に対して F(U) の元を前層 F の U 上の切断（せつだん、section）あるいは断面（だんめん）と呼ぶ。
層の定義
位相空間 X 上の前層はその切断が局所的な切断の張り合わせで定義できるとき層と呼ばれる。
223:１３２人目の素数さん
23/02/05 06:31:04.37 wVajbkib.net
>>203
正確には X 上の層とは、前層 F = {F(U), ρUV} であって、
X の各開集合 U に対して開被覆
U = ∪{λ∈Λ} U_λ
が任意に与えられたとき、
F(U) の元 s, t が任意の λ に対して
s|U_λ = t|U_λ
を満たすならば常に s = t が成立（既約性条件）し、
さらに切断の族 (sλ ∈ Uλ)λ∈Λ が常に
s_λ|U_λ∪U_μ =s_μ|U_λ∪U_μ
を満たすものであるならば
常に、F(U) の元 s で
s|_U_λ = s_λ
をすべての λ に対して満たすものが存在する（閉条件）
ようなもののことをいう。
224:１３２人目の素数さん
23/02/05 06:35:30.13 wVajbkib.net
>>204
>c)圏(category)について、説明せよ！
圏の定義は以下の通り
圏 C は以下のものからなる:
・対象の類 ob(C)
・対象の間の射の類 hom(C)
・各射 f ∈ hom(C) には
始域と呼ばれる対象 a ∈ ob(C) および
終域と呼ばれる対象 b ∈ ob(C) が付随して、
"f は a から b への射である" と言い、f: a → b と書き表す。
・a から b への射の類 (hom-class; ホム類) hom(a, b) は
a から b への射全体の成す類を言う。
このとき、任意の三対象 a, b, c ∈ ob(C) に対し、
射の合成と呼ばれる二項演算
hom(a, b) × hom(b, c) → hom(a, c); (f, g) ? g ? f
が存在して以下の公理を満足する:
結合律:
f: a → b, g: b → c, h: c → d ならば h ? (g ? f) = (h ? g) ? f が成り立つ。
単位律:
各対象 x ∈ ob(C) に対して
x の恒等射と呼ばれる自己射 idx = 1x: x → x が存在して、
任意の射 f: a → x および g: x → b に対して
1x ? f = f and g ? 1x = g を満たす。
これらの公理から、各対象に対して恒等射はただ一つ存在することが示せる。
225:１３２人目の素数さん
23/02/05 06:38:50.76 wVajbkib.net
>>205
圏論の言葉で言えば、
X の開集合系（これは包含関係に関する順序集合となる）T を圏と見なすとき、
X 上の前層とは
T から集合の圏への反変関手のこと
であるということができる。
また、可換群の（あるいは加群の）前層や環の前層は
T から可換群の圏や環の圏への反変関手のことであり、
同様にして
T から適当な圏 C への反変関手として
C に値を持つ前層が定義される。
二つの前層を関手と見なして、
その間の自然変換となるものを
前層の射または前層の準同型とよぶ。
226:１３２人目の素数さん
23/02/05 06:43:29.85 wVajbkib.net
極論を云えば、
群論・環論・位相空間論・層理論・圏論
というのは数学における一種の修辞学である
修辞技法
URLﾘﾝｸ(ja.wikipedia.org)
227:１３２人目の素数さん
23/02/05 07:21:42.58 wVajbkib.net
さて、承認欲求君に問う
Q1. 群SL(2､Z)の定義は？
Q2. SL(2､Z)は実は有限表示可能だが
1)生成元は？
2)生成元が満たす関係式は？
以下三問にきっちり正確に答えてくれたまえ
(Q2の答えは一意でないが、題意を満たしていれば正解とする いわずもがなだが）
こんなもん院試どころか学部の試験だから
答えられないなら大学卒業はできんね
228:１３２人目の素数さん
23/02/05 07:30:47.29 wVajbkib.net
ガロアの悪夢
「SL(2, R) の Γ0(p) の正規化群 Γ0(p)+
から定まるモジュラー曲線が種数 0 であることと、
p がモンスター群の位数の素因子、すなわち
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, 71
であることと同値である。」
229:１３２人目の素数さん
23/02/05 09:13:15.57 XfMj3WNk.net
>>207
>極論を云えば、
>群論・環論・位相空間論・層理論・圏論
>というのは数学における一種の修辞学である
それに賛同する数学徒は、いないだろうねｗ
どちらかと言えば、
・プログラミング言語
・もっと言えば、数学的対象を扱う数理言語そのもの
（グラフィックを含む）
そう捉えた方が良いだろう
定義を作って、小さなプログラムとかサブルーチンや、関数プログラム
それらを組み合わせて、定理（大きなプログラム）ができる
230:１３２人目の素数さん
23/02/05 09:42:17.80 XfMj3WNk.net
>>202
分かってないねｗ
・環の定義では、可換と非可換の区別が定義されていないぞｗ
（後で、加法群の説明あるけど、順序が逆だよｗ）
・>>198-199 雪江明彦の
"2. 「可除環」か「斜体」か"
について言えば
そもそも、群、環、体と並べたとき
乗法については、一般的に非可換で貫徹するのが綺麗で
抽象代数学の初期は、これだった
（”永田の可換体論では体，可換体という用語”>>199）
しかし、用語 体 は、殆どの場合(教科書や論文で)、可換体しか扱わないんだ
だから、簡単に可換体→体と書いて、非可換は別の用語にという流れになった（これは よくある話）
・圏 category >>206について言えば、categoryの歴史は古代ギリシャのアリストテレス辺りまで遡る（下記）
多分、数学の”category”という用語は、下記”カントは人間認識を基礎付ける超越論的制約のひとつ、純粋悟性概念をカテゴリと呼び、その意味を認識論的意味へと転換した”あたりを意識していたのかもしれない
が、本音はキャッチーなだじゃれだったかも
圏論書いた人は、関西人では？ｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
圏論 category theory
歴史
1945年の「General Theory of Natural E
231:quivalences[3]」において圏（あるいは関手、自然変換）をその名前で定義した[4]。 https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%86%E3%82%B4%E3%83%AA カテゴリ カテゴリ（独: Kategorie、英: Category、仏: Categorie）は、事柄の性質を区分する上でのもっとも基本的な分類のことである。カテゴリーとも表記する。語源はギリシア語の κατηγορια。漢訳語では範疇（はんちゅう）であり、洪範九疇に由来する[1]。 概説 アリストテレスによって哲学用語として採用された。アリストテレスにおいてカテゴリは存在のもつ10の基本的性質をあらわし、存在論における基本概念のひとつであったが、イマヌエル・カントは人間認識を基礎付ける超越論的制約のひとつ、純粋悟性概念をカテゴリと呼び、その意味を認識論的意味へと転換した。 哲学用語としての「基本範疇」の意味から発展して、各種分類学などでもカテゴリの用語が用いられることがある (引用終り)
232:１３２人目の素数さん
23/02/05 09:44:49.00 wVajbkib.net
>>210
数学における言語は論理学
数学的構造は言語の上部構造だから修辞学
プログラミング言語が論理なら
オブジェクトのクラスが代数的もしくは位相的構造
論理があれば証明は書けるが
構造を用いれば再利用ができる
修辞学の意図の一つもそこにある
233:１３２人目の素数さん
23/02/05 09:51:27.49 wVajbkib.net
>>211
＞・環の定義では、可換と非可換の区別が定義されていないぞ
必要なら記述を付け加えてくれたまえ
大した問題ではない（バッサリ）
＞・そもそも、群、環、体と並べたとき・・・
そもそも、その並べ方に特段の意味はない
意味があるというなら、述べてくれたまえ
＞・圏 category について言えば
圏の名前の歴史的由来については全く興味ない
数学とは全く関係ないから
＞圏論書いた人は、関西人では？
つまらんな（バッサリ）
もしかして、認知症？
234:１３２人目の素数さん
23/02/05 09:59:17.59 wVajbkib.net
数学における SL(2､Z)と j-invariant は
ライトモティーフとよんでもいいものだ
URLﾘﾝｸ(ja.wikipedia.org)
235:１３２人目の素数さん
23/02/05 10:14:55.46 XfMj3WNk.net
>>212 つづき
・圏 category で、明治のころからの伝統で
数学用語は、漢字一文字を当てるという（暗黙の）規則がある
例：群、環、体
・そこで、categoryは哲学では範疇という訳語があるけれども
category→範疇は、かえって分かりづらいし
漢字一文字で、圏にしたのでしょうね（発案者は知らず）
・ああ、いま検索すると、ベールの範疇定理とかあって、この点からも”範疇”は、まずいね
(参考)
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
範疇 (数学)
数学において、範疇（はんちゅう）とは位相空間の部分集合を 2 通りに分類する方法のことである。カテゴリーと呼ぶことも多いが、同様にカテゴリーと呼ばれる圏とは全く異なるものである。
定義
X を位相空間とし、A をその部分集合とする。
A の閉包の内部が空であるとき、A は疎であるという。A が可算個の疎な集合の和集合で表せるとき A は第 1 類であるといい、そうでないとき A は第 2 類であるという。第 1 類の集合をやせた集合ともいう。
第 1 類の集合の部分集合は第 1 類であり、可算個の第 1 類の集合の和集合は第 1 類である。
ベールの範疇定理
完備距離空間の空でない開部分集合は第 2 類である。これをベールの範疇定理と呼ぶ。この定理は特に関数解析などで有用である。
236:１３２人目の素数さん
23/02/05 10:54:31.31 XfMj3WNk.net
>>215 つづき
＜層について＞
・数学の層も、漢字一文字原則で、誤訳に近くなった例と思う
・層は、下記 英sheafでは 麦類の穂束であって、層の茎とか芽 (germ) と整合するけれども、
層→sheafの変換を頭の中でしないと、ワケワカでしょう
・本来は、下記 秋月(康夫)氏が書いているように、「(仏語)Faisceau の元来の意味は束 (タバ) 」なので、”束 (タバ) ”が一つの候補
しかし、すでに束は、束論で使われているので、漢字一文字原則を優先して、層にしたのでしょう
・いま思うと、漢字二～三文字で、別の分かり易い用語にすべきだったと思う（例えば関数の束で、”関数束”とか”関束”とかｗ）
・なお、下記[注 2]斎藤毅氏の説明のように、層は関数を一点に潰さずに、位相空間の開集合ベースで局所→大域を扱う概念
それを、(仏語)Faisceau 英sheaf 麦類の穂束 という用語にこめた ジャン・ルレイ氏（岡先生の不定域イデアル類似）
・層コホモロジー（下記）まで行かないと、ありがたみが分からないらしい。勉強する人は、そこまで頑張りましょう！
(参考)
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
層 (数学)
数学における層（そう、英: sheaf[注 1], 仏: faisceau）とは、位相空間上で連続的に変化する様々な数学的構造をとらえるための概念であり、大域的なデータを局所的に取り出すこと、および局所的なデータの貼り合わせ可能性によって定式化される。
層は局所と大域をつなぐことばであり、装置である。層のことばを使って多様体やリーマン面などの幾何学的対象が定義できる。
例として、位相空間上の連続関数を考える。位相空間の各集合に対しそこで定義された連続関数の環が定まり、開集合の包含関係に対し定義域を制限することで定まる写像は環の射である。 さらに、局所的に定義された連続関数の族が大域的な関数を定義するならば、その関数は連続関数である。層の定義は、この2つの性質を抽象化したものである[注 2],。
より形式的に、大域から局所への移行のみを考える概念は前層（ぜんそう、presheaf）とよばれる[注 3]。
つづく
237:１３２人目の素数さん
23/02/05 10:54:54.85 XfMj3WNk.net
>>216
つづき
層の茎
詳細は「茎 (層)」を参照
層
Ｆの茎 (stalk) Fx は、点 x ∈ X の「まわり」の層の性質を捕らえる。ここに、「まわり」の意味は、概念的に言うと、その点のいくらでも小さい近傍を見るということであるが、もちろん、単独の近傍では十分小さくないので、ある種の極限をとらなければならない。
自然な射 F(U) → Fx は F(U) の切断 s をその芽 (germ) へ写す。
歴史
層の概念が最初にはっきりと現れたのは、第二次世界大戦中のジャン・ルレイによる偏微分方程式の研究だと言われている。その後、アンリ・カルタンのセミナーで形式的な整備が進められた。
なお、アンリ・カルタンをはじめとするフランスの数学者達の層の解明は、岡潔が見出した不定域イデアルという概念をも基にしている。岡の複素関数論のイデアの不定域イデアルが基本内容を構成しそれを取り出し形式化したものが連接層の内容とされる。
さらに任意の係数体上の多様体にコホモロジー理論を構築することを目的の一つとして、1955年にジャン＝ピエール・セールによって代数幾何学に層の概念が持ち込まれた。アレクサンドル・グロタンディークによりこの考えが推し進められ、スキーム上有意義な「層」を表現しうるトポスの概念が得られた。ほかに層が決定的に用いられる理論として佐藤幹夫らに端を発する偏微分方程式系の解析（D-加群の理論）があげられる。
脚注
1.^ 英語で麦類の穂束、書類の束、矢の束などを意味する (sheaf - Wiktionary)。
2.^ P191 第7章 層 数学原論 斎藤毅著 東京大学出版会 2020年4月10日 ISBN 978-4-13-063904-0
3.^ 層という訳語の由来は仏語 Faisceau のあとの方の 'ソー' をとったというのが一つの根拠である。
�
238:@Faisceau の元来の意味は束 (タバ) である。'群の束' (X 上に配置された) の意である。 ところで、これを横に見ると地層のような層になる。 そこで、垂直を水平におきかえて層と訳してみたのである。 この訳がよいか、悪いか、わが国で定着しているかどうか知らないが、この訳語の発案者として、その由来を記しておく。(秋月 1970, p. 176) つづく
239:１３２人目の素数さん
23/02/05 10:55:14.99 XfMj3WNk.net
>>217
つづき
URLﾘﾝｸ(ja.wikipedia.org)
層係数コホモロジー
数学において、層コホモロジー (sheaf cohomology) は、アーベル群の層に関連する層の理論の一面であり、ホモロジー代数を用いて、層 F の大域切断の具体的な計算を可能とする
URLﾘﾝｸ(ja.wikipedia.org)(%E6%9D%9F%E8%AB%96)
束 (束論)
数学における束（そく、英語: lattice）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても定義できる。
(引用終り)
以上
240:１３２人目の素数さん
23/02/05 11:09:16.65 wVajbkib.net
>>215
> 明治のころからの伝統で
> 数学用語は、漢字一文字を当てる
> という（暗黙の）規則がある
数学と無関係の話になると
とたんに饒舌になる承認欲求君
集合は二文字ですが？
多様体は三文字ですが？
イデアルに至っては翻訳すらされてませんが
そもそも翻訳必要ですか？実は要らないよね
241:１３２人目の素数さん
23/02/05 11:10:36.87 XfMj3WNk.net
>>201
＜環（かん、英: ring）について＞
１）環（ring）は、下記 デデキントが考えて、ヒルベルトにより紹介されたそうな
２）下記”リングという名前は、視覚的にリング状のものを指すのではなく、要素が組織化されて全体にマージされることを指します。それ以外の場合、この単語の意味はドイツ語ではほとんど失われています”とある
いまでいう、”サークル（活動）”のような意味で使ったのでしょうね
３）環（ring）→”サークル（活動）”の意味は、デデキントやヒルベルトは、当然分かっていた
(参考)
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
環 (数学)
環（かん、英: ring）
（上記からドイツ語へ）
URLﾘﾝｸ(de.wikipedia.org)(Algebra)
Ring (Algebra)
（google訳を一部手直し）
リングは代数構造です。
足し算と掛け算が定義されており、括弧に関して相互に互換性があります。環論は、環の性質を扱う 代数の一分野です。
目次
1 ネーミング
リングという名前は、視覚的にリング状のものを指すのではなく、要素が組織化されて全体にマージされることを指します。
それ以外の場合、この単語の意味はドイツ語ではほとんど失われています。
一部の古いクラブ名(例: Deutscher Ring、Weiser Ring、Maschinenring ) や、「犯罪者リング」、「物々交換リング」、「リング講義」などの表現は、今でもこの意味を参照しています。
Ringのコンセプトはリチャード・デデキントにまでさかのぼります。ただし、die Bezeichnung Ringは、David Hilbertにより紹介された。[1] [2]
242:１３２人目の素数さん
23/02/05 11:12:59.90 wVajbkib.net
>>216-219
208の質問に答えられない事実を
無闇に検索結果をコピペして
なかったことにしたい承認欲求君
承認欲求君が答えられなかった質問は以下の通り
Q1. 群SL(2､Z)の定義は？
Q2. SL(2､Z)は実は有限表示可能だが
1)生成元は？
2)生成元が満たす関係式は？
(Q2の答えは一意でないが、題意を満たしていれば正解とする いわずもがなだが）
こんなもん院試どころか学部の試験だから
答えられないなら大学卒業はできんね
ま、実質「専門学校」の工学部は知らんけど
243:１３２人目の素数さん
23/02/05 11:14:29.08 wVajbkib.net
>>220
命名に拘るのは数学が分からん「文系」の典型的症状
244:１３２人目の素数さん
23/02/05 11:28:15.18 XfMj3WNk.net
>>219
> 集合は二文字ですが？
> 多様体は三文字ですが？
アホは教養がないな
西 周（にし あまね） 下記
”「哲学」という言葉を創った[9]ほか、「藝術（芸術）」「理性」「科學（
245:科学）」「技術」「心理学」「意識」「知識」「概念」「帰納」「演繹」「定義」「命題」「分解」など多くの哲学・科学関係の言葉は西の考案した訳語である” 全体の中で、バランスを考えながら、訳をするんだよ 明治時代、先人は苦労したんだよ！ 数学用語も同じだ ”数学用語は、漢字一文字を当てるという（暗黙の）規則がある”>>215 これは、常識です。否定しても仕方ないよｗ 落ちこぼれには、分からないかもｗ (参考) https://ja.wikipedia.org/wiki/%E8%A5%BF%E5%91%A8_(%E5%95%93%E8%92%99%E5%AE%B6) 西 周（にし あまね、（文政12年2月3日（1829年3月7日） - 明治30年（1897年）1月31日） は、日本の啓蒙思想家、西洋哲学者[1]。獨逸学協会学校（現：獨協中学校・高等学校）初代校長、貴族院議員、男爵、錦鶏間祗候。西 周助とも[2]。 人物 西洋語の「philosophy」を音訳でなく翻訳語（和製漢語）として「哲学」という言葉を創った[9]ほか、「藝術（芸術）」「理性」「科學（科学）」「技術」「心理学」「意識」「知識」「概念」「帰納」「演繹」「定義」「命題」「分解」など多くの哲学・科学関係の言葉は西の考案した訳語である。
246:１３２人目の素数さん
23/02/05 11:39:35.51 XfMj3WNk.net
>>223
> 多様体は三文字ですが？
トリビアですが
数学で、多様体は、
日→英訳のとき、
manifoldとvarietyと訳し分けが必要です
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
多様体（たようたい、英: manifold, 独: Mannigfaltigkeit）
URLﾘﾝｸ(ejje.weblio.jp)
manifold
研究社 新英和中辞典での「variety」の意味
名詞可算名詞
【機械】 (内燃機関の吸排気をする)マニホールド，多岐管.
URLﾘﾝｸ(ja.wikipedia.org)
代数多様体（だいすうたようたい、algebraic variety）
URLﾘﾝｸ(ejje.weblio.jp)
variety
研究社 新英和中辞典での「variety」の意味
名詞
1不可算名詞 変化(に富むこと), 多様(性).
a life full of variety 変化に富んだ人生.
2[a variety of…で] さまざま(の), いろいろ(な) 《★【用法】 of の次の名詞に複数形または集合名詞がくる》.
a variety of opinions 種々さまざまの意見.
247:１３２人目の素数さん
23/02/05 11:43:32.02 wVajbkib.net
>>223
>教養がないな
>全体の中で、バランスを考えながら、訳をするんだよ
>明治時代、先人は苦労したんだよ！
文学部卒がなんか吠えとる
君はカント「純粋理性批判」でも読んでなさい
１８世紀人の君には、１９世紀以降の数学は無理
248:１３２人目の素数さん
23/02/05 11:49:44.34 wVajbkib.net
>>224
>トリビアですが
>数学で、多様体は、
>manifoldとvarietyと
>訳し分けが必要
英文学科卒がなんか吠えとる
君はシェークスピア「ハムレット」でも読んでなさい
To do or not to do, That is a question.
「やるかやらないか、それが問題だ」
249:１３２人目の素数さん
23/02/05 12:01:28.28 wVajbkib.net
文学部卒？の承認欲求君は
文学書・歴史書・哲学書
を読むつもりで数学書を読んだのが誤り
数学書は論理が分って計算が出来る人でないと読めないよ
250:１３２人目の素数さん
23/02/05 13:06:07.26 XfMj3WNk.net
>>225-227
>文学部卒？の承認欲求君は
>文学書・歴史書・哲学書
>を読むつもりで数学書を読んだのが誤り
>数学書は論理が分って計算が出来る人でないと読めないよ
違うと思うよ
・>>142 中島啓”1994年にハーバード大学の物理学者ヴァッファから電子メールが送られてきて, 頭を思いっきり殴られたような衝撃を受けたことを, つい昨日のように思い出します. そのメールの内容は次のようなものでした. ４次元多様体 X の上のインスタントン数が n のインスタントンのモジュライ空間 Mnのオイラー数をe(Mn)としたときに,”
略
”このとき, ヴァッファとウィッテンは, 上の関数が保型性を持つという予想をしていて, ある多様体の例, 当時私が研究していたALE空間という４次元多様体の場合に成立しているかどうかを知りたい, と尋ねてきたのでした”
・ここの登場人物3人、中島啓、ヴァッファとウィッテン。3人とも、細かい話はネグって
Ｑ「どうなの」Ａ「Yes」(中島)というやりとり
・本になんか、なってない話だよ！
それで、ヴァッファ氏は物理屋で証明は求めていない！ Ｙ or N を求めている
中島氏は数学屋で、端的にＹ！
そして、ヴァッファ氏は答えを得て、中島氏は論文ネタを得た。win & winの関係
要するに、大学を卒業したら、こういうやり取りが出来る人が勝ちなんだ
ヴァッファさん、カンニングですよ！、それ！！。知っていそうな人に聞くってｗ
聞かれた中島さんは、「お、それ論文ネタ！ ありがとう！」だったね
そして、これが出来るには
中島啓氏なみに、自分が学び研究したことを、消化し吸収しておく必要があるのです
単なる記号の羅列から、人としての深い理解へね
数学科学部で落ちこぼれたキミは、
それが出来なかった。 また、出来てないのです！！
私？ 私は、聞く方です
ヴァッファさんの側ですよ！！ｗ
251:１３２人目の素数さん
23/02/05 15:40:57.97 wVajbkib.net
>>228
>>数学書は論理が分って計算が出来る人でないと読めないよ
>違うと思うよ
違わんよ 実際 全く読めなかったでしょ
還暦過ぎたオツムではどうあがいても無駄
さっさと数学書全部売って楽になりなよ
文学部卒の承認欲求君
>ヴァッファ氏は物理屋で証明は求めていない！
>ヴァッファさん、カンニングですよ！
もしかしてヴァッファはただの物理屋だとカン違いしてる？
やれやれ英文学科卒のくせに英語も読めないんだね
経歴を見れば実際は数学屋だと分かるよ
ウィッテンの弟子だからね
URLﾘﾝｸ(en.wikipedia.org)
カムランヴァファ; 1960 年 8 月 1 日生まれ は、イラン系アメリカ人の理論物理学者であり、
ハーバード大学の数学と自然哲学のホリス教授です。
Cumrun Vafa は1960 年 8 月 1 日にイランのテヘランで生まれました。
数学が物体の動きを予測する方法に魅了されました。
彼はテヘランのアルボルズ高校を卒業し、1977 年に大学で勉強するために渡米しました。
彼は1981 年にマサチューセッツ工科大学(MIT)から数学と物理学の学士号を取得しました。
エドワード・ウィッテンの監督の下、「対称性、不等式、指数定理」というタイトルの博士論文を完成させた後、
1985 年にプリンストン大学で物理学の博士号を取得しました。
博士号を取得した後、Vafa はハーバード大学のハーバード ソサエティ オブフェローを通じて
ジュニア フェローになり、後にジュニア ファカルティの職に就きました。
1989 年に上級教員職のオファーがあり、それ以来ずっとそこにいます。
Vafa は、1994 年にプリンストン大学の高等研究所、自然科学部、数学部で働いていました。
252:１３２人目の素数さん
23/02/05 15:54:43.95 wVajbkib.net
>>228
>大学を卒業したら、こういうやり取りが出来る人が勝ちなんだ
>知っていそうな人に聞くって そして、これが出来るには
>自分が学び研究したことを、消化し吸収しておく必要があるのです
>単なる記号の羅列から、人としての深い理解へね
>私？ 私は、聞く方です ヴァッファさんの側ですよ！！
なんかカッコイイこといってるけど
自分は大学１年の数学で、記号の羅列を理解できず
理系を諦めて文転したんでしょ
で、数学板でもラグランジュの分解式を使って
円分多項式の根のベキ根表示を得る方法が理解できず
さりとて何を�
253:ﾇう質問すればいいかすら思いつかず 実は石井氏の「頂を踏む」に書いてあるのに読みこなせず あげくのはてにこの板の読者に思いっきり先越されたと ボロ負けじゃん 質問もできず他人の言葉を消化吸収できない 要するに君には数学というセルロースが分解できないってことよ しかたないので今日も訳も分からず検索した結果をコピペ ヒトのすることじゃないね サルのオナニーだよ そりゃ 君はここではもう承認欲求満たされないから 別のことで承認欲求満たしたほうがいいよ 文学部卒君
254:１３２人目の素数さん
23/02/05 16:09:12.64 wVajbkib.net
人間が草を消化できないのはなぜ？
URLﾘﾝｸ(logmi.jp)
端的にいえば
「セルロースを分解するのに必要な酵素を生産する微生物がいないから」
では、微生物を住まわせればいいのか？
著者がいうには、おそらくうまくいかない
なぜなら、人間の胃はセルロースを消化する過程が起こるには
あまりにも酸性が強いから
承認欲求が数学というセルロースを消化するのも無理だろう
証明から個々の論理の繋がりの形に分解する「微生物」がいないから
そしてそのような「微生物」が働くにはあまりにも承認欲が強いから
肉食動物が草食動物のマネしようとしても無駄ってことですよ
セルロースの消化は自慢するような派手なパフォーマンスじゃなくて
草を反芻して噛み続ける実に地味な作業だということに気付きましょう
そして本棚の肥やしになってる数学書を全部うっぱらって
数学とは全然無縁の、消化可能な肉でも食ってください
嫌がらせで云ってるんじゃないんですよ
どうみても貴方が数学を楽しめてないのが明らかだから
貴方の苦痛を取り除くためにいってあげてるんです
255:１３２人目の素数さん
23/02/05 16:27:07.85 wVajbkib.net
人って食物連鎖の頂点とかいってるけど
はっきりいって何も生産してなくてただ消費してるだけ
生産者といっていいのは植物だけ
草食動物が加工業者で
肉食動物は消費者
自然界における人って
人類社会における富裕層
みたいなもんです
金は有り余るほど持ってるけどちっとも働いてない
こりゃ滅びるな
256:１３２人目の素数さん
23/02/05 16:28:40.77 XfMj3WNk.net
>>197 追加
保形形式：automorphic form
形式：form は、良いでしょう
（例 cusp form 数論では、カスプ形式(cusp form)、もしくは尖点形式とは、フーリエ級数展開の定数項が 0 である特別なモジュラー形式のことを言う。
URLﾘﾝｸ(ejje.weblio.jp) ）
automorphic：ja.wikipedia 保型因子より、群 G が複素解析多様体 X に作用しているとき
”群 G の作用に関して
f(g.x)=j_{g}(x)f(x)
なる関係を満たすことを言う。ただし、jg(x) は至る所零でない正則函数とする。”
automorphicとは、辞書では「自形」
（接頭辞 auto- は、「自身」を意味する）
f(x)という関数形が、右辺に残る意味（保形ね）
(参考)
URLﾘﾝｸ(ejje.weblio.jp)
automorphic
日英・英日専門用語辞書での「automorphic」の意味
automorphic
自形の，自形
URLﾘﾝｸ(gogengo.me)
接頭辞 auto- Gogengo! - 英単語は語源でたのしく
「自身」を意味します。
ギリシャ語 autos が由来です。
Wiktionary英語版での「automorphic」の意味
automorphic
形容詞
automorphic (not comparable)
3.(mathematics) Of or pertaining to automorphy or an automorphism
「automorphic」の意味に関連した用語
1 保形函数 (英和専門語辞典) automorphic function
2 保形形式 (英和専門語辞典) automorphic form
4 保形関数 (英和専門語辞典) automorphic function
7 自形の (日英・英日専門用語) euhedral，automorphic，idiomorphic
10 モジュラー形式の保型因子 (英和対訳) Automorphic factor
つづく
257:１３２人目の素数さん
23/02/05 16:29:09.14 XfMj3WNk.net
>>233
つづき
URLﾘﾝｸ(en.wikipedia.org)
Automorphic function
In mathematics, an automorphic function is a function on a space that is invariant under the action of some group, in other words a function on the quotient space. Often the space is a complex manifold and the group is a discrete group.
Factor of automorphy
A function
f is termed an automorphic form if the following holds:
f(g.x)=j_{g}(x)f(x)
j_{g}(x) is an everywhere nonzero holomorphic function.
Equivalently, an automorphic form is a function whose divisor is invariant under the action of G.
URLﾘﾝｸ(ja.wikipedia.org)
モジュラー形式の保型因子
モジュラー形式論に現れる保型因子（ほけいいんし、英: automorphic factor）は SL(2, R) 上で定義されるある種の解析函数である。さらに一般の群に対する議論は保型因子の項に譲る。
以下略
URLﾘﾝｸ(ja.wikipedia.org)
保型因子
定義
群 G が複素解析多様体 X に作用しているものとすると、この群 G は X 上の複素数値正則函数全体の成す空間にも作用する。このような函数 f が保型形式であるとは、群 G の作用に関して
f(g.x)=j_{g}(x)f(x)
なる関係を満たすことを言う。ただし、jg(x) は至る所零でない正則函数とする。これは、保型形式は G の作用のもとで不変となる成分 (divisor) を持つような函数であるというように述べることもできる。
保型形式 f の保型因子とはこのような函数 j のことである。また、保型函数 (automorphic function) とは、その保型因子 j が常に 1 であるような保型形式をいう。
つづく
258:１３２人目の素数さん
23/02/05 16:29:39.59 XfMj3WNk.net
>>234
つづき
性質
保型因子に関していくつかの事実が成り立つ。
・任意の保型因子は、至る所零でない正則函数全体の成す乗法群への G の作用に関する 1-双対輪体である。
・保型因子が双対境界輪体となることと、それが至る所零でない保型形式の保型因子として得られることとは同値である。
・与えられた保型因子に対して、それを保型因子に持つ保型形式の全体はベクトル空間を成す。
・二つの保型形式の点ごとの積は、それら二つの保型形式の保型因子の積を保型因子として持つ保型形式となる。
関連する概念
保型因子とその他の概念の間の関係として、以下のようなものが挙げられる。
・Γ がリー群 G 内の格子群であるとき、Γ に対する保型因子は、商リー群 G/Γ 上の直線束に対応する。さらに、与えられた保型因子に対する保型形式は対応する直線束の切断に対応する。
・Γ が SL(2, R) の部分群で上半平面に作用している場合に特殊化した議論はモジュラー形式の保型因子の項に譲る。
URLﾘﾝｸ(ja.wikipedia.org)
保型形式
調和解析や数論において、保型形式（ほけいけいしき、英: automorphic form）は、位相群 G 上で定義された複素数（あるいは複素ベクトル空間）値の函数で、離散部分群 Γ ⊂ G の作用の下に不変なものである。保型形式は、ユークリッド空間における周期函数（これは離散位相群としての 1 次元トーラス上の函数と見なされる）を、一般の位相群に対して一般化したものである。
モジュラー形式は、モジュラー群あるいは合同部分群（英語版）のひとつを離散部分群として持つ SL2(R)（特殊線型群）や PSL2(R)（射影特殊線型群）の上に定義された保型形式である。この意味では、保型形式の理論はモジュラー形式の理論の拡張である。
つづく
259:１３２人目の素数さん
23/02/05 16:30:01.46 XfMj3WNk.net
>>235
つづき
アンリ・ポアンカレ (Henri_Poincare) は、三角函数や楕円函数の一般化として、最初に保型形式を発見した。ラングランズ
260:予想を通して、保型形式は現代の数論で重要な役割を果たす[1]。 定式化 保型形式の定式化に当たっては、Γ に対する一般的な意味での保型因子（群コホモロジーの言葉で言えば 1-コサイクルの一種）j が必要である。j は複素数値（あるいは一般にベクトル値の保型形式を考える場合にはそれに応じて複素正方行列値）の函数である。保型因子に課されるコサイクル条件は、j がヤコビ行列から導かれる場合には連鎖律を用いて機械的に確認することができる。 歴史 （1960年ごろに）この非常に一般な状況が提示される以前に、モジュラー形式以外の保型形式は既に十分研究されていた。Γ がフックス群（英語版）である場合は、1900年よりも前に既に知られていた（後述）。 ヒルベルト・モジュラー形式（英語版）（あるいはヒルベルト-ブルメンタル形式と呼ばれることもある）がその後まもなく提唱されたが、その完全な理論は長らく得られなかった。ジーゲル・モジュラー形式（英語版） は G がシンプレクティック群の場合で、モジュライ空間とテータ函数から自然に生じるものである。戦後、多変数函数論における興味から自然に、それらの形式がいつ複素解析的になるかといったところから保型形式の概念が追求されていった。そのような理論の構築に関して、1960年ごろの数年で、多くの仕事が特にイリヤ・ピアテツキー＝シャピロによって成された。 セルバーグ跡公式の理論がたくさんの応用を持つなど、この理論が相当深いものであることが窺い知れる。ロバート・ラングランズはリーマン・ロッホの定理を保型形式の次元の計算に応用することができる方法を（特定の場合については多くの場合が知られていたが、そうではなく一般に）示した。これは概念の有効性についての「ポスト・ホック」な確認の一種である。ラングランズは（この問題に対する、スペクトル論の言葉で言えば「連続スペクトル」であるところのものに対応する）アイゼンシュタイン級数の尖点形式あるいは離散部分の吟味を除く一般論も導入している。数論の観点からは、シュリニヴァーサ・ラマヌジャン以降、尖点形式は問題の核心であると理解されている。 (引用終り) 以上
261:１３２人目の素数さん
23/02/05 16:53:05.24 wVajbkib.net
>>233-236
>f(g.x)=j_{g}(x)f(x)
>jg(x) は至る所零でない正則函数
>保型形式 f の保型因子とはこのような函数 j
>任意の保型因子は、至る所零でない正則函数全体の成す乗法群への G の作用に関する 1-双対輪体。
>保型因子が双対境界輪体となることと、それが至る所零でない保型形式の保型因子として得られることとは同値。
>与えられた保型因子を持つ保型形式の全体はベクトル空間。
>二つの保型形式の点ごとの積は、それら二つの保型形式の保型因子の積を保型因子として持つ保型形式。
>Γ がリー群 G 内の格子群であるとき、Γ に対する保型因子は、商リー群 G/Γ 上の直線束に対応。
>さらに、与えられた保型因子に対する保型形式は対応する直線束の切断に対応。
>保型形式の定式化に当たって
>Γ に対する一般的な意味での保型因子
>（群コホモロジーの言葉で言えば 1-コサイクルの一種）
>j が必要。
>j は複素数値の函数。
>（あるいは一般にベクトル値の保型形式を考える場合にはそれに応じて複素正方行列値の函数）
>保型因子に課されるコサイクル条件は、
>j がヤコビ行列から導かれる場合には
>連鎖律を用いて機械的に確認可能。
なるほど(ニヤリ)
262:１３２人目の素数さん
23/02/05 16:54:16.45 XfMj3WNk.net
>>229
ヴァファさん、数学と物理学の学士号を取得だね
ウィッテンさん、歴史と言語学
時枝正さん、古典文献学者で、上智大学も数学専攻じゃなかった
彼らは、才能だね
URLﾘﾝｸ(en.wikipedia.org)
Edward Witten is an American mathematical and theoretical physicist.
（google 訳）
初期の人生と教育
ウィッテンは 1951 年 8 月 26 日、メリーランド州ボルチモアでユダヤ人の家庭に生まれました。[8]彼は、ロレーヌ (旧姓ウォラッハ) ウィッテンと、重力と一般相対性理論を専門とする理論物理学者のルイス ウィッテンの息子です
ウィッテンはボルチモアのパーク スクールに通い('68 年のクラス)、1971 年にブランダ??イス大学で歴史を専攻し、言語学を副専攻として学士号を取得しました
彼はジャーナリズムと政治に熱望し、1960 年代後半にニュー リパブリックとネイションの両方で記事を発表しました。[11] [12] 1972 年、彼はジョージ マクガバンの大統領選挙運動に 6 か月間携わった
ウィッテンは中退する前に経済学の大学院生としてミシガン大学に 1 学期だけ通いました。[14]彼は学界に戻り、1973 年にプリンストン大学で応用数学に入学し、1976 年に学部を変えて物理学の博士号を取得し、博士論文「ゲージ理論の短距離分析におけるいくつかの問題」を監督の下で完成させました。デビッド・グロスの。[15]彼はハーバード大学(1976?77) でフェローシップを開催し、オックスフォード大学(1977?78)を訪問した[3] [16]。ハーバード フェロー協会のジュニア フェロー (1977 ～ 1980 年) であり、マッカーサー財団のフェローシップ (1982 年) を開催しました
URLﾘﾝｸ(en.wikipedia.org)
時枝正
（google 訳）
人生とキャリア
時枝は東京に生まれ、画家として育ちました
その後、フランスのリセ サント マリー グラン ルブラン[1]で古典文献学者として学んだ。彼の個人的なホームページによると、彼はロシアの問題集から基礎的な数学を独学で学んだという。
彼は 1989 年に東京の上智大学[1]を卒業し、1991 年にオックスフォードで数学の学士号を取得しています (そこでブリティッシュ カウンシル フェローとして学びました)。彼はウィリアム ブラウダーの指導の下、プリンストン大学で博士号を取得しました
263:１３２人目の素数さん
23/02/05 17:08:22.62 wVajbkib.net
>>238
誰にも才能があるわけではない
才能がなくても死にゃしない
ｗｉｋｉの文章をコピペしても理解できなきゃ無意味
人生楽しむなら自分にとって意味あることしよう
264:１３２人目の素数さん
23/02/05 17:34:50.13 wVajbkib.net
さて問題
Q1. SL(2､Z)の部分群として
(1 b)
(0 1)
なる形の行列からなる群を考える
(1 a)(1 b)
(0 1)(0 1)
=
(1 a+b)
(0 1)
さて上記の群の保形関数f(x+b)=f(x)は何か？
Q2. SL(2､Z)の部分群として
(1 0)
(c 1)
なる形の行列からなる群を考える
(1 0)(1 0)
(c 1)(d 1)
=
(1 0)
(c+d 1)
さて上記の群の保形関数f(x/(cx+1))=f(1/c-1/c(cx-1))=(cz+1)^kf(x)は何か？
Q1はアホでも分かる
Q2は? 知らん
265:１３２人目の素数さん
23/02/05 17:37:00.22 XfMj3WNk.net
>>233 補足
URLﾘﾝｸ(ja.wikipedia.org)
ラングランズ・プログラムは、代数的整数論におけるガロア群の理論を、局所体およびそのアデール上で定義された代数群の表現論および保型形式論に結び付ける非常に広汎かつ有力な予想網である
問題の背景
ハリッシュ＝チャンドラの仕事において、半単純（あるいは簡約）リー群に対してできることは、任意の代数群に対してできるはずであるという原理を見ることができる。従って、その手法というのは、既に知られていたモジュラ形式論における GL(2) や、後から認識されるようになった類体論における GL(1) などの、ある種の低次元リー群が果たす役割を、少なくとも一般に n > 2 に対する GL(n) についての考察を明らかにすることであるということができる
モジュラー形式の側からは、例えばヒルベルトモジュラー形式（英語版）、ジーゲルモジュラー形式（英語版）、テータ級数などの例があった
ラングランズ予想
保型形式論
エーリッヒ・ヘッケは既に、ディリクレ L-函数を保型形式（C の上半平面上で定義される正則函数である種の函数等式を満たすもの）に関連付けていたが、ラングランズはそれを（有理数体 Q のアデール環 A 上で定義される一般線型群 GL(n, A) の無限次元既約表現の一種である）保型尖点表現に対して一般化した。（Q のアデール環というのは、Q の任意の完備化を一斉に扱ったようなものである）
ラングランズは、保型 L-函数をその保型表現に対応させ「任意のアルティンのL-函数が、代数体のガロワ群の有限次元表現から生じることと、保型尖点表現から生じることとは等しい」と予想した
つづく
266:１３２人目の素数さん
23/02/05 17:37:27.52 XfMj3WNk.net
>>241
つづき
現在の状況
・GL(1, K) に対するラングランズ予想は類体論から従う（というよりは本質的には同じものである）
・ワイルズによる、有理数体上の半安定楕円曲線のモジュラー性の証明は、ラングランズ予想の一部と見做すことができるが、ワイルズの方法を任意の数体上に拡張することはできない
基本補題
詳細は「ラングランズプログラムの基本補題（英語版） 」を参照
2008年にゴ・バオ・チャウ(Ngo B?o Chau)は、所謂「基本補題（英語版）」と称される補助的だが非常に難しい主張を示した。基本補題はもともとラングランズ自身によって1983年に述べられたものである
(引用終り)
以上
267:１３２人目の素数さん
23/02/05 18:06:23.53 wVajbkib.net
>>241-242
承認欲求君 またも問題から逃避
240のQ2も簡単だった
Q1の答えを変換すればいいだけ
268:１３２人目の素数さん
23/02/05 18:08:11.15 wVajbkib.net
>>243
240のQ2はk=0で答えがある
つまりf(x/(cx+1))=f(x)
269:１３２人目の素数さん
23/02/05 18:38:03.01 XfMj3WNk.net
>>215 リンクタイポ訂正
>>212 つづき
↓
>>211 つづき
（いまさらですが、念のため）
270:１３２人目の素数さん
23/02/05 19:13:50.37 wVajbkib.net
あーぬるいぬるいよ
URLﾘﾝｸ(www.youtube.com)
271:１３２人目の素数さん
23/02/06 07:51:47.09 nxkRm8+k.net
藤原松三郎の代数学の本を読んだ方がいいかな？
272:１３２人目の素数さん
23/02/06 08:11:41.33 kZXmsEGT.net
>>247
>藤原松三郎の代数学の本を読んだ方がいいかな？
現代数学を学んでからの方が良いと思う
273:１３２人目の素数さん
23/02/06 08:19:58.67 kZXmsEGT.net
>>230
> 自分は大学１年の数学で、記号の羅列を理解できず
数学を、記号の羅列と理解しているアホがいる
あなた、遠山啓を読んだんでしょ？ 彼の水道方式（下記）
要するに、一つ高い立場に立てば、それより下のレベルの理解が容易になる
これは、現代数学を含む全ての数学に通じる
数学を”記号の羅列”と捉えるのとは、真逆の思考だ
”記号の羅列”で終わるから、あなたは数学科で落ちこぼれたんじゃないの？
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
水道方式
水道方式の語源は最も基本的な「計算の素過程」を練習した後、最も一般的な型を「水源地」にして、一般から特殊へと型分けによるドリルを教えていく流れを「水道管の分岐や流れ」に模して遠山らが名付けた[7][注 2]
274:１３２人目の素数さん
23/02/06 08:24:40.20 kZXmsEGT.net
>>248
>>藤原松三郎の代数学の本を読んだ方がいいかな？
>現代数学を学んでからの方が良いと思う
補足
要するに、現代数学と藤原松三郎とを、対比しながら読むべしってことです
275:１３２人目の素数さん
23/02/06 09:14:01.95 lA1TcTQr.net
>>249
>一つ高い立場に立てば
立ててないやん
>数学を、記号の羅列と理解しているアホがいる
それが君
サールの「中国語の部屋」の中の人ってこと
276:１３２人目の素数さん
23/02/06 10:14:45.61 lA1TcTQr.net
群やら層やら圏やらに対して
なぜそういう定義になっているのか？
というのは当然の質問だが
その答えは定理の証明でそれらが
どう使われるか知ることに尽きるので
まずそういうものだと受け入れるしかない
そもそもその定式化が適切かどうかも
わからないのだから
あくまで先人が考えたプランでしかない
277:１３２人目の素数さん
23/02/06 21:03:49.76 kZXmsEGT.net
>>251
あんたは、いつも詭弁と論点ずらしに終始しているね
だから、ダメなんだよ。そして、その詭弁と論点ずらしが数学にも影響してくるんだ
結局、あんた数学も出来なくなったんだね
１）”一つ高い立場に立てば”は、目指すべき地点を言っている
対してあんたの”立ててないやん”は、個人の一場面だけ
278:詭弁と論点ずらしだよ ２）一つ例を挙げよう オイラーの式 e^iθ＝cosθ +isinθ これから、簡単に倍角公式が出る e^i2θ＝cos2θ +isin2θ＝(cosθ +isinθ)^2＝(cosθ)^2-(sinθ)^2+i2sinθcosθ 実部と虚部の比較で cos2θ＝(cosθ)^2-(sinθ)^2 sin2θ＝2sinθcosθ となる 下記のαとβ「加法定理」も簡単です ３）私も、高2では下記”咲いた コスモス コスモス咲いた”やりましたｗ 高3で、当時の大学への数学誌で紹介された、上記のオイラーの式使って三角関数の公式が出ることを読んで、こちらにしましたｗ ４）要するに、「オイラーの式 e^iθ＝cosθ +isinθ」一つを覚えておけば、 三角関数の公式を覚えるのも容易だし、たとえ忘れても、「加法定理のαとβ」くらい瞬時に再現できるのです ５）”一つ高い立場に立てば”は、こういうことですよ (参考) https://goukaku-suppli.com/archives/37280 合格サプリ 2021.12.14 【3分で分かる！】三角関数の重要公式「加法定理」の語呂合わせ・覚え方まとめ 咲いた コスモス コスモス咲いた sin(α+β)＝sinα cosβ + cosα sinβ 最も有名な覚え方です。 サインプラスは、『咲いた コスモス コスモス咲いた』と覚えましょう。
279:１３２人目の素数さん
23/02/06 21:22:38.08 kZXmsEGT.net
>>252
>なぜそういう定義になっているのか？
>というのは当然の質問だが
>その答えは定理の証明でそれらが
>どう使われるか知ることに尽きるので
違うだろ！
例えば、下記 深谷賢治氏の考えた 深谷圏
解くべき物理学の対象があった
それを解くために、深谷圏を考えた（定義も考えた）んでしょ？
あんたみたいな考えじゃ、深谷圏には到達できないよね、深谷賢治氏はｗｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
深谷賢治
深谷 賢治（ふかや けんじ、1959年3月12日 - ）は、日本の数学者[1]。専門は幾何学で、リーマン多様体の崩壊、アーノルド予想の解決、ミラー対称性予想への貢献、深谷圏(A∞圏)の定義等の業績がある。学位は博士（1986年）。
専門は、最初の頃は大域リーマン幾何学（空間の「曲がり方」を調べる分野）、その後、ゲージ理論（数学的側面は近年位相幾何学にも応用されている）も研究し、現在の専門はシンプレクティック幾何学（解析力学の数学的基礎でその大域的な側面を研究）。
URLﾘﾝｸ(www.ipmu.jp)
深谷賢治教授に聞く - Kavli IPMU _Interview 聞き手：斎藤恭司 2013/06/22
70年代はまだ夢だった?現代幾何と物理の関わり
斎藤?お伺いしたいことは、どういうふうに数学を始めたかというところから始まって、やはり今日、深谷圏と呼ばれている幾何構造に到達した流れ、その後の発展や今後の展望、物理と数学との関係について。
深谷?私は、もともと物理との関係はいろいろやりたいと思っていました。
つづく
280:１３２人目の素数さん
23/02/06 21:23:12.67 kZXmsEGT.net
>>254
つづき
深谷?表現論でも、量子力学と群論の関係などは昔からありました。私が今やっている幾何学では、特に20世紀になってから発達した次元の高い大域的な幾何学は、物理に使われるということは、ずうっと余りありませんでした。
深谷?物理だけでなく、ほとんどどこにも使われてなかったですね。
斎藤?アティヤ・ドナルドソンのゲージ理論やtopologicalfield theory（位相的場の理論）が出てきて、一時代を築きますね。深谷?そうですね。ですから、あの頃、何かもうそういうことをやってもいいんじゃないかと思い始めた。
斎藤?では深谷さんは、やはりそれを意識しながらやってきたのですか?
トポロジーが物理の言葉になる時代が来ることを期待
深谷?トポロジーが物理の言葉になる時代が来てほしいな、とは多分、思っていました。それは、今でもそこまでは行ってないと思います。一方、本当にそこまで行くかもしれないという雰囲気は現れてきています。斎藤?モダンなものとは違うけれども、例えばアーノルドの古典力学。［『古典力学の数学的方法』（ウラジミール・イーゴレヴィッチ・アーノルド）］?アーノルドはトポロジーというものを非常に積極的に力学研究に取り入れた人でしょう。ああいう流れは確かにあの頃既にあった
(引用終り)
以上
281:１３２人目の素数さん
23/02/07 00:10:12.28 e3tL3RCy.net
>>250 補足の補足
・いま、手元の藤原松三郎の代数学第2巻を見ている
・なんか昔読んだみたい。マーカーで線が引いてあるｗ
・いま読んでも、なかなか興味深い本です
・でも、必ず現代数学の本と併読すべきです。そうすれば、得るところがあると思う（私は、そうしました）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
藤原 松三郎（ふじわら まつさぶろう、1881年2月14日 - 1946年10月12日）は、日本の数学者・数学史家。第二次世界大戦前において、90編の欧文論文を著し、世界数学者会議で2度の学術講演を行うなど、当時の日本の数学界を代表する数学者であり、また日本数学史、中国数学史、朝鮮数学史をカバーする和漢数学史家としても大きな業績を残した。特に8000枚という膨大な遺稿「日本数学史」は『明治前日本数学史』全5巻（岩波書店、1955-1960）としてまとめられ、現在においても和算史を研究する上で最も重要かつ基本的な文献となっている。
生涯
1911年（明治44年）、東北帝国大学に数学科が設置されると、30歳で教授に就任。この時、主任教授に林鶴一、助手にはのちに数学史家となる小倉金之助がいた。
藤原には、解析学を中心に多くの論文があるが、日本語の著作として『代数学 : 第 1,2 巻』(内田老鶴圃,1928-1929 初版), 『微分積分学 : 第 1,2 巻』 (内田老鶴圃,1929-1930 初版)は、長く各大学で教科書・参考書として使われた。また『常微分方程式論』 (岩波書店,1930)は、日本で最初の常微分方程式の著作である。
東北大学で藤原の教えを受けた者には、経済学やゲーム理論において頻繁に使われる〈角谷の不動点定理〉で有名な角谷静夫、数学教育で著名な遠山啓がいる。
純粋数学の研究者であった藤原が、数学史の研究を始めたのは、同僚である林鶴一の急逝による。林鶴一は、日本初の国際数学雑誌である『東北数学雑誌』を私費で創刊した純粋数学の研究者であったが、晩年には和算史の研究に力を注ぎ、2000ページを超える『和算研究集録 上下巻』を上梓していた。林が残した研究と彼が集めた膨大な和算書資料を前に、藤原は以後、和漢数学史研究に没頭することを決意する。この経緯については藤原による「林鶴一君を憶ふ」「林鶴一君の業績」「林鶴一博士小伝」「余の和算史研究」などに詳しい。
282:１３２人目の素数さん
23/02/07 06:14:04.42 qnkH8dW6.net
>>253
>”一つ高い立場に立てば”は、目指すべき地点を言っている
つまり論点先取ね
承認欲求君はズルしかできない
>オイラーの式 e^iθ＝cosθ +isinθ
>これから、簡単に倍角公式が出る
そもそも、君のいってることを実現するには
(cos(�
283:ﾆ+φ)+i*sin(θ+φ)) =(cosθ+i*sinθ)*(cosφ+i*cosφ) と定義すればいいだけ 上記の式は角度の単位を弧度法によらない場合も適用できる つまりe^iθである必要がない （1でない任意の正の実数aに対するa^iθに適用できる） >下記のαとβ「加法定理」も簡単です 簡単なのは当然 定義にしちゃったんだから そこも気付いてないんだ さすが地獄の餓鬼畜生 >要するに、「オイラーの式 e^iθ＝cosθ +isinθ」一つを覚えておけば、 >三角関数の公式を覚えるのも容易だし、 >たとえ忘れても、「加法定理のαとβ」くらい瞬時に再現できるのです 承認欲求君にとっての数学は 所詮計算方法でしかないってことだね それじゃ大学数学は無理 だって大学数学は「計算方法のマニュアル」ではないから >”一つ高い立場に立てば”は、こういうことですよ それただのカンニング ただ計算方法だけカンニングして誤魔化す 低い立場に甘んじ続けるってことですね
284:１３２人目の素数さん
23/02/07 06:32:43.53 qnkH8dW6.net
>>254
> >なぜそういう定義になっているのか？というのは当然の質問だが
> >その答えは定理の証明でそれらがどう使われるか知ることに尽きるので
> 違うだろ！
違わんよ
深谷圏が成功したか否かは
深谷が解こうとした問題の成否で決まる
だからまったく違わんよ
教科書は成功した定義や証明しか出ていない
実は山ほど失敗があるのであって
数学者は一発でいいアイデアを思いつける
と思ってるなら大間違いである
285:１３２人目の素数さん
23/02/07 06:39:58.04 qnkH8dW6.net
追伸
>>253
> 高2では”咲いた コスモス コスモス咲いた”やりました
複素数の掛け算を理解すれば、公式を暗記する必要はない
必要なのはオイラーの式ではなく
・複素数の積が、多項式の計算と、”ｉ＾２＝-１”で求まること
・三角関数が「複素数の指数関数」になっていること
の２点
オイラーの式の意味は”弧度法とe”の関係にあるので
それ以前の話はそんな強い前提を置く必要はないし
むしろ置くべきではない
ちなみに、三角関数を幾何的に定義した上で「加法定理」を証明するのではなく
初めから、加法法則を満たす関数として定義してしまえばいい、という考えは大いに賛成
286:１３２人目の素数さん
23/02/07 06:49:22.07 qnkH8dW6.net
いわゆる三角関数とは、ある絶対値１の複素数ζを底とする指数関数である
底となるζの角度が、単位角度となる
半径１の円弧の弧長がちょうど１となるζをとれば弧度法になる
そして、このとき
ζ=lim(ｎ→∞))(1+i/n)^n
となるので
e^z=lim(ｎ→∞))(1+z/n)^n
と指数zの範囲を複素数まで拡大すれば
ζ=e^i
と表せる、というだけのこと
287:１３２人目の素数さん
23/02/07 07:00:06.97 qnkH8dW6.net
さて
e^z=lim(ｎ→∞))(1+z/n)^n
は定義の置き換えの典型例である
オイラーはeの虚数ベキを直接計算したわけではない
教育的配慮からいえば、ｅ＾ｘのｘに虚数を記すべきではない
exp z=lim(ｎ→∞))(1+z/n)^n
と定義した上で、引数が実数の場合
exp x=e^x
となる、とするべきである
288:１３２人目の素数さん
23/02/07 07:17:43.88 qnkH8dW6.net
ここだけの話
ラグランジュの分解式を用いた円分多項式の根のベキ根表示計算
って、計算には高校レベルの数学しか使ってないので
やり方さえ理解してしまえば高校生でもできる
ま、やり方知らん数学科の学生もザラにいますがね
はっはっは（乾いた笑い）
289:１３２人目の素数さん
23/02/07 11:05:58.28 Gna27mNy.net
>>257
>>オイラーの式 e^iθ＝cosθ +isinθ
>>これから、簡単に倍角公式が出る
> (cos(θ+φ)+i*sin(θ+φ))
>=(cosθ+i*sinθ)*(cosφ+i*cosφ)
>と定義すればいいだけ
延々と長文で、「自分はアホ」と自慢したいのか？
”オイラーの式 e^iθ＝cosθ +isinθ”の方が圧倒的に優れているよね！
・上記から、オイラーの等式 e^iπ + 1 = 0 出るし URLﾘﾝｸ(ja.wikipedia.org)
（オイラーの等式は、その数学的な美によって特筆すべきものと多くの人に認識されている。）
・新装版 オイラーの贈物ー人類の至宝e^iπ=?1を学ぶ 吉田 武 (著)January 1, 2010 �
290:穴C大学出版会 https://www.アマゾン ・ド・モアブルの定理 (cos θ +isin θ )^n＝cos nθ +isin nθ も、包含しているしｗ https://ja.wikipedia.org/wiki/%E3%83%89%E3%83%BB%E3%83%A2%E3%82%A2%E3%83%96%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86 ・テーラー展開とも繋がっている ・量子力学とも繋がっているぞｗ（下記） https://www.ritsumei.ac.jp/se/~kra/labo/member.html 倉辻 比呂志(Kuratsuji Hiroshi) https://www.ritsumei.ac.jp/se/~kra/labo/pmmain.pdf オイラーとガウスを主題とする量子力学講義 (その 2) Kuratsuji Hiroshi 2016 まえがき オイラーの功績は, 量子力学の数学的記述において決定的である. それは「オイラーの 公式」に集約できる. オイラーとならんで, 量子力学を数学で記述するさいに決定的な役割をする数式（関数） を発明したのはガウスである. 本書は, この二人の偉大な碩学の発見した数学を基調とする量子力学を記述した試みである.
291:１３２人目の素数さん
23/02/07 11:16:19.74 DrHNxyvj.net
>>263
>”オイラーの式 e^iθ＝cosθ +isinθ”
>の方が圧倒的に優れているよね！
倍角の公式に必要な前提とそうでない前提が
分かれてない時点で承認欲求君の発言は劣ってる
e^iが必要なのは、微積分で冗長な係数を消したいとき
それ以前の段階では必要ない
ド・モアブルの定理 (cos θ +isin θ )^n＝cos nθ +isin nθ
はオイラーの等式より弱い
そういう区別が出来ないから承認欲求は数学の初歩で間違う
292:１３２人目の素数さん
23/02/07 11:36:46.19 Gna27mNy.net
>>258
>深谷圏が成功したか否かは
>深谷が解こうとした問題の成否で決まる
>だからまったく違わんよ
アホ（あんた）と、バカ（おれ）とのシッタカ合戦かい？ｗ
・深谷圏は、成功したよ（下記）
・深谷先生が、どうやって思いついたか知らないが
・下記でもどうぞ（おれも今から読むｗ）
URLﾘﾝｸ(www.youtube.com)
【10分で】深谷圏とホモロジカルミラー対称性【 from ロマンティック数学ナイトプライム@圏論 】 #VRアカデミア #ロマ数プライム圏論 #032
AIcia Solid Projec
2019/06/17
しみずハルオ
1 年前
素粒子論の最先端に使われる数学を紹介している動画は超珍しい。貴重品だね。
カラビ・ヤウ多様体の話も期待しています。
URLﾘﾝｸ(scrapbox.io)
深谷圏 - 結城浩の圏論勉強プロジェクト - Scrapbox
深谷圏、完全に理解した（冗談です） 【10分で】深谷圏とホモロジカルミラー対称性【 from ロマンティック数学ナイトプライム@圏論 】 #VRアカデミア #ロマ数プライム
URLﾘﾝｸ(www.math.kobe-u.ac.jp)
第63回トポロジーシンポジウム 2016年
URLﾘﾝｸ(www.math.kobe-u.ac.jp)
深谷圏とミラー対称性予想 2016年
太田 啓史 （名古屋大学多元数理科学研究科）
P11
条件 (4.1) をみたす深谷圏 L は、シンプレクティック多様体 X の量子
コホモロジーの情報をすべてもっているということになる。従って、次が基本問題と
なる。
Problem 4.4. シンプレクティック多様体 X が与えられたとき、条件 (4.1) をみた
す深谷圏 L を見つけよ。
次節では X が射影的なトーリック多様体の場合にその例をあげる。
つづく
293:１３２人目の素数さん
23/02/07 11:37:28.13 Gna27mNy.net
>>265
つづき
URLﾘﾝｸ(ja.wikipedia.org)
ホモロジカルミラー対称性は、マキシム・コンツェビッチにより予想された数学の予想である。物理学者が弦理論を研究することにより初めて観察された、ミラー対称性と呼ばれる現象の数学的、系統的な説明を求める。
歴史
1994年のチューリッヒでの国際数学者会議の報告で、コンツェビッチは次のような予想をした。
カラビ・ヤウ多様体のペア X と Y のミラー対称性は、代数多様体 X から構成された三角圏（英語版） (X 上の連接層の導来圏)と、もう一つの Y のシンプレクティック多様体から構成される三角圏(深谷圏（英語版）)の同値性として説明されるのではないか。
エドワード・ウィッテンは、最初に N = (2,2) の超対称性場の理論を位相的ツイストすることで、位相的弦理論のAモデルとBモデルと呼ばれるモデルを記述した。これらのモデルは、リーマン面から普通はカラビ-ヤウ多様体である固定された対象空間上への写像に関係する。数学でのミラー対称性予想の多くは、Y 上のA-モデルと X 上のB-モデルの物理的な同値関係と見なせる。
つづく
294:１３２人目の素数さん
23/02/07 11:37:50.24 Gna27mNy.net
>>266
つづき
URLﾘﾝｸ(ja.wikipedia.org)(%E5%BC%A6%E7%90%86%E8%AB%96)
数学や理論物理学において、ミラー対称性(mirror symmetry)はカラビ・ヤウ多様体と呼ばれる幾何学的な対象の間の関係であり、2つの カラビ・ヤウ多様体が幾何学的には全く異なっているにもかかわらず、弦理論の余剰次元としてそれらを扱うと等価となる対称性のことを言う。この場合、多様体は互いに「ミラー多様体」であると呼ばれる。
ミラー対称性はもともとは、物理学者によって発見された。数学者がミラー対称性に興味を持ち始めたのは1990年頃で、特に、フィリップ・キャンデラス（英語版）(Philip Candelas)、ゼニア・デ・ラ・オッサ(Xenia de la Ossa)、パウル・グリーン(Paul Green)、リンダ・パークス(Linda Parks)らによって、ミラー対称性を数々の方程式の解の数を数える数学の分野である数え上げ幾何学で使うことができることが示されていた。実際、キャンデラスたちは、ミラー対称性を使いカラビ・ヤウ多様体の上の有理曲線を数えることができ、長きにわたり未解決であった問題を解明できることを示した(参照項目:ミラー対称性の応用)[1]。元来のミラー対称性へのアプローチは、理論物理学者からの必ずしも数学的には厳密(mathematical rigor)ではないアイデアに基づいているにもかかわらず、数学者はミラー対称性予想のいくつかを数学的に厳密な証明に成功しつつある[2]。
今日では、ミラー対称性は純粋数学の主要な研究テーマであり、数学者は物理学者の直感に基づくミラー対称性を数学的に深く理解しつつある[3]。ミラー対称性は弦理論の計算を実行する際の基本的なツールでもある[4]。ミラー対称性への主要なアプローチは、マキシム・コンツェビッチ(Maxim Kontsevich)のホモロジカルミラー対称性予想のプログラムやアンドリュー・ストロミンジャー(Andrew Strominger)、シン＝トゥン・ヤウ(Shing-Tung Yau)、エリック・ザスロフ（英語版）(Eric Zaslow)のSYZ予想[5]を含んでいる。
(引用終り)
以上
295:１３２人目の素数さん
23/02/07 13:14:22.66 7fvKZHb6.net
>>265
尻高してんのはあんただけ
>…は、成功したよ
尻高君の根拠0発言
>…が、どうやって思いついたか知らないが
素人には分からんから考えても無駄
>おれも今から読む
素人が読んでも無駄 やめとけやめとけ
296:１３２人目の素数さん
23/02/07 13:21:59.00 7fvKZHb6.net
尻高が
「超弦理論が～、ミラー対称性が～
共形場理論が～、AdS/CFT対応が～」
とか聞きかじりの単語を吠えても
誰も賢いね～とか褒めたりせんからやめとけ
297:１３２人目の素数さん
23/02/07 13:36:50.24 7fvKZHb6.net
承認欲求が溢れた尻高君には
マインドフルネスをオススメする
判断を加えない
現在の瞬間を中心に置く
上記２点が重要とのこと
298:１３２人目の素数さん
23/02/07 15:23:36.09 Gna27mNy.net
>>268-270
承認欲求ってｗｗｗ
ここには、あんたしかおらんがな
おれに、ボコ�
299:{コにされている あんたしか！ｗｗｗ
300:１３２人目の素数さん
23/02/07 15:54:13.40 v0RTjAiy.net
>>271
>おれに、ボコボコにされている
病んでますな🙃
301:１３２人目の素数さん
23/02/07 20:57:28.43 e3tL3RCy.net
>>269
>「超弦理論が～、ミラー対称性が～
> 共形場理論が～、AdS/CFT対応が～」
>とか聞きかじりの単語を吠えても
悪いけど
全部旧ガロアすれで扱っているよ
過去ログ掘れば、見つかる
ミラー対称性を最初に見たのは
前世紀末だったかな
超弦理論の話としてではなく
いま、物理数学系の数学者の間で話題になっていると
その後、フィールズ賞の話があって
深谷圏が使われたとあった
当時は、あまり詳しい資料は無かった気がする
いまYoutube とかあって
資料には困らないみたい
良い時代に、なりましたねｗ
302:１３２人目の素数さん
23/02/07 23:44:41.58 y6DEEdSB.net
>全部旧ガロアすれで扱っているよ
「扱っている」ってコピペしてるだけやんｗｗｗ
303:１３２人目の素数さん
23/02/07 23:49:24.07 e3tL3RCy.net
>>257
>>オイラーの式 e^iθ＝cosθ +isinθ
>>これから、簡単に倍角公式が出る
> (cos(θ+φ)+i*sin(θ+φ))
>=(cosθ+i*sinθ)*(cosφ+i*cosφ)
>と定義すればいいだけ
延々と長文で、「自分はアホ」と自慢したいのか？
”(cos(θ+φ)+i*sin(θ+φ))
=(cosθ+i*sinθ)*(cosφ+i*cosφ)
と定義すればいいだけ”？
あれ？、ミスタイプ見つけたぞｗ
”(cos(θ+φ)+i*sin(θ+φ))
=(cosθ+i*sinθ)*(cosφ+i*sinφ)”
だな
これって、定義ではなく定理だろ？
つまり
(cosθ+i*sinθ)*(cosφ+i*sinφ)
＝cosθcosφ-sinθsinφ+i(sinθcosφ+cosθsinφ)
（となるが、下記の三角関数の「加法定理」を適用して）
＝cos(θ+φ)+i*sin(θ+φ)
が成立する
繰り返すが、三角関数の「加法定理」を適用して
証明するべき定理であって、定義ではないぞ！ｗ
やれやれ、定理と定義との区別がつかないのかな？ｗ
これで、数学科卒を名乗るかね？ｗ
(参考)
URLﾘﾝｸ(goukaku-suppli.com)
合格サプリ
2021.12.14
【3分で分かる！】三角関数の重要公式「加法定理」の語呂合わせ・覚え方まとめ
咲いた コスモス コスモス咲いた
sin(α+β)＝sinα cosβ + cosα sinβ
今年は コスモス コスモス 咲かない 咲かない
cos(α+β) ＝ cosα cosβ － sinα sinβ
符号がマイナスなので「咲かない」としました。
304:１３２人目の素数さん
23/02/08 00:04:19.16 IfFd6N6h.net
>>274
>全部旧ガロアすれで扱っているよ
>「扱っている」ってコピペしてるだけやんｗｗｗ
あんた、この数学板で、大学レベルの高等数学の内容を投稿したことないね
やってみれば分かるが、5ｃｈ数学板では まともに数学記号使えない
Σの上下の添え字使えない
同様にＸiと書いて、2乗は(Ｘi)^2とか面倒だし 見にくいし
行列は書けないし
ともかく不自由なうえに
Ａ４で2枚ほどでも書けば、多分5～6スレ以上に渡るし
そもそも、ここは学会でもなければ
論文を投稿するところでもない！
コピペも本来必要ない！（つーか、正確なコピーは不可能ですよｗ）
URLと表題や出典だけで足りるが
要点のコピペがあると、後でキーワード検索に便利だからコピペしているのです（コピー見るよりリンク先の方がよほど視認性が良いし全文が読めるしｗ）
コピペ以外で、スクラッチ（手書き）で一から数学理論を書き起こせと？ｗ
それって あんた、この数学板で、大学レベルの高等数学の内容を投稿したことないって、自白しているだけだぞｗ
305:１３２人目の素数さん
23/02/08 02:50:04.11 QPnDWgeK.net
TeXぐらいすら知らんのか。
306:１３２人目の素数さん
23/02/08 06:12:27.30 vv+GVmuk.net
>>273 >悪いけど全部旧ガロアすれで扱っているよ
>>274 >「扱っている」ってコピペしてるだけやんｗｗｗ
>>276 (長々と「言い訳」の後)
>コピペも本来必要ない！（つーか、正確なコピーは不可能ですよｗ）
じゃ、コピペしなくていいよ 承認欲求君
>URLと表題や出典だけで足りるが
それも要らんよ 誰でも検索できるから
>要点のコピペがあると、
>後でキーワード検索に便利だから
>コピペしているのです
>（コピー見るよりリンク先の方がよほど視認性が良いし全文が読めるしｗ）
５ｃｈで無内容な書き込みされると
キーワード検索でそれがみつかって
無駄な時間を浪費するからコピペは迷惑
百害あって一利もないな（バッサリ）
>スクラッチ（手書き）で一から数学理論を書き起こせと？
そもそも数学が分からん素人は書き込みしないでほしい
大学１年の線型代数
307:も理解できずに 落ちこぼれて文学部に転部した君に 数学の書き込みしてくれなんて 誰も頼んでないよ スシローで他人の寿司にワサビ混ぜるような犯罪行為 ほんと迷惑 やめて 検索コピペで 「ボクちゃん賢いでしょ、褒めて褒めて」 って他人の承認求めないで そんな幼稚園児でもできることで ここの数学科卒が感心することなんて 10000％ないから なんでわかんないかな 愉快犯君
308:１３２人目の素数さん
23/02/08 06:30:41.98 vv+GVmuk.net
>>275
>あれ？、ミスタイプ見つけたぞ
>”(cos(θ+φ)+i*sin(θ+φ))=(cosθ+i*sinθ)*(cosφ+i*sinφ)”
>だな
おめでとう
>これって、定義ではなく定理だろ？
>三角関数の「加法定理」を適用して証明するべき
>定理であって、定義ではないぞ！ｗ
どっかの承認欲求君が253で
「e^iθの実部と虚部としてcosθ、sinθを定義すればいい」
と論点先取したのに対して257で
「別にe^iθじゃなくても
絶対値１の複素数(c+is) (c^2+s^2=1)を底とする指数関数
の実部と虚部としてcosθ、sinθを定義すれば
角度の単位を弧度法に固定しない一般化した形で
加法公式が自然に出せるだろ」
と、より賢い”論点先取”の仕方を指摘したまで
加法定理の式は、多項式の乗法とi^2=-1による
複素数の乗法計算から導ける「算数」なんだって
高校数学なんて算数なんだよ
算数が得意でも大学で落ちこぼれる奴は沢山いるんだよ
論理的思考能力がゼロってこと
そういう奴は数学なんて無理だから諦めろ
無理したって、理解できずに下痢便コピペするだけ
いいかげん自分がやってることの虚しさに気づけよ
人生不幸なまま終わりたいのかい？
>やれやれ、定理と定義との区別がつかないのかな？
それ253でオイラーの式を定義とした自分にいいなよ
数学力ゼロなのに「ボクは数学わかってる」と
他人に認めてもらいたいためにわけもわからず
キーワード検索した結果をコピペする承認欲求君
309:１３２人目の素数さん
23/02/08 06:58:51.20 vv+GVmuk.net
>>261でも述べてるが
オイラーがやったこと
1. exp z=lim(n→∞) (1+z/n)^n と定義する
2. xが実数とする、
e=lim(n→∞) (1+1/n)^n と定義したとき
exp x=ｅ＾ｘであることを証明した
3. 純虚数ixについて
exp ix=lim(n→∞) (1+ix/n)^n=cos x+i*sin x
とできることを示した
(ここでcos、sinは、角度を弧度法で表した場合の三角関数）
4. したがってzが複素数の場合のe^zを
exp z=lim(n→∞) (1+z/n)^n
と再定義すれば
e^z=exp z=exp(x+iy)=exp x exp iy=e^x(cos y+i*sin y)
となる
そういう細かい論理を全く辿らずただ漫然と
「e^iyは”直接”計算できて、その結果cos y+i*sin yとなる
どういう魔術を使ったのか全く知らんけど」
とほざくのは、高い立場に立ったのではなく
結果を「万引き」しただけのただの阿呆である
310:１３２人目の素数さん
23/02/08 08:17:53.09 IfFd6N6h.net
>>277
>TeXぐらいすら知らんのか。
この板でTeX使えるか？
311:１３２人目の素数さん
23/02/08 08:20:29.88 IfFd6N6h.net
>>278
>>URLと表題や出典だけで足りるが
> それも要らんよ 誰でも検索できるから
アホが
君のために、URLと表題や出典が必要だｗｗｗ
312:１３２人目の素数さん
23/02/08 08:31:50.15 IfFd6N6h.net
>>279
>>三角関数の「加法定理」を適用して証明するべき
>>定理であって、定義ではないぞ！ｗ
> どっかの承認欲求君が253で
> 「e^iθの実部と虚部としてcosθ、sinθを定義すればいい」
> と論点先取したのに対して257で
> それ253でオイラーの式を定義とした自分にいいなよ
アホは分かってないね
いま、三角関数の「加法定理」は数IIかな？
下記の「咲いた コスモス コスモス咲いた」を、暗記するくらいならば
e^iθ＝cosθ+isinθ
を一つ覚えておけば
これを水源地として、いろんな公式が導ける
これぞ、高校数学の水道方式よ
公式 e^iθ＝cosθ+isinθ が、数IIの範囲で証明できないだろうから
”定義”として、数IIIか大学でやるとすればいい
繰り返すが、「咲いた コスモス コスモス咲いた」の丸暗記より
よほど教育的だろ？ｗ
そういうことが、昔大学への数学誌にあった
それを使わせて貰って、受験の三角関数は苦労しなくなった
(参考)
URLﾘﾝｸ(goukaku-suppli.com)
合格サプリ
2021.12.14
【3分で分かる！】三角関数の重要公式「加法定理」の語呂合わせ・覚え方まとめ
咲いた コスモス コスモス咲いた
sin(α+β)＝sinα cosβ + cosα sinβ
今年は コスモス コスモス 咲かない 咲かない
cos(α+β) ＝ cosα cosβ － sinα sinβ
符号がマイナスなので「咲かない」としました。
313:１３２人目の素数さん
23/02/08 10:53:15.06 L6Sk2qWm.net
>>283
>🤪は分かってないね
いきなり罵倒から入る承認欲求氏
>e^iθ＝cosθ+isinθ を一つ覚えておけば
>これを水源地として、いろんな公式が導ける
それが前提として強すぎるって指摘じゃね？
そこから分かってないのか？
結局、絶対値1の複素数を底とする指数関数の
実部と虚部としてcosとsinを定義すればいい
e^ixは上記の関数の微分を考えた場合の話
分けて考えるのが教育的配慮な
>公式 e^iθ＝cosθ+isinθ が、
>数IIの範囲で証明できないだろうから
>”定義”として、数IIIか大学でやるとすればいい
数IIIでも無理じゃね？
君、どう証明するつもり
まさか、ノーアイデア？
>よほど教育的だろ？
オイラーの式をカンニングしただけなら教育失敗じゃん
そら大学数学で落ちこぼれるわな
314:１３２人目の素数さん
23/02/08 15:46:00.96 3CVtXAp9.net
>>284
>>公式 e^iθ＝cosθ+isinθ が、
>>数IIの範囲で証明できないだろうから
>>”定義”として、数IIIか大学でやるとすればいい
> 数IIIでも無理じゃね？
うん？ 下記かｗ
テイラー展開・マクローリン展開
今は、数IIIでもやらんの？
レベル下がってない？ ゆとり数学か？ｗ
しかし、”受験のミカタ”には、たまに学校の教科書にも載っているとかあるし
ばっちり、大学受験数学サイトには、解説あるぞｗ
そんなに難しい話じゃないよ
「オイラーの公式 e^ix=cosx+isinx」の説明もあるね
中高一貫校なら、常識じゃね？ｗ
（参考）
URLﾘﾝｸ(examist.jp)
受験の月
マクローリン展開(関数の多項式近似)とオイラーの公式 e^ix=cosx+isinx
URLﾘﾝｸ(juken-mikata.net)
受験のミカタ
高校生も納得！テイラー展開・マクローリン展開の証明と使い方 2022.12.26
みなさんはテイラー展開(級数)・マクローリン展開（級数）という言葉を聞いたことありますか？
理系の学生であれば大学1年生で習うことなので大学受験に出ることはないですが高校生で習う微分の知識だけで証明することができ、物理などの近似式でも使えるとても便利な公式です。
たまに学校の教科書にも載っているので確かめてみてください。
これらを使いこなせば、√2、sin1、e（自然対数）のような無理数の近似値を手計算で求めることができます。
ぜひ、この記事を読んで実際に無理数を計算してみましょう！
【目次】
1.テイラー展開とは？
2.テイラー展開の証明
3.テイラー展開とマクローリン展開の違い
4.マクローリン展開のよく使う公式と求め方
4-1.公式一覧
4-2.求め方
5.マクローリン展開の練習問題
315:１３２人目の素数さん
23/02/08 15:59:18.39 u8Rutndb.net
>>285
e^xのマクローリン展開に対して
実数であるxに純虚数iθを入れても良いことを
高校数学に過ぎない数IIIで正当化出来る？
高卒文系 質問の意味分かる？
分かんないなら、どこがどう分かんないか訊いてな
316:１３２人目の素数さん
23/02/08 16:11:12.30 u8Rutndb.net
そもそも級数の収束とか全く考えずに
展開の計算方法を覚えるだけでは
数学分かったことにならんけど
ただ数学の結果を盲信してるだけだな
もしかして小学校の算数のつもりで
大学数学を理解しようとしてる？
317:１３２人目の素数さん
23/02/08 16:13:33.13 3CVtXAp9.net
>>284
> オイラーの式をカンニングしただけなら教育失敗じゃん
> そら大学数学で落ちこぼれるわな
逆だろ？
下記”「加法定理」の語呂合わせ
咲いた コスモス コスモス咲いた
sin(α+β)＝sinα cosβ + cosα sinβ”
こんなものを覚えるよりも、オイラーの式
e^iθ＝cosθ+isinθ を一つ覚えておけば、三角関数では、勝ち組だよ
要するに、遠山啓氏と同じで、”教科書がよくない”から
”咲いた コスモス コスモス咲いた”みたいな
幼稚園レベルの数学になる
で、政治家の麻生さんだっけ？ 「三角関数はクソ」みたいに言われるｗ
(参考)
http://セルフ塾のブログ blog28.fc2.com/blog-entry-2309.html?sp
セルフ塾のブログ
遠山啓氏の水道方式開発のきっかけは、娘が算数に苦しむ姿を見たこと 20110507
遠山がこの問題に取り組むきっかけになったのは、娘さんが算数に苦しむ姿を見たことだった
悩む娘さんに手を貸そうとした遠山は、彼女が算数を理解できないのは、彼女の頭が悪いせいではなく教科書がよくないからだ、と気づいた。
URLﾘﾝｸ(goukaku-suppli.com)
合格サプリ 2021.12.14
【3分で分かる！】三角関数の重要公式「加法定理」の語呂合わせ・覚え方まとめ
咲いた コスモス コスモス咲いた
sin(α+β)＝sinα cosβ + cosα sinβ
URLﾘﾝｸ(gokaku-oentai.com)
人気の予備校比較ランキング 大学受験合格応援隊
【国公立・早慶】文系の大学受験で数学を選択するメリットとは？ 20180530
国立文系は数学が必要不可欠
ほとんどの国立大学の文系学部では、センター試験で「外国語、国語、理科、数学、地理、歴史、公民」が課されるのが一般的です。
URLﾘﾝｸ(news.yahoo.co.jp)
高校数学の三角関数「社会に出ると役に立たない」とやり玉にあがるけど… “新たな視点”を提供する作家のツイートが話題
2022/11/29 まいどなニュース
「麻生議員が生きるだけなら小学生の学力で問題ない。と発言された事がありますね
318:１３２人目の素数さん
23/02/08 16:14:36.75 u8Rutndb.net
ついでだから訊ねるけど
tanθの級数展開
どうやって計算するつもり？
319:１３２人目の素数さん
23/02/08 16:23:25.75 u8Rutndb.net
>>288
>オイラーの式 e^iθ＝cosθ+isinθ
>を一つ覚えておけば、三角関数では、勝ち組だよ
だから大学の数学で落ちこぼれたんだな
いきなり実数の定義とか言って
デデキント切断とか基本列とか出てきて
なんじゃこりゃ～とか言って休学
そんなやつがたくさんいたよ
小手先の知恵で入試乗り切った田舎秀才に多いんだ
大学合格がゴールで燃え尽きる典型
320:１３２人目の素数さん
23/02/08 16:28:56.46 u8Rutndb.net
三角関数を幾何学的に定義するのがいいとは思わんが
だからといっていきなり
e^iθ＝cosθ+isinθ
とかいうヘロインを打っちゃうと癈人になる
まずはモルヒネから始めないと😏
321:１３２人目の素数さん
23/02/08 16:32:38.38 3CVtXAp9.net
>>286
>e^xのマクローリン展開に対して
>実数であるxに純虚数iθを入れても良いことを
>高校数学に過ぎない数IIIで正当化出来る？
そもそも、いまの数IIIでは、マクローリン展開もテーラー展開も扱わないらしいけど
昔はあった
なお 下記より
e^xのマクローリン展開に限れば、展開係数の分母がn！（つまり係数自身は1/n！）
これは、xの全範囲で絶対収束することが、分かる
（xの絶対値を考えれば良い。係数 1/n！だから、収束はほぼ自明）
そもそも
高校で数学で何を教えるか？
ここに戻るでしょ？
いまの高校数学教程も、いろいろ批判されています
URLﾘﾝｸ(univ-study.net)
理系大学生の数学駆け込み寺
超がつくほど簡単！ex のマクローリン展開【公式・証明といろいろ】
2018年3月17日2022年5月8日
e^x のマクローリン展開は e^x=1+1/1!x+1/2!x^2+? と表される
322:１３２人目の素数さん
23/02/08 16:40:34.86 3CVtXAp9.net
>>289
ほいよ
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語
tanxの高階微分とマクローリン展開 更新日時 2022/10/05
tanx のマクローリン展開（x=0 におけるテイラー展開）は
tan=x+1/3 x^3+2/15x^5+17/315 x^7+・・・
tanx の n 階微分をn=5 くらいまで計算してみましょう。いくつか面白い性質が発見できます。
目次
tanxの高階微分
ベルヌーイ数を用いた表現
323:１３２人目の素数さん
23/02/08 16:40:35.71 u8Rutndb.net
>>292
>e^xのマクローリン展開に限れば、
>展開係数の分母がn！（つまり係数自身は1/n！）
>これは、xの全範囲で絶対収束することが、分かる
なぜ、分かる？
>（xの絶対値を考えれば良い。
> 係数 1/n！だから、収束はほぼ自明）
なぜ、自明？
収束の定義、知ってる？
今いったことから収束すると示してくれ�
324:驕H 高校数学の数学IIIで
325:１３２人目の素数さん
23/02/08 16:42:03.71 u8Rutndb.net
>>293
カンニング？
それじゃ大学で落ちこぼれるわな
326:１３２人目の素数さん
23/02/08 19:23:58.42 vv+GVmuk.net
大学数学科での数学。
URLﾘﾝｸ(avgdr60221367.)はてなブログ.com/entry/2019/05/15/052945
327:１３２人目の素数さん
23/02/08 19:36:43.76 vv+GVmuk.net
>”咲いた コスモス コスモス咲いた”
覚える必要がない
(c1+i*s1)(c2+i*s2)
=(c1c2+i*(s1c2+c1s2)+i^2*s1s2
=(c1c2-s1s2)+i*(s1c2+c1s2)
だからいってるじゃん
複素数の掛け算でしかないって
オイラーの式のはるか手前
328:１３２人目の素数さん
23/02/08 23:32:06.78 IfFd6N6h.net
>>265
>深谷圏
下記のFukaya category 見たけど、分からなかったｗ
けど、Kaoru Ono (小野 薫）って人が、共同研究者なんね
小野 薫氏、望月IUTの論文審査の編集委員の一人だったことを思い出した
いま、RIMSの長だね
URLﾘﾝｸ(en.wikipedia.org)
Fukaya category
Bibliography
・Fukaya, Kenji; Oh, Yong-Geun; Ohta, Hiroshi; Ono, Kaoru (2009), Lagrangian intersection Floer theory: anomaly and obstruction. Part I, AMS/IP Studies in Advanced Mathematics, vol. 46, American Mathematical Society, Providence, RI; International Press, Somerville, MA, ISBN 978-0-8218-4836-4, MR 2553465
・Fukaya, Kenji; Oh, Yong-Geun; Ohta, Hiroshi; Ono, Kaoru (2009), Lagrangian intersection Floer theory: anomaly and obstruction. Part II, AMS/IP Studies in Advanced Mathematics, vol. 46, American Mathematical Society, Providence, RI; International Press, Somerville, MA, ISBN 978-0-8218-4837-1, MR 2548482
URLﾘﾝｸ(mathoverflow.net)
Is the Fukaya category "defined"?
asked Oct 27, 2009
Kevin H. Lin
URLﾘﾝｸ(en.wikipedia.org)
Kaoru Ono (小野 薫, Ono Kaoru, born 1962)
URLﾘﾝｸ(ja.wikipedia.org)
小野 薫（おの かおる、1962年 - ）
2022年4月より京都大学数理解析研究所所長。
329:１３２人目の素数さん
23/02/09 00:28:01.09 w492Wd/Q.net
>>294
指数関数の級数展開
e^x＝1+x+1/2! x^2+1/3! x^3+・・+1/n! x^n+・・
で、xを複素数iθに拡張する e^iθ だね
あとは、下記の通りだな（収束は下記の[注 1]にも詳しい）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
オイラーの公式
e^iz=cos z+isin z
指数関数と三角関数
実関数としての指数関数 ex, 三角関数 cos x, sin x をそれぞれマクローリン展開すると
e^x＝1+x+1/2! x^2+1/3! x^3+・・+1/n! x^n+・・
略
これらの冪級数の収束半径が ∞ であることは、ダランベールの収束判定法によって確認することができる[鋳 1]。
この公式は、歴史的には全く起源の異なる指数関数と三角関数が、複素数の世界では密接に結びついていることを表している。
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
chiebukuro.yahoo
nis********さん
2009/6/3 14:43
1回答
e^xの収束半径は無限大らしいのですが、どのように証明すればよいですか??
わかる方解説お願いしますm(__)
ベストアンサー
このベストアンサーは投票で選ばれました
pgs********さん
2009/6/3 15:45
べき級数Σ〔ｎ=０→∞〕（Ｃｎ）ｘ＾ｎとすれば、収束半径ｒは
ｒ=1/ρ
（ただし、ρ=ｌｉｍ〔ｎ→∞〕｜Ｃｎ+1/Ｃｎ｜）
で与えられます。
この問題では、Ｃｎ=1/ｎ！、Ｃｎ+1=1/（ｎ+1）！ですから、
ρ=ｌｉｍ〔ｎ→∞〕｜（1/（ｎ+1）！）/（1/ｎ！）｜
=ｌｉｍ〔ｎ→∞〕1/（ｎ+1）=0
したがって、ｒ=∞です。
URLﾘﾝｸ(ja.wikipedia.org)
階乗
n の階乗（かいじょう、英: factorial）n?!
階乗の増大度
「スターリングの近似」も参照
n が増えるにつれて、階乗 n?! は n を変数とする任意の多項式函数あるいは指数函数よりも早く増加する（ただし、二重指数関数よりは遅い）。
330:１３２人目の素数さん
23/02/09 05:58:22.79 H8W/78mR.net
>>298
>Fukaya category 見たけど、分からなかった
だって category の定義が分からないんだろ 当然じゃん
無理だからきれいさっぱり諦めな
数学書も全部売り払いな
1ページどころか1行も理解できないから
反論の余地 全くないだろ
自分にできないことをやろうとしない
賢い人の最も重要な知恵
>>299
理解せずに他人の文章コピペしても
数学は全く理解できないよ
例えばなんでダランベールの判定法で収束が判定できるか分かる？
分からずに盲信するのは数学という学問じゃなく算数という技能
学問には頭が必要だが、算数には必要ない
君は算数を数学だと誤解してるんだよ
331:１３２人目の素数さん
23/02/09 08:14:31.02 w492Wd/Q.net
>>300
> category の定義が分からない
そうだよね
数学科で落ちこぼれて35年 ｽﾚﾘﾝｸ(math板:5番)
代数系は全滅のあなた
”category の定義が分からない”
のだねｗｗ
うんうんｗｗｗ
332:１３２人目の素数さん
23/02/09 08:17:42.05 w492Wd/Q.net
>>300
> 例えばなんでダランベールの判定法で収束が判定できるか分かる？
引用している部分は、全体の数分の一だ
全文読みなよ、引用部分だけじゃなく
例えば、chiebukuro.yahooの証明の前段とか
[注 1]にも詳しいよ
そして、”ダランベールの判定法”が理解できないならば
自分で検索しなよ
アホ丸出し