双対性とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 人文 > 関数 > 双対性 > 双対性の意味・解説 

双対

(双対性 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/02/16 03:53 UTC 版)

双対(そうつい、dual, duality)とは、互いにになっている2つの対象の間の関係である。2つの対象がある意味で互いに「裏返し」の関係にあるというようなニュアンスがある(双対の双対はある意味で "元に戻る")。また、2つのものが互いに双対の関係にあることを「双対性がある」などとよぶ。双対は数学物理学をはじめとする多くの分野に表れる。

なお読みについて、双対を「そうたい」と読む流儀もあり「相対 (relative)」と紛らわしい。並行して相対を「そうつい」と読む流儀もある。一般には「双対」を「そうつい」、「相対」を「そうたい」と呼び分ける場合が多いようである。

双対の具体的な定義は、双対関係の成立している対象の種類によって様々に与えられる。

数学における双対概念

正多面体の双対

正多面体双対、あるいは双対関係にある正多面体とは、与えられた正多面体の各面の中心(面心)に頂点を取り、それらを結んで造られる立体(これも正多面体)のこと。双対の双対はもとの正多面体と相似になる[1]通常の多面体への拡張は、双対多面体を参照

  • 正六面体(立方体)と正八面体。
  • 正四面体と正四面体自身。
  • 正十二面体と正二十面体。

グラフの双対

与えられた平面グラフに対し、その外面も含む各面に新たな頂点を対応させ、もとのグラフでは隣り合う面に対応する頂点同士を結んで得られるグラフを、与えられたグラフの双対グラフという。 形式的には 平面グラフ G = (V, E, F) (V:頂点集合、E:辺集合、F:面集合)に対して、その双対グラフは G* = (F, E, V) で与えられるグラフである。

論理の双対

命題を論理式として表したとき、論理和 ∨ と論理積 ∧ とをすべて入れ替え、全称記号 ∀ と存在記号 ∃ とをすべて入れ替えたものをもとの論理式の双対といい、入れ替えて得られた命題をもとの命題の双対命題と呼ぶ。双対の双対はもとの命題に一致する。

元の論理式が証明可能ならばその双対の否定が証明可能であり、ある論理式の否定が証明可能ならば、その論理式の双対が証明可能になる。

ベクトル空間の双対

V K 上のベクトル空間とし、V から係数体 K への線形写像(一次形式)の全体の成すベクトル空間を V* と書いて V双対ベクトル空間または双対空間と呼ぶ。

任意のベクトル空間は、その双対空間の双対空間に自然に (canonical) 埋め込まれる(つまりこの埋め込みは基底のとり方によらない)。特に有限次元のベクトル空間の双対の双対は、もとの空間と自然に同型である。

アーベル群の双対

アーベル群 G から、0 を除く複素数全体のなす乗法群 C× への準同型(これは(1 次の)指標 (character) と呼ばれる)全体のなす群 G^双対群(または 指標群)という。指標の間の演算は、写像の値の複素数としての積によって入れる。

アーベル群 G が有限のときには、双対群はもとの群と同型になり、双対群の双対群 G^^ には元の群との間に自然な同型がある。アーベル群とその指標群との双対性はポントリャーギン双対の一種である。なおポントリャーギン双対は、一般には局所コンパクト位相群で考えられる双対性であり、有限アーベル群は離散位相を入れてコンパクト群(したがって局所コンパクト)である。

さらに、有限アーベル群 G の部分群 H に対し、G^ の部分群 H* を、

この節の加筆が望まれています。

圏の双対

与えられた圏において、圏の対象を共有し射の向きを逆にして得られる新たな圏を、もとの圏の双対圏という。

また、ある圏の対象と射からなる図式で射の向きを逆にしたものをもとの図式の双対であるという。圏では図式を用いて種々の概念や対象を定義することが多いが、そのそうな概念に対し、対応する双対図式で定義される概念をもとの概念の双対概念と呼ぶ。たとえば「直積と直和」や「極限(逆極限)と余極限(直極限)」は互いに双対な概念である。

射影幾何の双対

球面三角形の双対

多重ゼータ値の双対

最適化問題の双対

物理学・工学における双対概念

理論物理学の双対

電気と磁気の双対

電磁気において、静的な電気磁気電場磁場)には双対性が現れる。すなわち、片方についてのある公式が成り立つとき、他方についても類似した公式が成り立つ。電磁気の双対性の起源をたどると、最終的には特殊相対性理論にゆきつく。即ち、電場と磁場はローレンツ変換によって密接に結びついている。

電気工学の双対

電気工学においても、数々の双対性が成り立っている。双対関係は数式中の電圧と電流を入れ替えることによって得ることができる。また、双対性が成り立つ理由の一部は電気と磁気の双対性に遡ることができる。

以下は電気工学における主な双対の例である。

熱力学の双対

脚注

  1. ^ LEC東京リーガルマインド 公務員試験 過去問 新クイックマスター 判断推理・図形 第4版 319ページ 正多面体の双対性

関連項目

外部リンク

双対性


双対性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/06/02 09:25 UTC 版)

汎函数」の記事における「双対性」の解説

函数 f(x0) が与えられているとき、これを f を止めて x0 を f の引数見た写像 x 0 ↦ f ( x 0 ) {\displaystyle x_{0}\mapsto f(x_{0})} f ↦ f ( x 0 ) {\displaystyle f\mapsto f(x_{0})} は汎函数である。このとき x 0 {\displaystyle x_{0}} はパラメータ理解することができる。 f が線型空間からその係数体への線型写像ならば、上に挙げた二つ写像互いに双対線型写像となるので、函数解析においてはいずれも線型汎函数と呼ぶ。

※この「双対性」の解説は、「汎函数」の解説の一部です。
「双対性」を含む「汎函数」の記事については、「汎函数」の概要を参照ください。

ウィキペディア小見出し辞書の「双対性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



双対性と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「双対性」の関連用語

双対性のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



双対性のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの双対 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの汎函数 (改訂履歴)、ホッジ双対 (改訂履歴)、ラドン測度 (改訂履歴)、圏論 (改訂履歴)、ヒルベルト空間 (改訂履歴)、コンパクト群 (改訂履歴)、摂動函数 (改訂履歴)、ポリトープ (改訂履歴)、効用最大化 (改訂履歴)、多重ゼータ値 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS