最適化問題の逆
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/28 14:11 UTC 版)
次に、関手Fから始めた場合では「Fがもっとも効率的な解となる問題は存在するのか?」という(曖昧な)質問が可能である。 FがG問題のもっとも効率的な解であるということは、ある意味では正確に、GがFが解となるもっとも難しい問題であることと同値となる。[要出典] これが随伴関手が対となって現れることの直観的な解釈であり、実際これは正しいが、普遍射を使った定義では自明ではない。随伴関手を用いた対称形の随伴の定義(FはGの左随伴であると言ってもよいし、GはFの右随伴であると言ってもよい)を使うことで、このことが明示的になるという利点がある。
※この「最適化問題の逆」の解説は、「随伴関手」の解説の一部です。
「最適化問題の逆」を含む「随伴関手」の記事については、「随伴関手」の概要を参照ください。
- 最適化問題の逆のページへのリンク