0

双対と同型でないベクトル束の例

124
0

初めに

本記事では多様体上のランク有限ベクトル束でその双対と同型でないものの例を構成していきます。

初めに「多様体」の意味するところをはっきりさせておきましょう。

多様体とは各点が局所的にRnの開集合と同相な開近傍を持つ位相空間を指す。

多くの文献で「多様体」の条件として仮定されがちなパラコンパクト性やハウスドルフ性は仮定しません。仮定すると次の定理で書くことがなくなってしまうからです。

パラコンパクトかつハウスドルフな多様体上の任意のベクトル束はその双対束と同型である。

例えば こちら を参照してください。

パラコンパクトでない多様体

上の定理により双対と同型でないベクトルを構成するにはハウスドルフでない例かパラコンパクトでない例を持って来ることになります。ここではパラコンパクトでないものを考えることにしましょう。パラコンパクトでない多様体の(多分)いちばん有名な例である「長い直線」が例になっていることを見ていきます。

そのために「長い直線」を定義していきましょう。初めにω1を最小の非可算順序数とします。そして直積集合ω×[0,1)に辞書式順序を入れ、そこから定まる順序位相を入れます。これを閉じた長い直線と呼び、そこから最小元(0,0)を除いた開集合を開いた長い直線と呼びます。ここで閉じた長い直線L2と開いた長い直線L1を用意し、集合L=L1L2を考えます。ここでLの全順序を、stであることが

  • sL1かつtL2
  • s,tL1かつts
  • s,tL2かつst

のいずれかが満たされていることとして定めます。この全順序による位相が入ったL長い直線ないしアレクサンドロフ直線と呼びます。

Lは連結かつハウスドルフな多様体であるが、パラコンパクトではない。

以下概略のみ説明します。ハウスドルフであることは直接確認できます。次に1次元多様体であることと連結であることがω1の元が全て可算順序数であることから従います。

次にパラコンパクトでないことを見ていきます。まずLはハウスドルフなので定理1を接束TLに適用することでLが距離化可能なことがわかります。そして距離化可能な多様体は第二可算であり、第二可算な位相空間はリンデレーフ(つまり任意の開被覆は可算部分被覆を持つ)です。つまりLがリンデレーフでないことを示せば所望の結果が得られます。そこでLの被覆としてαω1で添字づけられた開被覆{Uα}を考えます。但し
Uα={xL|x(α,0)}
です。この加算部分基底が取れたとし、これを{Uαk}k=1とします。このときω1の可算部分集合がω1内に上界を持つことから、任意のkについてαkβなるβω1が取れ、(β,0)kUαkに含まれていないので矛盾。以上からLがリンデレーフでないことが従うので結果が示ました。

L及びTLが所望の反例になっていること

R上の微分構造からLC級の1次元多様体と見ることができ、これによって接束TL及び余接束TLを考えることができます。ここでいよいよTLTLが示せます。

TLTL

同型TLTLが存在したとすると、L1次元多様体であることから、必要に応じて1倍を合成することでリーマン計量
TL×TLR
が誘導されるとして良い。このときこれとLのハウスドルフ性によってLの位相はこのリーマン計量から誘導される距離位相になる。しかし距離空間はパラコンパクトであることから補題2に矛盾。よってTLTLである。

投稿日:202479
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント 

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 初めに
  2. パラコンパクトでない多様体
  3. $L$及び$TL$が所望の反例になっていること