平方根を評価するのに、級数展開以外のもので何か無いか考えた時に、虚数の行列表現を思い出した。とりあえずに対応する行列を求めたい。 つまり、二乗したら単位行列に2をかけたものを返す行列を考える。ここで非対角成分を消すためにとしてしまうと、とな…

名前的に非常にややこしい。ブーストするのか収縮するのかどっちかにして欲しいところである。ざっくり言えば、 ローレンツブースト：観測者（静止系）に対して、運動している系の座標軸は運動方向に伸びる（時間軸も同時に影響を受ける）。 ローレンツ収縮…

Sympyはpythonモジュールの一つで、Mathematicaっぽく数式記号そのままで式を扱えるものである。 しかし、どうも式変形をゴリゴリ進めるノート的な使い方をするよりかは、ややこしい項が出て来た時に展開が合ってるかとか手計算が合っているかサッと電卓的に…

反変ベクトルに対する変換行列と共変ベクトルに対する変換行列は、計量テンソルで以下のように結び付けられる。しかし、やっぱりわかったようなわからないような、という感じに苛まれる。 ここでと定義すると、以下のような関係であることがわかる。つまり、…

計量テンソルを以下のように定義。それで以下の4元ベクトルの内積が、ローレンツ変換で不変であることが特殊相対論の特徴であった。で、これはアインシュタインの規約を用いているから実際には和である。 しかし、頭ではわかっているのだが、心がどうも胡散…