レンズ空間

数学におけるレンズ空間（レンズくうかん、）とは、位相空間の一種である。しばしばの特定のクラスを指す言葉として用いられるが、一般にもっと高次元のレンズ空間も定義することができる。
3次元多様体の場合、レンズ空間というのは二つのソリッドトーラス（中身の詰まったトーラス）をその境界で貼り合せる事で得られる空間として特徴付けることができる。ただし、3次元球面 "S"3 や "S"2 × "S"1 は、そうやって得られる空間ではあるものの、自明な場合であるとして、レンズ空間としては扱わないことも多い。
3次元レンズ空間 "L"("p"; "q") は1908年に Tietze が導入した。3次元レンズ空間はそのホモロジーおよび基本群だけからは決定することができない3次元多様体の最もよく知られた例であり、そして同相型 (homeomorphism type) がそのホモトピー型から決まらない閉多様体の最も簡単な例である。J.W. Alexander は1919年にレンズ空間 "L"(5; 1) と "L"(5; 2) が、基本群とホモロジー群が同型であるにもかかわらず互いに同相ではないことを示した。他にも同じホモトピー型を持つ（従って基本群もホモロジー群も等しい）が同相型が異なるレンズ空間というものが存在する。これにより、レンズ空間の導入を以って（代数的位相幾何学から分かれて）幾何学的位相幾何学 の起こりと考えられる。
3次元レンズ空間は基本群とライデマイスタートーションによって完全に分類される。
定義.
3次元レンズ空間 formula_1 は formula_2 の formula_3-作用による商空間である。以下でより正確な定義を述べる。
formula_4 と formula_5 を互いに素な整数とし、formula_6 内の単位球として formula_7 を考える。
このとき,
formula_8
で生成される formula_2上のformula_10-作用は自由である。
この作用による formula_7 の 商空間 を レンズ空間 formula_1 と定める。
この定義はより高次元のものに一般化できる。formula_13を2以上の整数、formula_14 を、各 formula_15 と formula_4 が互いに素であるような整数とし、
formula_17 内の単位球として formula_18 を考える。
formula_19 で生成される自由 formula_20-作用による formula_18 の商空間を、レンズ空間 formula_22 と定める。
formula_23のとき、formula_24 が成り立つ。
レンズ空間の古典的位相不変量.
レンズ空間 formula_25 の基本群は常に formula_20 であり、formula_15 の値に依らない。特に、
formula_28 の基本群は formula_3 である。また、ホモロジー群に関してはポアンカレ双対定理と普遍係数定理を用いることで次のように計算され、こちらもformula_5の値に依らないことがわかる:
後ほど分かるように、レンズ空間の同相分類やホモトピー分類にはformula_5 も関係するので、基本群やホモロジーではレンズ空間の分類はできない。
レンズ空間の分類.
レンズ空間の同相分類は次が知られている： レンズ空間 formula_28 と formula_34 が同相であるための必要十分条件は、formula_35 となることである。一方で、ホモトピー分類に関しては次が知られている： レンズ空間 formula_28 と formula_34 がホモトピー同値であるための必要十分条件は、ある整数 formula_13 が存在して formula_39 となることである。
このことから、ホモトピー同値だが同相ではないレンズ空間の組が存在することが分かる。例えば、formula_40 と formula_41 はホモトピー同値である (formula_42だから) が、同相ではない。