双対空間・とは？初心者にもわかるやさしい解説共起語・同意語・対義語も併せて解説！

この記事を書いた人

岡田康介

名前：岡田康介（おかだこうすけ）ニックネーム：コウ、または「こうちゃん」年齢：28歳性別：男性職業：ブロガー（SEOやライフスタイル系を中心に活動）居住地：東京都（都心のワンルームマンション）出身地：千葉県船橋市身長：175cm 血液型：O型誕生日：1997年4月3日趣味：カフェ巡り、写真撮影、ランニング、読書（自己啓発やエッセイ）、映画鑑賞、ガジェット収集性格：ポジティブでフランク、人見知りはしないタイプ。好奇心旺盛で新しいものにすぐ飛びつく性格。計画性がある一方で、思いついたらすぐ行動するフットワークの軽さもある。 1日（平日）のタイムスケジュール 7:00 起床：軽くストレッチして朝のニュースをチェック。ブラックコーヒーで目を覚ます。 7:30 朝ラン：近所の公園を30分ほどランニング。頭をリセットして新しいアイデアを考える時間。 8:30 朝食＆SNSチェック：トーストやヨーグルトを食べながら、TwitterやInstagramでトレンドを確認。 9:30 ブログ執筆スタート：カフェに移動してノートPCで記事を書いたり、リサーチを進める。 12:30 昼食：お気に入りのカフェや定食屋でランチ。食事をしながら読書やネタ探し。 14:00 取材・撮影・リサーチ：街歩きをしながら写真を撮ったり、新しいお店を開拓してネタにする。 16:00 執筆＆編集作業：帰宅して集中モードで記事を仕上げ、SEOチェックやアイキャッチ作成も行う。 19:00 夕食：自炊か外食。たまに友人と飲みに行って情報交換。 21:00 ブログのアクセス解析・改善点チェック：Googleアナリティクスやサーチコンソールを見て数字を分析。 22:00 映画鑑賞や趣味の時間：Amazonプライムで映画やドラマを楽しむ。 24:00 就寝：明日のアイデアをメモしてから眠りにつく。

双対空間とは

数学の言葉で「双対空間」とは、あるベクトル空間 V に対して、それに関連して作られる別のベクトル空間 V* のことを指します。V* は「線形汎関数」と呼ばれる、V の各元を実数や複素数などの体 F に対応させる関数の集まりです。線形汎関数 f は、任意のベクトル u,v とスカラー α,β に対して f(αu+βv) = α f(u) + β f(v) を満たします。これが要点です。

ポイント：V の各元は V* の元として「関数」に対応します。反対に、V* の元は V の元に対して値を与える道具です。こうして V は自分の“表現”として V* を持ちます。

基底と双対基底

もし V が有限次元で基底 {e_i} があるとき、V の基底に対して V* には対応する“双対基底” {e^i} が存在します。定義は e^i(e_j) = δ^i_j（δ は標準の単位行列の成分、 i=j のときは 1、それ以外は 0 です）。この性質により、任意の線形汎関数 f は f = ∑ f(e_j) e^j の形で一意に表せます。

直感としては、V の元をベクトルの座標とみなすと、V* の元はそれらの座標を取り出す「スイッチ」のような役割をします。例えば R^n の標準基底を考えると、V* の双対基底は座標関数として働くので、f_i(x) = x_i の形になります。

具体例

次の例で考えてみましょう。V = R^2 で体は実数とします。V の元を (x, y) と書くと、任意の線形汎関数 f は f(x,y) = a x + b y の形になります。ここで (a,b) は V* の元です。つまり、2 次元の双対空間は、元のベクトルと同じく 2 次元の空間で、関数としての形をとるものだと理解できます。

さらに、基底 {e_1=(1,0), e_2=(0,1)} に対して、双対基底は e^1(a,b) = a、e^2(a,b) = b のような関数です。こうして e^i(e_j) = δ^i_j が成立します。V が有限次元なら、V と V* の次元は同じで、基底と双対基底の関係によって一意に表せます。

なぜ「双対」か

「双対」とは、お互いを映し出す関係を意味します。V の元は V* の関数として振る舞い、V* の元は V の情報を抽出する道具です。これを別の言い方で言えば、「ベクトルとそのベクトルを測る関数が対になっている」状態です。実生活の例で言えば、あなたが持つ道具箱が、箱の中身を取り出すための『道具』を生み出し、道具そのものが箱の中身を指し示すような関係にも似ています。