Let $T:V\to V$ be a linear operator on a finite-dimensional vector space $V$. $T^*:V^*\to V^*$ is the transpose of $T$ (i.e., $T^*(\lambda)=\lambda\circ T$). I want to find a coordinate-free proof of $\det(T^*)=\det(T)$. Does anyone know a proof?
2026-03-28 20:10:28.1774728628
On
Prove $\det(T^*)=\det(T)$ using exterior algebta
188 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
0
On
Suppose that $V$ is $n$-dimensional, the space of $n$-alternating forms defined on on $V$ has dimension 1 and $det$ is a generator. Let $f(A)=det(A^*)$ $A$ is multilinear and alternating. Thus there exists $c$ such that $det(A^*)=cdet(A)$. In particular, if $A=I_n$ the matrix of the identity map, $I^*=I$ thus $det(I^*)=cdet(I)$ implies $c=1$ and for every $A$, $det(A^*)=det(A)$.
Hint This follows almost immediately from the coordinate-free characterization of $\det$: The map $T$ determines a canonical map $$\det T : \Lambda^n V^* \to \Lambda^n V^*$$ defined by extending the map $v_1 \wedge \cdots \wedge v_n \mapsto T(v_1) \wedge \cdots \wedge T(v_n)$ by linearity; here $n := \dim V$. (The existence of this map---and its well-definedness---are guaranteed by the universal property.) Since $\dim \Lambda^n V^* = 1$, $\det T$ is just multiplication by some constant in the base field of $V$, and this is precisely the determinant.