2020-08-20から1日間の記事一覧

テンソル積の誤解と難しさ

ベクトル空間のテンソル積 AB の台集合は A×B(正確には U(A)×U(B))である。→ 違う。U(AB) = U(A)×U(B) は成立するが、U(AB) = U(A)×U(B) は成立しない。 ベクトル空間 A, B に対して、テンソル積 AB は一意に決まる。→ 違う。up-to-isoで一意なだけで、ほ…