レンズ空間
数学にいうレンズ空間(レンズくうかん、英: lens space)は位相空間の一種である。しばしば三次元多様体の特定のクラスを指す言葉として用いられるが、一般にもっと高次元のレンズ空間も定義することができる。
三次元多様体の場合、レンズ空間というのは二つのソリッドトーラス(中身の詰まったトーラス)をその境界で貼り合せる事で得られる空間として特徴付けることができる。ただし、三次元球面 S3 や S2 × S1 は、そうやって得られる空間ではあるものの、自明な場合であるとして、レンズ空間とは扱わないことも多い。
三次元レンズ空間 L(p, q) は1908年に Tietze が導入した。三次元レンズ空間はそのホモロジーおよび基本群だけからは決定することができない三次元多様体の最もよく知られた例であり、そして同相型 (homeomorphism type) がそのホモトピー型から決まらない閉多様体の最も簡単な例である。J.W. Alexander は1919年にレンズ空間 L(5; 1) と L(5; 2) が、基本群とホモロジー群が同型であるにもかかわらず互いに同相ではないことを示した。他にも同じホモトピー型を持つ(従って基本群もホモロジー群も等しい)が同相型が異なるレンズ空間というものが存在する。これにより、レンズ空間の導入を以って(代数的位相幾何学から分かれて)幾何学的位相幾何学 (geometric topology) の起こりと考えられる。
三次元レンズ空間はライデマイスタートーションによる完全な分類が済んでいる。
レンズ空間の古典的位相不変量
型レンズ空間の基本群は と同型になる。また、ホモロジー群に関してはポアンカレ双対定理と普遍係数定理を用いることで次のように計算される:
ここで は 型レンズ空間を表す。後ほど分かるように、レンズ空間の同相分類やホモトピー分類には も関係するので、基本群やホモロジーではレンズ空間の分類はできない。
レンズ空間の分類
レンズ空間の同相分類は次のものが知られている: 型レンズ空間と 型レンズ空間が同相である必要十分条件は、 となることである。一方で、ホモトピー分類に関しては次のものが知られている: 型レンズ空間と 型レンズ空間がホモトピー同値である必要十分条件は、ある整数 が存在して となることである。このことから、ホモトピー同値だが同相ではないレンズ空間の組が存在することが分かる。