N a p l o g

本に出てきた名称に関して Wikipedia へのリンクです。個々を調べるための参照用に。若干体系的に理解しやすくなるようにインデントをつけましたが後半はフラットです。特にトポロジー関連と人名はここには入れてありません。

• 数学 mathematics
• 数学的構造 mathematical structure
  ブルバキによって全数学を統一的に少数の概念によって記述するために導入された概念。
• 代数学 algebra
  数の代わりに文字を用いて方程式の解法を研究する学問として始まったが、現代代数学は一般的に代数系を研究する学問分野であると捉えられている。
  • 数論 number theory
    数、特に整数の性質について研究する数学の一分野である。整数論とも言う。ふつうは代数学の一分野とみなされることが多い。
• 代数的構造 algebraic structure
  集合に定まっている算法（演算ともいう）や作用によって決まる構造のこと。
  • 一つの演算によって決まる代数的構造
    • 群 group
      最も基本的と見なされる代数的構造の一つ。
    • アーベル群 abelian group
      可換群(commutative group)すなわち、定義される乗法が可換な群のこと。
    • 半群 semigroup
      結合法則を満たす二項演算の定義された集合のこと。
    • モノイド
      二項演算の定義された集合の一種である。単系と訳されることもある。
  • 二つの演算によって決まる代数的構造
    • 環 ring
      加法と乗法について閉じている代数的構造を持つ集合。
      • イデアル ideal
        環論における重要な概念。
    • 体 field, Körper, corps
      四則演算の自由にできる代数的構造を備えた集合。
  • その他
• 集合論 set theory
  集合とよばれる数学的対象をあつかう数学理論。
  • 集合 set
    いくつか（有限または無限）の「もの」からなる「集まり」。慣例的に、ある種の集合が系（けい、system）や族（ぞく、family）などと呼ばれることもある。
    • 元 element; 要素
      複数の「もの」で構成されている集合の中において、集合を構成している個々のものを指す。
    • 系 system
      同時に成立する関係性の組（代数系、方程式系など）。
    • 族 family
      添字付けされた元（要素）の（一般には非可算無限個の）集まりで、対、n-組、列などの概念の一般化。
• 圏論 category theory
  数学的構造とその間の関係を抽象的に扱う数学理論の 1 つ。考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。
  • 圏 category
    数学的構造とその変形を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによってあたえられる。
  • 射 morphism：モルフィズム
    2つの数学的構造の間で構造を保存する過程を抽象化したもの。
  • 関手 functor
    圏論における一つの圏から別の圏への対応でその構造と両立するようなもの。関手は「圏の圏」における射と考えることもできる。
• 束論 lattice theory
  束 (lattice) に関する理論。
• 概型 scheme; スキーム
  可換環に対して双対的に構成される局所環付き空間。
• 代数多様体 algebraic variety
  最も簡略に言えば、多変数の連立多項式系の解集合として定義される図形と述べる事が出来る。
• 非可換幾何 noncommutative geometry
  可換性が成り立たないような代数構造に対する空間的・幾何学的な解釈を研究する分野。
• ガロア理論 Galois theory
  代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する代数学の理論。
• 解析接続 analytic continuation, analytic prolongation
  リーマン球面上の領域で定義された有理型関数に対して定義域の拡張を行う手法の一つ、あるいは、その拡張によって得られた関数の事。
• 素数定理 Prime number theorem
  自然数の中に素数がどのくらいの「割合」で含まれているかを述べる定理。
• オイラー積 Euler product
  ディリクレ級数を素数に関する総乗の形で表した無限積。
• ディリクレ級数 Dirichlet series
  リンク参照。
• L関数 L-function
  リーマンのゼータ関数を一般化したもの。
• ガウス整数 Gaussian integer
  実部と虚部が共に整数であるような複素数、すなわち a, b を整数として a + bi の形の複素数のこと。
• 種数 genus
  数学用語で、分野によって似通っているが微妙に異なる意味を持つ。
• 素イデアル
  環のイデアルで、ある条件を満たすもの。
• 完備距離空間: 完備; complete
  距離空間 M が完備であるとは、距離空間 M におけるいかなるコーシー列も M 内の点に収束すること。
• コーシー列 Cauchy sequence
  数列などの列で、十分先のほうで殆ど値が変化しなくなるもの。実数論において最も基本となる重要な概念の一つ。
• バーゼル問題 Basel problem
  級数の問題の一つで、Pietro Mengoli によって1644年に提起され、レオンハルト・オイラーが1735年に解いたもの。
• ヴェイユ予想 Weil conjecture
  数学者のアンドレ・ヴェイユが発表した、リーマン予想の類似で非特異代数多様体上の合同ゼータ関数における予想。
• p進数 p-adic number
  1897 年にクルト・ヘンゼル によって導入された数の体系の一つ。
• 岩澤理論 Iwasawa theory
  岩澤健吉が円分体の理論の一部として創始した、（無限次元拡大の）ガロア群の、イデアル類群における表現論。
• 零点 zero
  ある関数 f によって、0 に移される点、すなわち f(z) = 0 を満たす z のこと。

これらの他、本文中には F1 スキームという手法が取り上げられていましたが Wikipedia には無いようです。少し Web で調べてみたら著者の一人である小島さんのブログに言及がありました。

• 2009-06-08 - hiroyukikojimaの日記
  http://d.hatena.ne.jp/hiroyukikojima/20090608

さて、大まかな概要が分かったところで中身の理解をしなくては。。

最後に一点、この本を読んでいて理解しづらかった言葉に「零点」がありました。ちょっと考えて何を言っているのかわかりましたが、数学用語として存在してるんですね。簡単な言葉だと、値域として 0 となる点、と言った意味です。