初めに
本記事では多様体上のランク有限ベクトル束でその双対と同型でないものの例を構成していきます。
初めに「多様体」の意味するところをはっきりさせておきましょう。
多様体とは各点が局所的にの開集合と同相な開近傍を持つ位相空間を指す。
多くの文献で「多様体」の条件として仮定されがちなパラコンパクト性やハウスドルフ性は仮定しません。仮定すると次の定理で書くことがなくなってしまうからです。
パラコンパクトかつハウスドルフな多様体上の任意のベクトル束はその双対束と同型である。
パラコンパクトでない多様体
上の定理により双対と同型でないベクトルを構成するにはハウスドルフでない例かパラコンパクトでない例を持って来ることになります。ここではパラコンパクトでないものを考えることにしましょう。パラコンパクトでない多様体の(多分)いちばん有名な例である「長い直線」が例になっていることを見ていきます。
そのために「長い直線」を定義していきましょう。初めにを最小の非可算順序数とします。そして直積集合に辞書式順序を入れ、そこから定まる順序位相を入れます。これを閉じた長い直線と呼び、そこから最小元を除いた開集合を開いた長い直線と呼びます。ここで閉じた長い直線と開いた長い直線を用意し、集合を考えます。ここでの全順序を、であることが
のいずれかが満たされていることとして定めます。この全順序による位相が入ったを長い直線ないしアレクサンドロフ直線と呼びます。
は連結かつハウスドルフな多様体であるが、パラコンパクトではない。
以下概略のみ説明します。ハウスドルフであることは直接確認できます。次に次元多様体であることと連結であることがの元が全て可算順序数であることから従います。
次にパラコンパクトでないことを見ていきます。まずはハウスドルフなので定理1を接束に適用することでが距離化可能なことがわかります。そして距離化可能な多様体は第二可算であり、第二可算な位相空間はリンデレーフ(つまり任意の開被覆は可算部分被覆を持つ)です。つまりがリンデレーフでないことを示せば所望の結果が得られます。そこでの被覆としてで添字づけられた開被覆を考えます。但し
です。この加算部分基底が取れたとし、これをとします。このときの可算部分集合が内に上界を持つことから、任意のについてなるが取れ、はに含まれていないので矛盾。以上からがリンデレーフでないことが従うので結果が示ました。
及びが所望の反例になっていること
上の微分構造からは級の次元多様体と見ることができ、これによって接束及び余接束を考えることができます。ここでいよいよが示せます。
同型が存在したとすると、が次元多様体であることから、必要に応じて倍を合成することでリーマン計量
が誘導されるとして良い。このときこれとのハウスドルフ性によっての位相はこのリーマン計量から誘導される距離位相になる。しかし距離空間はパラコンパクトであることから補題2に矛盾。よってである。