共変外微分が次のように定義されます。 ベクトル空間Vに値をとる主ファイバー束P(M,G)上のp次微分形式αに対して、共変外微分Dαは DαはP上のVに値を持つ(p+1) 次微分形式になっている。局所表示による定義は というように共変微分が入ってくる事からこの外微…

先日、pinokosan00さんがワームホールの事に触れていたのでふと思い出したのがSETIプロジェクトだ。プエルトリコのアレシボ天文台によって収集された膨大な宇宙からの電波から人為的に発信され信号を検出することで地球外文明を探査しよとするプロジェクトの…