ばこてんとかSchutzの行間補完したい
動機 => おそらく線型代数(と多様体あたり(からのテンソル解析))の知識が足りなくて死んでるから軽くそこらへんを見たい。
まだ編集するかもしれない。
線型代数の部分
テンソルの実体をとりあえず知るための最短ルートっぽくはなってると思う。
線型空間
体上の線型空間とは、集合であって、2つの2項演算
- (和)
- (スカラー倍)
が与えられ、以下の性質を満たすものをいう。
- (交換律)
- (結合律)
この論理式はという任意のに足しても変えない元が存在することを要請していて、そういう元を零元とかゼロとかいう(一般には実数のゼロとは別物であることに注意)。
この論理式はすべてのについて、それぞれ足すとゼロになるような元が存在することを要請していて、そういう元を逆元という。
このはの要素であることに注意。
1~4までの要請から、線型空間は和によりAbel群を成すことがわかる。
線型空間としての実数
実数は体としての演算(和と積)を以て線型空間を成す。
この場合体を線型空間の係数体という。
今後、係数体は(か)に限ることにする。
線型写像
線型写像とは、線型空間の間の写像であって、
を満たすものをいう(演算の区別のためにの演算にはを、のものにはを記した)。
要は線型空間のもつ2つの演算を保存する写像のこと。
また、始域の像の記法も用意されていてと書くらしいです(正直の記法でいいと思う)。
核に関して重要な性質がある。
線型写像について、核が自明であることと単射であることは同値。
則ち、
()
について、とする。
ここで、より、よって。
()
についてより常に。
さらには単射より、。
同型
線型空間について、からへの線型写像とからへの線型写像の両方が存在するとき、とは同型であるという。このことをと記す。
他の代数系と一緒ですね。
線型写像に逆射が存在すれば、それは線型写像となる。
線型写像に逆射が存在すると仮定する。
このとき任意のについてなるが存在する。
これを用いて、
よっては線型写像。
とについて、の演算をそのまま用いて
となるように演算を定義すると、明らかにとこの演算は線型空間を成す(定義の条件を満たします)。
もちろんみたいなものもあって、こういうやつは自己同型とかいいます。
命題3でみたように、双対空間も線型空間。
線型結合, 線型従属
空でない集合を線型空間の部分集合とする。がの線型結合であるとは、
であることをいう。このことをがに線型従属するともいう。
ただし、はからへの関数全体の集合であり、はの要素に応じて実数を定める座標系である。
また、に対してが一意に定まるとき、はに一意に線型従属するという。
基底, 枠
線型空間とあり空でないの部分集合について、任意のがに一意に線型従属するとき、をの基底であるという。
また、が自然数により順序付けられているとき、これを枠という。
枠の場合は、線型結合はと表される()。
線型空間の基底
線型空間としての実数について、任意の実数が基底を成す(任意の実数はを用いてと表せる。ここではが成分である)。
そのなかでも標準的であるものはである。この標準基底のもとではベクトル自体と成分の表記を区別する必要がない。
の標準基底
に自然に演算を入れたもの(成分ごとに実数の計算をする)は線型空間を成す。とするとは枠を成すが、これをの標準基底という。上の例と同様に、この標準基底のもとでは成分とベクトル自体が同じものであって区別しなくてすむため、我々はのようにベクトルを記述できる。
時間とか距離とかそういった「量」の線型空間
秒という単位そのものを数学的対象としてみたとき、が生成する線型空間を考えてみる(秒と記している対象そのものをベクトルとしてみています)。
例えば、。
こんな感じで単位をもつ量の空間は線型空間で考えられる(ただし集合論的には秒とかいう対象を(それが宇宙に存在すると)認めなければならない。)。
流派(?)にもよるかもしれないが、普段基底と呼んでいるものは厳密には基底の要素である。さらに自然数によって指定できるものは枠と呼ばれる。要素と集合のどちらを基底と呼ぶかは些細な問題だが、有限どころか可算ですらない基底も考えることができることに注意。
線型空間の基底の要素について、を次のように定義する。
このとき、全体の集合はの基底となる。
(は基底であるから、での要素を網羅できる)
任意のについて、
となるようを定義すると、
より、
よって、はに一意に線型従属する。
双対基底
線型空間の基底の要素に対し、を命題4と同様に定義する。
命題4よりこれらの集合はの基底を成すためこれを双対基底という。
双対基底の要素はつまり基底に関する座標関数のこと。
再双対空間
線型空間について、双対空間の双対空間を再双対空間という。
とおく。
はベクトルを実数に移す線型写像、すなわちの元である。
まずが線型であることを示す。
次に単射であることを示す。
を仮定する。
である場合を考えると、。すなわちとはあらゆる成分が等しいためである。
次に上射(全射)であることを示す。
双対基底の双対基底は
であるから(基底の双対基底をと記述しています)。
命題4よりはの基底であるから、任意のについてとなる。
これを用いて
よって、より上射。
以上より、補題2の系から。
これによって、とを同一視できる(すべての要素が一対一に対応するし構造も変わらないので単にラベルが違うだけと看做せて、このラベルを無視する)。
そしてついにきました。
テンソル積
線型空間の要素に対し、そのテンソル積とは、双線型写像
のことをいう。
可算個のテンソル積は
と定義される(有限個にしたければをにかえればよい)。
さらに、線型空間のテンソル積空間を、のテンソル積全体が生成する線型空間とする。
タイプのテンソル
これは定義からの元であるから、もとのベクトルである(同型を同一視)。
線型空間のテンソル積空間の基底はである(はそれぞれの基底)。
についてとする。
このとき
より
よって、はに一意に線型従属する。
2つのテンソル積空間の場合が示せたので、帰納的に有限個の場合も示せる。
テンソルの成分
線型空間のテンソルの元は命題6より定まる基底を用いて、
と線型結合の形に表せる。
このときのをテンソルの成分という。
上付きだったり下付きだったりしたあの添字はこっからきます。
ばこてん
1章
いきなり4元ベクトルとかいうのがでてきて時間成分(添字0)以外の添字の上げ下げではかけますとか言われて戸惑う。
添字の上げ下げについてはSchutzの方にあったけど、計量テンソルとその逆を使うと添え字の位置を変えられるので、計量テンソルによって添字の上げ下げの関係が記される。ここの相対論で扱う空間(の成す空間)がMinkowski空間と呼ばれるもので内積みたいなやつ(正定値性を満たさない)をもっている。こいつを計量ともいう(多分)けど、そいつの符号がであるから時間成分(添字0)以外の添字の上げ下げではかける。ばこてんでは計量テンソルがあとから定義されているみたいだけど、計量テンソルがあって初めて添字の上げ下げができるようになる、という順序だと思う。
座標系によって変わる変わんないみたいな話をよくしているけど、相対論で考える空間(時間も位置も含めて)は擬Riemann空間というやつらしく、これは可微分多様体と計量もどきを合わせたものらしいです。
多様体は局所的な座標系をいくつかもっており、幾何的実態を捉えたいとなったときに、座標系に依存してほしくないので座標変換で不変かどうかを気にしているんだと思う。