ホッジスター作用素が線形であること

前回の記事で定義したホッジ双対の*を作用素としてみたとき、この作用素のことをホッジスター作用素という。今回の記事ではこれが線形であることを示す。もし線形であることがいえれば、基底についてホッジ双対を計算を使い、任意のベクトルについても計算がしやすくなるためである。

*(λ+μ) = *λ + *μであること

まずは和について示す。λ,μ∈Λ^pV、σ∈ΛⁿVのとき、任意のν∈Λ^n-pVについて

ここで、内積の双線形性とウェッジ積の多重線形性を使った。
σ≠0なので、

内積が非退化性(任意のuについて<z|u>=0ならばz=0となること)をもつので、

*(kλ) = k(*λ)であること

次はスカラー倍について示す。λ∈Λ^pV、k∈R、σ∈ΛⁿVのとき、任意のν∈Λ^n-pVについて

ここで、内積の双線形性とウェッジ積の多重線形性を使った。
σ≠0なので、

内積が非退化性をもつので、

　以上より、k, m ∈R とλ,μ∈Λ^pVについて *(kλ + mμ) = *(kλ) + *(mμ) = k(*λ) + m(*μ)がいえるため、ホッジスター作用素*は線形である。次回は２次元の任意のベクトルで実際に計算してみる。

ホッジ双対の計算(n=2の場合)

　外積代数の本を読んでいると、３次元でのクロス積との関連でホッジ双対の概念が紹介されることがある。「微分形式と接続」の本で、３次元のときの基底のホッジ双対が計算例として紹介されていた。３次元以外の計算も試すことで、理解を深めてみたい。そこで今回は、ブログを書くリハビリもかねて計算手順を整理してみた。

ホッジ双対の定義

実際の計算に入る前に、まずホッジ双対を定義する。ベクトル空間をVとする。λ∈Λ^pVに対してホッジ双対*λ∈Λ^n-pVを、次の式がすべてのν∈ Λ^n-pVについて成り立つように定義する。

ここでσ∈ΛⁿVは、Vの基底に対応するΛⁿVの基底である。

n=2の場合の計算

この定義のもとに、２次元のときの基底のホッジ双対を計算してみる。
V=R²、σ=e₁Λe₂とし、λ=e₁に対する*λ∈Λ^2-1R² (= R²)を計算する。*λ=ae₁+be₂とおくと、

ν=e₁とすると、

ここで、<e₁|e₁>=1、<e₂|e₁>=0なので、

よって、a=0。
次にν=e₂とすれば、

ここで、<e₁|e₂>=0、<e₂|e₂>=1なので、

よって、b=1。
これらより、

　同様に、λ=e₂とすると

  がいえる。


　 以上で基底についてのホッジ双対を計算することができた。次回は、ここで現れた作用素*が線形であることを述べる。線形なら、R²の任意ののベクトルについてホッジ双対が計算できるためである。


※ 以下は追記内容

n=2でp=2の場合

V=R²、σ=e₁Λe₂とし、λ=e₁Λe₂に対する*λ∈Λ⁰R² (≅ R)を計算する。*λ=kとおくと、

μ∈Λ⁰R²(≅ R)のため、μ=1とするとホッジ双対定義式の左辺は、

ここで k ∈ R と u ∈ R² について、kΛu = ku (実数とベクトルのウェッジ積は、ベクトルの実数倍とすること)を使った。
一方、ホッジ双対定義式の右辺は、

ここでは、<1|1>₀ = 1 を使った(以前に定義した記事)。
これらより、

したがって、

これは、2次元ベクトル空間の外積になっているのがおもしろい。a, b ∈ R² について、a = a₁e₁ + a₂e₂、b = b₁e₁ + b₂e₂とすると、

となる。これは2次元ベクトル空間の外積と同じである。この外積の双線形性と交代性は、ウェッジ積の多重線形性と交代性、ホッジスター作用素の線形性から分かる。

Code::BlocksでD言語のデバッグもできるようにする

前回のままではデバッグがうまくいかない。
ブレイクポイントを設定して実行しても、
Dwarf Error: Missing children for type unit
と表示されブレイクポイントで停止せずに実行される。

http://www.digitalmars.com/d/archives/digitalmars/D/Doesn_t_work_Ubuntu_10.10_DMD_2.049_GDB_7.2_119346.htmlを見ながら設定したらできたので、ここに残しておく。

Settings > Compiler and debugger...を選択。
Compiler FlagsタブのCompile in debug code [-debug]をチェックを入れる。

Other optionsタブに-gcと入力。

OKを選べば、ブレイクがかかるようになった。

UbuntuにCode::Blocksを入れてみる

この記事ではD言語のIDEであるCode::BlocksをUbuntuにインストールしてみる。

インストール

Synapticのクイック検索にcodeblocksと入力する。

codeblocks欄の左の□をインストール指定。
適用ボタンを押せばインストールが進む。

設定

Code::Blocks IDEを起動。
Compilers auto-detectionダイアログでDigital Mars D Compilerが検出されたので、

これをデフォルトのコンパイラにするため、選択、Save as defaultボタンをクリック、そしてOK。

リンカの設定

Settings > Compiler and debugger...を選ぶ。
左から Global compiler settings を選ぶ。
Linker settingsタブのLink libraries:の中に

phobos2とrtをAddボタンから追加。

ためしにプロジェクトの作成

プロジェクトの作成

File > New > Project...を選ぶ。
Empty projectを選択、そしてGo。
Empty projectダイアログが現れる。Nextで進め、

のようにProject titleなど入力。さらにNextで進め、Finish。

ファイルを作成し、プロジェクトに追加

File > New > Empty fileを選択。
アクティブなプロジェクトに追加するか聞いてくるので

はいを選択。Save fileダイアログで

名前をhello.d、ファイルの種類はD filesにする。
さらにターゲットを聞いてくるので、DebugとReleaseにチェックがあることを確認しOK。

ビルドと実行

hello.dは前回と同じコードにして、Build > Buildからビルド。
エラーがなかったのでDebug > Startで実行。

UbuntuにD言語(D 2.0)をインストールした

UbuntuにD言語をインストールする流れをまとめてみた。

コンパイラのインストール

http://www.digitalmars.com/d/download.htmlからコンパイラ(DMD) dmd_2.053-0_i386.deb をダウンロード。
ダウンロードしたファイルのダブルクリックで、Ubuntuソフトウェアセンターのダイアログが開くので

「インストール」ボタンをクリック。ログイン時のパスワードを求められるので、入力して進める。これでコンパイラ(DMD)のインストールは終了。

試しにコンパイル

以下の内容をhello.dとしてutf-8で保存。
//-------------------------------------
import std.cstream;

int main(char[][] args)
{
  dout.writeLine("Hello World");
  return 0;
}
//-------------------------------------

端末で
$ dmd hello.d
と入力してコンパイル。

実行ファイルhelloができるので、
$ ./hello
で実行できる。