は、テンソル積の先頭の2つの空間上のトレースである。