20/10/07 10:30:34.44 DEed+xyB.net
テンプレ後で
2:１３２人目の素数さん
20/10/07 10:31:47.12 oCnj8J9r.net
＜テンプレ＞
クレレ誌：
URLﾘﾝｸ(ja.wikipedia.org)
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである（Neuenschwander 1994, p. 1533）。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)
そこで
現代の純粋・応用数学（含むガロア理論）を目指して
新スレを立てる（＾＾；
＜過去スレ＞
・純粋・応用数学（含むガロア理論）4
ｽﾚﾘﾝｸ(math板)
・純粋・応用数学（含むガロア理論）3
ｽﾚﾘﾝｸ(math板)
・純粋・応用数学（含むガロア理論）2
ｽﾚﾘﾝｸ(math板)
・純粋・応用数学
ｽﾚﾘﾝｸ(math板)
＜関連過去スレ（含むガロア理論）＞
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む84
ｽﾚﾘﾝｸ(math板)
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
ｽﾚﾘﾝｸ(math板)
＜関連姉妹スレ＞
・Inter-universal geometry と ABC予想 (応援スレ) 48
ｽﾚﾘﾝｸ(math板)
・IUTを読むための用語集資料集スレ
ｽﾚﾘﾝｸ(math板)
・現代数学の系譜 カントル 超限集合論他 3
ｽﾚﾘﾝｸ(math板)
3:１３２人目の素数さん
20/10/07 10:32:08.47 OXD1LfLU.net
また建てたのか、馬鹿じゃねーの
4:１３２人目の素数さん
20/10/07 10:32:26.78 oCnj8J9r.net
>>2
なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；URLﾘﾝｸ(en.wikipedia.org) Hyperboloid
Hyperboloid of two sheets ：URLﾘﾝｸ(upload.wikimedia.org)
URLﾘﾝｸ(ja.wikipedia.org) 双曲面
二葉双曲面 ：URLﾘﾝｸ(upload.wikimedia.org)
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）
可哀想に、数学科のオチコボレで、鳥無き里のコウモリ＊）そのもので、威張り散らし、誰彼無く噛みつくアホ
本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするｗ（＾＾
注＊）鳥無き里のコウモリ：自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり～！（＾＾；
＜＊）サイコパスの特徴＞
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
小学生がいますので、18金（禁）よろしくね！（＾＾
テンプレは、以上です
5:現代数学の系譜 雑談
20/10/07 10:43:44.75 oCnj8J9r.net
>>3
レスありがと
6:１３２人目の素数さん
20/10/07 11:49:45.53 OXD1LfLU.net
>>5
うんこぶりぶり
7:現代数学の系譜 雑談
20/10/07 11:53:10.67 oCnj8J9r.net
ペンローズ氏のノーベル賞には、驚きです（＾＾
URLﾘﾝｸ(www3.nhk.or.jp)
ノーベル物理学賞にブラックホールの研究 英独米の研究者3人
2020年10月7日 0時17分
ことしのノーベル物理学賞に、ブラックホールに関する研究で大きな貢献をしたイギリスのオックスフォード大学のロジャー・ペンローズ氏ら3人の研究者が選ばれました。
ペンローズ氏は、20世紀最大の物理学者と言われたアインシュタインの一般相対性理論によって、ブラックホールの形成を証明したことが評価されました。
URLﾘﾝｸ(ja.wikipedia.org)
ロジャー・ペンローズ（Sir Roger Penrose, 1931年8月8日 - ）は、イギリス・エセックス州コルチェスター生まれの数学者、宇宙物理学・理論物理学者。2020年ノーベル物理学賞受賞。
目次
1 科学上の業績
2 その他の活動
2.1 量子脳理論
2.2 量子論上の観測問題
3 略歴
4 受賞歴
5 著作リスト
5.1 物理学関係
5.2 数学関係
科学上の業績
・スティーヴン・ホーキングと共にブラックホールの特異点定理（重力崩壊を起こしている物体は最後には全て特異点を形成する）を証明し、「事象の地平線」の存在を唱えた。
・時空全体を複素数で記述し、量子論と相対論を統一的に扱う枠組みであるツイスター理論を創始した。長らく物理理論というよりは数学的な研究対象とされていたが、近年、超弦理論やループ量子重力理論との関連性が見いだされつつある。
数学関係
ツイスターと一般相対論 (Twistors and General Relativity) - エルク・フラウエンディーナーと共著。『数学の最先端 21世紀への挑戦 第2巻』収録。
20世紀および21世紀の数理物理学 (Mathematical Physics of the 20th and 21st Centuries) - 『数学の最先端 21世紀への挑戦 第4巻』収録。
つづく
8:現代数学の系譜 雑談
20/10/07 11:55:11.79 oCnj8J9r.net
>>7
つづき
URLﾘﾝｸ(ja.wikipedia.org)
特異点定理またはペンローズ・ホーキングの特異点定理（Penrose?Hawking singularity theorems）は、重力は重力の特異点を必要とするかどうか、という問いへの、一般相対性理論による結論のまとめである
これらの定理は、物質は妥当なエネルギー状況 (energy condition) を満たしているため、この問いに肯定的に回答している。これは、妥当な物質をともなう一般相対性理論の厳密解は、一般相対性理論が崩壊する特異点を含んでいる、ということを示している
詳細
1960年代、時空のもつ大域的構造の研究に取り組んだホーキングとペンローズによって証明された特異点定理には、いくつかのヴァージョンがある
簡単に説明すると、「光的捕捉面 (trapped null surface) が存在しエネルギー密度が負ではない場合、有限で延長不可能な測地線が存在する」というステートメントである。後半は時空多様体における「特異点」の数学的な定義である。ほとんど一般的な状況で成立するので、一般相対性理論のもとでは特異点の存在は避けられない、と理解してよい。ただし、特異点定理は、特異点の存在について述べるだけであり、特異点の形状や位置を特定するものではない。
物理法則の視点からは、特異点の存在は、因果律を破壊する原因になるので避けたいものである。ブラックホールなどの特異点は、事象の地平面で覆われることで問題にならないが、事象の地平面で覆われない「裸の特異点」が出現すれば物理的に厄介である。ペンローズ はこの立場から、宇宙検閲官仮説 (cosmic censorship conjecture) を提唱した。自然界には裸の特異点は存在しないだろう、という予想である。しかし、この仮説の真偽については、明らかではなく、特殊な状況の数値シミュレーションでは裸の特異点が出現する、という報告もある。
相対性理論の示す特異点はあくまで古典論の範囲においてであり、量子力学的効果が無視できなくなる領域では相対性理論は破綻すると考えられている。したがって、量子効果を含めた特異点の考察は、ペンローズとホーキングの特異点の範囲外になる。相対論と量子論を融合する理論は量子重力理論と呼ばれており、この理論が特異点を解消、あるいは説明する�
9:烽ﾌと考えられている。量子重力理論は現在多くの理論物理学者が構築中である。
10:１３２人目の素数さん
20/10/07 13:57:30.10 OXD1LfLU.net
おならプー
11:１３２人目の素数さん
20/10/07 16:20:52.92 lRp92/A4.net
前スレ>1000
>なんだ、もう一匹のおサルかい？
>いまや、時枝不成立が分からないって、絶滅危惧種じゃんかｗ（＾＾；
おっちゃんです。
12:粋蕎
20/10/07 18:29:02.77 OlWQk+Mu.net
おっちゃんってつまり乙ちゃんじゃなくて小父ちゃん、じゃろ？爺様間近か､
猿MaraオナホしごきPapiyas一石大魔王と歳が近いか｡
儂はと言うとガキ顔なんで爺様とも小父ちゃんとも言われん｡
13:１３２人目の素数さん
20/10/07 19:20:01.76 CL/2GojZ.net
◆yH25M02vWFhP 読め
ｽﾚﾘﾝｸ(math板:17番)-19
乙 読め
ｽﾚﾘﾝｸ(math板:21番)-22
14:１３２人目の素数さん
20/10/07 20:48:48.32 YoByYxdr.net
>>10
>>なんだ、もう一匹のおサルかい？
>>いまや、時枝不成立が分からないって、絶滅危惧種じゃんかｗ（＾＾；
>おっちゃんです。
なんだ、R大の秀才のおっちゃんかい（＾＾；
生きていたのか！
お久しぶりだね～！！
おっちゃんの問題は、大学で確率論・確率過程論の単位を落としたことだ
だから、時枝記事のデタラメとトリックが見抜けないわけですよ
おっちゃんは、「オイラー定数γが有理数か？」という
数論研究者だったね
がんばっておくれ
15:１３２人目の素数さん
20/10/07 20:53:55.24 YoByYxdr.net
>>13
R大 応用数学科か
URLﾘﾝｸ(www.tus.ac.jp)
R大
応用数学科 | 理学部第一部 | 学部・専攻科
学科紹介
研究分野・対象
現在の科学の発展に応用数学は大きく寄与しており、データサイエンス、人工知能、IoT 等を支える基盤としても欠かすことのできないものです。本学科は、このような幅広い分野に数学を応用するために必要な、対象を分析・理解し、抽出した問題を解決する数理的な能力を備えた研究者・技術者・教員・公務員を育てることを目標としています。
学科の特徴
本学科は理論と応用の両面を志向する数理学系学科として、1961年に全国に先駆けて開設されました。その後の情報社会の変化に伴って、現在では、情報技術(IT)のいかなる進歩に対しても、状況を的確に把握・分析して、自らの数理的・論理的思考力によって柔軟に対応できる研究者、技術者、教員、公務員(国家公務員総合職)等を数多く輩出しています。
学びの特徴
本学科の教育の特色としては次の点が挙げられ、大学院までを考慮した教育体制により、多くの学生が本学の応用数学専攻に進学しています。
「統計科学」、「計算数学」、「情報数理」を柱とする充実した応用数学の専門教育。
統計科学・計算数学・情報数理の理論と応用、さらにはコンピュータを用いた実践的教育。
大学院(応用数学専攻)に直結したカリキュラム。
情報処理技術者、アクチュアリーなど実用的な資格の取得支援。
教育職員(数学・情報の免許状)養成のためのカリキュラムの充実。
16:現代数学の系譜 雑談
20/10/07 20:54:58.48 YoByYxdr.net
>>14
おっと、コテが抜けたな
おっちゃん、好きに遊んでいきなよ（＾＾
17:１３２人目の素数さん
20/10/09 23:15:31.59 lGStRqjO.net
馬鹿 - 5ちゃんねる
雄馬と雌鹿との間に生まれた雑種。繁殖能力は無い。転じて、建設的な会話が出来ず知能が低い者を指す言葉｡
実在する馬とロバと鹿と牛が合わさったゾウ
URLﾘﾝｸ(dailyportalz.jp)
四不像 - 馬の顔、ロバの尾、鹿の角、牛の蹄を持つ。おそらく旧時代の中国人が興味本位で掛け合わせた雑種｡
受 賞 者 仏 道 如来
↑解脱
数学教授 天 道 天人
数学科卒 人間道 俗人
数学科生 修羅道 修羅
他の理系 畜生道 畜生
文 系 餓鬼道 餓鬼
中卒高卒 地獄道 亡者
↓逸脱
コピペ専 外 道 混沌
外道に脱した者は意識を保ったまま外道界の他者の意識と混濁しつつ融合は一切せず汚辱し合いながら捏ね繰り回される
memo 3点リーダとセミコロンを用いて小数展開表示された3つの数の分類
0.999…999 桁数不特定の有限小数
0.999…=0.999…;…999999… 無限小数
0.999…;…999 非実数有限超実数
18:粋蕎
20/10/10 00:13:58.84 Vf6mOTWh.net
瀬田氏に告ぐ｡
無限小超実数 0.999…;…999999 は超実数でも実数との間の移行原理により 0.999… とは別の超実数である｡
故に 「『非実数』超実数」という呼び方が存在する。無限に近い実数から
無限小超実数だけ異なる有限超実数、非実数有限超実数｡
∵ 0.999…=0.999…;…999999… 無限小部表示部位の末尾が " … " で終わっている事に注意｡
また、集合論の見地からも実数は超実数の部分体が故に同様である｡
どちらの見地からも超実数で異なる数は実数でも異なる扱い。如何に極限により同じ実数に成ろとも、である｡
また更に言えば極限が違えど超極限で異なる。此の事からも超実数で異なる数は実数でも異なる扱いである｡
よく瀬田氏が 0.999…;…999000 も 0.999…;…000 も 0.999… と同一とする時の弁明に タオ の名と当該方法を出すが､
其の方法が有ろう事か タオ の超極限であり、超極限では 0.999…;…999999 は 0.999… と異なる数である｡
全く以て タオ の名と当該方法を挙げといて、其の内部で直ちに否定されてりゃ世話が無い｡
イアン・スチュアートがタオの方法を持ち出して謂わんとしている事は「初学時疑問提起者」の翻訳代弁と延長論考であり
「学生たちが訴える 0.999… こと 0.999…;…000 の数も数として認められるべきです」以上の事は言う積もりは無く
其れは数学界で超実数概念が市民権を得た時点で果たされている｡
75歳に成った今も尚、プロの数学者として数学出版に励んでいる英国ウォーリック大学名誉教授が
超実数概念が市民権を既に得ている事を知らん訳も、件の数が非実数有限超実数である事を分かっとらん訳も、無い｡
19:粋蕎
20/10/10 00:40:59.90 Vf6mOTWh.net
更に瀬田氏に告ぐ｡
前に「タオの考えも、イアンの考えも、俺様の考えも、論文に纏めてみなよ」ぉブチこいとったが
方法創案者のタオは 0.999… に関して不言及だから除外。イアンも非実数有限超実数が市民権を得た今、違う言い方をする｡
で、肝心のアンタじゃが「 0.999… と 1 は = とする考えも ≠ とする考えも有っていい。」と
必要不可欠なナショナリズム性を構築せず無節操にグローバリズムだけを掲げ述べとるに過ぎず
自分では何ら構築らしい構築は一切無し。合財が何ら確立された理性無き理性の微粒子のみ寄せ集め
構築の体を成さぬ虚構のみから成る虚栄心から衝いてでる「俺様」発言を混じえての、全き殼朽多の積み上げであり
むしろアンタの言う 0.999…≠1 とした場合の数系の構築は、儂の方が遥か先に進んどる位である｡
20:現代数学の系譜 雑談
20/10/10 07:59:24.69 9Sqq12HI.net
>>16-18
おっさんらスレチだよ
下記の”哀れな素人スレ 0.999…は1ではない”で遊んでいろよ
哀れな素人スレ 0.999…は1ではない その13
ｽﾚﾘﾝｸ(math板)
なお、参考に
無限小wikipediaと
滑らかな無限小解析wikipedia
を貼っておくよ
読んでたもれ（＾＾
なお、下記”滑らかな無限小解析”、「バナッハ＝タルスキのパラドックスは成立しない。なぜなら、大きさのある物体は点へと分解できないからである」は、面白いな（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
無限小
ライプニッツによる無限小の利用は、連続の法則（英語版）「有限な数に対して成り立つものは無限な数に対しても成り立ち、逆もまた然り」[* 1]や同質性の超限法則（英語版）（割り当て不能な量を含む式に対して、それを割り当て可能な量のみからなる式で置き換える具体的な指針）というような、経験則的な原理に基づくものであった。18世紀にはレオンハルト・オイラーやジョゼフ＝ルイ・ラグランジュらの数学者たちによって無限小は日常的に使用されていた。オーギュスタン＝ルイ・コーシーは自身の著書 Cours d'Analyse（『解析教程』）で、無限小を「連続量」(continuity) ともディラックのデルタ函数の前身的なものとも定義した。カントールとデデキントがステヴィンの連続体をより抽象的な対象として定義したのと同様に、パウル・デュ・ボア＝レーモン（英語版）は函数の増大率に基づく「無限小で豊饒化された連続体」(infinitesimal-enriched continuum) に関する一連の論文を著した。デュ・ボア＝レーモンの業績は、エミール・ボレルとトアルフ・スコーレムの両者に示唆を与えた。ボレルは無限小の増大率に関するコーシーの仕事とデュ・ボア＝レーモンの仕事を明示的に結び付けた。スコーレムは、1934年に最初の算術の超準モデルを発明した。連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された（ロビンソンは1948年にエドウィン・ヒューイット（英語版）が、および1955年にイェジー・ウォッシュ（英語版）が成した先駆的研究に基づき超準解析を展開した）。
つづく
21:現代数学の系譜 雑談
20/10/10 08:00:26.57 9Sqq12HI.net
>>19
つづき
ロビンソンの超実数 (hyper-reals) は無限小で豊饒化された連続体の厳密な定式化であり、移行原理（英語版）がライプニッツの連続の法則の厳密な定式化である。また、標準部（英語版）はフェルマーの擬等式の方法（英語版） (ad-equality, pseudo-equality) の定式化である。
ウラジーミル・アーノルドは1990年に以下のように書いている:
Nowadays, when teaching analysis, it is not very popular to talk about infinitesimal quantities. Consequently present-day students are not fully in command of this language. Nevertheless, it is still necessary to have command of it.[4]（訳: 今日では、解析学の授業において無限小量について述べることはあまり一般的ではない。その結果、当世の学生はこの言葉づかいに全く習熟していない。にも拘らず、未だにそれを扱うことが必要である）
目次
1 一階の性質
2 無限小を含む数体系
2.1 形式級数体
2.1.1 ローラン級数体
2.1.2 レヴィ-チヴィタ体
2.1.3 超越級数体
2.2 超現実数体
2.3 超実数体
2.4 準超実数体
2.5 二重数環
2.6 滑らかな無限小解析
滑らかな無限小解析
詳細は「滑らかな無限小解析」を参照
綜合微分幾何学（英語版）あるいは滑らかな無限小解析は圏論に起源を持つ。このやり方では、従来の数学において古典論理が用いられることから外れて、排中律 (l.e.m) の一般適用を排除する（つまり、"￢(a ≠ b)" が "a = b" を意味しない）。それにより、複零 (nilsquare) あるいは冪零無限小が定義可能になる（つまり、x2 = 0 および x ≠ 0 が同時に成立する数 x が存在しないことはない）。背景となる論理が直観主義論理であるため、このような数体系に前掲の分類 1, 2, 3 をどう当てはめることができるかは直ちには明らかでない（まずはこの分類の直観主義論理版を知らねばならない）。
つづく
22:現代数学の系譜 雑談
20/10/10 08:01:37.77 9Sqq12HI.net
>>20
つづき
URLﾘﾝｸ(ja.wikipedia.org)
滑らかな無限小解析
滑らかな無限小解析（英: Smooth infinitesimal analysis、SIA）は無限小の言葉を用いた微分積分学の現代的な再定式化（のひとつ）である。ウィリアム・ローヴェアのアイデアに基づき、また圏論の手法を用いることで、SIAは全ての関数は連続であって、離散的実体を用いて表現することができないものと見做す。SIAは理論としては総合微分幾何（英語版）の一部である。
複零（nilsquare）あるいは冪零（nilpotent）無限小とは、ε2 = 0 なる数 ε のことである（ε = 0 は真である必要がない）。
概要
このアプローチは排中律を拒否することによって従来の数学に用いられている古典論理から離れる。例えば NOT (a ≠ b) は a = b を含意しない。とくに、滑らかな無限小解析の理論においては、全ての無限小 ε に対し、NOT (ε ≠ 0) を証明することができるが、それにもかかわらず、全ての無限小がゼロに等しいということは偽であると証明される。[1]次の基本定理によって、排中律は成り立ちえないことが分かる（再び滑らかな無限小解析の文脈の中で理解するものとする）：
定理
実数全体 ? を定義域とする任意の関数は連続かつ無限回微分可能である。
この事実にもかかわらず、不連続関数 f(x) を f(x) = 1 (x = 0 のとき) かつ f(x) = 0 (x ≠ 0 のとき) とすることによって定義しようと試みることができる。もし排中律が成立するならば、この関数は全域で定義された不連続関数となる。しかしながら、x = 0 も x ≠ 0 も成立しないような、非常にたくさんの x （つまり無限小）が存在する。それゆえ、この関数は全ての実数に対しては定義されない。（訳注：より正確には「全ての実数に対して定義される」の否定が証明できる。だからといって「ある x が存在して f(x) が定義されない」ことは証明できない。もしそれが証明できたとしよう。すると、その x について、NOT (x = 0 OR x ≠0) が証明できる。ところが、グリベンコの定理により、直観主義論理では排中律の二重否定 NOT NOT (x = 0 OR x ≠ 0) は証明できる。こうして矛盾に至る。
つづく
23:現代数学の系譜 雑談
20/10/10 08:02:41.97 9Sqq12HI.net
>>21
つづき
標準的な数学が無矛盾である限り、SIAは無矛盾であるので、このようなことは起こりえない。すなわち、f が未定義となるような具体的な x の存在は証明できない。）
滑らかな無限小解析の典型的なモデルにおいては、無限小は可逆（invertible）ではなく（すなわち乗法逆元が取れない）、したがってこの理論は無限大数を含まない。しかし、可逆な無限小を含むようなモデルも存在する。
超準解析や超現実数といった、無限小を含むような他の数学的体系もある。滑らかな無限小解析は次の点で超準解析に似ている (1) 解析学の基礎となることを意図している (2) 無限小量は具体的な大きさを持たない（フォン・ノイマン順序数 ω の逆数 1/ω を典型的な無限小とする超現実数とは対照的に）。しかし、滑らかな無限小解析は、非古典論理を使用する点および移行原理（英語版）を欠いている点で、超準解析とは異なっている。中間値の定理やバナッハ＝タルスキのパラドックスを含む、標準解析と超準解析の幾つかの定理は、滑らかな無限小解析に於いては偽である。超準解析の文は極限に関する文へと翻訳可能であるが、同じことは滑らかな無限小解析に於いては必ずしも成り立たない。
直観的には、滑らかな無限小解析は、点ではなく、無限に小さな切片から構成された直線の世界を記述するものと解釈することができる。それらの切片は方向を持つに十分な長さであるが、曲がるには不十分な長さであると思うことができる。不連続関数の構成は失敗する。というのは、関数は曲線と同一視されるが、曲線を点毎に構成することはできないからである。中間値の定理の不成立は、無限小切片の持つ、線を跨ぐ能力に起因するものと想像することができる。（訳注：関数が無限小切片の中で中間値を通過した（跨いだ）とすると、その切片の中のどの点が中間値を与えるのかを特定できない。
つづく
24:現代数学の系譜 雑談
20/10/10 08:04:09.15 9Sqq12HI.net
つづき
もちろん、[0, 1] 上定義された f(x) = x という具体的な関数が中間値 0≦m≦1 を持つことは、x = m と具体的に与えることで証明できる。中間値の定理が、全ての関数に対して中間値を取る点の存在を主張していること、これが問題である。これを証明するには、所与の関数と中間値から、その値を取る点を具体的に構成する手続きを与える必要があるが、前述の理由によって、そのことは叶わない。）
同様に、バナッハ＝タルスキのパラドックスは成立しない。なぜなら、大きさのある物体は点へと分解できないからである。
(引用終り)
以上
25:粋蕎
20/10/10 09:27:38.43 Vf6mOTWh.net
> 滑らかな無限小解析の典型的なモデルにおいては、無限小は可逆（invertible）ではなく（すなわち乗法逆元が取れない）、したがってこの理論は無限大数を含まない。
もう此の時点で実数を部分体として含むか怪しい件
> しかし、可逆な無限小を含むようなモデルも存在する｡
其れ持って来てから反論せい
26:現代数学の系譜 雑談
20/10/10 13:14:58.93 9Sqq12HI.net
>>24
おっさんスレチだよ
下記の”哀れな素人スレ 0.999…は1ではない”で遊んでいろよ
哀れな素人スレ 0.999…は1ではない その13
ｽﾚﾘﾝｸ(math板)
ここは学会じゃない
なんで、数学界で認められている議論を
否定するおっさん相手に
おれが論争しなけりゃ、いかんわけ？
そんな、くさい議論は
哀れな素人氏相手に
やんなよ
27:１３２人目の素数さん
20/10/10 14:12:02.24 qhDoiBwY.net
総合微分幾何って何なの？
28:現代数学の系譜 雑談
20/10/10 15:07:01.29 9Sqq12HI.net
>>26
総合微分幾何か、初耳だが
”総合微分幾何（英語版）”（>>21）のリンクを辿ると下記だな
Synthetic differential geometryを”総合微分幾何（英語版）”と訳したみたいだが
誤訳っぽいかもね（＾＾；
”Synthetic”には、「《化学》合成の；（宝石が）模造の」、「3本物でない，作りごとの」、「[名]C合成品；模造品」
という意味があるのでこちらだろうね
”a formalization of the theory of differential geometry in the language of topos theory.”で
topos theory から、合成した ” topos theory.”という意味だと思う
興味あるなら、英文サイトにＰＤＦへのリンクがあるので、見て下さい
参考
URLﾘﾝｸ(dictionary.goo.ne.jp)
goo
synthetic とは 小学館 プログレッシブ英和中辞典
[形]
1統合的な，総合の，組み合わせの（⇔analytic）
2《化学》合成の；（宝石が）模造の；《言語学》総合的な（⇒synthesis 2）；《哲学》総合（哲学）の
synthetic resin
合成樹脂
synthetic detergent
合成洗剤
3本物でない，作りごとの
a synthetic smile
取ってつけたような笑い
━[名]C合成品；模造品
URLﾘﾝｸ(en.wikipedia.org)
Synthetic differential geometry
In mathematics, synthetic differential geometry is a formalization of the theory of differential geometry in the language of topos theory. There are several insights that allow for such a reformulation. The first is that most of the analytic data for describing the class of smooth manifolds can be encoded into certain fibre bundles on manifolds: namely bundles of jets (see also jet bundle). The second insight is that the operation of assigning a bundle of jets to a smooth manifold is functorial in nature. The third insight is that over a certain category, these are representable functors. Furthermore, their representatives are related to the algebras of dual numbers, so that smooth infinitesimal analysis may be used.
つづく
29:現代数学の系譜 雑談
20/10/10 15:07:29.46 9Sqq12HI.net
>>27
Synthetic differential geometry can serve as a platform for formulating certain otherwise obscure or confusing notions from differential geometry. For example, the meaning of what it means to be natural (or invariant) has a particularly simple expression, even though the formulation in classical differential geometry may be quite difficult.
Further reading
John Lane Bell, Two Approaches to Modelling the Universe: Synthetic Differential Geometry and Frame-Valued Sets (PDF file)
F.W. Lawvere, Outline of synthetic differential geometry (PDF file)
Anders Kock, Synthetic Differential Geometry (PDF file), Cambridge University Press, 2nd Edition, 2006.
R. Lavendhomme, Basic Concepts of Synthetic Differential Geometry, Springer-Verlag, 1996.
Michael Shulman, Synthetic Differential Geometry
Ryszard Pawe? Kostecki, Differential Geometry in Toposes
(引用終り)
以上
30:現代数学の系譜 雑談
20/10/10 15:08:54.31 9Sqq12HI.net
>>27 訂正
topos theory から、合成した ” topos theory.”という意味だと思う
↓
topos theory から、合成した ” differential geometry”という意味だと思う
失礼しました（＾＾；
31:ID:1lEWVa2s
20/10/10 15:55:05.40 Fj/suf4I.net
はくちょう座x-1
32:ID:1lEWVa2s
20/10/10 15:55:12.52 Fj/suf4I.net
。
33:１３２人目の素数さん
20/10/10 16:47:08.79 E5ne0RUW.net
>>25
>ここは学会じゃない
>なんで、数学界で認められている議論を
否定するおっさん相手に
>おれが論争しなけりゃ、いかんわけ？
何で嘘をつくの？自分が読み間違ってる可能性を考えないの？
34:粋蕎
20/10/10 17:24:48.22 Vf6mOTWh.net
瀬田氏は独りっ子じゃったんじゃろ
下の子が居らんけぇ示しが付かん状況を恥じる気持ちの芽生えから学ぶ心も養われず
上の子が居らんけぇ親とは違う立場ながら身近な存在から叱責される状況を恐れる気持ちの芽生えから学ぶ心も養われず｡
じゃけぇ他力本願に育つ。下の子が居らんけぇ察してちゃん、上の子が居らんけぇ恥を匿われ気付かせて貰えん｡
じゃけぇ、タオの超羃構成が用いられた主張ながら主張自体には不参加のタオをあたかも主張参加者であるかの様に吹聴
じゃけぇ初学の学生たちが 0.999… として提起してはいつつも 0.999… とは似て非じゃった数の
市民権を主張したに過ぎんイアンをあたかも 0.999…≠1 数系提示者として吹聴
挙げ句の果てには瀬田氏は自身を 0.999…≠1 数系提示者として全き虚偽を吹聴
成程。此処は餓鬼道にも在らず、地獄道にも至らぬ黄泉の三途か｡
六道輪廻、天道・人道・修羅道・畜生道・餓鬼道・地獄道｡
輪廻から超脱型解脱して仏道、逸脱型解脱して外道｡
地獄にも進めず餓えが収まらぬ食い物を貪り続ける餓鬼と成る事も拒否。ならば行く先は外道のみ｡
35:現代数学の系譜 雑談
20/10/10 18:01:32.04 9Sqq12HI.net
>>32
>何で嘘をつくの？自分が読み間違ってる可能性を考えないの？
意味わからん
”自分が読み間違ってる可能性”？
いいんじゃない？
だれが、何を、どう読み間違おうと、他人には関係ないことだろ？
そもそも、そんなことを議論するほどヒマじゃないし、議論する必要なし！
36:１３２人目の素数さん
20/10/10 18:15:31.02 029CX3aF.net
|∞＼ﾊｧｧ~ｨ!／(>>33ﾟ)ﾋﾄﾘｯｺ
|´∀`)ﾉ゛ (u )
呼ﾝﾀﾞ~? uu
|∞ﾟ🍄｡｡｡ぬしさまﾊ｡｡｡
|´∀`)σ『妹餅第1子長男』
ｯﾁｬﾏﾀﾞﾄ思ｨﾏ~ｽ!
|∞
|д`)…
|∞
|`)答ｪ合ﾜｾ…
с
|∞ ぬしさまｫ蕎麦ｯﾁｬﾏﾄ
|д`))ｪﾓﾋﾟｰ…
с ﾄﾞｯﾁｶ当ﾀｯﾃﾏｽｶ?
個人情報聞ｨﾁｬｯﾀ~!
|=³
37:現代数学の系譜 雑談
20/10/10 20:31:56.43 9Sqq12HI.net
>>35
いらしゃい
答えは、ご想像にお任せします（＾＾
38:粋蕎
20/10/10 21:57:10.49 Vf6mOTWh.net
×資料収集スレ
○ミスリードスレ
×手助け
○無責任
×自由
○放縦
39:現代数学の系譜 雑談
20/10/10 22:56:11.39 9Sqq12HI.net
５ｃｈ掲示板（含む数学）
○匿名カキコ（どこの馬の骨だか分からないのが普通）
○便所の落書き（みんな気楽に書いている）
○玉石混淆（ガセネタも多い）
それを承知で、５ｃｈ掲示板に来ているんじゃないのか？
”木によって魚を求める”という
５ｃｈ掲示板で、権威や責任を求めるって？
おっさん、来る場所 間違えているぜ！
（参考）
URLﾘﾝｸ(kotobank.jp)
木に縁って魚を求む （読み）きによってうおをもとむ
精選版 日本国語大辞典の解説
方法を誤ると何かを得ようとしても得られないこと、また、見当違いの困難な望みをもつことのたとえ。天をさして魚を射る。氷をたたき火を求む。
※本朝文粋（1060頃）二・意見十二箇条〈三善清行〉「国司依レ例、令レ致二祈念一、望二其感応一、譬猶二縁レ木求レ魚、向レ
40:竈採一レ花也」 〔孟子‐梁恵王・上〕
41:１３２人目の素数さん
20/10/10 23:24:04.43 0imu9lcG.net
>>13
>おっちゃんの問題は、大学で確率論・確率過程論の単位を落としたことだ
>だから、時枝記事のデタラメとトリックが見抜けないわけですよ
The Riddleの成否から逃げ続ける瀬田の負け。
The Riddle不成立と答えたら選択公理と同値類を理解できていないことになるし、
The Riddle成立と答えたら小学校レベルの確率を理解できていないことになる。
だから瀬田は逃げ続ける。
42:粋蕎
20/10/11 00:08:49.15 gjeL+oUl.net
あーあ
>>38
其れを書くとアンタは出鱈目出任せ張ったり大嘘大法螺吹きを公言する事になる
43:１３２人目の素数さん
20/10/11 07:56:23.80 +yye+rNf.net
もはや風評被害を招く風説の流布
44:現代数学の系譜 雑談
20/10/11 08:06:41.55 J8YoB+CX.net
>>40
>其れを書くとアンタは出鱈目出任せ張ったり大嘘大法螺吹きを公言する事になる
１．>>38は、５ｃｈ掲示板（含む数学）の原理原則を言った
２．みんなお気楽に書いている匿名掲示板で、玉石混淆（ガセネタも多い）カキコの真贋を見分ける能力がないというなら、来るべきではない。まあ、全部お笑いと思うのも可
３．自分のカキコには、殆どが根拠になる文典を付けている。正しいか正しくないか、根拠になる文典も総合して判断して貰えば良い
４．このスレに書かれたことで、私が間違っていると思ったことには、私からのツッコミが入る
５．つまらん レベルの低い議論と思ったら、それには参加しない
ここは、そういうスレです
引用している文典を中心に読んで貰えば良いのです
45:現代数学の系譜 雑談
20/10/11 08:08:12.85 J8YoB+CX.net
>>39
ほいよ
下記な
スレチだよ
（参考）
現代数学の系譜 カントル 超限集合論他 3
ｽﾚﾘﾝｸ(math板:203番)-204
46:１３２人目の素数さん
20/10/11 08:24:43.89 rB3Yq7+i.net
仕切りたがり屋
47:粋蕎
20/10/11 08:43:57.84 gjeL+oUl.net
>>42
残念ながら其れは読者への単なる注意喚起であり、投稿者の発言責任は厳密には付きまとう｡
また、其の文典引用も回答先に対して的外れ引用回答じゃと誤解説に就き>>41の言う通り風説の流布となり
此処が一番の問題、『引用元への迷惑行為』となる。アンタの誤解説引用が引用元へとばっちりへと発展する｡
要するにアンタのやっとる行為は飛ばし記事を掲載するブラックジャーナリストと同様、阿漕な行為｡
報道免許が無くとも情報発信が可能に成った時代に入り発信者責任が強まった以上､
ブラックジャーナリストは報道倫理法律他色々に悖るが、非ジャーナリストの飛ばし発信も
大なり小なり深刻度に差が有るのみで実質は同じ｡
48:１３２人目の素数さん
20/10/11 08:48:49.77 lgnBZIqQ.net
おっちゃんへ
よろこべ、R科大数学科にも逸材がいたぞ
URLﾘﾝｸ(asahi-e.net)
・・・残念ながら、数学の逸材ではないがｗ
49:現代数学の系譜 雑談
20/10/11 10:40:04.77 J8YoB+CX.net
>>45
一つのご意見として承った
だが、おっさんと数学の議論する気ない。言いたいことは、それだけ
50:現代数学の系譜 雑談
20/10/11 11:04:58.98 J8YoB+CX.net
>>27 補足
>Synthetic differential geometry
>”Synthetic”には、「《化学》合成の；（宝石が）模造の」、「3本物でない，作りごとの」、「[名]C合成品；模造品」
>という意味があるのでこちらだろうね
下記「1統合的な，総合の，組み合わせの（⇔analytic）」で、analyticの反対でsyntheticかというと、違う
むしろ、天然ゴミ⇔合成ゴム みたいな意味でしょう
従来のdifferential geometryが、自然に発生したのに対し
Synthetic differential geometryは、”topos theory（排中律ベース）から作り上げた differential geometry”という意味でしょう
因みに、数学でanalysisは「解析学」と訳されるから、”differential”で両者とも”analytic”です
Synthetic differential geometryで、”analytic”な部分が無くなるわけではない！（＾＾；
URLﾘﾝｸ(dictionary.goo.ne.jp)
goo synthetic とは プログレッシブ英和中辞典
1統合的な，総合の，組み合わせの（⇔analytic）
2《化学》合成の；（宝石が）模造の
URLﾘﾝｸ(en.wikipedia.org)
Synthetic differential geometry
In mathematics, synthetic differential geometry is a formalization of the theory of differential geometry in the language of topos theory.
URLﾘﾝｸ(ja.wikipedia.org)
解析学
解析学（analysis, mathematical analysis）とは、極限や収束といった概念を扱う数学の分野である[1][2]。代数学、幾何学と合わせ数学の三大分野をなす。
数学用語としての解析学は要素還元主義とは異なっており、初等的には微積分や級数などを用いて関数の変化量などの性質を調べる分野と言われることが多い。これは解析学がもともとテイラー級数やフーリエ級数などを用いて関数の性質を研究していたことに由来する
解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する
解析学は微積分をもとに、微分方程式や関数論など多岐に渡って発達しており[6]、現代では確率論をも含む
51:現代数学の系譜 雑談
20/10/11 11:43:59.41 J8YoB+CX.net
前スレより
純粋・応用数学（含むガロア理論）4
ｽﾚﾘﾝｸ(math板:766番)
(抜粋)
自分で言ったこと覚えているか？
「行列式はテンソルです」(>>576)
「内積も、行列式同様、テンソルです」（>>593）
って、言ったよね
(引用終り)
これ、前スレからだが、再度潰しておく（＾＾
１．話を簡単にするために、内積を取り上げる
２．内積は、下記のように、”直積 (ベクトル) 内積との対比” にあるように、二つのベクトルのテンソル積から成る行列のトレースで、スカラー
３．一方、二つのベクトルのテンソル積からできるテンソル空間の元としてのテンソルは、元の一つのベクトル空間よりも、その次元は大きい
４．よって、二つのベクトルの内積たるスカラーが、二つのベクトルのテンソル積からできる テンソル空間の元としてのテンソル には、成り得ない！
但し、”直積 (ベクトル) 内積との対比” にあるように、両者にはある関係が成立している のですが
ＱＥＤ
以上（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB)
直積 (ベクトル)
(抜粋)
直積（ちょくせき、英: direct product[1]）あるいは外積（がいせき、英: outer product）は典型的には二つのベクトルのテンソル積を言う。座標ベクトル（英語版）の外積をとった結果は行列になる。外積の名称は内積に対照するもので、内積はベクトルの対をスカラーにする。外積は、クロス積の意味で使われることもあるため、どちらの意味で使われているか注意が必要である。
内積との対比
m = n のときは別な仕方で行列の積を施してスカラー（1 × 1 行列）が得られる。つまり、数ベクトル空間の標準内積（点乗積）<u, v> = uT v である。内積は外積のトレースに等しい。
（注：uTは、ベクトルuの転置。つまり、いまベクトルu, vは列ベクトルで、uTはuを行ベクトルにしている）
つづく
52:現代数学の系譜 雑談
20/10/11 11:44:19.74 J8YoB+CX.net
>>49
つづき
URLﾘﾝｸ(ja.wikipedia.org)
テンソル積
共通の体 K 上の二つの ベクトル空間 V, W のテンソル積 V ◯xK W（基礎の体 K が明らかな時には V ◯x W とも書く）はふたたびベクトル空間を成す。ベクトル空間のテンソル積を繰り返して得られるテンソル空間は物理的なテンソルを数学的に定式化する。テンソル空間に種々の積を入れてさまざまな多重線型代数・クリフォード代数が定式化されるが、その基本となる演算がテンソル積である。
定義
商としての定義
一般に、体 K 上のベクトル空間 V, W �
53:ｪ与えられたとき、それらのテンソル積 U = V ◯x W は、デカルト積 V × W の生成する K-上の自由線型空間 F(V × W) の、 略 で与えられる同値関係 ? による商として定義することができる。これは F(V × W) における演算から誘導される演算によりベクトル空間を成す。言葉を変えれば、テンソル積空間 V ◯x W は上記の同値関係に関する零ベクトルの属する同値類を N とするときの商線型空間 F(V × W)/N である。 普遍性 テンソル積は普遍性を用いて定義することもできる。この文脈では、テンソル積は同型を除いて一意的に定義される。ベクトル空間のテンソル積は以下の普遍性を満たす: テンソル積の普遍性 (引用終り) 以上
54:現代数学の系譜 雑談
20/10/11 11:45:53.69 J8YoB+CX.net
>>49 補足
＞ ２．内積は、下記のように、”直積 (ベクトル) 内積との対比” にあるように、二つのベクトルのテンソル積から成る行列のトレースで、スカラー
行列式も、内積同様の説明が可能です
が、長くなるので、また機会があればね（＾＾；
（過去スレでは、書いてあるが（＾＾ ）
55:１３２人目の素数さん
20/10/11 12:06:01.71 85hcVO5n.net
>>43
>>13で時枝を持ち出したおまえが言うな
56:現代数学の系譜 雑談
20/10/11 13:47:12.50 J8YoB+CX.net
>>52
>>>13で時枝を持ち出したおまえが言うな
？？
>>13より
>>10
>>なんだ、もう一匹のおサルかい？
>>いまや、時枝不成立が分からないって、絶滅危惧種じゃんかｗ（＾＾；
>おっちゃんです。
(引用終り)
ってあるよね
で、>>10より
前スレ>1000
>なんだ、もう一匹のおサルかい？
>いまや、時枝不成立が分からないって、絶滅危惧種じゃんかｗ（＾＾；
(引用終り)
ってあって
純粋・応用数学（含むガロア理論）4
ｽﾚﾘﾝｸ(math板:999番)-1000
999 名前：１３２人目の素数さん[sage] 投稿日：2020/10/07(水) 16:06:53.18 ID:lRp92/A4 [5/5]
>>997
やはり、時枝記事を理解していなかった。
1000 名前：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2020/10/07(水) 16:15:59.79 ID:oCnj8J9r [10/10]
なんだ、もう一匹のおサルかい？
いまや、時枝不成立が分からないって、絶滅危惧種じゃんかｗ（＾＾；
(引用終り)
という流れだよ
つまり、>>13で時枝を持ち出したのは、前スレ ｽﾚﾘﾝｸ(math板:999番)からの流れで
自分から持ち出したのでは無く、持ち出した相手に応答しただけのことだ
57:現代数学の系譜 雑談
20/10/11 13:49:41.37 J8YoB+CX.net
>>53 補足
単に、時枝記事という相手に応答したのであって
時枝記事の議論は、別スレがあるので、そっちでってことですよ（＾＾
58:１３２人目の素数さん
20/10/11 14:34:38.17 85hcVO5n.net
>>53
>自分から持ち出したのでは無く、持ち出した相手に応答しただけのことだ
同じことは>>39にも言えるんだがバカですか？
59:１３２人目の素数さん
20/10/11 14:54:30.37 rB3Yq7+i.net
なんで似たようなスレがいくつもあるんだ？
60:現代数学の系譜 雑談
20/10/11 17:50:56.39 J8YoB+CX.net
>>55
>同じことは>>39にも言えるんだがバカですか？
それで止めておけ、このスレではね
時枝を論じるスレは、別にあるってことさ（＾＾
（下記）
（参考）
現代数学の系譜 カントル 超限集合論他 3
ｽﾚﾘﾝｸ(math板:203番)-204
61:現代数学の系譜 雑談
20/10/11 17:52:58.59 J8YoB+CX.net
>>56
＞なんで似たようなスレがいくつもあるんだ？
統合失調症（旧名 精神分裂症）
のクスリを飲んでいる人が
分裂スレを立てたんだ
ここは、”ガロア”スレだよ
おれ、”スレ主”ｗ（＾＾；
62:１３２人目の素数さん
20/10/11 17:53:36.40 85hcVO5n.net
>>57
>それで止めておけ、このスレではね
自分はやっておいて人には止めろとは横柄にも程がある
63:現代数学の系譜 雑談
20/10/11 18:05:24.66 J8YoB+CX.net
>>59
＞自分はやっておいて人には止めろとは横柄にも程がある
おれスレ主（＾＾；
64:現代数学の系譜 雑談
20/10/11 18:09:30.47 J8YoB+CX.net
>>59
あっちのアホスレへ行ったらどうだ？ｗ（＾＾
純粋・応用数学 5
ｽﾚﾘﾝｸ(math板)
65:１３２人目の素数さん
20/10/11 19:18:05.21 85hcVO5n.net
>あっちのアホスレへ行ったらどうだ？ｗ（＾＾
一番のアホに言われても（＾＾
66:現代数学の系譜 雑談
20/10/11 19:42:39.14 J8YoB+CX.net
じゃ、こっちのアホスレに居なよ
アホ仲間としてな（＾＾；
67:１３２人目の素数さん
20/10/11 21:39:48.58 85hcVO5n.net
>>60
キチガイがスレ立てるなよ
68:現代数学の系譜 雑談
20/10/11 22:28:22.95 J8YoB+CX.net
>>64
あんた、運営？
運営でも無い人が、指図するなよ、おいｗ（＾＾；
69:１３２人目の素数さん
20/10/11 22:46:51.23 +yye+rNf.net
外積代数入門 クロス積 ウェッジ積 テンソル
URLﾘﾝｸ(www.osssme.c)
70:om/doc/funto105-no260.html
71:１３２人目の素数さん
20/10/11 23:00:55.59 85hcVO5n.net
>>65
スレ立てたくらいでスレ主とかほざいて指図してるおまえが言うな
72:粋蕎
20/10/11 23:03:07.77 gjeL+oUl.net
0階テンソル 量
a
1階テンソル ベクトル
(a_1 a_2 a_3)
2階テンソル 行列
／a_11 a_12 a_13＼
｜ a_21 a_22 a_23 ｜
＼a_31 a_32 a_33／
3階テンソル 行列段 ← 当レス限定呼称
／a_111 a_112 a_113＼
｜ a_121 a_122 a_123 ｜
＼a_131 a_132 a_133／
／a_211 a_221 a_231＼
｜ a_221 a_222 a_223 ｜
＼a_231 a_232 a_233／
／a_311 a_321 a_331＼
｜ a_321 a_322 a_323 ｜
＼a_331 a_332 a_333／
階も層も別の意味が与えられていたから段と仮称した
73:現代数学の系譜 雑談
20/10/11 23:11:36.60 J8YoB+CX.net
>>49 補足
＞「内積も、行列式同様、テンソルです」（>>593）
下記の 物理のかぎしっぽ ”もういちどだけ内積・外積”では
テンソルと内積は、全く別ものです
テンソルは基底 ei ◯x ej を持つ
一方、内積は、下記
「1.もし i=j ならば， ei ◯x ei =1 とする．
2.もし i ne j ならば， ei ◯x ej =0 とする．」
の二つの条件で、 ei ◯x ejなる基底を潰してできたもの
繰返すが
テンソルは、9 種類の独立な基底を持つ
スカラーは基底を持たない
（参考）
URLﾘﾝｸ(hooktail.org)
ベクトル解析 物理のかぎしっぽ
URLﾘﾝｸ(hooktail.sub.jp)
もういちどだけ内積・外積 物理のかぎしっぽ （Joh著）
(抜粋)
内積
基底の積 ei ◯x ej に関して，次のようなルールを決めることにします．
1.もし i=j ならば， ei ◯x ei =1 とする．
2.もし i ne j ならば， ei ◯x ej =0 とする．
すると式 (1) は次のようになります．
A ◯x B =a^1b^1e1 ◯x e1+a^2b^2e2 ◯x e2+a^3b^3e3 ◯x e3 =a^1b^1+a^2b^2+a^3b^3
このルール 1 ～ 2 を導入する場合は，特に ◯x の代わりに ・t と書くことにしましょう．
A ・ B=a^1b^1+a^2b^2+a^3b^3
これはご存知の通り，内積に他なりません．内積とは『二つのベクトルがどれくらい似ているか』を示す量でしたが（ 内積空間 参照），上のルールは確かに似ているベクトルだけを選ぶという働きをしています．
つづく
74:現代数学の系譜 雑談
20/10/11 23:12:08.93 J8YoB+CX.net
>>69
つづく
テンソル
私達は，最初にそのままベクトルを掛け合わせ，そこに独特のルールを課することで内積と外積を分離しましたが，何も分離しないで，そのままテンソル積 ◯x の形で考えることもできます．このようにして出てきた量は，テンソルと呼ばれます．もう一度，式 (1) を眺めてみましょう．
A ◯x B
=(a^1e1+a^2e2+a^3e3) ◯x (b^1e1+b^2e2+b^3e3)
=a^1b^1(e1 ◯x e1)+a^1b^2(e1 ◯x e2)+a^1b^3(e1 ◯x e3) +a^2b^1(e2 ◯x e1)+a^2b^2(e2 ◯x e2)+a^2b^3(e2 ◯x e3) +a^3b^1(e3 ◯x e1)+a^3b^2(e3 ◯x e2)+a^3b^3(e3 ◯x e3) （1)
基底として， ei ◯x ej の形のものが大量に出てきましたが，これらはこれ以上変形したり簡単には出来ない独立なものとして，そのままにしておきます．つまり，これらを 9 種類の独立な基底と考えるわけです．
(引用終り)
以上
75:現代数学の系譜 雑談
20/10/11 23:32:54.20 J8YoB+CX.net
>>66
>外積代数入門 クロス積 ウェッジ積 テンソル
>URLﾘﾝｸ(www.osssme.com)
ありがとう
あのー、それ書いている人
大学の数学教員ではなく
巷の数学をお勉強した人が、自分のホームページに書いているでしょ
で、種本があると思うけど
その記事で
(引用開始)
直積とは何やねん!!
1階のテンソル(ベクトル)同士の直積
URLﾘﾝｸ(www.osssme.com)
外積とは違う計算方法だ。
1階のテンソル同士の直積により、2階のテンソル(行列)ができるのだ。
全部の成分の組み合わせを掛けているのだ。
直積の演算記号は○の中に「×」が入った記号になるのだ。
1階のテンソル同士の直積により、2階のテンソル(行列)ができる
URLﾘﾝｸ(www.osssme.com)
直積の表記は上図のようになるのだ。
(引用終り)
ここのベクトルの「直積」は、下記の通りテンソル積です。テンソル積と書く方が良いと思う
で、ベクトルの「直積」とベクトル空間の直積・直和・テンソル積の関係とで、結構混乱するから（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB)
直積 (ベクトル)
線型代数学における直積（ちょくせき、英: direct product[1]）あるいは外積（がいせき、英: outer product）は典型的には二つのベクトルのテンソル積を言う
つづく
76:現代数学の系譜 雑談
20/10/11 23:33:27.21 J8YoB+CX.net
>>71
つづき
URLﾘﾝｸ(ja.wikipedia.org)
ベクトル空間
7.2 直積と直和
7.3 テンソル積
直積と直和
添字集合 I が有限ならばこの二つの構成は一致するが、そうでないならば違うものを与える。
テンソル積
詳細は「ベクトル空間のテンソル積」を参照
同じ体 F 上の二つのベクトル空間 V と W のテンソル積 (英: tensor product ) V ◯xF W あるいは単に V ◯x W は、線型写像を多変数にするような概念の拡張を扱う多重線型代数における中心的な概念のひとつである。写像 g : V × W → X が双線型写像であるとは、g が両変数 v, w の何れについても線型であることを言う。これはつまり、w を固定したとき写像 v ? g(v, w) が線型であり、かつ v を固定した時も同様であることを意味する。
テンソル積は以下のような意味で、双線型写像を普遍的に受け入れる特別のベクトル空間である。
(引用終り)
以上
77:現代数学の系譜 雑談
20/10/11 23:37:51.64 J8YoB+CX.net
>>68
ありがと
ご苦労さまです
それと
>>66より
外積代数入門 クロス積 ウェッジ積 テンソル
URLﾘﾝｸ(www.osssme.com)
を併読するのが良いと思う
78:現代数学の系譜 雑談
20/10/12 00:02:34.06 uhfnmhnr.net
>>73 補足
>>66より
外積代数入門 クロス積 ウェッジ積 テンソル
URLﾘﾝｸ(www.osssme.com)
あとー、これ
システム奮闘記
電磁気学入門の目次 ってあるように
あくまで、電磁気学を主眼とした記事であって
物理系ないし電気工学系の議論ですよね
なので、そこを割り引いて考えておくように
例えば、雪江明彦で
代数学2 テンソル積
代数学3 テンソル代数
があるけど
ここには、”反変テンソル”、”共変テンソル”は、一切出てきません！！（＾＾；
単に”テンソル”ですｗ（＾＾
それで、ええんか？ とは思うけど
雪江明彦の代数学としては、良いんでしょうね～！
つまり、物理系で具体的な物理対象を扱うときは、”反変テンソル”、”共変テンソル”が重要になるけど
代数学としては、取り敢ずは、”反変”・”共変”関係ねーってことでしょうかね？
（因みに、余談ですが、雪江明彦 代数学3 6.2 圏と関手では、反変関手と共変関手は、登場します（＾＾ ）
79:現代数学の系譜 雑談
20/10/12 15:17:37.97 u962yH/I.net
>>68 補足
１．いま（21世紀）、巷のテンソルには大きく３種あると思う
２．一つは、>>68みたく単に数字を規則的に並べたもの（下記得居に同じ）。主に、コンピュータのデジタル処理用
３．二つ目は、そもそもテンソルの発祥の（有名なコーシーら考えたという）物理的解析のための道具としてのテンソル。アインシュタインもこれ（下記URLご参照）
URLﾘﾝｸ(www.osssme.com) 外積代数入門 クロス積 ウェッジ積 テンソル
URLﾘﾝｸ(hooktail.sub.jp) もういちどだけ内積・外積 物理のかぎしっぽ （Joh著）
４．三つ目は、純粋数学に近いテンソル。 雪江明彦の代数学2,3とか、URLﾘﾝｸ(www.ozawa.phys.waseda.ac.jp) テンソル空間 平成 26 年 11 月 小澤 徹 ご参照
ネット検索で資料を見つけたときに、上記の３分類を頭に入れておくのが良い
見つけた資料が、この３つのどの立場で書かれているかを確認することだ
それから、テンソルの文献では、用語が非常に混乱している。ベクトルの直積が、実はテンソル積だとかね。それで、
80:ベクトル空間のテンソル積と、空間を集合と見たときの直積は別とかね あと、書いている人のレベルが、大学教員か、巷の数学愛好家が趣味で書いているか（後者は、種本が古いとかバイアスがかかっているときもある） 取りあえず、こんなところにご注意を（＾＾； （参考） http://www.orsj.or.jp/archive2/or60-4/or60_4_191.pdf オペレーションズ・リサーチ 最適化から見たディープラーニングの考え方 得居 誠也 2015 年 4 月号 P195 図 5 畳み込み層の概略図．入力と出力はともに 3 階のテンソルで表される． テンソルの各軸は，画像の縦・横方向およびチャンネルの種類に対応する． 各チャンネルは，入力がカラー画像なら R，G，B ここの得居誠也氏のディープラーニング 、”3 階のテンソル”は 代数学の抽象テンソルとは、無関係。むしろ、単なる直積集合（デカルト積）と思うべし では、なぜデカルト積と言わず3 階のテンソルというかと言えば、添え字が3種ってことでしょ（＾＾ 普通、デカルト積は添え字は１種類で済ませるのに対し、テンソルは複数添え字を使うので、これを借用したと思う (引用終り)
81:現代数学の系譜 雑談
20/10/13 07:31:16.34 Nk0YN5V9.net
>>75 補足
>あと、書いている人のレベルが、大学教員か、巷の数学愛好家が趣味で書いているか（後者は、種本が古いとかバイアスがかかっているときもある）
後者の「巷の数学愛好家が趣味で書いている」場合
自分が分からないとｌころを丁寧に書いてくれているときがあってね
同じ悩みを持つ者として、共感できる場合が多い
問題点は、個人のバイアスが掛かっているとか、たまに誤記があることがあるってこと
前者の大学教員の場合
書いていることは正確だろうが
数学のできる人が書いているから、分かる人が分かるようにしか 書かれていないことが多いってこと
なので
両方読むのが良いと思う（＾＾；
82:現代数学の系譜 雑談
20/10/13 15:49:47.96 t1UkFUbE.net
>>75 補足
wikipediaは、必ずしも、数学専門ではなく
一般大衆向けの記述であることがしばしばある
そのとき、物理学や工学向けの記述が主になるときがしばしばある
（因みに、AI流の単なる数字の配列としての記述はまだない）
そこは、読むときに注意しておくのがいい
雪江明彦の代数学2,3のテンソルの記述と、wikipediaの記述とは結構ずれている
雪江明彦は、彼の扱う範囲を、彼なりに定義しているよ（当たり前だが）（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
テンソルとは、線形的な量または線形的な幾何概念を一般化したもので、基底を選べば、多次元の配列として表現できるようなものである。しかし、テンソル自身は、特定の座標系によらないで定まる対象である。個々のテンソルについて、対応する量を記述するのに必要な配列の添字の組の数は、そのテンソルの階数とよばれる。
物理学や工学においてしばしば「テンソル」と呼ばれているものは、実際には位置や時刻を引数としテンソル量を返す関数である「テンソル場」であることに注意しなければならない。いずれにせよテンソル場の理解のためにはテンソルそのものの概念の理解が不可欠である。
83:現代数学の系譜 雑談
20/10/14 16:17:19.03 WB0JVdoR.net
ペンローズノーベル賞 PDF
URLﾘﾝｸ(ja.wikipedia.org)
特異点定理
特異点定理（とくいてんていり）またはペンローズ・ホーキングの特異点定理（Penrose?Hawking singularity theorems）は、重力は重力の特異点を必要とするかどうか、という問いへの、一般相対性理論による結論のまとめである。
これらの定理は、物質は妥当なエネルギー状況 (energy condition) を満たしているため、この問いに肯定的に回答している。これは、妥当な物質をともなう一般相対性理論の厳密解は、一般相対性理論が崩壊する特異点を含んでいる、ということを示している。
参考文献
Hawking, S. W.; Penrose, R. (Jan. 1970). “The Singularities of Gravitational Collapse and Cosmology”. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences (The Royal Society) 314 (1519): 529-548.
URLﾘﾝｸ(royalsocietypublishing.org)
The singularities of gravitational collapse and cosmology
Stephen William Hawking and Roger Penrose
Published:27 January 1970
Abstract
URLﾘﾝｸ(royalsocietypublishing.org)
The singularities of gravitational collapse and cosmology PDF
Stephen William Hawking and Roger Penrose
Published:27 January 1970
84:現代数学の系譜 雑談
20/10/15 18:13:56.79 esT5rSCm.net
数学じゃないが、メモ貼る
Linuxも、最初は小さな一歩だったんだね
数学も似たところがある、ほんのちょっとした思いつきが、大きく育つことがね（＾＾；
（参考）
URLﾘﾝｸ(gigazine.net)
2020年10月11日 gigazine
Linux生みの親リーナス・トーバルズの当時のメールで振り返る「Linux」誕生の瞬間
Linuxなどのオープンソースコミュニティを支えるLinux Foundationは、2020年8月にLinuxの29年の歴史を振り返る「Linux Kernel History Report」を公開しており、以下のURLからダウンロードすることができます。
URLﾘﾝｸ(prtimes.jp)
日本語版を公開「2020年度版 Linuxカーネルの歴史レポート」
The Linux Foundation Japan2020年10月1日 09時56分 prtimes
URLﾘﾝｸ(www.itmedia.co.jp)
ITmedia
「Windows Server」と「Linux」 2大サーバOSの違いは
2大サーバOSである「Windows Server」と「Linux」。これらのサーバOSの違いとは何か。どのようなポイントで比較すればよいのか。勘所を紹介する。
2020年09月21日 07時00分 公開
[TechTargetジャパン運営事務局]
85:１３２人目の素数さん
20/10/16 13:22:11.17 peqauy0o.net
ウィキはお前みたいなキモオタが掻いてるんだろが
荒らしスレうぜええええええええええええええええ
86:現代数学の系譜 雑談
20/10/16 17:18:18.19 e3ApkVhO.net
ご苦労さん
ありがとさん（＾＾
87:粋蕎
20/10/17 18:33:29.63 oPZ1A1Dj.net
此処はガロアに失礼なスレ
此処はガロアを冒涜しているスレ
此処はガロアを汚辱しているスレ
スレ主はうんこ製造専門動物をいつに成ったら卒業するのか？一寸先は闇、餓死｡
88:現代数学の系譜 雑談
20/10/17 19:37:03.69 02Kfs2KS.net
で、自分はなんなの？
89:現代数学の系譜 雑談
20/10/17 19:45:24.64 02Kfs2KS.net
５ｃｈ数学板で、何が言いたいの？（＾＾；
（参考）
0.999…は1ではない その13
ｽﾚﾘﾝｸ(math板:483番)
483 名前：粋蕎 ◆C2UdlLHDRI [sage] 投稿日：2020/10/10(土) 08:29:17.71 ID:Vf6mOTWh [2/3]
> しかし僕が書いている相対性理論批判と
> 同じことを考えていた人間がいるとは思えない｡
> なぜなら僕が書いているようなことを書くには､
> 神秘学の知識が必要だからだ｡
> 尤も、神秘学の知識がなくても、洞察力のある人には分ることだが､
> それでも、現代人には容易には信じられないようなことを､
> 僕は書いているからである｡
神秘学的知見じゃと!?ならハナっから『理性的直観』じゃ無かろうが、真っ向矛盾じゃろうが!!
神とは永久理知化不能事象存在想像を実感錯覚や非理学的仮説に基づいた、つまりは虚像存在であり
秘とは解明されていなかったりして機密にされたりして公的に明かされない事｡
其処に各々が神なる事象錯覚に更にまた共感覚錯覚を重ね神秘と呼ぶ｡
神秘学の対訳元と成ったオカルティズムまたはオキュルティスム（神秘主義）も同様である｡
現代科学は其の様な神秘・隠秘・玄秘といった理念・思想や言葉遣いを避けイデオロギー（観念形態）という言葉を遣う｡
研究発端はオカルティズムで構わず自由じゃが議論の場に当たっては一切のオカルティズムを廃したイデオロギーで
詳解論説する事を努めなければ成らない。故に安達翁の論説態度は科学に反している｡
90:粋蕎
20/10/23 20:22:39.37 lueRAA38.net
此の様にしてスレ主は倫理欠如した無節操な資料集めに人生を費やし飢えていく
91:現代数学の系譜 雑談
20/10/23 21:07:16.54 TlbIDRZK.net
５ｃｈ数学板で、何が言いたいの？（＾＾；
５ｃｈは、天下のチラシの裏、便所の落書きでしょ
なに妄想しているんだろうか？ プロ数学者が集う学会とでも？ 錯覚しているのかな？
もっとお気楽に考えなさいよ
無粋だよ、おっさん
92:現代数学の系譜 雑談
20/10/23 21:34:55.72 TlbIDRZK.net
>>85
あのさ
大口叩くおっさんに聞くけどよ
おっさん、この数学板で
「いかに数学的なカキコをしたのか？」
具体例を挙げてみてよ
ご自慢のカキコをよ
「こんな素晴らしいカキコ」ですってのを
ご自慢のカキコを、さぞかし数学的に素晴らしいやつなんだろうねぇ～ｗ
見ている範囲では
おっさんのカキコ、ゴミばかりだと思うけどｗ（＾＾；
93:１３２人目の素数さん
20/10/23 22:08:31.24 e3YwieuM.net
>>86-87
ｽﾚﾘﾝｸ(math板:584番)
あなた、この問題知らないんだ ふーん
あなたの数学に対する興味って所詮そんなもんだったんだね
94:現代数学の系譜 雑談
20/10/23 22:51:10.83 TlbIDRZK.net
>>80
笑える
スレチ
こちらへ書けｗ
分からない問題はここに書いてね463
ｽﾚﾘﾝｸ(math板:1番)-
95:現代数学の系譜 雑談
20/10/23 22:53:42.09 TlbIDRZK.net
>>88
笑える
おっちゃんに似てきたな（＾＾；
真面目に読んだら、ソンだよ
「いかんいかん、肝心なところを書き間違った」か
所詮、５ｃｈなんて
そんなものだぜｗ
（参考）
IUTを読むための用語集資料集スレ
ｽﾚﾘﾝｸ(math板:584番)-585
584 名前：１３２人目の素数さん[] 投稿日：2020/10/23(金) 19:50:13.56 ID:e3YwieuM [2/3]
>>583
いかんいかん、肝心なところを書き間違った
正しくは以下の通り
ーーーーーーーーーーーーーーーーーーーー
例えば、以下のように書き換えられるから
p≡0 or 1(mod4)のとき
p-1
Σcos(2π*(n^2)/p)=√p
n=0
p≡0 or
96:3(mod4)のとき p-1 Σsin(2π*(n^2)/p)=√p n=0 ーーーーーーーーーーーーーーーーーーーーーーー ああ、普通にやっても上記の書き換えはできないよ トリックが必要だね 585 自分：現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日：2020/10/23(金) 21:09:09.79 ID:TlbIDRZK >>584 >いかんいかん、肝心なところを書き間違った >正しくは以下の通り 笑える おっちゃんに似てきたな（＾＾；
97:現代数学の系譜 雑談
20/10/23 22:57:05.77 TlbIDRZK.net
>>89 リンク訂正
>>80
↓
>>88
98:現代数学の系譜 雑談
20/10/23 22:58:58.41 TlbIDRZK.net
>>88
中世のイタリア、数学の公開試合があったという。おっさん、時代錯誤ｗｗｗ
URLﾘﾝｸ(ja.wikipedia.org)(%E3%82%AB%E3%83%AB%E3%83%80%E3%83%BC%E3%83%8E%E3%81%AE%E8%91%97%E6%9B%B8)
アルス・マグナ (カルダーノの著書)
成立の逸話
16世紀のイタリアでは、代数方程式を解く、時に金銭を賭けた数学競技が流行していた。またその解法は当時の師弟関係の間で伝授される秘術であり、公開されることはなかった。
3次方程式の解法では、シピオーネ・デル・フェッロが研究の端緒を開けたとされているが、彼は業績を公表せず、弟子の何人かに伝授して亡くなっていた。弟子の1人であったアントニオ・マリア・フィオル(Antonio Maria Fior )は、師の解法を使って数学競技で連勝し富と名声を得ていた。そこに、ニコロ・フォンタナ・タルタリアという人物が独自に 3 次方程式の解法をみつけたという話を聞きつけた。1535年、3 次方程式 x3 + ax = b (ただし a,b > 0) の数学競技でフィオルはタルタリアに勝負を挑んだもののフェッロの解法では勝てず、勝ったタルタリアは一躍有名になった。彼はおそらく独学でこの解法の発見していたが、彼も解法について公表しなかった。
1539年、ミラノの Piatti Foundation の数学の講義で、最初の数学本『Pratica Arithmetica et mensurandi singularis』（英: The Practice of Arithmetic and Simple Mensuration、「算術と単純求積の実践」)を出版したカルダーノは、タルタリアの話を聞きつけ、同年タルタリアに彼の 3 次方程式の解法を懇願した。何度も断った末にタルタリアはしぶしぶ了承したが、カルダーノにはタルタリア自身が公表するまでは外に出さないと約束させられた。カルダーノはその後の数年間は、タルタリアの解法を元に自身でその他の型の3次方程式の解法を拡張することに没頭した。その頃タルタリアの弟子であったルドヴィコ・フェラーリは 4 次方程式の解法も発見していたが、しかしフェラーリの方法もタルタリアの 3 次方程式の公式を補助的に使っていたため公表できないでいた。
つづく
99:現代数学の系譜 雑談
20/10/23 22:59:20.21 TlbIDRZK.net
>>92
つづき
その後、カルダーノとフェラーリは、たまたまボローニャにいたフェッロの養子のアンニバレ・デラ・ナーヴェ(Annibale della Nave)に会うことができた。そこで彼らはタルタリア以前に解法について書かれたフェッロの論文を見てしまう。カルダーノはこのことを根拠にタルタリアとの約束に縛られずに公表できると確信した。
1545年、約束を違えて出版した事実を知ったタルタリアはガルダーノに激怒した。カルダーノは本書は自身の業績の内容だと反論したがタルタリアは聞き入れず、カルダーノに数学の公開試合を申し出た。カルダーノはこれを受け入れず、代わりに弟子のフェラーリとの試合が組まれたという。結果についてはフェラーリが大勝したとの説やフェラーリが遅刻して試合が無効になった説などがあり判然としない。
本書の出版はそれまで秘匿とされていた代数学の発展に重大な転換をも�
100:ｽらした。後にガリレオ・ガリレイは、この本を参考書に研究を進め、天文学の父と呼ばれるまでになった。 (引用終り) 以上
101:現代数学の系譜 雑談
20/10/23 23:32:16.62 TlbIDRZK.net
>>88
なんか、種本があって、問題を出す？ｗ（＾＾
中世イタリア数学かよ、おいｗ
じゃ、おれも
下記のRamanujanの 数 学のＰ409 (2.10),(2.11)の証明を、ここに書いてみな
何見てもいいからさ～ｗｗ（＾＾；
（参考）
URLﾘﾝｸ(www.jstage.jst.go.jp)
URLﾘﾝｸ(www.jstage.jst.go.jp)
数学史
Ramanujanの 数 学
藤 原 正 彦
数学 2005 Volume 57 Issue 4 Pages 407-422
102:１３２人目の素数さん
20/10/24 05:20:14.66 qKLszrb1.net
元ネタ
ｽﾚﾘﾝｸ(math板:166番)
数学王、の前振りがわざとらしかったな
103:１３２人目の素数さん
20/10/24 05:27:52.92 qKLszrb1.net
>>92
>中世イタリア
ではなく、近代ドイツだったな
URLﾘﾝｸ(ja.wikipedia.org)
Disquisitiones Arithmeticae（ディスクィジティオネス・アリトメティカエ、ラテン語で算術研究の意、以下 D. A. と略す）は、カール・フリードリヒ・ガウス唯一の著書にして、後年の数論の研究に多大な影響を与えた書物である。1801年、ガウス24歳のときに公刊された。その研究の端緒はガウス17歳の1795年にまでさかのぼり、1797年にはほぼ原稿は完成していた[1]。
ラテン語の arithmetica（アリトメティカ）は通常「算術」と訳される[2]が、ガウスの意図したものは、今日「数論」もしくは「整数論」と呼ばれる学術的領域である[3]。D. A. を『数論研究』と訳している書物もある[4]し、高瀬正仁による最初の D. A. の完全な日本語訳の書名は『ガウス整数論』である。
104:現代数学の系譜 雑談
20/10/24 07:37:10.55 i6I9Q5ne.net
>>95-96
レスありがとう
みました
みんな詳しいね
レベル高いなー（＾＾；
105:現代数学の系譜 雑談
20/10/24 07:44:46.62 i6I9Q5ne.net
>>96
>中世イタリア
補足しておくと
問題の起源の話ではなく、問題を出し合って、数学の試合をして
「時に金銭を賭けた数学競技が流行していた」（>>92）
「アントニオ・マリア・フィオル(Antonio Maria Fior )は、師の解法を使って数学競技で連勝し富と名声を得ていた」（同上）
って話
ガウスＤＡの時代なら、数冊の本（あるいは十数冊か）を見ていれば、
「この問題は、この本から取ったな」と分かったろう
だが、21世紀の数学は多岐にわたるから、そんな程度で済まないだろう
”問題を出し合って、数学の試合をして”ってのが、時代錯誤じゃね？ ってこと
だったら、おれも、問題出すよ
”Ramanujanの 数 学のＰ409 (2.10),(2.11)の証明を、ここに書いてみな”（>>94）
って話なんだよね（＾＾；
106:現代数学の系譜 雑談
20/10/24 07:47:35.84 i6I9Q5ne.net
>>98 補足
問題を出し合って
お互い解けなければ
引き分けだからね（＾＾；
107:１３２人目の素数さん
20/10/24 08:07:02.47 qKLszrb1.net
>>97
あ、ワタシ？大したことないっす
東大じゃなく私立大の出身だし
受験じゃなく附属から無試験で入ったし
数学科じゃなく情報系の出身だから
整数論なんて全然チンプンカンプンっすよ
>>98-99
Ramanujanといえば、こんなのあるらしいっすね
URLﾘﾝｸ(en.wikipedia.org)
108:１３２人目の素数さん
20/10/24 08:37:05.35 qKLszrb1.net
>>99
ところで・・・一つ、質問っす
>>94でだした問題っすが、出題者のあなたは
URLﾘﾝｸ(www.jstage.jst.go.jp)
の”Ramanujanの 数 学のＰ409 (2.10),(2.11)の証明
分かってるっすか？
ガウス和の件なら
ｽﾚﾘﾝｸ(math板:169番)
で指摘されてる符号決定の問題を除けば、
初等的に証明できるみたいっすね
（参考「tsujimot
109:terのノートブック」の 2020-04-02「√pの作り方（ガウス和）」 2020-04-03「ガウス和の性質についての証明」） 数学板って読んでるの素人ばっかりだから 初等的に証明できる問題じゃないと 読者は理解できないっすよね？
110:現代数学の系譜 雑談
20/10/24 09:19:22.79 i6I9Q5ne.net
>>95
補足も貼っておく
「ガウスをして4年間苦しめたと言う」か
ガウスの4年は、私には百年以上だろう（＾＾；
余談だが、「ガウス 4年」かもしれないが
そういう数学の勉強法をしていると
21世紀の数学に到達するのは、凡人には無理
早く答えを見ましょう
そういうことを、昔糸川先生が言っていました（＾＾；
純粋・応用数学 5
ｽﾚﾘﾝｸ(math板:169番)-170
169 名前：１３２人目の素数さん[sage] 投稿日：2020/10/24(土) 06:54:00.83 ID:ac3NrBw8
有名な問題ですね。
±√p (p≡1) (mod4)
±i√p (p≡3) (mod4)
となることは簡単に証明できるのだが、どちらの符号を取るのか
（いわゆるガウスの和の符号決定の問題。実は常にプラスの符号になる）
は難しく、ガウスをして4年間苦しめたと言う。
「その問題はわたしを悩ませ、苦しめ....」
現在では比較的簡単な証明も知られているが、何がガウスをそれほど苦しめたのか？
考えてみると、これは非常に不思議な現象である。
1のべき根（原始p乗根）はどれも代数的には対等であり、ガロア群の作用で推移的に移り合う。
+√pと-√pもまたガロア群の作用で移り合う。
つまり、これらはある意味では代数的には区別できない。
しかし、ζ=exp(2πi/p)と固定してやると、2次のガウス和の符号は常に正になると言うのだから。
170 名前：１３２人目の素数さん[] 投稿日：2020/10/24(土) 08:00:48.50 ID:qKLszrb1 [3/3]
>>169
>有名な問題ですね。
そうみたいですね
>±√p (p≡1) (mod4)
>±i√p (p≡3) (mod4)
>となることは簡単に証明できるのだが
二次方程式の根の関係から証明できるみたいですね
111:現代数学の系譜 雑談
20/10/24 09:29:23.83 i6I9Q5ne.net
>>100-101
レスありがとう
>Ramanujanといえば、こんなのあるらしいっすね
> URLﾘﾝｸ(en.wikipedia.org)
ありがとう
Ramanujan関係、下記の谷口 隆先生再録
（2019年9月号「ラマヌジャンの論文集」 ）
>URLﾘﾝｸ(www.jstage.jst.go.jp)
>の”Ramanujanの 数 学のＰ409 (2.10),(2.11)の証明
>分かってるっすか？
勿論分かってない！ｗ（＾＾；
あれは、引き分け狙いで、難しいのを選んだからね
（でも、藤原正彦の記事中に、証明のありかの文献は挙がっていたよ（＾＾ ）
（参考）
純粋・応用数学 （初代スレ）
ｽﾚﾘﾝｸ(math板:268番)
268 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2020/05/27(水) 07:22:00.81 ID:dv6rS0Xa [1/7]
＜デデキントエータ関数（イータ関数とも）についてメモ＞
URLﾘﾝｸ(www.nippyo.co.jp)
『数学セミナー』2020年3月号
「高校数学ではじめる整数論」
連載●第 12 回
オイラーの無限積 付録
谷口 隆◎神戸大学大学院理学研究科
エータ関数
ｽﾚﾘﾝｸ(math板:272番)
272 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2020/05/27(水) 07:24:14.09 ID:dv6rS0Xa [5/7]
>>271
＜余録メモ＞
URLﾘﾝｸ(www.nippyo.co.jp)
「高校数学ではじめる整数論」付録ページ
谷口 隆◎神戸大学大学院理学研究科
2019年4月号「素数のレース」 4月号詳細情報 付録PDF（3月12日up！）
2019年5月号「関とベルヌーイの数列」 5月号詳細情報 付録PDF（4月12日up！）
2019年6月号「あまりたちのなすサイクル」 6月号詳細情報 付録PDF（5月10日up！）
2019年7月号「素数は無数に」 7月号詳細情報 付録PDF（6月12日up！）
2019年8月号「ベルトランの仮説」 8月号詳細情報 付録PDF（7月12日up！）
2019年9月号「ラマヌジャンの論文集」 9月号詳細情報 付録PDF（
112:8月13日up！）
113:現代数学の系譜 雑談
20/10/24 09:31:40.61 i6I9Q5ne.net
>>102 補足
”余談だが、「ガウス 4年」かもしれないが
そういう数学の勉強法をしていると
21世紀の数学に到達するのは、凡人には無理
早く答えを見ましょう
そういうことを、昔糸川先生が言っていました（＾＾；”
下記だね
ご参考まで
URLﾘﾝｸ(blog.goo.ne.jp)
リス LAB (リスラボ)
【注目点】「東大理3にも受かる7つの法則： 難関を乗り越える処方箋」森田敏宏
2014-03-05
(抜粋)
元東京大学工学部教授で「日本の宇宙開発・ロケット開発の父」と呼ばれている故・糸川英夫先生の「糸川英夫の入試突破作戦」という本に、「科学の歩んでいる途は、何万、何十万という先人たちがやった仕事、実験、法則を、習い、覚え、そしてある日、その上に、たった一つの新発見、新しい創造をのせることである」と述べ、さらに、教科書の悪い点は「夏の日に太陽がどう動くか調べてみよう、という問いかけだけがあり、答えがないことだ」と、書いています。
糸川先生は、「教科書に本来必要なのは、「太陽は東から出て、西に沈む」という、先人がすでに発見した「事実」「法則」を生徒に教え、覚えさせることである。そして、その次に教えることは、この法則を発見したコペルニクスやガリレオの人生の記録である」と言っています。
さらに、「大切なことは、「法則」を単に記憶するのでなく、１つの事実を発見した人間の歴史に感動し、その感動が自分も何かをやってみようという、人生に立ち向かい、社会に立ち向かい、世界に立ち向かい、宇宙に立ち向かう人間を作ることであろう」と述べています。
日本の教科書は、過去の偉大な科学者たちが立てた「仮説」を、子どもたちに「検証」せよ、といっているのです。しかし、それを本気でやろうとしたら、一生かかっても終わらないかもしれないのです。そんな徒労にも近いことをするのではなく、法則を学んだ上で、疑問や新たな発見があったら、自分で「仮説」を立てて検証していく。その先に科学の進歩があるということを、糸川先生は言いたかったのだと思います。
人生のあらゆる場面において、私たちは「仮説」と「検証」を繰り返しているといえるのです。
114:現代数学の系譜 雑談
20/10/24 09:50:51.61 i6I9Q5ne.net
>>103
>あれは、引き分け狙いで、難しいのを選んだからね
>（でも、藤原正彦の記事中に、証明のありかの文献は挙がっていたよ（＾＾ ）
補足しておくと
証明のありかの文献は挙がっていたけど、多分ウェブだけでは本文に到達できないと思われることと
あと、文献を読んでも、証明をここの５ｃｈ数学板に書くのは難しいんじゃないかな？
なにせ、５ｃｈ数学板は、基本アスキー記法に制限されているからね（＾＾；
115:１３２人目の素数さん
20/10/24 11:24:49.94 qKLszrb1.net
>>103
>> 分かってるっすか？
> 勿論分かってない！
そうっすか
で、自分が分かってない問題を出題して
みんなも分かってないとして
何が嬉しいんすか？
もしかして、誰かとっても賢い人が
完璧に回答してくれるのを待ってるんすか？
もしかして、マゾっすか？
116:１３２人目の素数さん
20/10/24 11:34:02.41 qKLszrb1.net
>>104
>早く答えを見ましょう
答え見て分かったっすか？
>>105
>証明をここの５ｃｈ数学板に書くのは難しいんじゃないかな？
>なにせ、５ｃｈ数学板は、基本アスキー記法に制限されているからね
数式をそっくりそのまま書く必要あるっすか？
書ける方法で書いたらダメなんすか？ なんで？
117:現代数学の系譜 雑談
20/10/24 12:32:09.40 i6I9Q5ne.net
>>106-107
ども、レスありがとう
流れが分かってないのかな？
１．私は、問題の出し合い（>>88）＝中世イタリアの数学試合の金儲けを、茶化しているんだよ（>>98）
２．ラマヌジャンを引用したのは、”Ramanujanの 数 学のＰ409 (2.10),(2.11)”は、当時は新作問題だったってことな
つまり、">>88 ｽﾚﾘﾝｸ(math板:584番) あなた、この問題知らないんだ ふーん"
って、カキコが数学的にはあまり無意味がないってこと。相手の知らなさそうなタネ本見て、チンケな問題出して、自分はタネ本見て答えを知っている
それに対して、”Ramanujanの 数 学のＰ409 (2.10),(2.11)”は、出された当時は、全く意味が違うわけ。新作で、証明をだれも知らない
３．で、”問題の出し合い”に対して、「ラマヌジャン、これで、”どや！”」という顔をしたわけです（＾＾
>答え見て分かったっすか？
>数式をそっくりそのまま書く必要あるっすか？
ご存知ないかも知れないが、これは私の年来の主張だが
「５ｃｈ 数学板で、本格的な数学無理」って主張です（下記ご参照）
なので、所詮 ここは、とっかかり 手がかり程度でいい
因みに、「Ramanujanの 数学 藤原 正彦」（>>94）に証明をゲットできるように、参考文献（ラマンジャンのノートの解説らしい）は示されているので
それを見れば良い。多分大学の数学科の図書ならあるかも。無ければ、購入依頼をすれば良いんだ
（参考）
旧ガロアスレより （テンプレ>>2より）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
ｽﾚﾘﾝｸ(math板:11番)
そもそも、５ＣＨ（旧２ＣＨ）は、数学に向かない
アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない
複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを
いわずもがなだが
コピペすると、この板の特性で、特殊文字が文字化け（だいたい”？”に化ける）とか
118:１３２人目の素数さん
20/10/24 12:53:53.45 qKLszrb1.net
>>108
ちょっと何言ってるか分からないけど
要するに、出された問題が、
ガウスの「整数論」の中にある超有名なもの
であることに気づかなかったのが悔しくて
ラマヌジャンの数式で逆襲した、ってことっすか？
あと、数式の件も、他所のHPの数式をコピペしても
そのまま張り付かないけど、自分で打ち直すのが面倒なんで
「数学板は数学に向かない」って必死に言い訳してるってことっすか？
それ、オトナげないっすね
齢、いくつっすか？
ま、オレも昭和生まれっすけど
119:１３２人目の素数さん
20/10/24 13:02:30.61 qKLszrb1.net
>>109
>出された問題が、
>ガウスの「整数論」の中にある超有名なもの
>であることに気づかなかったのが悔しくて
書いてみたけど、よく考えるとおかしいっすね
なんで悔しいんすか？
ま、数学科出身者でしかも代数が専門なら、恥ずかしいってのは分かるっす
多分その筋では常識のことじゃないっすか？
でも、幾何とか解析が専門なら、知らないこともあるんじゃないすか？
ましてや物理とか工学とかなら知らないっすよね
オレも情報系だから知らなかったっすよ
スレタイに「
120:ガロア理論」に入ってるからっすか？ でも、別にここってスレ主がガロア理論を教えるスレじゃないっすよね？ だったら、スレ主が数学全然分かって無くても全然OKじゃないっすか？ そんなスレ、数学板にいくらでもありますよね？ マジで、なにが悔しいんすか？
121:現代数学の系譜 雑談
20/10/24 13:02:49.73 i6I9Q5ne.net
>>108 補足
>因みに、「Ramanujanの 数学 藤原 正彦」（>>94）に証明をゲットできるように、参考文献（ラマンジャンのノートの解説らしい）は示されているので
>それを見れば良い。多分大学の数学科の図書ならあるかも。無ければ、購入依頼をすれば良いんだ
追加
１．21世紀の我々は、現代数学の全てを知る必要ないと思う
２．ヒルベルトが20世紀の初めに、23の問題を出した
３．後に、ヒルベルトは当時数学の全ての分野に精通してい最後の人だろうと言われた
４．21世紀が始まるとき、ヒルベルトのまねをする数学者は現れなかったが
５．かわりに、ミレニアム問題が提案されたが、ヒルベルトのような網羅的なものではない
６．要するに、21世紀の数学は、膨大で、すべてに精通しようとしない方が良いだろう
７．必要な、好きな分野だけを、学べばいいのでは？
ってことです
URLﾘﾝｸ(ja.wikipedia.org)
ヒルベルトの23の問題
ヒルベルトの23の問題（ヒルベルトの23のもんだい、英: Hilbert(’s) 23 problems）は、ドイツ人の数学者であるダフィット・ヒルベルトによりまとめられた、当時未解決だった23の数学問題である。ヒルベルト問題 (Hilbert(’s) problems) とも呼ばれる。
1900年8月8日に、パリで開催されていた第2回国際数学者会議 (ICM) のヒルベルトの公演で、23題の内10題（問題1, 2, 6, 7, 8, 13, 16, 19, 21, 22）が公表され、残りは後に出版されたヒルベルトの著作で発表された[1]。
URLﾘﾝｸ(ja.wikipedia.org)
ミレニアム懸賞問題（ミレニアムけんしょうもんだい、英: millennium prize problems）とは、アメリカのクレイ数学研究所によって、2000年に発表された100万ドルの懸賞金がかけられている7つの問題のことである。そのうち1つは解決済み、6つは2020年9月末の時点で未解決である。ミレニアム賞問題、ミレニアム問題とも呼ばれる。
122:１３２人目の素数さん
20/10/24 13:03:33.80 ac3NrBw8.net
>>102
ガウス4年と言っても、無から創意工夫して証明するのが大変だったということで
出来た証明を読むだけなら、高校生とか学部生でも理解できると思います。
たとえば、高木貞治の『初等整数論講義』の附録にガウスの証明がほぼそのまま載っています。
（ガウス以後にも初等的なものを含めて多くの別証がある。しかし高木はガウスの証明が最も含蓄深いと言う。）
「どうしてこんなことを思いついたのだろう？」とか
「背後に何があるのだろう？」（典型的にはテータ函数との関係がある）
とか考えると、非常な深みがあるし、まだ未解明の部分があるかもしれません。
数学というのは、そういうことまで含めて自分で考えることに意味があるのだと思います。
123:１３２人目の素数さん
20/10/24 13:07:10.29 qKLszrb1.net
数式の件なんすけど、この際だから数式の書き方って
変えたほうがよくないっすかね？
行列とかは、見やすさがあるから仕方ないけど
Σとか∫とかの添え字って、コンピュータ時代に合わないっしょ
分数とか上下に書く必要ってないっしょ
クヌースがTeXとか作ったのは分かるっすけど
ぶっちゃけ不毛な努力じゃね？って思うっす
124:現代数学の系譜 雑談
20/10/24 13:11:16.64 i6I9Q5ne.net
>>109-110
>要するに、出された問題が、
>ガウスの「整数論」の中にある超有名なもの
>であることに気づかなかったのが悔しくて
全然（＾＾
言っている意味わからんけど
あのΣ有限和だったのか？
いやね、全然真剣に考える気が無いんだ
こんな視認性の悪い板で
真面目に数式読む気がない。そう思わない？
「
125:タネ本あるなら、それ示せよ、そっち読むから！」 ってのが、主張なんすよ（＾＾ で、気付くもなにも、真面目に読む気がそもそもないから、悔しいもなにも あっ、そうなの？ってだけ なお、読んでも、ガウスのDAだってことは知らないし 気付かなかったろうということは補足しておく でも、「ガウスのDAだってことは知らないし 気付かなかった」で、 悔しくもなんともない（>>111ご参照） ご苦労さん 教えてくれてありがとう！ というだけです
126:現代数学の系譜 雑談
20/10/24 13:14:33.38 i6I9Q5ne.net
>>113
>数式の件なんすけど、この際だから数式の書き方って
>変えたほうがよくないっすかね？
>行列とかは、見やすさがあるから仕方ないけど
>Σとか∫とかの添え字って、コンピュータ時代に合わないっしょ
それは面白い発想だね
賛成だけな
>クヌースがTeXとか作ったのは分かるっすけど
>ぶっちゃけ不毛な努力じゃね？って思うっす
クヌースのTeXは、当時のコンピュータ環境に制約されていた面があるよね
いまだと、もっと別の、もっと進んだセンスの記法があっても良い気がするな（＾＾
127:現代数学の系譜 雑談
20/10/24 13:15:14.36 i6I9Q5ne.net
>>115 タイポ訂正
賛成だけな
↓
賛成だな