長岡亮介数学勉強会「A History of Abstract Algebra by I.Kleiner」

音声
https://anchor.fm/tecum

大学の数学科に籍を置いていたというのに、高校までの数学しかイメージできない。「数学科、すごいね」と言われるたびに、「数学は哲学」なんて、煙に巻いていた。

50年のブランクを経て、事もあろうに、数学者長岡亮介先生

NPO法人TECUM http://www.tecum.world/ 理事長)にご指導いただくチャンスを得た。テキストはI.Kleiner著「A History of Abstract Algebra」。1700BCの数学から20世紀抽象代数への4千年の歴史を学ぶことになった。(高田順江)

(注)録音は周りの騒音も入ってお聞き苦しいところもありますが、ご容赦ください。なお、レポート(テープ起こし)は先生のチェックを受けておりませんので、正確な翻訳にはなっておりません。


長岡亮介TECUM「数学の世界」youtubeで学ぶ(2)

私たちの提案 自由で自発的な学習スタイルを

「数学の世界」私たちの提案とAA領域のyoutubeリスト https://akasakas.cool/wp-content/uploads/2020/06/「数学の世界」youtubeリンクリスト-1.xlsx

「数学の世界」紹介シリーズ

1)教育と学習の新しい理想https://youtu.be/PtBeX8fLnI0
2)高校数学と大学数学https://youtu.be/qHp0s7tNCtA
3)受験を真に活用しようhttps://youtu.be/_E2Jq1ulmUw
4)数学を勉強する意味と意義https://youtu.be/2Yh7jhSRCkE
5)数学の学習について(1)
  ドリルと問題
https://youtu.be/XJ4oN-dUOFU
6)数学の学習について(2)
「数学の学習=問題の解決」の意味
https://youtu.be/5Gus_pljb94
7)数学の学習について(3)
「解法のパタン」という考え方を巡って
https://youtu.be/3Rop25PD0s0

長岡亮介TECUM「数学の世界」youtubeで学ぶ(1)

youtube リスト

数学の世界へようこそ 長岡亮介からのメッセージ(2020年)

第1に数学は大学入試のためにやるというものではないということです。しかしながら、第2に数学の勉強で鍛えられた力は人の思考力のを基盤として重要な役割を果たす。そういう基盤となる力を形成する上で数学というのは最適な科目であるということです。数学があらゆる学校の中で重要な位置を占めてきたのは、その人の人間性を豊かにする、その人の指導的な人材としても活躍を保証するそのために必要なものであるということです。第3に鉄は熱いうちに打てということです。特に私は中学3年生から高校1年生くらいあるいは高校2年戦前半くらいまでの最も人間の知性が弾力的でしなやかに発育するその時代に、ちょっとくらい難しくても数学と格闘するという経験がとても大切さという風に考えています。

2次方程式は究極のところ x ^2=定数
例えば x ^2=9、x ^2=2、そういう方程式に還元できるということですね。
このことこそが2次方程式論の最大のポイントでありまして、因数分解を使うとか解の公式を使うとか、そんなのはどうでもいいわけです。

実は放物線を表す y=ax^2+bx +c は、y= ax ^2というものを単に平行移動しただけのものにすぎないです。
さらにy= a x ^2とあらわされる放物線は、y= x ^2という放物線を、原点を相似の中心として相似に拡大するとか縮小するそういう変形をしただけです。
本質的には2次関数は、y= x ^2だけであるといってよい。

私に言わせると解と係数の関係くらい高校1年生で、いわば集合と論理を学ぶ一番 初々しい 知性を鍛えるところで学習させるのに適した内容だと、いうふうに思います。もちろん決して易しいと思いません。

鉄は熱いうちに鍛る、そして勉強は能力に応じてできるだけまとまって、体系的に勉強する方がその人のためになる、苦労がその人の身につくという意味で、体系的な教材というのを、学習指導要領にはあえて反して作った、あるいは作ろうとした作りかけのものが、このシリーズものです。
 足りないものはいっぱいありますけれども、しかしこれだけでもみなさんにとって勉強への良い指針となるのではないかと、いうふうに私は信じています。そして皆さんがこれを利用してさらなる勉強を、自分自身で切り開いて言ってくださることを期待しております。

長岡亮介数学勉強会「A History of Abstract Algebra by I.Kleiner」 第13回(p22-23)

レポート https://akasakas.cool/wp-content/uploads/2020/05/第13回2.2.1-Permutation-Groups(その1)20190515勉強会.pdf

音声 https://anchor.fm/tecum/episodes/13p22-232-History-of-Group-Theory-2-2-Development-of-specialized-theories-of-groups-2-2-1-Permutation-Groups1-edupjj

2 History of Group Theory
2.2 Development of “specialized” theories of groups
2.2.1 Permutation Groups(その1)

 群論の発展における4大起源とは、第1起源 -古典代数 -、第2起源 -数論- 、第3第4起源 -幾何と解析- である。それぞれの期が、置換群論、可換群論、変換群論へと発展してきた。

2.2.1 Permutation Groups 置換群
 ラグランジュ(Joseph-Louis Lagrange, 1736 – 1813)は、5次以上の方程式がベキ根によっては解けないことについても研究し、根の置換など群論の先駆けとなるような研究も行っている。数学史における群論的な思考を暗示する初めての事例だった。
基礎的な概念的な進歩を達成し、多くの人から(置換)群論の創始者とみなされているのはガロア(Évariste Galois, 1811 – 1832)だった。彼は正規部分群の基本的な概念を創り、それを用いて大きな成果をあげた。

 ガロアは二十歳で死んだ。復古王政(1814年ナポレオン没落後、1830年の7月革命まで)の時代にあって、若き数学者の死は革命への参加とも決闘とも言われたが、その名をガロア群として数学の世界に名を残す。

長岡亮介数学勉強会「A History of Abstract Algebra by I.Kleiner」 第12回(p21-22)

レポート https://akasakas.cool/wp-content/uploads/2020/05/第12回2.1.4-Analysis20190510勉強会-.pdf

音声 https://anchor.fm/tecum/episodes/12p21-222-History-of-Group-Theory-2-1-4-Analysis-edupa7

2 History of Group Theory
2.1.4 Analysis 解析

解析関数というのは、多変数関数で微分可能なもの、実関数は微分可能というのだが、一般に複素変数の関数では微分可能と言わないで解析的という。解析的とは、微分可能よりもう少し条件が厳しくて複素平面というかこの場合はn次元上の全てのところでべき級数に展開される、そういうような条件を満たすもの。

リー(Marius Sophus Lie, 1842ー1899)は、自らをアベル(Niels Henrik Abel:1802−1829享年27歳)、ガロア(Evariste Galois:1811−1832享年20歳)の後継者と考えていて、連続変換群を定義する。

リーの研究は、ピカール(Charles Émile Picard、1856ー1941)とビジョー(Ernest Vessiot 1865 ー1952)によるリー論のその後の公式化を基礎付けるものだった。

ポアンカレ(Jules-Henri Poincaré 1854ー1912)とクライン(Felix Christian Klein, 1849ー1925)は、1876年頃に「保型関数」とそれらに結びついた群で研究を始めた。

19世紀初めに若くしてなくなった二人の数学者アベルとガロアの研究は、19世紀後半には多くの後継者たちによって、群論として体系化された。

長岡亮介数学勉強会「A History of Abstract Algebra by I.Kleiner」 第11回(p20-21)

レポート https://akasakas.cool/wp-content/uploads/2020/05/第11回2.1.3-Geometry20190503勉強会-.pdf

音声 https://anchor.fm/tecum/episodes/11A-History-of-Abstract-Algebra-by-I-Kleiner-p20-21-edkiil

2 History of Group Theory
2.1.3 Geometry

19世紀の数学の大発見と言えるのが、collineation共線性の発見である。3点が同一直線上にあるという条件で、点A,B,Cがある時、ベクトルAB、ベクトルACに対して、片方はもう片方の実数倍で表される。3本の直線が1点を共有するとき共点という。3点が同一直線上にあることとき共線という。共点と共線は双対(そうつい)といって、射影幾何では同じこと。

クラインは明確に群という考えを出した。クラインのエルランゲンプログラムへ導いたいくつかの背景について、ここで述べている。


長岡亮介数学勉強会「A History of Abstract Algebra by I.Kleiner」 第10回(p19-20)

レポート https://akasakas.cool/wp-content/uploads/2020/05/第10回2.1.2-Number-Theory20190501勉強会.pdf

音声 https://anchor.fm/tecum/episodes/10A-History-of-Abstract-Algebra-by-I-Kleiner-p19-20-edjaud

2 History of Group Theory
2.1.2 Number Theory 数論

ガウスのDisquisitiones Arithmeticae(数論講義)は、数学者たちを19世紀の丸々100年を支配した。

ガウス記号を知っているよね、と言われても学習した記憶がない。プログラムのintみたいだが、負の数になると違ってくる。集合の概念がつかめなければ、18世紀以前の数学から脱皮できない。
素数5の因数分解は、(2+i)(2-i)となるなんて、なるほど・・・i(アイ)は変身(変心)するものだ。

いよいよ群の登場。4つのパターン。
 mを法とする(mod.m)整数加法群
5mod.7=5、5^2mod.7=4、5^3mod.7=6、5^4mod.7=2、5^5mod.7=3、5^6mod.7=1、5^7mod.7=5、〜ー>7乗で戻る!

Φ関数とはどういう関数か?互いに素な自然数の個数のこと。12 と互いに素な 12 以下の自然数の個数は,12=2^2⋅3 より,12(1−1/2)(1−1/3)=4 個。素因数分解がカギ、この公式を覚えるだけじゃダメ、証明できなくちゃ・・・

Z*p(ゼットピースター)の任意の要素が与えられた時、要素のorder(次数/位数)がp − 1の約数であることを示した。ここがキモ! 例えばpを素数7として整数4の場合を考える。4mod.7=4、4^2mod.7=2、4^3mod.7=1、4^4mod.7=4、4^5mod.7=2、4^6mod.7=1。だから p -1=6の約数3を位数とする要素も単位元となる! 

1のn乗根が巡回群をなしているということが、複素数を勉強して一番嬉しい話である。フェルマーの定理:x2 + y2は4で割ると必ず1余る。これは、ガウスの2次形式論と言って、とてもエレガントな理論である。証明も簡単であると。(私はやっていないが)


長岡亮介数学勉強会「A History of Abstract Algebra by I.Kleiner」 第9回(p17-19)

レポート https://akasakas.cool/wp-content/uploads/2020/05/第9回2.1.1-Classical-Algebra20190424勉強会.pdf

音声 https://anchor.fm/tecum/episodes/9A-History-of-Abstract-Algebra-by-I-Kleiner-p17-19-edib2p

2 History of Group Theory

群論の入門編で議論された主な概念の起源、定理、および一般的な理論について概説する。群論の進化に関する「物語ストーリー」は1770年に始まり、20世紀に拡大したが、主要な発展は19世紀に起こった。その世紀の一般的な数学的特徴の一つに、人間の活動としての数学の見方、つまり物理的状況を参照せず、または物理的状況からの動機なしで可能になったこと。これは革命と呼んでもいい。

2.1 Sources of group theory 群論の4つの源
(a) 古典代数(ラグランジュ、1770)
(b) 数論Number theory (Gauss, 1801)
(c) 幾何Geometry (クラインKlein, 1874)
(d) 解析Analysis (Lie, 1874; ポワンカレPoincaré and Klein, 1876)

2.1.1 Classical Algebra古典代数
ラグランジュが1770年「代数方程式の解に関する省察」を書いた当時の代数学の主な問題は、多項式に関するものだった。 そこには根の存在と本質を扱う“理論的な”問題がありました。

方程式の根たちの置換の研究は。代数方程式におけるラグランジュ一般理論の礎となった。この置換の研究は、彼が頭の中で考え、“方程式の解の真の原理”を形成した。たとえば、f(x)が根x1、x2、x3、x4を持つ4次方程式であるならば、R(x1、x2、x3、x4)はx1x2 + x3x4と取ることができ、この関数はx1、x2、x3、x4の24個の置換のもとで異なる値は3個しかとらない。


長岡亮介数学勉強会「A History of Abstract Algebra by I.Kleiner」 第8回(p13-14)

レポート
https://akasakas.cool/wp-content/uploads/2020/05/第8回1.8-Symbolical-algebra20190417勉強会.pdf
音声
https://anchor.fm/tecum/episodes/8A-History-of-Abstract-Algebra-by-I-Kleiner-p13-14-edgs99

1 History of Classical Algebra
1.8 Symbolical algebra 記号代数学

負の数と複素数、18世紀(FTAはそれらを不可避にした)において頻繁に使われるけれども、ほとんど理解されなかった。例えば、ニュートンは負の数を、「無より小さい」量と説明し、ライプニッツは、複素数を“存在と不存在の間の両生類”であると言った。オイラーは“ +の記号がついていたら正の量、−の記号がついていたら負の量、と呼ぶ”と主張した。

(−1)(−1)= 1のような負の数の取り扱い規則は、古代から知られていた。けれども過去にはいかなる証明も与えらなかった。18世紀の後半と19世紀始めの間に、数学者たちは、なぜそのような規則が成り立つのかということに疑問を持ち始めた。

この話題についての最も包括的な仕事は、1830年のピーコック(解析協会のリーダー)のTreatise of Algebra(代数学論)であった。ピーコックのthe Principle of Permanence of Equivalent Forms(等値形式の恒久普遍原理)は、本質的に記号代数学の法則が算術的代数学の法則になると言っている。

次の数十年に、イギリス数学者たちが、ピーコックが予言したことを、通常の算術の法則とは何通りもの仕方で異なっている性質を持った代数(多元環)を導入することによって、実際に具体化した。


長岡亮介数学勉強会「A History of Abstract Algebra by I.Kleiner」 第7回(p10-12)

レポート https://akasakas.cool/wp-content/uploads/2020/05/第7回1.7-The-theory-of-equations-and-the-Fundamental-Theorem-of-Algebra20190402勉強会.pdf

音声 https://anchor.fm/tecum/episodes/7A-History-of-Abstract-Algebra-by-I-Kleiner-p10-12-edgqc5

1 History of Classical Algebra
1.7 The theory of equations and the Fundamental Theorem of Algebra
方程式の理論と代数学の基本定理FTA

FTAとは、「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」 という定理である。17世紀前半にジラールらによって主張された。

ビエタとデカルトの研究は、16世紀の終わりから17世紀の始めころ、数値方程式の可解性から文字係数を持つ方程式の理論的な研究へと関心の的が移った。多項式の理論が出現し始めた。その主たる関心は、そのような文字係数を持つ方程式の根の存在、本質、そして個数決定することだった。

 FTAの最初の証明は、1746年にダランベールから与えられたが、すぐオイラーによる証明が続いた。ダランベールの証明は解析学からアイデアを用いていたが、オイラーはほとんど代数学的であった。二つの証明は両方とも、特に、すべてのn次方程式が、実数の法則に従って計算することができるn個の根を持つということを仮定している点で、不完全であり厳密さに欠けていた。

ガウスは、1797年(彼がほんの20歳であった時)に完成し、1799年に出版した博士論文の中で、当時の標準では十分厳密なFTAの証明を与えた。

 19世紀の始め、FTAは相対的に新しいタイプの定理、existence theorem(存在定理) になった。すなわち、ある数学的な対象-多項式の根-は、単に理論上だけで、存在することが示された。20世紀になると計算できるかどうかは別、存在することが証明されればいいと変わった。これは数学の歴史において大革命と言える。