ガロア第一論文及びその関連の資料スレ

1 名前：１３２人目の素数さん [2021/03/12(金) 09:53:13.32 ID:QfiJJa2Q.net] このスレは、ガロア第一論文及びその関連の資料スレです 関連は、だいたい何でもありです（現代ガロア理論まで） ガロア第一論文について語りたい人は、下記へ https://rio2016.5ch.net/test/read.cgi/math/1553954860/1- ガロア第一論文について語るスレ 資料としては、まずはこれ https://sites.google.com/site/galois1811to1832/ ガロアの第一論文を読む 渡部 一己 著 （2018.1.28） PDF https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0 あと、順次 237 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 09:59:17.59 ID:wVajbkib.net] 数学における SL(2､Z)と j-invariant は ライトモティーフとよんでもいいものだ https://ja.wikipedia.org/wiki/J-%E4%B8%8D%E5%A4%89%E9%87%8F 238 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 10:14:55.46 ID:XfMj3WNk.net] >>212 つづき ・圏 category で、明治のころからの伝統で 　数学用語は、漢字一文字を当てるという（暗黙の）規則がある 　例：群、環、体 ・そこで、categoryは哲学では範疇という訳語があるけれども 　category→範疇は、かえって分かりづらいし 　漢字一文字で、圏にしたのでしょうね（発案者は知らず） ・ああ、いま検索すると、ベールの範疇定理とかあって、この点からも”範疇”は、まずいね (参考) https://ja.wikipedia.org/wiki/%E7%AF%84%E7%96%87_(%E6%95%B0%E5%AD%A6) 範疇 (数学) 数学において、範疇（はんちゅう）とは位相空間の部分集合を 2 通りに分類する方法のことである。カテゴリーと呼ぶことも多いが、同様にカテゴリーと呼ばれる圏とは全く異なるものである。 定義 X を位相空間とし、A をその部分集合とする。 A の閉包の内部が空であるとき、A は疎であるという。A が可算個の疎な集合の和集合で表せるとき A は第 1 類であるといい、そうでないとき A は第 2 類であるという。第 1 類の集合をやせた集合ともいう。 第 1 類の集合の部分集合は第 1 類であり、可算個の第 1 類の集合の和集合は第 1 類である。 ベールの範疇定理 完備距離空間の空でない開部分集合は第 2 類である。これをベールの範疇定理と呼ぶ。この定理は特に関数解析などで有用である。 239 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 10:54:31.31 ID:XfMj3WNk.net] >>215 つづき ＜層について＞ ・数学の層も、漢字一文字原則で、誤訳に近くなった例と思う ・層は、下記 英sheafでは 麦類の穂束であって、層の茎とか芽 (germ) と整合するけれども、 　層→sheafの変換を頭の中でしないと、ワケワカでしょう ・本来は、下記 秋月(康夫)氏が書いているように、「(仏語)Faisceau の元来の意味は束 (タバ) 」なので、”束 (タバ) ”が一つの候補 　しかし、すでに束は、束論で使われているので、漢字一文字原則を優先して、層にしたのでしょう ・いま思うと、漢字二～三文字で、別の分かり易い用語にすべきだったと思う（例えば関数の束で、”関数束”とか”関束”とかｗ） ・なお、下記[注 2]斎藤毅氏の説明のように、層は関数を一点に潰さずに、位相空間の開集合ベースで局所→大域を扱う概念 　それを、(仏語)Faisceau 英sheaf 麦類の穂束 という用語にこめた ジャン・ルレイ氏（岡先生の不定域イデアル類似） ・層コホモロジー（下記）まで行かないと、ありがたみが分からないらしい。勉強する人は、そこまで頑張りましょう！ (参考) https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6) 層 (数学) 数学における層（そう、英: sheaf[注 1], 仏: faisceau）とは、位相空間上で連続的に変化する様々な数学的構造をとらえるための概念であり、大域的なデータを局所的に取り出すこと、および局所的なデータの貼り合わせ可能性によって定式化される。 層は局所と大域をつなぐことばであり、装置である。層のことばを使って多様体やリーマン面などの幾何学的対象が定義できる。 例として、位相空間上の連続関数を考える。位相空間の各集合に対しそこで定義された連続関数の環が定まり、開集合の包含関係に対し定義域を制限することで定まる写像は環の射である。 さらに、局所的に定義された連続関数の族が大域的な関数を 240 名前：定義するならば、その関数は連続関数である。層の定義は、この2つの性質を抽象化したものである[注 2],。 より形式的に、大域から局所への移行のみを考える概念は前層（ぜんそう、presheaf）とよばれる[注 3]。 つづく [] [ここ壊れてます] 241 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 10:54:54.85 ID: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 のあとの方の 'ソー' をとったというのが一つの根拠である。 　Faisceau の元来の意味は束 (タバ) である。'群の束' (X 上に配置された) の意である。 　ところで、これを横に見ると地層のような層になる。 　そこで、垂直を水平におきかえて層と訳してみたのである。 　この訳がよいか、悪いか、わが国で定着しているかどうか知らないが、この訳語の発案者として、その由来を記しておく。(秋月 1970, p. 176) つづく 242 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 10:55:14.99 ID:XfMj3WNk.net] >>217 つづき https://ja.wikipedia.org/wiki/%E5%B1%A4%E4%BF%82%E6%95%B0%E3%82%B3%E3%83%9B%E3%83%A2%E3%83%AD%E3%82%B8%E3%83%BC 層係数コホモロジー 数学において、層コホモロジー (sheaf cohomology) は、アーベル群の層に関連する層の理論の一面であり、ホモロジー代数を用いて、層 F の大域切断の具体的な計算を可能とする https://ja.wikipedia.org/wiki/%E6%9D%9F_(%E6%9D%9F%E8%AB%96) 束 (束論) 数学における束（そく、英語: lattice）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても定義できる。 (引用終り) 以上 243 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 11:09:16.65 ID:wVajbkib.net] >>215 >　明治のころからの伝統で >　数学用語は、漢字一文字を当てる >　という（暗黙の）規則がある 　数学と無関係の話になると 　とたんに饒舌になる承認欲求君 　集合は二文字ですが？ 　多様体は三文字ですが？ 　イデアルに至っては翻訳すらされてませんが 　そもそも翻訳必要ですか？実は要らない� 244 名前：謔ﾋ [] [ここ壊れてます] 245 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 11:10:36.87 ID:XfMj3WNk.net] >>201 ＜環（かん、英: ring）について＞ １）環（ring）は、下記 デデキントが考えて、ヒルベルトにより紹介されたそうな ２）下記”リングという名前は、視覚的にリング状のものを指すのではなく、要素が組織化されて全体にマージされることを指します。それ以外の場合、この単語の意味はドイツ語ではほとんど失われています”とある 　いまでいう、”サークル（活動）”のような意味で使ったのでしょうね ３）環（ring）→”サークル（活動）”の意味は、デデキントやヒルベルトは、当然分かっていた (参考) https://ja.wikipedia.org/wiki/%E7%92%B0_(%E6%95%B0%E5%AD%A6) 環 (数学) 環（かん、英: ring） （上記からドイツ語へ） https://de.wikipedia.org/wiki/Ring_(Algebra) Ring (Algebra) （google訳を一部手直し） リングは代数構造です。 足し算と掛け算が定義されており、括弧に関して相互に互換性があります。環論は、環の性質を扱う 代数の一分野です。 目次 1 ネーミング リングという名前は、視覚的にリング状のものを指すのではなく、要素が組織化されて全体にマージされることを指します。 それ以外の場合、この単語の意味はドイツ語ではほとんど失われています。 一部の古いクラブ名(例: Deutscher Ring、Weiser Ring、Maschinenring ) や、「犯罪者リング」、「物々交換リング」、「リング講義」などの表現は、今でもこの意味を参照しています。 Ringのコンセプトはリチャード・デデキントにまでさかのぼります。ただし、die Bezeichnung Ringは、David Hilbertにより紹介された。[1] [2] 246 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 11:12:59.90 ID:wVajbkib.net] >>216-219 208の質問に答えられない事実を 無闇に検索結果をコピペして なかったことにしたい承認欲求君 承認欲求君が答えられなかった質問は以下の通り Q1.　群SL(2､Z)の定義は？ Q2.　SL(2､Z)は実は有限表示可能だが 　　　1)生成元は？ 　　　2)生成元が満たす関係式は？ (Q2の答えは一意でないが、題意を満たしていれば正解とする　いわずもがなだが） こんなもん院試どころか学部の試験だから 答えられないなら大学卒業はできんね ま、実質「専門学校」の工学部は知らんけど 247 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 11:14:29.08 ID:wVajbkib.net] >>220 命名に拘るのは数学が分からん「文系」の典型的症状 248 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 11:28:15.18 ID:XfMj3WNk.net] >>219 >　集合は二文字ですが？ >　多様体は三文字ですが？ アホは教養がないな 西 周（にし あまね） 下記 ”「哲学」という言葉を創った[9]ほか、「藝術（芸術）」「理性」「科學（科学）」「技術」「心理学」「意識」「知識」「概念」「帰納」「演繹」「定義」「命題」「分解」など多くの哲学・科学関係の言葉は西の考案した訳語である” 全体の中で、バランスを考えながら、訳をするんだよ 明治時代、先人は苦労したんだよ！ 数学用語も同じだ ”数学用語は、漢字一文字を当てるという（暗黙の）規則がある”>>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]ほか、「藝術（芸術）」「理性」「科學（科学）」「技術」「心理学」「意識」「知識」「概念」「帰納」「演繹」「定義」「命題」「分解」など多くの哲学・科学関係の言葉は西の考案した訳語である。 249 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 11:39:35.51 ID:XfMj3WNk.net] >>223 >　多様体は三文字ですが？ トリビアですが 数学で、多様体は、 日→英訳のとき、 manifoldとvarietyと訳し分けが必要です (参考) https://ja.wikipedia.org/wiki/%E5%A4%9A%E6%A7%98%E4%BD%93 多様体 250 名前：（たようたい、英: manifold, 独: Mannigfaltigkeit） https://ejje.weblio.jp/content/manifold manifold 研究社 新英和中辞典での「variety」の意味 名詞可算名詞 【機械】 (内燃機関の吸排気をする)マニホールド，多岐管. https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E5%A4%9A%E6%A7%98%E4%BD%93 代数多様体（だいすうたようたい、algebraic variety） https://ejje.weblio.jp/content/variety variety 研究社 新英和中辞典での「variety」の意味 名詞 1不可算名詞 変化(に富むこと), 多様(性). a life full of variety 変化に富んだ人生. 2[a variety of…で] さまざま(の), いろいろ(な) 《★【用法】 of の次の名詞に複数形または集合名詞がくる》. a variety of opinions 種々さまざまの意見. [] [ここ壊れてます] 251 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 11:43:32.02 ID:wVajbkib.net] >>223 >教養がないな >全体の中で、バランスを考えながら、訳をするんだよ >明治時代、先人は苦労したんだよ！ 文学部卒がなんか吠えとる 君はカント「純粋理性批判」でも読んでなさい １８世紀人の君には、１９世紀以降の数学は無理 252 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 11:49:44.34 ID:wVajbkib.net] >>224 >トリビアですが >数学で、多様体は、 >manifoldとvarietyと >訳し分けが必要 英文学科卒がなんか吠えとる 君はシェークスピア「ハムレット」でも読んでなさい To do or not to do, That is a question. 「やるかやらないか、それが問題だ」 253 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 12:01:28.28 ID:wVajbkib.net] 文学部卒？の承認欲求君は 文学書・歴史書・哲学書 を読むつもりで数学書を読んだのが誤り 数学書は論理が分って計算が出来る人でないと読めないよ 254 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 13:06:07.26 ID:XfMj3WNk.net] >>225-227 >文学部卒？の承認欲求君は >文学書・歴史書・哲学書 >を読むつもりで数学書を読んだのが誤り >数学書は論理が分って計算が出来る人でないと読めないよ 違うと思うよ ・>>142 中島啓”1994年にハーバード大学の物理学者ヴァッファから電子メールが送られてきて, 頭を思いっきり殴られたような衝撃を受けたことを, つい昨日のように思い出します. そのメールの内容は次のようなものでした. ４次元多様体 X の上のインスタントン 255 名前：数が n のインスタントンのモジュライ空間 Mnのオイラー数をe(Mn)としたときに,” 　略 　”このとき, ヴァッファとウィッテンは, 上の関数が保型性を持つという予想をしていて, ある多様体の例, 当時私が研究していたALE空間という４次元多様体の場合に成立しているかどうかを知りたい, と尋ねてきたのでした” ・ここの登場人物3人、中島啓、ヴァッファとウィッテン。3人とも、細かい話はネグって 　Ｑ「どうなの」Ａ「Yes」(中島)というやりとり ・本になんか、なってない話だよ！ 　それで、ヴァッファ氏は物理屋で証明は求めていない！ Ｙ or N を求めている 　中島氏は数学屋で、端的にＹ！ 　そして、ヴァッファ氏は答えを得て、中島氏は論文ネタを得た。win & winの関係 要するに、大学を卒業したら、こういうやり取りが出来る人が勝ちなんだ ヴァッファさん、カンニングですよ！、それ！！。知っていそうな人に聞くってｗ 聞かれた中島さんは、「お、それ論文ネタ！ ありがとう！」だったね そして、これが出来るには 中島啓氏なみに、自分が学び研究したことを、消化し吸収しておく必要があるのです 単なる記号の羅列から、人としての深い理解へね 数学科学部で落ちこぼれたキミは、 それが出来なかった。 また、出来てないのです！！ 私？ 私は、聞く方です ヴァッファさんの側ですよ！！ｗ [] [ここ壊れてます] 256 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 15:40:57.97 ID:wVajbkib.net] >>228 >>数学書は論理が分って計算が出来る人でないと読めないよ >違うと思うよ 　違わんよ　実際　全く読めなかったでしょ 　還暦過ぎたオツムではどうあがいても無駄 　さっさと数学書全部売って楽になりなよ 　文学部卒の承認欲求君 >ヴァッファ氏は物理屋で証明は求めていない！ >ヴァッファさん、カンニングですよ！ もしかしてヴァッファはただの物理屋だとカン違いしてる？ やれやれ英文学科卒のくせに英語も読めないんだね 経歴を見れば実際は数学屋だと分かるよ ウィッテンの弟子だからね https://en.wikipedia.org/wiki/Cumrun_Vafa カムランヴァファ; 1960 年 8 月 1 日生まれ　は、イラン系アメリカ人の理論物理学者であり、 ハーバード大学の数学と自然哲学のホリス教授です。 Cumrun Vafa は1960 年 8 月 1 日にイランのテヘランで生まれました。 数学が物体の動きを予測する方法に魅了されました。 彼はテヘランのアルボルズ高校を卒業し、1977 年に大学で勉強するために渡米しました。 彼は1981 年にマサチューセッツ工科大学(MIT)から数学と物理学の学士号を取得しました。 エドワード・ウィッテンの監督の下、「対称性、不等式、指数定理」というタイトルの博士論文を完成させた後、 1985 年にプリンストン大学で物理学の博士号を取得しました。 博士号を取得した後、Vafa はハーバード大学のハーバード ソサエティ オブフェローを通じて ジュニア フェローになり、後にジュニア ファカルティの職に就きました。 1989 年に上級教員職のオファーがあり、それ以来ずっとそこにいます。 Vafa は、1994 年にプリンストン大学の高等研究所、自然科学部、数学部で働いていました。 257 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 15:54:43.95 ID:wVajbkib.net] >>228 >大学を卒業したら、こういうやり取りが出来る人が勝ちなんだ >知っていそうな人に聞くって　そして、これが出来るには >自分が学び研究したことを、消化し吸収しておく必要があるのです >単なる記号の羅列から、人としての深い理解へね >私？ 私は、聞く方です ヴァッファさんの側ですよ！！ 　なんかカッコイイこといってるけど 　自分は大学１年の数学で、記号の羅列を理解できず 　理系を諦めて文転したんでしょ 　で、数学板でもラグランジュの分解式を使って 　円分多項式の根のベキ 258 名前：根表示を得る方法が理解できず 　さりとて何をどう質問すればいいかすら思いつかず 　実は石井氏の「頂を踏む」に書いてあるのに読みこなせず 　あげくのはてにこの板の読者に思いっきり先越されたと 　ボロ負けじゃん　質問もできず他人の言葉を消化吸収できない 　要するに君には数学というセルロースが分解できないってことよ 　しかたないので今日も訳も分からず検索した結果をコピペ 　ヒトのすることじゃないね　サルのオナニーだよ　そりゃ 　君はここではもう承認欲求満たされないから 　別のことで承認欲求満たしたほうがいいよ　文学部卒君 [] [ここ壊れてます] 259 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 16:09:12.64 ID:wVajbkib.net] 人間が草を消化できないのはなぜ？ https://logmi.jp/business/articles/168085 端的にいえば 「セルロースを分解するのに必要な酵素を生産する微生物がいないから」 では、微生物を住まわせればいいのか？ 著者がいうには、おそらくうまくいかない なぜなら、人間の胃はセルロースを消化する過程が起こるには あまりにも酸性が強いから 承認欲求が数学というセルロースを消化するのも無理だろう 証明から個々の論理の繋がりの形に分解する「微生物」がいないから そしてそのような「微生物」が働くにはあまりにも承認欲が強いから 肉食動物が草食動物のマネしようとしても無駄ってことですよ セルロースの消化は自慢するような派手なパフォーマンスじゃなくて 草を反芻して噛み続ける実に地味な作業だということに気付きましょう そして本棚の肥やしになってる数学書を全部うっぱらって 数学とは全然無縁の、消化可能な肉でも食ってください 嫌がらせで云ってるんじゃないんですよ どうみても貴方が数学を楽しめてないのが明らかだから 貴方の苦痛を取り除くためにいってあげてるんです 260 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 16:27:07.85 ID:wVajbkib.net] 人って食物連鎖の頂点とかいってるけど はっきりいって何も生産してなくてただ消費してるだけ 生産者といっていいのは植物だけ 草食動物が加工業者で 肉食動物は消費者 自然界における人って 人類社会における富裕層 みたいなもんです 金は有り余るほど持ってるけどちっとも働いてない こりゃ滅びるな 261 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 16:28:40.77 ID:XfMj3WNk.net] >>197 追加 保形形式：automorphic form 形式：form は、良いでしょう （例 cusp form 数論では、カスプ形式(cusp form)、もしくは尖点形式とは、フーリエ級数展開の定数項が 0 である特別なモジュラー形式のことを言う。 　https://ejje.weblio.jp/content/cusp+form ） automorphic：ja.wikipedia 保型因子より、群 G が複素解析多様体 X に作用しているとき ”群 G の作用に関して f(g.x)=j_{g}(x)f(x) なる関係を満たすことを言う。ただし、jg(x) は至る所零でない正則函数とする。” automorphicとは、辞書では「自形」 （接頭辞 auto- は、「自身」を意味する） f(x)という関数形が、右辺に残る意味（保形ね） (参考) https://ejje.weblio.jp/content/automorphic automorphic 日英・英日専門用語辞書での「automorphic」の意味 automorphic 自形の� 262 名前：C自形 http://gogengo.me/roots/537 接頭辞 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 つづく [] [ここ壊れてます] 263 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 16:29:09.14 ID:XfMj3WNk.net] >>233 つづき https://en.wikipedia.org/wiki/Automorphic_function 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. https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B8%E3%83%A5%E3%83%A9%E3%83%BC%E5%BD%A2%E5%BC%8F%E3%81%AE%E4%BF%9D%E5%9E%8B%E5%9B%A0%E5%AD%90 モジュラー形式の保型因子 モジュラー形式論に現れる保型因子（ほけいいんし、英: automorphic factor）は SL(2, R) 上で定義されるある種の解析函数である。さらに一般の群に対する議論は保型因子の項に譲る。 以下略 https://ja.wikipedia.org/wiki/%E4%BF%9D%E5%9E%8B%E5%9B%A0%E5%AD%90 保型因子 定義 群 G が複素解析多様体 X に作用しているものとすると、この群 G は X 上の複素数値正則函数全体の成す空間にも作用する。このような函数 f が保型形式であるとは、群 G の作用に関して f(g.x)=j_{g}(x)f(x) なる関係を満たすことを言う。ただし、jg(x) は至る所零でない正則函数とする。これは、保型形式は G の作用のもとで不変となる成分 (divisor) を持つような函数であるというように述べることもできる。 保型形式 f の保型因子とはこのような函数 j のことである。また、保型函数 (automorphic function) とは、その保型因子 j が常に 1 であるような保型形式をいう。 つづく 264 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 16:29:39.59 ID:XfMj3WNk.net] >>234 つづき 性質 保型因子に関していくつかの事実が成り立つ。 ・任意の保型因子は、至る所零でない正則函数全体の成す乗法群への G の作用に関する 1-双対輪体である。 ・保型因子が双対境界輪体となることと、それが至る所零でない保型形式の保型因子として得られることとは同値である。 ・与えられた保型因子に対して、それを保型因子に持つ保型形式の全体はベクトル空間を成す。 ・二つの保型形式の点ごとの積は、それら二つの保型形式の保型因子の積を保型因子として持つ保型形式となる。 関連する概念 保型因子とその他の概念の間の関係として、以下のようなものが挙げられる。 ・Γ がリー群 G 内の格子群であるとき、Γ に対する保型因子は、商リー群 G/Γ 上の直線束に対応する。さらに、与えられた保型因子に対する保型形式は対応する直線束の切断に対応する。 ・Γ が SL(2, R) の部分群で上半平面に作用している場合に特殊化した議論はモジュラー形式の保型因子の項に譲る。 https://ja.wikipedia.org/wiki/%E4%BF%9D%E5%9E%8B%E5%BD%A2%E5%BC%8F 保型形式 調和解析や数論において、保型形式（ほけいけいしき、英: automorphic form）は、位相群 G 上で定義された複素数（あるいは複素ベクトル空間）値の函数で、離散部分群 Γ ⊂ G の作用の下に不変なものである。保型形式は、ユークリッド空間における周期函数（これは離散位相群としての 1 次元トーラス上の函数と見なされる）を、一般の位相群に対して一般化したものである。 モジュラー形式は、モジュラー群あるいは合同部分群（英語版）のひとつを離散部分群として持つ SL2(R)（特殊線型群）や PSL2(R)（射影特殊線型群）の上に定義された保型形式である。この意味では、保型形式の理論はモジュラー形式の理論の拡張である。 つづく 265 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 16:30:01.46 ID:XfMj3WNk.net] >>235 つづき アンリ・ポアンカレ (Henri_Poincare) は、三角函数や楕円函数の 266 名前：一般化として、最初に保型形式を発見した。ラングランズ予想を通して、保型形式は現代の数論で重要な役割を果たす[1]。 定式化 保型形式の定式化に当たっては、Γ に対する一般的な意味での保型因子（群コホモロジーの言葉で言えば 1-コサイクルの一種）j が必要である。j は複素数値（あるいは一般にベクトル値の保型形式を考える場合にはそれに応じて複素正方行列値）の函数である。保型因子に課されるコサイクル条件は、j がヤコビ行列から導かれる場合には連鎖律を用いて機械的に確認することができる。 歴史 （1960年ごろに）この非常に一般な状況が提示される以前に、モジュラー形式以外の保型形式は既に十分研究されていた。Γ がフックス群（英語版）である場合は、1900年よりも前に既に知られていた（後述）。 ヒルベルト・モジュラー形式（英語版）（あるいはヒルベルト-ブルメンタル形式と呼ばれることもある）がその後まもなく提唱されたが、その完全な理論は長らく得られなかった。ジーゲル・モジュラー形式（英語版） は G がシンプレクティック群の場合で、モジュライ空間とテータ函数から自然に生じるものである。戦後、多変数函数論における興味から自然に、それらの形式がいつ複素解析的になるかといったところから保型形式の概念が追求されていった。そのような理論の構築に関して、1960年ごろの数年で、多くの仕事が特にイリヤ・ピアテツキー＝シャピロによって成された。 セルバーグ跡公式の理論がたくさんの応用を持つなど、この理論が相当深いものであることが窺い知れる。ロバート・ラングランズはリーマン・ロッホの定理を保型形式の次元の計算に応用することができる方法を（特定の場合については多くの場合が知られていたが、そうではなく一般に）示した。これは概念の有効性についての「ポスト・ホック」な確認の一種である。ラングランズは（この問題に対する、スペクトル論の言葉で言えば「連続スペクトル」であるところのものに対応する）アイゼンシュタイン級数の尖点形式あるいは離散部分の吟味を除く一般論も導入している。数論の観点からは、シュリニヴァーサ・ラマヌジャン以降、尖点形式は問題の核心であると理解されている。 (引用終り) 以上 [] [ここ壊れてます] 267 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 16:53:05.24 ID:wVajbkib.net] >>233-236 >f(g.x)=j_{g}(x)f(x) >jg(x) は至る所零でない正則函数 >保型形式 f の保型因子とはこのような函数 j >任意の保型因子は、至る所零でない正則函数全体の成す乗法群への G の作用に関する 1-双対輪体。 >保型因子が双対境界輪体となることと、それが至る所零でない保型形式の保型因子として得られることとは同値。 >与えられた保型因子を持つ保型形式の全体はベクトル空間。 >二つの保型形式の点ごとの積は、それら二つの保型形式の保型因子の積を保型因子として持つ保型形式。 >Γ がリー群 G 内の格子群であるとき、Γ に対する保型因子は、商リー群 G/Γ 上の直線束に対応。 >さらに、与えられた保型因子に対する保型形式は対応する直線束の切断に対応。 >保型形式の定式化に当たって >Γ に対する一般的な意味での保型因子 >（群コホモロジーの言葉で言えば 1-コサイクルの一種） >j が必要。 >j は複素数値の函数。 >（あるいは一般にベクトル値の保型形式を考える場合にはそれに応じて複素正方行列値の函数） >保型因子に課されるコサイクル条件は、 >j がヤコビ行列から導かれる場合には >連鎖律を用いて機械的に確認可能。 なるほど(ニヤリ) 268 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 16:54:16.45 ID:XfMj3WNk.net] >>229 ヴァファさん、数学と物理学の学士号を取得だね ウィッテンさん、歴史と言語学 時枝正さん、古典文献学者で、上智大学も数学専攻じゃなかった 彼らは、才能だね https://en.wikipedia.org/wiki/Edward_Witten Edward Witten is an American mathematical and theoretical physicist. （google 訳） 初期の人生と教育 ウィッテンは 1951 年 8 月 26 日、メリーランド州ボルチモアでユダヤ人の家庭に生まれました。[8]彼は、ロレーヌ (旧姓ウォラッハ) ウィッテンと、重力と一般相対性理論を専門とする理論物理学者のルイス ウィッテンの息子です ウィッテンはボルチモアのパーク スクールに通い('68 年のクラス)、1971 年にブランダ??イス大学で歴史を専攻し、言語学を副専攻として学士号を取得しました 彼はジャーナリズムと政治に熱望し、1960 年代後半にニュー リパブリックとネイションの両方で記事を発表 269 名前：しました。[11] [12] 1972 年、彼はジョージ マクガバンの大統領選挙運動に 6 か月間携わった ウィッテンは中退する前に経済学の大学院生としてミシガン大学に 1 学期だけ通いました。[14]彼は学界に戻り、1973 年にプリンストン大学で応用数学に入学し、1976 年に学部を変えて物理学の博士号を取得し、博士論文「ゲージ理論の短距離分析におけるいくつかの問題」を監督の下で完成させました。デビッド・グロスの。[15]彼はハーバード大学(1976?77) でフェローシップを開催し、オックスフォード大学(1977?78)を訪問した[3] [16]。ハーバード フェロー協会のジュニア フェロー (1977 ～ 1980 年) であり、マッカーサー財団のフェローシップ (1982 年) を開催しました https://en.wikipedia.org/wiki/Tadashi_Tokieda 時枝正 （google 訳） 人生とキャリア 時枝は東京に生まれ、画家として育ちました その後、フランスのリセ サント マリー グラン ルブラン[1]で古典文献学者として学んだ。彼の個人的なホームページによると、彼はロシアの問題集から基礎的な数学を独学で学んだという。 彼は 1989 年に東京の上智大学[1]を卒業し、1991 年にオックスフォードで数学の学士号を取得しています (そこでブリティッシュ カウンシル フェローとして学びました)。彼はウィリアム ブラウダーの指導の下、プリンストン大学で博士号を取得しました [] [ここ壊れてます] 270 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 17:08:22.62 ID:wVajbkib.net] >>238 誰にも才能があるわけではない 才能がなくても死にゃしない ｗｉｋｉの文章をコピペしても理解できなきゃ無意味 人生楽しむなら自分にとって意味あることしよう 271 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 17:34:50.13 ID: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は?　知らん 272 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 17:37:00.22 ID:XfMj3WNk.net] >>233 補足 https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%B3%E3%82%B0%E3%83%A9%E3%83%B3%E3%82%BA%E3%83%BB%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0 ラングランズ・プログラムは、代数的整数論におけるガロア群の理論を、局所体およびそのアデール上で定義された代数群の表現論および保型形式論に結び付ける非常に広汎かつ有力な予想網である 問題の背景 ハリッシュ＝チャンドラの仕事において、半単純（あるいは簡約）リー群に対してできることは、任意の代数群に対してできるはずであるという原理を見ることができる。従って、その手法というのは、既に知られていたモジュラ形式論における GL(2) や、後から認識されるようになった類体論における GL(1) などの、ある種の低次元リー群が果たす役割を、少なくとも一般に n > 2 に対する GL(n) についての考察を明らかにすることであるということができる モジュラー形式の側からは、例えばヒルベルトモジュラー形式（英語版）、ジーゲルモジュラー形式（英語版）、テータ級数などの例があった ラングランズ予想 保型形式論 エーリッヒ・ヘッケは既に、ディリクレ L-函数を保型形式（C の上半平面上で定義される正則函数である種の函数等式を満たすもの）に関連付けていたが、ラングランズはそれを（有理数体 Q のアデール環 A 上で定義される一般線型群 GL(n, A) の無限次元既約表現の一種である）保型尖点表現に対して一般化した。（Q のアデール環というのは、Q の任意の完備化を一斉に扱ったようなものである） ラングランズは、保型 L-函数をその保型表現に対応させ「任意のアルティンのL-函数が、代数体のガロワ群の有限次元表現から生じることと、保型尖点表現から生じることとは等しい」と予想した つづく 273 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 17:37:27.52 ID:XfMj3WNk.net] >>241 つづき 現在の状況 ・GL(1, K) に対するラングランズ予想は類体論から従う（というよりは本質的には同じものである） ・ワイルズによる、有理数体上の半安定楕円曲線のモジュラー性の証明は、ラングランズ予想の一部と見做すことができるが、ワイルズの方法を任意の数体上に拡張することはできない 基本補題 詳細は「ラングランズプログラムの基本補題（英語版） 」を参照 2008年にゴ・バオ・チャウ(Ngo B?o Chau)は、所謂「基本補題（英語版）」と称される補助的だが非常に難しい主張を示した。基本補題はもともとラングランズ自身によって1983年に述べられたものである (引用終り) 以上 274 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 18:06:23.53 ID:wVajbkib.net] >>241-242 承認欲求君　またも問題から逃避 240のQ2も簡単だった Q1の答えを変換すればいいだけ 275 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 18:08:11.15 ID:wVajbkib.net] >>243 240のQ2はk=0で答えがある つまりf(x/(cx+1))=f(x) 276 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 18:38:03.01 ID:XfMj3WNk.net] >>215 リンクタイポ訂正 >>212 つづき 　↓ >>211 つづき （いまさらですが、念のため） 277 名前：１３２人目の素数さん mailto:sage [2023/02/05(日) 19:13:50.37 ID:wVajbkib.net] あーぬるいぬるいよ https://www.youtube.com/watch?v=RkVvjgm9Qx0 278 名前：１３２人目の素数さん [2023/02/06(月) 07:51:47.09 ID:nxkRm8+k.net] 藤原松三郎の代数学の本を読んだ方がいいかな？ 279 名前：１３２人目の素数さん mailto:sage [2023/02/06(月) 08:11:41.33 ID:kZXmsEGT.net] >>247 >藤原松三郎の代数学の本を読んだ方がいいかな？ 現代数学を学んでからの方が良いと思う 280 名前：１３２人目の素数さん mailto:sage [2023/02/06(月) 08:19:58.67 ID:kZXmsEGT.net] >>230 >　自分は大学１年の数学で、記号の羅列を理解できず 数学を、記号の羅列と理解しているアホがいる あなた、遠山啓を読んだんでしょ？ 彼の水道方式（下記） 要するに、一つ高い立場に立てば、それより下のレベルの理解が容易になる これは、現代数学を含む全ての数学に通じる 数学を”記号の羅列”と捉えるのとは、真逆の思考だ ”記号の羅列”で終わるから、あなたは数学科で落ちこぼれたんじゃないの？ (参考) https://ja.wikipedia.org/wiki/%E6%B0%B4%E9%81%93%E6%96%B9%E5%BC%8F 水道方式 281 名前： 水道方式の語源は最も基本的な「計算の素過程」を練習した後、最も一般的な型を「水源地」にして、一般から特殊へと型分けによるドリルを教えていく流れを「水道管の分岐や流れ」に模して遠山らが名付けた[7][注 2] [] [ここ壊れてます] 282 名前：１３２人目の素数さん mailto:sage [2023/02/06(月) 08:24:40.20 ID:kZXmsEGT.net] >>248 >>藤原松三郎の代数学の本を読んだ方がいいかな？ >現代数学を学んでからの方が良いと思う 補足 要するに、現代数学と藤原松三郎とを、対比しながら読むべしってことです 283 名前：１３２人目の素数さん mailto:sage [2023/02/06(月) 09:14:01.95 ID:lA1TcTQr.net] >>249 >一つ高い立場に立てば 　立ててないやん >数学を、記号の羅列と理解しているアホがいる 　それが君 　サールの「中国語の部屋」の中の人ってこと 284 名前：１３２人目の素数さん mailto:sage [2023/02/06(月) 10:14:45.61 ID:lA1TcTQr.net] 群やら層やら圏やらに対して なぜそういう定義になっているのか？ というのは当然の質問だが その答えは定理の証明でそれらが どう使われるか知ることに尽きるので まずそういうものだと受け入れるしかない そもそもその定式化が適切かどうかも わからないのだから あくまで先人が考えたプランでしかない 285 名前：１３２人目の素数さん mailto:sage [2023/02/06(月) 21:03:49.76 ID:kZXmsEGT.net] >>251 あんたは、いつも詭弁と論点ずらしに終始しているね だから、ダメなんだよ。そして、その詭弁と論点ずらしが数学にも影響してくるんだ 結局、あんた数学も出来なくなったんだね １）”一つ高い立場に立てば”は、目指すべき地点を言っている 　対してあんたの”立ててないやん”は、個人の一場面だけ 　詭弁と論点ずらしだよ ２）一つ例を挙げよう 　オイラーの式 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β 最も有名な覚え方です。 サインプラスは、『咲いた コスモス コスモス咲いた』と覚えましょう。 286 名前：１３２人目の素数さん mailto:sage [2023/02/06(月) 21:22:38.08 ID:kZXmsEGT.net] >>252 >なぜそういう定義になっているのか？ >というのは当然の質問だが >その答えは定理の証明でそれらが >どう使われるか知ることに尽きるので 違うだろ！ 例えば、下記 深谷賢治氏の考えた 深谷圏 解くべき物理学の対象があった それを解くために、深谷圏を考えた（定義も考えた）んでしょ？ あんたみたいな考えじゃ、深谷圏には到達できないよね、深谷賢治氏はｗｗ (参考) https://ja.wikipedia.org/wiki/%E6%B7%B1%E8%B0%B7%E8%B3%A2%E6%B2%BB 深谷賢治 深谷 賢治（ふかや けんじ、1959年3月12日 - ）は、日本の数学者[1]。専門は幾何学で、リーマン多様体の崩壊、アーノルド予想の解決、ミラー対称性予想への貢献、深谷圏(A∞圏)の定義等の業績がある。学位は博士（1986年）。 専門は、最初の頃は大域リーマン幾何学（空間の「曲がり方」を調べる分野）、その後、ゲージ理論（数学的側面は近年位相幾何学にも応用されている）も研究し、現在の専門はシンプレクティック幾何学（解析力学の数学的基礎でその大域的な側面を研究）。 https://www.ipmu.jp/sites/default/files/webfm/pdfs/news22/J4_Interview.pdf 深谷賢治教授に聞く - Kavli IPMU _Interview 聞き手：斎藤恭司 2013/06/22 70年代はまだ夢だった?現代幾何と物理の関わり 斎藤?お伺いしたいことは、どういうふうに数学を始めたかというところから始まって、やはり今日、深谷圏と呼ばれている幾何構造に到達した流れ、その後の発展や今後の展望、物理と数学との関係について。 深谷?私は、もともと物理との関係はいろいろやりたいと思っていました。 つづく 287 名前：１３２人目の素数さん mailto:sage [2023/02/06(月) 21:23:12.67 ID:kZXmsEGT.net] >>254 つづき 深谷?表現論でも、量子力学と群論の関係などは昔からありました。私が今やっている幾何学では、特に20世紀になってから発達した次元の高い大域的な幾何学は、物理に使われるということは、ずうっと余りありませんでした。 深谷?物理だけでなく、ほとんどどこにも使われてなかったですね。 斎藤?アティヤ・ドナルドソンのゲージ理論やtopologicalfield theory（位相的場の理論）が出てきて、一時代を築きますね。深谷?そうですね。ですから、あの頃、何かもうそういうことをやってもいいんじゃないかと思い始めた。 斎藤?では深谷さんは、やはりそれを意識しながらやってきたのですか? トポロジーが物理の言葉になる時代が来ることを期待 深谷?トポロジーが物理の言葉になる時代が来てほしいな、とは多分、思っていました。それは、今でもそこまでは行ってないと思います。一方、本当にそこまで行くかもしれないという雰囲気は現れてきています。斎藤?モダンなものとは違うけれども、例えばアーノルドの古典力学。［『古典力学の数学的方法』（ウラジミール・イーゴレヴィッチ・アーノルド）］?アーノルドはトポロジーというものを非常に積極的に力学研究に取り入れた人でしょう。ああいう流れは確かにあの頃既にあった (引用終り) 以上 288 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 00:10:12.28 ID:e3tL3RCy.net] >>250 補足の補足 ・いま、手元の藤原松三郎の代数学第2巻を見ている ・なんか昔読んだみたい。マーカーで線が引いてあるｗ ・いま読んでも、なかなか興味深い本です ・でも、必ず現代数学の本と併読すべきです。そうすれば、得るところがあると思う（私は、そうしました） (参考) https://ja.wikipedia.org/wiki/%E8%97%A4%E5%8E%9F%E6%9D%BE%E4%B8%89%E9%83%8E 藤原 松三郎（ふじわら まつさぶろう、1881年2月14日 - 1946年10月12日）は、日本の数学者・数学史家。第二次世界大戦前において、90編の欧文論文を著し、世界数学者会議で2度の学術講演を行うなど、当時の日本の数学界を代表する数学者であり、また日本数学史、中国数学史、朝鮮数学史をカバーする和漢数学史家としても大きな業績を残した。特に8000枚という膨大な遺稿「日本数学史」は『明治前日本数学史』全5巻（岩波書店、1955-1960）としてまとめられ、現在においても和算史を研究する上で最も重要かつ基本的な文献となっている。 生涯 1911年（明治44年）、東北帝国大学に数学科が設置されると、30歳で教授に就任。この時、主任教授に林鶴一、助手にはのちに数学史家と� 289 名前：ﾈる小倉金之助がいた。 藤原には、解析学を中心に多くの論文があるが、日本語の著作として『代数学 : 第 1,2 巻』(内田老鶴圃,1928-1929 初版), 『微分積分学 : 第 1,2 巻』 (内田老鶴圃,1929-1930 初版)は、長く各大学で教科書・参考書として使われた。また『常微分方程式論』 (岩波書店,1930)は、日本で最初の常微分方程式の著作である。 東北大学で藤原の教えを受けた者には、経済学やゲーム理論において頻繁に使われる〈角谷の不動点定理〉で有名な角谷静夫、数学教育で著名な遠山啓がいる。 純粋数学の研究者であった藤原が、数学史の研究を始めたのは、同僚である林鶴一の急逝による。林鶴一は、日本初の国際数学雑誌である『東北数学雑誌』を私費で創刊した純粋数学の研究者であったが、晩年には和算史の研究に力を注ぎ、2000ページを超える『和算研究集録　上下巻』を上梓していた。林が残した研究と彼が集めた膨大な和算書資料を前に、藤原は以後、和漢数学史研究に没頭することを決意する。この経緯については藤原による「林鶴一君を憶ふ」「林鶴一君の業績」「林鶴一博士小伝」「余の和算史研究」などに詳しい。 [] [ここ壊れてます] 290 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 06:14:04.42 ID:qnkH8dW6.net] >>253 >”一つ高い立場に立てば”は、目指すべき地点を言っている つまり論点先取ね 承認欲求君はズルしかできない >オイラーの式 e^iθ＝cosθ +isinθ >これから、簡単に倍角公式が出る そもそも、君のいってることを実現するには 　(cos(θ+φ)+i*sin(θ+φ)) =(cosθ+i*sinθ)*(cosφ+i*cosφ) と定義すればいいだけ 上記の式は角度の単位を弧度法によらない場合も適用できる つまりe^iθである必要がない （1でない任意の正の実数aに対するa^iθに適用できる） >下記のαとβ「加法定理」も簡単です 簡単なのは当然 定義にしちゃったんだから そこも気付いてないんだ さすが地獄の餓鬼畜生 >要するに、「オイラーの式 e^iθ＝cosθ +isinθ」一つを覚えておけば、 >三角関数の公式を覚えるのも容易だし、 >たとえ忘れても、「加法定理のαとβ」くらい瞬時に再現できるのです 承認欲求君にとっての数学は 所詮計算方法でしかないってことだね それじゃ大学数学は無理 だって大学数学は「計算方法のマニュアル」ではないから >”一つ高い立場に立てば”は、こういうことですよ それただのカンニング ただ計算方法だけカンニングして誤魔化す 低い立場に甘んじ続けるってことですね 291 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 06:32:43.53 ID:qnkH8dW6.net] >>254 > >なぜそういう定義になっているのか？というのは当然の質問だが > >その答えは定理の証明でそれらがどう使われるか知ることに尽きるので > 違うだろ！ 違わんよ 深谷圏が成功したか否かは 深谷が解こうとした問題の成否で決まる だからまったく違わんよ 教科書は成功した定義や証明しか出ていない 実は山ほど失敗があるのであって 数学者は一発でいいアイデアを思いつける と思ってるなら大間違いである 292 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 06:39:58.04 ID:qnkH8dW6.net] 追伸 >>253 > 　高2では”咲いた コスモス コスモス咲いた”やりました 複素数の掛け算を理解すれば、公式を暗記する必要はない 必要なのはオイラーの式ではなく ・複素数の積が、多項式の計算と、”ｉ＾２＝-１”で求まること ・三角関数が「複素数の指数関数」になっていること の２点 オイラーの式の意味は”弧度法とe”の関係にあるので それ以前の話はそんな強い前提を置く必要はないし むしろ置くべきではない ちなみに、三角関数を幾何的に定義した上で「加法定理」を証明するのではなく 初めから、加法法則を満たす関数として定義してしまえばいい、という考えは大いに賛成 293 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 06:49:22.07 ID:qnkH8dW6.net] いわゆる三角関数とは、ある絶対値１の複素数ζを底とする指数関数である 底となるζの角度が、単位角度となる 半径１の円弧の弧長がちょうど１となるζをとれば弧度法になる そして、このとき ζ=lim(ｎ→∞))(1+i/n)^n となるので e^z=lim(ｎ→∞))(1+z/n)^n と指数zの範囲を複素数まで拡大すれば ζ=e^i と表せる、というだけのこと 294 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 07:00:06.97 ID:qnkH8dW6.net] さて e^z=lim(ｎ→∞))(1+z/n)^n は定義の置き換えの典型例である オイラーはeの虚数ベキを直接計算したわけではない 教育的配慮からいえば、ｅ＾ｘのｘに虚数を記すべきではない exp z=lim(ｎ→∞))(1+z/n)^n と定義した上で、引数が実数の場合 exp x=e^x となる、とするべきである 295 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 07:17:43.88 ID:qnkH8dW6.net] ここだけの話 ラグランジュの分解式を用いた円分多項式の根のベキ根表示計算 って、計算には高校レベルの数学しか使ってないので やり方さえ理解してしまえば高校生でもできる ま、やり方知らん数学科の学生もザラにいますがね はっはっは（乾いた笑い） 296 名前：１３２人目の素数さん [2023/02/07(火) 11:05:58.28 ID:Gna27mNy.net] >>257 >>オイラーの式 e^iθ＝cosθ +isinθ >>これから、簡単に倍角公式が出る >　(cos(θ+φ)+i*sin(θ+φ)) >=(cosθ+i*sinθ)*(cosφ+i*cosφ) >と定義すればいいだけ 延々と長文で、「自分はアホ」と自慢したいのか？ ”オイラーの式 e^iθ＝cosθ +isinθ”の方が圧倒的に優れているよね！ ・上記から、オイラーの等式 e^iπ + 1 = 0 出るし https://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%A4%E3%83%A9%E3%83%BC%E3%81%AE%E7%AD%89%E5%BC%8F 　（オイラーの等式は、その数学的な美によって特筆すべきものと多くの人に認識されている。） ・新装版 オイラーの贈物ー人類の至宝e^iπ=?1を学ぶ 吉田 武 (著)January 1, 2010 東海大学出版会 　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 まえがき オイラーの功績は, 量子力学の数学的記述において決定的である. それは「オイラーの 公式」に集約できる. オイラーとならんで, 量子力学を数学で記述するさいに決定的な役割をする数式（関数） を発明したのはガウスである. 本書は, この二人の偉大な碩学の発見した数学を基調とする量子力学を記述した試みである. 297 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 11:16:19.74 ID:DrHNxyvj.net] >>263 >”オイラーの式 e^iθ＝cosθ +isinθ” >の方が圧倒的に優れているよね！ 　倍角の公式に必要な前提とそうでない前提が 　分かれてない時点で承認欲求君の発言は劣ってる 　 　e^iが必要なのは、微積分で冗長な係数を消したいとき 　それ以前の段階では必要ない 　ド・モアブルの定理 (cos θ +isin θ )^n＝cos nθ +isin nθ 　はオイラーの等式より弱い 　そういう区別が出来ないから承認欲求は数学の初歩で間違う 298 名前：１３２人目の素数さん [2023/02/07(火) 11:36:46.19 ID:Gna27mNy.net] >>258 >深谷圏が成功したか否かは >深谷が解こうとした問題の成否で決まる >だからまったく違わんよ アホ（あんた）と、バカ（おれ）とのシッタカ合戦かい？ｗ ・深谷圏は、成功したよ（下記） ・深谷先生が、どうやって思いついたか知らないが ・下記でもどうぞ（おれも今から読むｗ） https://www.youtube.com/watch?v=KRqn67z2ptg 【10分で】深谷圏とホモロジカルミラー対称性【 from ロマンティック数学ナイトプライム@圏論 】 #VRアカデミア #ロマ数プライム圏論 #032 AIcia Solid Projec 2019/06/17 299 名前：しみずハルオ 1 年前 素粒子論の最先端に使われる数学を紹介している動画は超珍しい。貴重品だね。 カラビ・ヤウ多様体の話も期待しています。 https://scrapbox.io/category/%E6%B7%B1%E8%B0%B7%E5%9C%8F 深谷圏 - 結城浩の圏論勉強プロジェクト - Scrapbox 深谷圏、完全に理解した（冗談です） 【10分で】深谷圏とホモロジカルミラー対称性【 from ロマンティック数学ナイトプライム@圏論 】 #VRアカデミア #ロマ数プライム http://www.math.kobe-u.ac.jp/HOME/saji/math/conf2016/topsymp/ 第63回トポロジーシンポジウム 2016年 http://www.math.kobe-u.ac.jp/HOME/saji/math/conf2016/topsymp/100-Ohta.pdf 深谷圏とミラー対称性予想 2016年 太田 啓史　（名古屋大学多元数理科学研究科） P11 条件 (4.1) をみたす深谷圏 L は、シンプレクティック多様体 X の量子 コホモロジーの情報をすべてもっているということになる。従って、次が基本問題と なる。 Problem 4.4. シンプレクティック多様体 X が与えられたとき、条件 (4.1) をみた す深谷圏 L を見つけよ。 次節では X が射影的なトーリック多様体の場合にその例をあげる。 つづく [] [ここ壊れてます] 300 名前：１３２人目の素数さん [2023/02/07(火) 11:37:28.13 ID:Gna27mNy.net] >>265 つづき https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%A2%E3%83%AD%E3%82%B8%E3%82%AB%E3%83%AB%E3%83%9F%E3%83%A9%E3%83%BC%E5%AF%BE%E7%A7%B0%E6%80%A7%E4%BA%88%E6%83%B3 ホモロジカルミラー対称性は、マキシム・コンツェビッチにより予想された数学の予想である。物理学者が弦理論を研究することにより初めて観察された、ミラー対称性と呼ばれる現象の数学的、系統的な説明を求める。 歴史 1994年のチューリッヒでの国際数学者会議の報告で、コンツェビッチは次のような予想をした。 カラビ・ヤウ多様体のペア X と Y のミラー対称性は、代数多様体 X から構成された三角圏（英語版） (X 上の連接層の導来圏)と、もう一つの Y のシンプレクティック多様体から構成される三角圏(深谷圏（英語版）)の同値性として説明されるのではないか。 エドワード・ウィッテンは、最初に N = (2,2) の超対称性場の理論を位相的ツイストすることで、位相的弦理論のAモデルとBモデルと呼ばれるモデルを記述した。これらのモデルは、リーマン面から普通はカラビ-ヤウ多様体である固定された対象空間上への写像に関係する。数学でのミラー対称性予想の多くは、Y 上のA-モデルと X 上のB-モデルの物理的な同値関係と見なせる。 つづく 301 名前：１３２人目の素数さん [2023/02/07(火) 11:37:50.24 ID:Gna27mNy.net] >>266 つづき https://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%A9%E3%83%BC%E5%AF%BE%E7%A7%B0%E6%80%A7_(%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]を含んでいる。 (引用終り) 以上 302 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 13:14:22.66 ID:7fvKZHb6.net] >>265 尻高してんのはあんただけ >…は、成功したよ 　尻高君の根拠0発言 >…が、どうやって思いついたか知らないが 　素人には分からんから考えても無駄 >おれも今から読む 　素人が読んでも無駄　やめとけやめとけ 303 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 13:21:59.00 ID:7fvKZHb6.net] 尻高が 「超弦理論が〜、ミラー対称性が〜 　共形場理論が〜、AdS/CFT対応が〜」 とか聞きかじりの単語を吠えても 誰も賢いね〜とか褒めたりせんからやめとけ 304 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 13:36:50.24 ID:7fvKZHb6.net] 承認欲求が溢れた尻高君には マインドフルネスをオススメする 判断を加えない 現在の瞬間を中心に置く 上記２点が重要とのこと 305 名前：１３２人目の素数さん [2023/02/07(火) 15:23:36.09 ID:Gna27mNy.net] >>268-270 承認欲求ってｗｗｗ ここには、あんたしかおらんがな おれに、ボコボコにされている あんたしか！ｗｗｗ 306 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 15:54:13.40 ID:v0RTjAiy.net] >>271 >おれに、ボコボコにされている 　病んでますな🙃 307 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 20:57:28.43 ID:e3tL3RCy.net] >>269 >「超弦理論が～、ミラー対称性が～ >　共形場理論が～、AdS/CFT対応が～」 >とか聞きかじりの単語を吠えても 悪いけど 全部旧ガロアすれで扱っているよ 過去ログ掘れば、見つかる ミラー対称性を最初に見たのは 前世紀末だったかな 超弦理論の話としてではなく いま、物理数学系の数学者の間で話題になっていると その後、フィールズ賞の話があって 深谷圏が使われたとあった 当時は、あま� 308 名前：闖ﾚしい資料は無かった気がする いまYoutube とかあって 資料には困らないみたい 良い時代に、なりましたねｗ [] [ここ壊れてます] 309 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 23:44:41.58 ID:y6DEEdSB.net] >全部旧ガロアすれで扱っているよ 「扱っている」ってコピペしてるだけやんｗｗｗ 310 名前：１３２人目の素数さん mailto:sage [2023/02/07(火) 23:49:24.07 ID: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(θ+φ) が成立する 繰り返すが、三角関数の「加法定理」を適用して 証明するべき定理であって、定義ではないぞ！ｗ やれやれ、定理と定義との区別がつかないのかな？ｗ これで、数学科卒を名乗るかね？ｗ (参考) https://goukaku-suppli.com/archives/37280 合格サプリ 2021.12.14 【3分で分かる！】三角関数の重要公式「加法定理」の語呂合わせ・覚え方まとめ 咲いた コスモス コスモス咲いた sin(α+β)＝sinα cosβ + cosα sinβ 今年は コスモス コスモス 咲かない 咲かない cos(α+β) ＝ cosα cosβ － sinα sinβ 符号がマイナスなので「咲かない」としました。 311 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 00:04:19.16 ID:IfFd6N6h.net] >>274 >全部旧ガロアすれで扱っているよ >「扱っている」ってコピペしてるだけやんｗｗｗ あんた、この数学板で、大学レベルの高等数学の内容を投稿したことないね やってみれば分かるが、5ｃｈ数学板では まともに数学記号使えない Σの上下の添え字使えない 同様にＸiと書いて、2乗は(Ｘi)^2とか面倒だし 見にくいし 行列は書けないし ともかく不自由なうえに Ａ４で2枚ほどでも書けば、多分5～6スレ以上に渡るし そもそも、ここは学会でもなければ 論文を投稿するところでもない！ コピペも本来必要ない！（つーか、正確なコピーは不可能ですよｗ） URLと表題や出典だけで足りるが 要点のコピペがあると、後でキーワード検索に便利だからコピペしているのです（コピー見るよりリンク先の方がよほど視認性が良いし全文が読めるしｗ） コピペ以外で、スクラッチ（手書き）で一から数学理論を書き起こせと？ｗ それって あんた、この数学板で、大学レベルの高等数学の内容を投稿したことないって、自白しているだけだぞｗ 312 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 02:50:04.11 ID:QPnDWgeK.net] TeXぐらいすら知らんのか。 313 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 06:12:27.30 ID:vv+GVmuk.net] >>273 >悪いけど全部旧ガロアすれで扱っているよ >>274 >「扱っている」ってコピペしてるだけやんｗｗｗ >>276 (長々と「言い訳」の後) >コピペも本来必要ない！（つーか、正確なコピーは不可能ですよｗ） 　じゃ、コピペしなくていいよ　承認欲求君 >URLと表題や出典だけで足りるが 　それも要らんよ　誰でも検索できるから >要点のコピペがあると、 >後でキーワード検索に便利だから >コピペしているのです >（コピー見るよりリンク先の方がよほど視認性が良いし全文が読めるしｗ） 　５ｃｈで無内容な書き込みされると 　キーワード検索でそれがみつかって 　無駄な時間を浪費するからコピペは迷惑　 　百害あって一利もないな（バッサリ） >スクラッチ（手書き）で一から数学理論を書き起こせと？ 　そもそも数学が分からん素人は書き込みしないでほしい 　大学１年の線型代数も理解できずに 　落ちこぼれて文学部に転部した君に 　数学の書き込みしてくれなんて 　誰も頼んでないよ 　スシローで他人の寿司にワサビ混ぜるような犯罪行為 　ほんと迷惑　やめて 　 　検索コピペで 　「ボクちゃん賢いでしょ、褒めて褒めて」 　って他人の承認求めないで 　そんな幼稚園児でもできることで 　ここの数学科卒が感心することなんて 　10000％ないから 　なんでわかんないかな　愉快犯君 314 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 06:30:41.98 ID:vv+GVmuk.net] >>275 >あれ？、ミスタイプ見つけたぞ >”(cos(θ+φ)+i*sin(θ+φ))=(cosθ+i*sinθ)*(cosφ+i*sinφ)” >だな 　お� 315 名前：ﾟでとう >これって、定義ではなく定理だろ？ >三角関数の「加法定理」を適用して証明するべき >定理であって、定義ではないぞ！ｗ 　どっかの承認欲求君が253で 　「e^iθの実部と虚部としてcosθ、sinθを定義すればいい」 　と論点先取したのに対して257で 　「別にe^iθじゃなくても 　　絶対値１の複素数(c+is)　(c^2+s^2=1)を底とする指数関数 　　の実部と虚部としてcosθ、sinθを定義すれば 　　角度の単位を弧度法に固定しない一般化した形で 　　加法公式が自然に出せるだろ」 　と、より賢い”論点先取”の仕方を指摘したまで 　加法定理の式は、多項式の乗法とi^2=-1による 　複素数の乗法計算から導ける「算数」なんだって 　高校数学なんて算数なんだよ 　算数が得意でも大学で落ちこぼれる奴は沢山いるんだよ 　論理的思考能力がゼロってこと 　そういう奴は数学なんて無理だから諦めろ 　無理したって、理解できずに下痢便コピペするだけ 　いいかげん自分がやってることの虚しさに気づけよ 　人生不幸なまま終わりたいのかい？ >やれやれ、定理と定義との区別がつかないのかな？ 　それ253でオイラーの式を定義とした自分にいいなよ 　数学力ゼロなのに「ボクは数学わかってる」と 　他人に認めてもらいたいためにわけもわからず 　キーワード検索した結果をコピペする承認欲求君 [] [ここ壊れてます] 316 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 06:58:51.20 ID: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となる 　どういう魔術を使ったのか全く知らんけど」 とほざくのは、高い立場に立ったのではなく 結果を「万引き」しただけのただの阿呆である 317 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 08:17:53.09 ID:IfFd6N6h.net] >>277 >TeXぐらいすら知らんのか。 この板でTeX使えるか？ 318 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 08:20:29.88 ID:IfFd6N6h.net] >>278 >>URLと表題や出典だけで足りるが >　それも要らんよ　誰でも検索できるから アホが 君のために、URLと表題や出典が必要だｗｗｗ 319 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 08:31:50.15 ID:IfFd6N6h.net] >>279 >>三角関数の「加法定理」を適用して証明するべき >>定理であって、定義ではないぞ！ｗ >　どっかの承認欲求君が253で >　「e^iθの実部と虚部としてcosθ、sinθを定義すればいい」 >　と論点先取したのに対して257で >　それ253でオイラーの式を定義とした自分にいいなよ アホは分かってないね いま、三角関数の「加法定理」は数IIかな？ 下記の「咲いた コスモス コスモス咲いた」を、暗記するくらいならば e^iθ＝cosθ+isinθ を一つ覚えておけば これを水源地として、いろんな公式が導ける これぞ、高校数学の水道方式よ 公式 e^iθ＝cosθ+isinθ が、数IIの範囲で証明できないだろうから ”定義”として、数IIIか大学でやるとすればいい 繰り返すが、「咲いた コスモス コスモス咲いた」の丸暗記より よほど教育的だろ？ｗ そういうことが、昔大学への数学誌にあった それを使わせて貰って、受験の三角関数は苦労しなくなった (参考) https://goukaku-suppli.com/archives/37280 合格サプリ 2021.12.14 【3分で分かる！】三角関数の重要公式「加法定理」の語呂合わせ・覚え方まとめ 咲いた コスモス コスモス咲いた sin(α+β)＝sinα cosβ + cosα sinβ 今年は コスモス コスモス 咲かない 咲かない cos(α+β) ＝ cosα cosβ － sinα sinβ 符号がマイナスなので「咲かない」としました。 320 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 10:53:15.06 ID:L6Sk2qWm.net] >>283 >🤪は分かってないね 　いきなり罵倒から入る承認欲求氏 >e^iθ＝cosθ+isinθ　を一つ覚えておけば >これを水源地として、いろんな公式が導ける 　それが前提として強すぎるって指摘じゃね？ 　そこから分かってないのか？ 　結局、絶対値1の複素数を底とする指数関数の 　実部と虚部としてcosとsinを定義すればいい 　e^ixは上記の関数の微分を考えた場合の話 　分けて考えるのが教育的配慮な >公式 e^iθ＝cosθ+isinθ が、 >数IIの範囲で証明できないだろうから >”定義”として、数IIIか大学でやるとすればいい 　数IIIでも無理じゃね？ 　君、どう証明するつもり 　まさか、ノーアイデア？ >よほど教育的だろ？ 　オイラーの式をカンニングしただけなら教育失敗じゃん 　そら大学数学で落ちこぼれるわな 321 名前：１３２人目の素数さん [2023/02/08(水) 15:46:00.96 ID:3C ] [ここ壊れてます] 322 名前：VtXAp9.net mailto: >>284 >>公式 e^iθ＝cosθ+isinθ が、 >>数IIの範囲で証明できないだろうから >>”定義”として、数IIIか大学でやるとすればいい >　数IIIでも無理じゃね？ うん？ 下記かｗ テイラー展開・マクローリン展開 今は、数IIIでもやらんの？ レベル下がってない？ ゆとり数学か？ｗ しかし、”受験のミカタ”には、たまに学校の教科書にも載っているとかあるし ばっちり、大学受験数学サイトには、解説あるぞｗ そんなに難しい話じゃないよ 「オイラーの公式 e^ix=cosx+isinx」の説明もあるね 中高一貫校なら、常識じゃね？ｗ （参考） https://examist.jp/mathematics/derivation2/maclaurin/ 受験の月 マクローリン展開(関数の多項式近似)とオイラーの公式 e^ix=cosx+isinx https://juken-mikata.net/how-to/mathematics/taylor-maclaurin.html 受験のミカタ 高校生も納得！テイラー展開・マクローリン展開の証明と使い方 2022.12.26 みなさんはテイラー展開(級数)・マクローリン展開（級数）という言葉を聞いたことありますか？ 理系の学生であれば大学1年生で習うことなので大学受験に出ることはないですが高校生で習う微分の知識だけで証明することができ、物理などの近似式でも使えるとても便利な公式です。 たまに学校の教科書にも載っているので確かめてみてください。 これらを使いこなせば、√2、sin1、e（自然対数）のような無理数の近似値を手計算で求めることができます。 ぜひ、この記事を読んで実際に無理数を計算してみましょう！ 【目次】 1.テイラー展開とは？ 2.テイラー展開の証明 3.テイラー展開とマクローリン展開の違い 4.マクローリン展開のよく使う公式と求め方 　4-1.公式一覧 　4-2.求め方 5.マクローリン展開の練習問題 [] [ここ壊れてます] 323 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 15:59:18.39 ID:u8Rutndb.net] >>285 e^xのマクローリン展開に対して 実数であるxに純虚数iθを入れても良いことを 高校数学に過ぎない数IIIで正当化出来る？ 高卒文系　質問の意味分かる？ 分かんないなら、どこがどう分かんないか訊いてな 324 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 16:11:12.30 ID:u8Rutndb.net] そもそも級数の収束とか全く考えずに 展開の計算方法を覚えるだけでは 数学分かったことにならんけど ただ数学の結果を盲信してるだけだな もしかして小学校の算数のつもりで 大学数学を理解しようとしてる？ 325 名前：１３２人目の素数さん [2023/02/08(水) 16:13:33.13 ID:3CVtXAp9.net] >>284 >　オイラーの式をカンニングしただけなら教育失敗じゃん >　そら大学数学で落ちこぼれるわな 逆だろ？ 下記”「加法定理」の語呂合わせ 咲いた コスモス コスモス咲いた sin(α+β)＝sinα cosβ + cosα sinβ” こんなものを覚えるよりも、オイラーの式 e^iθ＝cosθ+isinθ　を一つ覚えておけば、三角関数では、勝ち組だよ 要するに、遠山啓氏と同じで、”教科書がよくない”から ”咲いた コスモス コスモス咲いた”みたいな 幼稚園レベルの数学になる で、政治家の麻生さんだっけ？ 「三角関数はクソ」みたいに言われるｗ (参考) http://セルフ塾のブログ blog28.fc2.com/blog-entry-2309.html?sp セルフ塾のブログ 遠山啓氏の水道方式開発のきっかけは、娘が算数に苦しむ姿を見たこと 20110507 遠山がこの問題に取り組むきっかけになったのは、娘さんが算数に苦しむ姿を見たことだった 悩む娘さんに手を貸そうとした遠山は、彼女が算数を理解できないのは、彼女の頭が悪いせいではなく教科書がよくないからだ、と気づいた。 https://goukaku-suppli.com/archives/37280 合格サプリ 2021.12.14 【3分で分かる！】三角関数の重要公式「加法定理」の語呂合わせ・覚え方まとめ 咲いた コスモス コスモス咲いた sin(α+β)＝sinα cosβ + cosα sinβ https://gokaku-oentai.com/contents/cat03/bunkei-sugaku-merit 人気の予備校比較ランキング 大学受験合格応援隊 【国公立・早慶】文系の大学受験で数学を選択するメリットとは？ 20180530 国立文系は数学が必要不可欠 ほとんどの国立大学の文系学部では、センター試験で「外国語、国語、理科、数学 326 名前：、地理、歴史、公民」が課されるのが一般的です。 https://news.yahoo.co.jp/articles/b86e1949eb7665992f54878c0e6c9b6be5f03e0c 高校数学の三角関数「社会に出ると役に立たない」とやり玉にあがるけど…　“新たな視点”を提供する作家のツイートが話題 2022/11/29 まいどなニュース 「麻生議員が生きるだけなら小学生の学力で問題ない。と発言された事がありますね [] [ここ壊れてます] 327 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 16:14:36.75 ID:u8Rutndb.net] ついでだから訊ねるけど tanθの級数展開 どうやって計算するつもり？ 328 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 16:23:25.75 ID:u8Rutndb.net] >>288 >オイラーの式　e^iθ＝cosθ+isinθ　 >を一つ覚えておけば、三角関数では、勝ち組だよ 　だから大学の数学で落ちこぼれたんだな 　いきなり実数の定義とか言って 　デデキント切断とか基本列とか出てきて 　なんじゃこりゃ〜とか言って休学 　そんなやつがたくさんいたよ 　小手先の知恵で入試乗り切った田舎秀才に多いんだ 　大学合格がゴールで燃え尽きる典型 329 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 16:28:56.46 ID:u8Rutndb.net] 三角関数を幾何学的に定義するのがいいとは思わんが だからといっていきなり e^iθ＝cosθ+isinθ とかいうヘロインを打っちゃうと癈人になる まずはモルヒネから始めないと😏 330 名前：１３２人目の素数さん [2023/02/08(水) 16:32:38.38 ID:3CVtXAp9.net] >>286 >e^xのマクローリン展開に対して >実数であるxに純虚数iθを入れても良いことを >高校数学に過ぎない数IIIで正当化出来る？ そもそも、いまの数IIIでは、マクローリン展開もテーラー展開も扱わないらしいけど 昔はあった なお 下記より e^xのマクローリン展開に限れば、展開係数の分母がn！（つまり係数自身は1/n！） これは、xの全範囲で絶対収束することが、分かる （xの絶対値を考えれば良い。係数 1/n！だから、収束はほぼ自明） そもそも 高校で数学で何を教えるか？ ここに戻るでしょ？ いまの高校数学教程も、いろいろ批判されています https://univ-study.net/ex-maclaurin/ 理系大学生の数学駆け込み寺 超がつくほど簡単！ex のマクローリン展開【公式・証明といろいろ】 2018年3月17日2022年5月8日 e^x のマクローリン展開は　e^x=1+1/1!x+1/2!x^2+?　と表される 331 名前：１３２人目の素数さん [2023/02/08(水) 16:40:34.86 ID:3CVtXAp9.net] >>289 ほいよ https://manabitimes.jp/math/1381 高校数学の美しい物語 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の高階微分 ベルヌーイ数を用いた表現 332 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 16:40:35.71 ID:u8Rutndb.net] >>292 >e^xのマクローリン展開に限れば、 >展開係数の分母がn！（つまり係数自身は1/n！） >これは、xの全範囲で絶対収束することが、分かる 　なぜ、分かる？ >（xの絶対値を考えれば良い。 >　係数 1/n！だから、収束はほぼ自明） 　なぜ、自明？ 　収束の定義、知ってる？ 　今いったことから収束すると示してくれる？ 　高校数学の数学IIIで 333 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 16:42:03.71 ID:u8Rutndb.net] >>293 カンニング？ それじゃ大学で落ちこぼれるわな 334 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 19:23:58.42 ID:vv+GVmuk.net] 大学数学科での数学。 https://avgdr60221367.はてなブログ.com/entry/2019/05/15/052945 335 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 19:36:43.76 ID:vv+GVmuk.net] >”咲いた コスモス コスモス咲いた” 覚える必要がない (c1+i*s1)(c2+i*s2) =(c1c2+i*(s1c2+c1s2)+i^2*s1s2 =(c1c2-s1s2)+i*(s1c2+c1s2) だからいってるじゃん 複素数の掛け算でしかないって オイラーの式のはるか手前 336 名前：１３２人目の素数さん mailto:sage [2023/02/08(水) 23:32:06.78 ID:IfFd6N6h.net] >>265 >深谷圏 下記のFukaya category 見たけど、分からなかったｗ けど、Kaoru On 337 名前：o (小野 薫）って人が、共同研究者なんね 小野 薫氏、望月IUTの論文審査の編集委員の一人だったことを思い出した いま、RIMSの長だね https://en.wikipedia.org/wiki/Fukaya_category 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 https://mathoverflow.net/questions/2905/is-the-fukaya-category-defined Is the Fukaya category "defined"? asked Oct 27, 2009 Kevin H. Lin https://en.wikipedia.org/wiki/Kaoru_Ono Kaoru Ono (小野 薫, Ono Kaoru, born 1962) https://ja.wikipedia.org/wiki/%E5%B0%8F%E9%87%8E%E8%96%AB 小野 薫（おの かおる、1962年 - ） 2022年4月より京都大学数理解析研究所所長。 [] [ここ壊れてます]

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef