スキップしてメイン コンテンツに移動

ブルバキと代数トポロジー

先日、知人からブルバキ数学原論旧版の和訳への復刻リクエストが多いことを聞いて、正直言いまして意外な感じを受けました。つまり、言葉が悪いですが馬鹿じゃなかろうかと思いました。1970年代にブルバキと元出版社との間に長い法廷闘争があったことを皆さんも御存知でしょう。そして、ブルバキ側が勝ち、元出版社はブルバキとは何の関係も無くなり、販売権、翻訳権、その他もろもろの権利もありません。そういう状況で旧版和訳を再刊行すればどうなるか、想像も難しくありません。旧版の和訳は当然元出版社からの翻訳認可があったからですが、この元出版社はブルバキとは縁が切れているので今は何ら権利を持ちません。では、仮にブルバキとその代理人である現出版社にお伺いをするなら、向こうも困るでしょう。改訂版の和訳を出したらと言うに違いありません。ですから、旧版和訳復刊への道は険しいと言わざるを得ないのです。最近、各地の大学図書館でブルバキ旧版和訳を放出しているのは、本の痛みもありますが、原書の改訂版が出ていることも背景にあるのでしょう。
要はブルバキを読みたければ原書を読めばいいのです。仏語が苦手なら英訳がほぼタイムリーに出ていましたから、望ましくはありませんが英訳を読めばいいのです。
ここまで書いて、George McCarty博士の"Topology: An Introduction with Application to Topological Groups"の或る文章を思い出しました。その中でブルバキの"Topologie Générale"の英訳版を学習者のために推薦しているのですが、いい機会だから原書を読みなさいと言っているのです。以下に該当箇所の文章を簡単に載せておきます。

This is a translation of N. Bourbaki, Topologie Générale (Paris: Hermann, 1953); if you do not yet read math in French, here is an excellent time and place to begin. Try it; using the translation as a pony, you will find it possible even if you have never studied that language.
(私訳)
これはブルバキの"Topologie Générale"の翻訳である。貴方がまだフランス語で数学を読んでいないなら、始める絶好の機会と場所だ。翻訳を虎の巻として使って、その言語を習ったことがなくても可能だと分かるだろう。やってみなさい。

私は学生の時、独語を習っていなかったので、虎の巻として英語版か仏語版を使いながら独語原書を読んだことがありました。すぐ独語に馴染めました。
では何故、私のみならず多くの人が原書を重視するかと言いますと、翻訳はどうしてもミスプリントやマイナーエラーが混入される可能性があるからです。エッセイや読み物なら別にどうってことはないでしょうが、数学専門書ですから出来る限りエラーの無いものを選ぶべきなんです。勿論原書にもエラーがあるかも知れませんが、それはもう仕方がないことです。
私は原書しか読まないのですが、翻訳のいい加減さを実感した実例があります。私は学生時代、函数論を故小平邦彦博士の名著"複素解析"を読んで勉強しました(この場合、原書が日本語ですから問題ありません)。ずっと後に、今から約5年ほど前、この本が英訳版"Complex Analysis"としてケンブリッジ大学出版から刊行されましたが、当時ケンブリッジにいた知人がこの本を購入して読んだのですが、どうも変だと感じ、私が日本語原書で勉強したことを知っている知人はわざわざ立派なハードカバーの英訳本を私に送り、原書と比べてくれないかと言って来ました。そして英訳本を読んで私はショックを受けました。数学論文や専門書に書かれる文章は何語であろうが言い回しが殆ど決まっていますから、英文自体に特に問題は無くて、説明文や証明の中にある数式や記号に非常に間違いが多かったのです。例えば、極限を取る際の0と∞の混同、τとtの混同、不等号における等号成立の混同、不等号の向きの混同、2とzの混同、曲線の記号と複素数体の記号の混同、その他もろもろ多数。一見して単純ミスと分かる場合はいいですが、そのまま意味が通じる時もあります。これでは海外の初心者は安心して読めないし、もしかして"I don't think much of Kodaira."[小平は大したことないな]と思っているかも知れません。これらは結局翻訳者の原書からの書き写し間違いが原因です。遅くともゲラ刷りの段階でしっかり校正していれば防げたはずです。小平博士の本を翻訳することは世界的に見てどれ程の影響力があるかを考えれば、こんないい加減な仕事をしないはずだと私は思います。そして、英訳本のお粗末さゆえ、結果的に小平博士の名誉を傷つけたことは翻訳者に大いなる罪があります。知人には私の作った訂正一覧と証拠品として日本語原書を送りましたが、その返事には御礼とともにケンブリッジ大出版に交渉すると書いてありましたが、その後改訂されたとは聞いていません。
さて、随分本題とは関係のない話を書きましたが、ブルバキで私が取上げてほしかったトピックの一つに代数トポロジーがあります。ブルバキには多くの重要なトピックが抜けていますが、代数トポロジーについてはメンバー全員が精通していると言っても過言じゃなかったのに何故書かれなかったのか長年不思議に思っていました。その疑問の答えを最近見つけました。それがJohn McCleary氏の"Bourbaki and Algebraic Topology"(PDF)です。以下に、その私訳を載せておきます。

[追記: 2018年02月22日]
この私訳を載せたのは2012年です。その後2016年にやっとシュプリンガーからTopologie algébrique Chapitres 1 à 4が出ました。
面白いことに、この私訳を出した年も確認せずに私の前置きに対して批判する馬鹿をちらほら見受けます(勿論、こういう馬鹿は日本人に限られます)。
もっと私が馬鹿じゃなかろうかと思うのは、たかが第4章までしか完成していないのにいかにも代数トポロジーを完結させたかのように思っているど素人がいることです。
いずれにせよ私も新世代のブルバキが首尾よく代数トポロジーを完結させられるか見守りたいと思います。その上でTopologie algébriqueを購入するかどうか決めたいです。

[追記: 2018年02月25日]
まだ馬鹿みたいにブルバキの旧版和訳をどこかで再刊してくれないか願っている人達がいることを聞いて思ったのですが、版権の問題を別にしても、そもそも改訂版が出ているのに何故旧版に拘るのか本当に理解に苦しみます。そして、もっとはっきり言えば最低限英仏独語だけ(たかが3か国語ですよ。数学史を専攻するならもっといろいろな言語を習得する必要があります)でも読めない人は数学を本気で勉強する資格を持たないと言いたいです。
ついでながら旧版和訳の悪口を書きます。原書にあるalgèbre associativeもしくは(結合性を前提として)単なるalgèbreという言葉をどなたが考案したのか知りませんが、線型環などと訳しているんですよ。これは常識的に考えたら結合代数と訳すべきなんです。日本人和訳者達の独善のおかげで多元環、線型環やその他奇妙な日本製数学用語が氾濫し、元々の原語が何だったのか想像しにくい状態になっています。そんな本は日本からすぐにでも無くなったほうが未来のためにもいいと思います。もちろん、ブルバキには責任はありません。

[追記: 2018年05月29日]
ブルバキの中の人や数学者、数学史家のいわゆる専門家の観点ではなく、編集者の観点から見たブルバキについては"存在しなかった著者: ニコラ・ブルバキ"があります。
これを読めば、旧版和訳の復刻などは馬鹿の戯言だと思うでしょう。もし、それでも旧版和訳の復刻認可を願い出るならブルバキ代理人(おそらく現在はシュプリンガー社だと思いますが)から「はぁ?」と怪訝そうな顔をされても致し方ないです。仮にそんなことがあれば、それこそ日本が後進国であると馬鹿にされますよ。

[追記: 2019年03月20日]
このペィジは2012年02月26日に某サイトに載せたものです。従いまして、当時生きていたリンクも現在ではリンク切れになっている可能性があります。

ブルバキと代数トポロジー
2004年12月10日 John McCleary マディソンウィスコンシン大学での講演

ここマディソンで、特にこの特別な日に講演する機会に感謝する。パリのサン·ミッシェル63通りにある喫茶店A. Capouladeで"解析教程草稿委員会"の創始者達が会合したのは、まさしく70年前の今日だった。この会合には、(最近百歳になった)アンリ・カルタン(1904– )、クロード・シュヴァレー(1909–1984)、ジャン・デルサルト(1903–1968)、ジャン・デュドネ(1906–1992)、ルネ・ド・ポッセル(1905–1974)、アンドレ・ヴェイユ(1906–1998)がいた。このプロジェクトの定めは、ブルバキ又はたぶんÉléments de mathématique(現代数学の基礎概念の影響力のある解説書のシリーズ)の著者である登場人物ニコラ・ブルバキの物語だろう。
この講演は、フランスのあらゆる研究に資金を提供するヴァッサー大学のGabriel Snyder Beck基金に援助されているプロジェクトに基づく。2000年の始めにOberwolfachでの会議で、ブルバキの論文と内部資料の公文書館がパリで間もなく開かれると聞き、Beck基金は私がその公文書館に訪問出来るよう資金を出した。この公文書館の管理者Liliane BeaulieuとChristian Houzelは、2003年7月の私のパリ訪問期間中、親切に歓待し、私がブルバキ論文の中をかき回すことを許してくれた。
歴史的研究は問題を提供し、それに対していろいろな手法が採用可能だ。私の関心は代数トポロジーの歴史を含み、代数トポロジーの発展は20世紀の間、その数学に大きく影響した。第二次大戦に続く年々が、この物語の頂点を表現し、ブルバキの多くの重要なメンバーが発展に貢献した。しかし、代数トポロジーはÉlémentsが扱うトピックの中に出現していない(一般的に認識されているように、他の多くの重要なトピックとともに)。私が大学院生だった間、カルタン、Koszul、Eilenberg、シュヴァレーによって代数トポロジーを扱った200ページ長の原稿がÉlémentsのために用意されていたという噂を聞いた。更に、このドキュメントは微分形式の使用、すなわちエリ・カルタン(1869–1951)(アンリの父親)の代数トポロジーを基礎にした。私が聞いた話によれば、ジャン・ピエール・セール(1926– )とArmand Borel(1923–2003)の学位論文が刊行された時に、その原稿は破棄された。セールとBorelの次の論文は焦点をトポロジーに変え、微分幾何学的手法から離れ、より代数的手法、すなわち主としてスペクトル列とSteenrod代数に移したので、原稿は陳腐化した。私の疑問: それでは、この原稿の中は何だったのか。私が閲覧出来るのだろうか? 歴史家はキーとなる出来事の前後の状況を見ることに垂涎する。
さて、その原稿は実際に存在するなら、そこには無かった。しかし、私が出来た保管作業はブルバキの働きと精神に多くの洞察を与えたから、この報告でいくつかの発見を詳しく詳述しよう。私の物語を展開しながら、ブルバキ前後の公理的手法(彼等の解説の特徴の一つが批判を受けて来た)の魅力を考えたい。

ブルバキとは何者か?
パリでの会合はアンドレ・ヴェイユによって10.XII.1934と呼ばれた。ヴェイユは当時アンリ・カルタンとともにストラスブール大学の教員だった。数学免許のための3つの標準コース(一般物理学と標準力学と並んで)の一つ、微積分コースに彼等は責任があった。標準テキストは第一次大戦前に書かれたエドゥアルド・グルサ(1858–1936)によるCours d'Analyse mathématiqueだった。カルタンはそれを一般論を欠き、不完全だと思った。明確な例(それ自体も物語を持つ)はストークスの定理の体系化である。それは以下のように書かれる。
∂Xω=∫X
ここでωは微分形式、dωは外微分、Xは積分領域、∂XはXの境界である。目前のすべてが滑らかな時には証明は明らかだが、積分領域がもっと一般的な場合、この公式の重要性はGeorges De Rham(1903–1990)の有名な定理(1931年に証明され、そのような多様体のトポロジーにリー群上の不変積分を関連付けるというエリ・カルタンの問題を解決した)の内容である。
カルタンのしつこいねだりはヴェイユに自分達が満足するテキストを書こうという案を出させた。ヴェイユはカルタンに"何故僕等が集結して、そのような問題をきっぱり解決しないのか。そうすれば、もう君は僕を質問攻めで困らせないだろう"と言ったと書いている。
パリでの本を書くための計画を立てる最初の会合はジュリア・セミナーの会合の後だった。ジュリア・セミナーは、アンドレ・ヴェイユの言葉で言えば、フランス人数学者の"一世代が1914–1918の犠牲により事実上抹殺された"後、フランス数学の断層を埋めるためのヴェイユとカルタンのもう一つの試みだった。セミナーはこれらの急進分子によりドイツでのセミナーを真似て組織されたが、ソルボンヌでの教室を得るためにスポンサーを必要とした。ガストン・ジュリア(1893–1978)はエコール・ノルマル・シュペリウールで彼等の最も若い先生で、進んで彼等のスポンサーとなった。セミナーはー年に一トピックスをテーマとし、1933-34年に群と代数で始まり、そしてヒルベルト空間、トポロジーへと進んだ。セミナーは1939年まで続いたが、ブルバキ・セミナーに取って変わられた。
委員会の最初の計画は解析学のテキストだったが、ヴェイユによれば"微積分に対して25年間のカリキュラムを改善する"となった。このテキストは出来るだけ現代的、非常に役立つ解説書、最終的には出来るだけ厳密かつ多方面的となった。ヴェイユは既に友人の内で出版者Enriques Freymannを知っていた。FreymannはMaison Hermannの主任編集者かつ経営者だった。新機軸の中でも、デルサルトにより主張された提案は、専門家のリーダーシップではなく集団でテキストを書くということだった。最初の予想では、テキストは1000–1200ページからなり、およそ6ヶ月で完了するだろうだった。6人の初期グループは、Paul Dubreil(1904–1994)、Jean Leray(1906–1998)、Szolem Mandelbrojt(1899-1983)が加わって、9人に拡がった。DubreilとLerayは、1935年7月の夏ワークショップの前にJean CoulombとCharles Ehresmann(1905–1979)に変わった。
最初のブルバキ会議はヴォージュ山脈にあるベス・アン・シャンデスで開かれた。このワークショップで、解析学をサポートするであろう抽象的(新しく現代的な)概念を扱う抽象パッケージを加えるプロジェクトを発展させる提案があった。これらは抽象的集合論、代数、特に微分形式、トポロジーを含み、存在定理は特に重視された(Leray)。
そのパッケージは結局、有能な数学者が欲しい結果の場所を見つけられ、必要なら結果自体を与えられるように編成された役立つ結果の要約巻となった。もっとはっきり言えば、最後の刊行、第36巻、微分多様体と解析多様体の2部はそんな要約だ。ストークスの定理の記述があるのはここである。
最初の会議中に、位相空間に関する測度の新しい結果が証明され、ノートは書き上げられ、説明会に提出された。グループのブルバキという名前は学校の物語から来た。1923年、デルサルト、カルタン、ヴェイユはエコール・ノルマル・シュペリウールで新入学クラスにいた。その時に、彼等はかすかにスカンジナビア人の名前の教授から講義紹介を受け、講義受講を強く勧められた。その話し手は悪戯者のRaoul Hussonだが、偽髭を付けはっきりしないアクセントで話した。古典的函数論から始まって、話は聴衆に"ものも言えない素晴らしい"と言ってから、ブルバキの定理でクライマックスを迎えた(このブルバキはナポレオンに帯同した将軍)。ヴェイユはこの話を思い出し、その名前が採択された。だが、何故ニコラなのか。論文の提出に対して著者はファーストネームを必要とした。ブルバキ・ニコラと洗礼名をつけたのはヴェイユの妻エヴェリンだった。ノートは不幸なポルダヴィア人数学者を擁護したエリ・カルタンによって科学アカデミーに渡された。ノートは受理され刊行された。
ブルバキが採用した編集方法は、共同参加を維持する願いから発展した。テキストは会合の前に持込まれ、1ページ毎、1行毎にグループに発表され、グループは何かを言うが、全く批判だった。改訂はグループのもう一人のメンバーに渡され、新しい草稿が出来た時に、そのプロセスは繰り返された。満場一致が十分な回数を重ねた後に、テキストの厳密さ、又はトピックに関してグループの疲労困憊のどちらかのために、テキストはまとめられ(通常、デュドネによって)、出版者に送られた。

余話: 公理的手法
見習い期間中、ヴェイユは多方面に旅行したが、国家社会主義が台頭した間、主にドイツで過ごした。彼は数論に関心を持っていたので、ドイツ学派の数学、特にダヴィド・ヒルベルト(1862–1943)とゲッティンゲン学派によって率いられた公理的アプローチを敬っていた。19世紀から20世紀までフランス数学は解析学が有力だった。数論的性質の結果でさえ、解析的手法を通して証明された。多くの分野でヒルベルトのアイデアは他の所の数学者を惹き付け、ブルバキのメンバーが彼等のプロジェクトを形成するモデルを求めた時に公理的手法に向かった。
この現象は先例があった。E.H. Moore(1862–1932)が1900年頃シカゴ大学数学部門を率いるために来た時、彼はヒルベルトの幾何学の基礎のスタイルを現代的で厳密かつ真似るべき手本として意識的に採用した。シカゴの初期の教え子の内でも(オズワルド・ヴェブレン(1880–1960)、Frederick Owens、R.L. Moore(1882–1974))、彼等の学位論文が幾何学の基礎、公理体系、ヒルベルトの達成した記述の節約に関したものだと分かる。この、いくつかの研究の目標は幾何学を記述する公理系を縮小(冗長を見つけ出し、ユークリッドの恵みに達成すると思う必要最小のものを示すこと)することだった。しかし、これらの目標は、賞賛に値するけれども、公理的手法の深刻さを使い果たさない。
大雑把に言えば、公理的手法は、いくつかの分析の後、定理の集まりを推論されるような公理系を示す数学創造へのアプローチだ。公理系の正しさを示す目標は直感の欺瞞を避けることである。ヒルベルトの代数的整数論(報告書)と不変式論における経験は彼をもっと抽象一般化へ通じる道に足を踏ませた。
1898–99年の講義で彼が初等幾何へ向かった時、ゲッティンゲンの学生たちは驚いた。ヒルベルトの初期研究歴で既に、"点、直線、平面の代わりに、人は机、椅子、ビールのジョッキと言えるはずだ"と幾何学について注意した。基礎における彼の目標は、"幾何学に対して単純完璧な独立した公理系を選び、これらから、異なる公理群の意味と個別の公理から導かれる結論の範囲を可能な限り明確に引出すような形で最も重要な幾何学的定理を引出すこと"だった。
基礎はすぐに成功し、Henri Poincaré(1858–1912)から次のような反応を引出した。"論理的見地だけがヒルベルト教授の興味を掻き立てるらしい。命題の列があれば、彼は先ず第一にteh[訳注: 英語の定冠詞theがよくtehと書き間違い易いことを例にして皮肉っているのです]から論理的にすべてが成立すると分かっている。この最初の命題とその心理的起源に彼は関心を持たない....公理は自明のことと仮定されている。それらがどこから来ているのか私達は分からない。それはAをCと仮定するように安易だ....彼の研究は従って不完全だが、これは彼に対する批判ではない。不完全なものは必ずや諦めて不完全を甘受するはずである。彼は数学哲学を一歩前進させたことで十分である....”。
ヒルベルトの試みの哲学的及び基本的方面ははっきりしている。しかし、数学的方面は基礎の大部分の議論の中心ではない。独立した研究のうちでも、彼は新しいオブジェクトを導入して来た―特に、非アルキメデス幾何学。公理群の中の関係を離すことによって、一つ又はそれより多くの仮定の失敗がどのようにして新しい結果を生むか人は発見する―この活気性のモデルが非ユークリッド幾何学だ。彼の代数と数論での経験も、公理的手法が、新しい議論を作り、新しい事象を発見し、おまけに過去を整然とした形で保持出来る手段を高めるという見解を立証した。
ブルバキにとって重要なもう一つのゲッティンゲンの成果も同じ考え方だ。B.L. ファン・デル・ヴェルデン(1903–1996)による現代代数学が1930年に出現し、ある結果へのアプローチでの類似性を示す公理に基づいた代数学の系統だった解説を与えた。同型写像の概念は代数学の中で重要な役割を果たし、後にブルバキの中心思想として浮上する。
実のところヒルベルトとファン・デル・ヴェルデンは、過去(理論の完璧な記述を取り戻すこと、が正式な表明となっているけれども)が目的ではなく、前向き(多くの新しい結果を構築出来るスリムな足場を読者に与えること)な数学的目標を求めたと理解することが重要である。この意見が現代数学のなされた来た方法の一部となった度合いを、私達がこの種のプレゼンテーションに対して持つ自然な感触によって測ることが出来る。いつもそうだとは限らなかった。

ブルバキでの代数トポロジー
現代的で厳密な万能テキストを造る目標は最もブルバキの特徴的な美点となった。"本質的要点に行き、数学をもっと包括的で概念的な方法で再編するために数学を消化 [Borel]"しようと、トピックは何度も議論された。この目標を達成しようとセッションは活発だった。戦後にもかかわらず、La Tribu[訳注: "連中"という意味ですが、これはブルバキの隠語で、ブルバキ会議の報告書のことです]の中に、カルタンとデュドネの間に古典的と考えられる論争の再現の記録がある。彼等の作業方法と明快な目標とともに、"是認されたものは何であれ作者へのクレジット無しに統合された。概して言えば、本当に無私、匿名で、基礎数学の出来る限りベストな解説を与えようと奮闘している人達による要求の厳しい仕事は、彼等の信念によって一貫性と極度な簡素性に近づいた [Borel]"。
トピックの最初期のリストは1935年の夏会議から始まる。

Abstract sets (HC)
Algebra (Delsarte)
Real numbers (Dieudonné)
Topology. Theorems of existence (AW, deP)
Integration
Real functions, series, infinite products
Inequalities: O and o
Calculuss of differential forms
Geometry
Analytic functions: general part

トポロジーの議題がリストに登場し、1935年の春には、トポロジーの記述を含む予想されるテキストの議論があった。古典的教科書としてKerekjarto、Seifert、ThrelfallによるものとKuratowskiによるものが言及された(フランス語では皆無)。デルサルト編集によるJournal de Bourbaki(後にLa Tribuとなった)の創刊号には、新刊本のAlexandroffとHopfのTopologie Iをヴェイユが読んでいることが報告された。このTopologie Iは彼等の記述が誤らないようにさせるものとして期待された。トポロジー部門を書いているチーム(ヴェイユ、ド・ポッセル、アンリ・カルタン)は1936年に、読み上げている(ヴェイユ)、眠っている(ド・ポッセル)、又は何も書かずに考えている(カルタン)と報告されている。
報告書の中で、最初期の"代数トポロジー"への論及は、位相群での双対の議論に言及するための用語として使用しており、後の議論では"位相的代数"となった。1930年代には組合せトポロジーの要点がブルバキ内部でも議論された。既に1935年の夏カンファレンスで、ヴェイユによるアウトラインは組合せ的トピックの中でも次元、交わり、繋ぎ、不動点の指数を持つ写像度を含んでいる。基本群(ポアンカレ群)と被覆面も含んでいた。1938年までに、ヴェイユは写像度と組合せトポロジーについての報告を書いた。
1937年までに目標日とともに第1巻の計画がった。すなわち、1.I.1938までに第1巻の完成だ。集合論、代数、集合論的トポロジー、抽象積分のトピックを含むため抽象パッケージは大きくなってしまった。いやそれどころか、数学者のためのツールボックスを書く目標を維持して、最初の刊行はテキスト本ではなく、集合論に関する結果の一覧(証明の無い定理公式の巻)だった。解析学への行程に始まって、集合論が将来の巻に対する基礎を担うことで意見が一致した。
将来の巻の計画は1940年までJournal de Bourbaki(その年にLa Tribuに変わった)で議論された。La Tribuの時までに、構造の概念の使用はプロジェクトを公にする理論付けを支配した。後にLe LionnaisのLes grands courants de la pensée mathématique[訳注: "数学的思考の主な傾向"]のブルバキ項目で書かれたように、最も簡単で多くの数学的活動で共有される"母なる構造"があった。これ以上に、いくつかの母なる構造をブレンドする"多重構造"が存在することを知る。例えば、位相群は連続性を持つ群構造をブレンドし、一方で代数構造とともに順序構造はイデアルと整域の研究の要因となっている。
構造の階層に基いて、Éléments de mathématiqueは分割された。パートⅠは解析の基本構造を、パートⅡは線型解析を、パートⅢは代数的解析(楕円関数、数論)を、パートⅣは微分トポロジーを扱った。この計画では代数トポロジー(すなわち、組合せトポロジー)がパートⅠにあるのが分かる。

Book I. Set theory
Book 2. Algebra
Book 3. General topology
Book 4. Topological vector spaces
Book 5. Elementary techniques of infinitesimal calculus
Book 6. Integration
Book 7. Combinatorial topology
Book 8. Differentials
Book 9. Calculus of variation
Book 10. Analytic functions

本 3と本 7の概観に関する25ページの報告はTopologia Bourbachica[訳注: "ブルバキ的トポロジー"]と題され、その中で主なトピックは1. 一般トポロジー、2. 位相的次数、3. 被覆とポアンカレ群、4. 組合せトポロジー(曲面、ベティ群、オイラー-ポアンカレ式、ベクトル場の指数)だった。
ヴェイユは本 7と本 8の議題について"熟考"中であり、Ehresmannは本 7の第3部と第4部について作業していると報告された。1941年遅く、"編集者は残念に思っている...これらが無いのはよく目立つこと"で、これらの本は緊急に作業が必要としてリストされた。
パートⅠの新構成が1941年の夏会議(クレルモンにおいて)で発表された。

1. Sets
2. Algebra
3. General Topology
4. Functions of a real variable (elementary theory)
5. Combinatorial topology
6. Topological vector spaces
7. Differential calculus and manifolds
8. Integral calculus and differential forms
9. Analytic functions

この計画において代数トポロジーの進行は殆ど無い。10–15.IV.1944のLa TribuNo. 10に"パリで1944年4月6日から8日まで開かれた最近のブルバキ会議は、それでも重要な前進をした。編集者が長らく望んでいた、代数トポロジーの始まりだ"と報告されている。
しかし、その時の議題のコアな記述は、a) 曲線のメンガー理論、グラフ、ペアノ連続体、連続体は含むべきでない、b) ノットについての一章、c) 高次ホモトピー群とファイバー空間、それらは興味を駆り立てるし、将来性もあるようであるが、現時点では"幼虫"の状態である、と書かれていた。このトピックの展開は戦争中、フランスではEhresmann、カルタン、ルレイ、米国ではスティンロッド、ホイットニー、スイスではHopf、Eckmannの研究で占められた。
11–15.1945のLa TribuはパートⅠのトピックの依存関係の図を含み、再度代数トポロジーが基礎の近くに位置している。

依存図[訳注: 当然ながら図を入力出来ませんので、興味ある人は原文を見て下さい]
パリ会議11-15.IV.1945 La Tribu no. 8より

1947年一般プランの構成は再度変わった。基礎がブロックに分かれた。

General Plan
I. Sets, II. Algebra, III. General Topology
Linear bloc: IV. Functions of a real variable,
V. Topological vector spaces, VI. Integration, VII. Local differentials
Topologico-differential bloc: VIII. Algebraic topology, IX. Manifolds,
X. Lie groups

1946年、第2次世界大戦が終わり簡単に旅行出来るので、サムエル・アイレンバーグ(1913–1998)がメンバーとして、明らかに代数トポロジーに関するレポートを準備するために招集された。1949年までにアイレンバーグとヴェイユによるファイバー空間のトポロジーの重要方面を取上げている82ページのドキュメント、Rapport SEAW sur la topologie préhomologique[訳注: "プレホモロジー的トポロジーに関する緊急報告"]があった。この細かく書かれたレポートはいくつかの新しいアイデアを含み、ファイバー空間の点集合の概念を発展させた。例えば、彼等は空間の表皮(こうしてはいけないことがあろうか、と補足説明付きで)を定義した。この"皮"は良好な拡張概念を持つ空間被覆である。
馴染みのあるトピックを取上げているリストは1950年の総計画である。

Part I.
1. Sets
2. Algebra
3. General topology
3tt bis. Geometric topology
4. Functions of a real variable
5. Topological vector spaces
6. Integration
7. Manifolds
8. Analytic functions
9. Lie groups

パートⅡは可換代数を、パートⅢは代数トポロジーとその応用を、パートⅣは関数解析を扱った。
新しいトピック、幾何的トポロジーは被覆、ファイバー空間、ホモトピー、多面体、レトラクト、基本群のようなトピックを取上げるためにセールによって名付けられた。この術語は文献に載ったが、それを嘲り別の術語を考案したブルバキにはしっくり来なかった。

そして、どうなったか?
代数トポロジーのテキストの出版にも影響を与える、もう一つの企てがこの時くらいに生まれた。1948/49年にアンリ・カルタンセミナーがパリで始まった。カルタンは1948年にちょうどハーバードから帰って、後に層となる位相的概念について喋った。最初からセミナーはトポロジーなテーマを取上げ、48/49年に基礎概念に始まり、ファイバー空間へと進み、後年にはスペクトル列、層、群のホモロジー、アイレンバーグ-マクレーン空間となった。これらの講義の解説のレベルは、ブルバキの期待と合致し、講義の多くは当時のブルバキのメンバーによって行われた。
Éléments de mathématiqueの最初期計画における代数トポロジーの議論と、ブルバキの予想読者のための基本的ツールでの実現は、そのトピックがグループにとってどういう位置かを明確にしている。しかし、その分野の発展が戦後急激だったので、出版物の基準としてブルバキが課した方法(すなわち、本質的概念は同一化され、公理的基礎は主要定理が最初の原理からスムーズに証明されるように表現されていること)とは一致しなかったであろう。ホモロジー代数の傍系的な発展は代数トポロジーに一ツールを与え、最終的にブルバキに取上げられたが、つい最近の時だ(1980年)。この発展の一部がブルバキ自身のメンバー、カルタン、アイレンバーグ、セール、Borelやその他の人によって実現されたことは重要であり、ブルバキの他の貢献と同じ形で取上げるには余りにも新しかった。
ブルバキの出版物は読み易くない。その厳格なスタイルは、彼等の仕事に正確厳密に表現されている統一数学の一枚岩的見解と結びついている。道標であり且つ目標として"構造"という哲学的枠組みは際立った仕事の説明に役立つ。しかし、保管庫の記録は別のストーリーを物語る。厳格さは集団的検閲の結果だ。ドキュメントの経過は最初の発表から最終的出版まで、一流の数学者の意見交換によって薬味が加えられ、驚くべき基準に則り、殆ど混沌だった。
一つの企ての観点から、ブルバキのÉlémentsは、好結果を生むと考えられた手法(公理的手法)に基いて、有能な数学者の集まり(作品上では個人は匿名によって埋没されるが、そのプロセスが巻き込む活発性により埋め合わされている)による数学的文化の再構築の試みとして際立っている。私達は同じ事をするために動かされている違いない(そして、代数トポロジーに関して何の種類のレポートを今日作ったのかと思う)。

参考文献
Beaulieu, L., A Parisian café and ten proto-Bourbaki meetings (1934–35), Math. Intell. 15(1993), 27–35.
Borel, A., Twenty-five years with Nicolas Bourbaki, 1949–1973, Notices A.M.S.45(1998), 373–380.
Bourbaki, N., L’architecture des Mathématiques, in F. Le Lionnais, Les grands courants de la pensée mathématique, Cahiers du Sud, Paris, 1948. (Translated by Arnold Dresden in Amer. Math. Monthly 57(1950), 221–232.)
Bourbaki, N., Eléments de Mathématique, Hermann et cie, Paris, 1939–1998.
Chouchan, Michèle, Nicolas Bourbaki: Faits et légendes, Éditions du Choix, Agrenteuil Cedex, 1995.
Corry, L., Nicolas Bourbaki and the concept of mathematical structure, Synthese92(1992), 315–384.
Dieudonné, J., The work of Nicholas Bourbaki, Amer. Math. Monthly77(1970), 134–145.
Houzel, C., Bourbaki und danach, Math. Semesterber.49(2002), 1–10.
Mashaal, Maurice, Bourbaki, une société secrète de mathématiciens, Belin, Pour la Science, 2002, Paris.
Parshall, K. H., Entering the International Arena: E. H. Moore, The University of Chicago, and Hilbert’s Grundlagen der Geometrie, Festschrift for Laura Toti Rigatelli, to appear.
Weil, André, The apprenticeship of a mathematician; translated from the French by Jen-nifer Gage, Basel; Boston: Birkh¨auser Verlag, 1992.

コメント

このブログの人気の投稿

ABC予想の壮大な証明をめぐって数学の巨人達が衝突する

今回紹介するのは abc 予想の証明に関する最近の動向を伝えている記事です。 これを選んだ理由は素人衆が知ったかぶりに勝手なことを書いているのをネット上で散見するからです。ここで言う素人衆は日本のメディアはもちろんのこと、馬鹿サイエンスライターも当然含みます。昨年末(2017年12月16日)に某新聞が誤報に近いことを報道したことも記憶に新しいでしょう。そんな情報に振り回されないために今回の記事です。 今回の記事は正確かつ公平だと私は思いました。私の友人共の何人かは、この方面の専門家だから門外漢の私はいろいろなことを教えてもらいました。その上での感想です。 その方面の専門家でなくても数学の研究者なら望月論文は無理でもレポートは読めるはずなので、もっと詳しく知りたい人はレポートを読んで下さい。 前置きはこれくらいにして、紹介する記事は" Titans of Mathematics Clash Over Epic Proof of ABC Conjecture "です。その私訳を以下に載せておきます。 [追記: 2018年10月06日] ここに至るまでの経緯については" 数学における最大の謎: 望月新一と不可解な証明 "を読んで下さい。その記事は2015年12月にオックスフォードで行われた望月論文に関する初めての国際的ワークショップより前の話が書かれています。 このワークショップはいろいろ評価が分かれるけれども、私が聞く限り、大失敗だと言う人が多いです。実際、私の海外の知人の一人がワークショップに参加しており、ボロクソに言ってました。 このワークショップを境に、海外特に米国では望月論文を理解しようとする熱意が急速に薄れたように感じますし、ショルツ、スティックス両博士の異議申し立てが出るまで実質何の音沙汰もない状態でした。 [追記: 2018年10月23日] 私の友人共に指摘されたのですが、この記事の私訳を読む人の殆どが日本の全くのド素人なんだから、たとえ原文に記載されていなくても誤解を生じさせないように訳者が万全を期するべきだと言われました。 記事に出て来る Publications of the Research Institute for Mathematical Sciences (略してPRIMS)

数学における最大の謎: 望月新一と不可解な証明

前回紹介した" ABC予想の壮大な証明をめぐって数学の巨人達が衝突する "はもちろん一般大衆向けの記事です。数論、数論幾何学、IUTT(宇宙際タイヒミュラー理論)のいずれかの専門家なら、そんな記事を読まなくても、そこまでに至る経緯は十分に承知しています(何故なら自分達の飯の種を左右する問題だから)。その方面の専門家でなくても数学研究者なら数学コミュニティ又は数学界を通して大概の経緯を聞き及んでいます。 私の身辺(私の友人共はすべて何らかの形で数学研究に携わっているので、それらを除きます)でその記事を読んだ感想は"そんなに拗れるのは不思議だ。もっと経緯を知りたい"というのが多かったです。その身辺の彼/彼女等はもちろん素人衆ですので、望月新一博士の名前も報道でしか聞いたことがないし、数学で何故これほどまでもつれるのか不思議でならないそうです。彼/彼女等は至って真面目です(何故こういう事を書くかと言うと、素人衆と言っても千差万別で、中にはネット上で国家高揚か日本民族高揚のために望月博士のことを書いているとしか思えない不逞の輩がいるからです)。そこで、それらの真面目な人達のために今回紹介するのは2015年10月の Nature 誌に載っていた" The biggest mystery in mathematics: Shinichi Mochizuki and the impenetrable proof "です。 何故これを選んだかと言うとエンターテイメント性があり、素人衆でも面白く読めるだろうと思ったからです。但し断っておきますが、いろいろな数学者の証言を繋ぎ合わせて望月博士の心情を勝手に推測するのははっきり言って妄想であり、さすがエンターテイメント性を重視して堕落した Nature 誌だけのことはあると私は思いました(あのSTAP論文を掲載したことも記憶に新しいでしょう)。 その私訳を以下に載せておきます。 [追記: 2018年10月06日] この記事は2015年12月に行われたオックスフォードでのワークショップより前の話です。このワークショップは望月論文に関する初めての国際的な会合で、この記事でもこのワークショップにかなりの期待を寄せているところで終わっています。 しかし、いろいろ評価が分かれ

谷山豊と彼の生涯 個人的回想

数学に少しでも関心のある人なら、フェルマーの最終予想が、これを含む一般的な志村予想を証明することによって解決されたことは御存知でしょう。この志村予想は、かって無知と誤解によって谷山-志村予想と呼ばれていました。外国では更に輪をかけて(と言うよりもアンドレ・ヴェイユの威光によって)谷山-志村-ヴェイユ予想と呼ばれていました。ヴェイユがこの予想に何ら関係しないことは、故サージ・ラング博士によって実証されました。それでも、谷山-志村予想もしくは谷山予想と呼ぶ人がまだ散見されます(散見と言いましたが、日本人ではかなり多いです。国民性に依存するのかどうか知りませんが)。私は数論を専攻したことがなく、ずぶの素人ですが、志村博士が書かれた記事や自伝"The Map of My Life"を読み、何故志村予想なのか納得しました。ここで込入った話を書くことは不可能なので、分り易く言えば、故谷山氏は何ら予想の内容にタッチしていないと言ってもいいかと思います。勿論、その周辺は谷山氏の研究分野でしたから周辺にはタッチしていたでしょうが、志村博士は全く独立にきちんと予想を定式化しました。ですが、谷山氏と志村博士はいわゆる盟友関係であり、また谷山氏の不幸な亡くなり方を悼む日本人的感情(つまり、センチメンタル)から日本人は谷山-志村予想と頑なに呼んでいるのだと私は理解しています。ですが、これは数学なのであり、事実を直視しなければいけないと思います。また、最終的に志村予想は証明されたのですから、何とかの定理と呼ぶべき時期だと思います。この"何とか"に何を冠するかはいろいろ意見があるようですのでこれ以上は触れないでおきます。 さて、志村博士の"The Map of My Life"の第4章、18節に"18. Why I Wrote That Article"があります。ページ数で言えば145ページ目です。タイトルが示している"あの記事"とは、志村博士が英国の専門誌 Bulletin of the London Mathematical Society に発表した" Yutaka Taniyama and his time, very personal recollections "

識別の危機

昨年紹介した" ABC予想の壮大な証明をめぐって数学の巨人達が衝突する "の元記事はもちろん大衆向けのオンライン科学ジャーナル Quanta Magazine に掲載されたものですが、著者はErica Klarreich女史です。彼女はサイエンスライタではあるけれども、歴とした数学者です。しかも、幾何的トポロジで彼女の名前を冠した定理を持つくらいの立派な方です。何故こういうことを書くかと言うと、IUTを支持するイヴァン・フェセンコ博士がKlarreich女史をいかにも素人呼ばわりした非常に下らないドキュメントを書いたからです。大学にポストを持っていなければ全員が素人なんですかと問いたいくらいです。これでは世界からIUT自体が白眼視されるのも無理からぬことだと思いました(本当のところは全く違う理由からなんですが、話せば切りが無いので止めておきます)。 さて、今回紹介するのはディヴィド・マイケル・ロバース博士が書いた記事" A Crisis of Identification "です。ロバース博士と言えばショルツ、スティクス両博士のリポートが公開された直後からキャテグリ論の専門家として非常に冷静な分析をされていたことに私は感心してましたから直ぐに記事を読みました。一つの不満を除いて非常によく書けていると思います。" ABC予想の壮大な証明をめぐって数学の巨人達が衝突する "も勿論読み応えのある立派な記事でしたが、どちらかと言うとドキュメンタリ風の記事でしたし、読者層が一般大衆であることを考慮してあまり数学を前面に出していませんでした。ロバース博士の記事はもう完全に数学を前面に出しています。 前述した一つの不満はグロタンディーク氏のことにスペィスを割いて結構触れていることです。今のABC予想の置かれている状況とはあまり関係がないと私は思いました。やはり大衆受けを狙ったのかと感じました。まぁ、日本でも素人には何故かグロタンディーク氏は大人気ですから(捏造されたエピソゥド、つまりグロタンディーク素数がどうたらこうたらに踊らされて?)、それはそれで良いのかも知れませんが。 前置きはこれくらいにして、この記事の私訳を以下に載せておきます。なお著者の注釈欄を省いていますが、注釈へのインデクスはそのままです。 [追

数学教育について

聞くところによれば、関数型プログラミング言語の流行とともに数学の圏論がブームだそうで。圏の概念が他の数学の分野を全く知らない人でも意味が分かるのか疑問を持っています。その理由は後で述べます。 私の手許に故Serge Lang博士の名著"Algebra"があります。この本は理由があって、何と大昔の1974年の初版第6刷です。非常に貧しい学生だった私に恩師が2冊持っているからと言って1冊を下さり、私の生涯の宝物です。 仮に数学を代数学、幾何学、解析学という全く意味が無い区分けをしたとします。意味が無いと言うのは、例えば多様体論なんかはどの分野にも入るからです。そうであっても無理に区分けしたとしましょう。この3分野のうちでも、代数学(厳密に言えば抽象代数学です)が、勉強するだけなら(あくまで勉強するだけですよ、研究となれば別の話です)数学的予備知識も数学的センス(故小平邦彦博士の言うところの"数覚"、位相群で有名だった故George W. Mackey博士の言うところの"数学的成熟度"、まぁ簡単に言えば数学的才能ですね)も全く必要としません。必要なのは論理を追うための忍耐力と言えます。ですから、理解出来るか否かは別にして、代数構造を"言葉"として吸収することは誰にでも出来ます。数学のどの分野を専攻してもLang博士の"Algebra"程度の知識は"言葉"として知っていなければ話にならないのです。数学での代数学は、私達が日本語や英語等でコミュニケーションするのと同じく、数学の言語なのです。 Lang博士の"Algebra"には、第1章群論の第7節に早くも"圏と関手"が登場します(ページで言えば25ページ目です)。ついでながら、この圏、関手という日本語は全く元の英語が想像出来ないので、以降カテゴリ、ファンクタと書きます。 ところで、Lang博士はブルバキにも入っていた人ですから、こういう抽象度が高い概念を重要視しているかと思いきや、決してそうではないのですね。元々カテゴリ、ファンクタ(ファンクタの方が重要な概念でして、カテゴリはファンクタが扱う対象物です)は、ホモロジー代数の一部として提案された概念です。ホモ