随伴と普遍性とは? わかりやすく解説

随伴と普遍性

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

テンソル代数」の記事における「随伴と普遍性」の解説

テンソル代数 T(V) はベクトル空間 V 上の自由多元環とも呼ばれ、また V に関して函手的である。他の自由構成英語版)がそうであるように、函手 T は適当な忘却函手英語版)の左随伴となる。今の場合考えるべき忘却函手は各 K-代数をその台となるベクトル空間へ写すものである陽に書けばテンソル代数の普遍性(V を含む最も一般多元環であることをきちんと述べたもの)は以下のようなのである: テンソル代数の普遍性 K 上の任意の多元環 A と任意の線型写像 f: V → A が与えられたとき、多元環の準同型英語版) ~f: T(V) → A で f = ~f ∘ i を満たすものが一意的に存在する。 ここに、i: V → T(V) は自然な埋め込み随伴単位射)である。したがって、以下の図式可換となる。実は、この性質満たす一意的な多元環としてテンソル代数 T(V) を定義することができる(厳密に言えば一意的な同型を除いて一意)が、それでもこの性質満たす対象存在することは示さなければならない上記普遍性は、テンソル代数構成自然に函手的」となることを示している。すなわち、T は K 上のベクトル空間の圏 K-Vect から K-多元環の圏 K-Alg への函手である。T の函手性任意の線型写像 V → W は多元環の準同型 T(V) → T(W) へ一意的に延長されることを意味する

※この「随伴と普遍性」の解説は、「テンソル代数」の解説の一部です。
「随伴と普遍性」を含む「テンソル代数」の記事については、「テンソル代数」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「随伴と普遍性」の関連用語

随伴と普遍性のお隣キーワード
検索ランキング

   

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



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

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのテンソル代数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS