Assertion: trace | /r/HasProperty | a k-linear map
Facets:
Source sentences:
text: The trace Tr L/K : L → K is a K-linear map (a K-linear functional), that is
text: The trace is a linear mapping.
text: The trace is a linear operator, hence it commutes with the derivative:
text: The trace is a linear functional over the space of trace-class operators, i.e. Tr ⁡ ( a A + b B ) = a Tr ⁡ ( A )