やっぱり具体例で見ると面白いな。U⊆W だとして、埋め込み U→W を次の完全列に拡張する。 0→U→W→W/U→0 双対を取っても完全だから、 0→(W/U)*→W*→U*→0 （完全） U→Wが埋め込みのとき、W*→U*は、W上の線形形式（コベクトル）をU上の制限する写像。f∈W*なら、f|…