0
$\begingroup$

Let $V, W$ be two finite-dimensional vector spaces, $f: V\rightarrow W$ a linear map, and $U \subseteq W$ a vector subspace. I'm trying to show that $(f^{-1}(U))^0 = f^*(U^0)$, i.e. that the annihilator of the inverse image of $U$ is the image of the annihilator under the the dual $f^*$ of $f$. $(f^{-1}(U))^0 \supseteq f^*(U^0)$ is easy to prove, but I'm having troubles with the other direction…

(the annihilator for $Y \subseteq X$ vector spaces is defined here as $Y^0 := \{x^* \in X^*\ |\ \forall y \in Y: x^*(y) =0 \}$, with $X^*$ the dual space of $X$; for inner product spaces, $X^0 \cong X^\perp$).

  • 0
    @ArturoMagidin, Benjamin Lim: Clarified the question.2012-03-15

2 Answers 2

2

Given a linear functional $v^*\in(f^{-1}(U))^0$ on $V$ that annihilates all of $f^{-1}(U)$, in particular it annihilates the kernel of $f$. Thus we can define a linear functional $w^*$ on $W$ by $w^*(w)=v^*(v)$ using any preimage $v$ of $w$, since $v^*$ has the same value an all preimages of $w$. Then $w^*\in U^0$ and $v^*=f^*(w^*)$, thus $v^*\in f^*(U^0)$, and thus, since $v^*$ was arbitrary, $(f^{-1}(U))^0\subseteq f^*(U^0)$.

  • 0
    @Arturo: Ah, good point :-). In that case, we can find a basis of $f(V)$, extend it to a basis of $\operatorname{span}(f(V),U)$ using vectors from $U$, then extend it to a basis of all of $W$, and define $w^*$ by linear extension from this basis with the basis vectors of $f(V)$ mapped as above, the additional basis vectors from $U$ mapped to $0$ and the remaining basis vectors mapped arbitrarily.2012-03-15
1

I claim that $(f^*(U^0))^0\subseteq f^{-1}(U)$.

Let $\mathbf{v}\in (f^*(U^0))^0$. Then for every $\mathbf{x}\in f^*(U^0)$, we have $\langle \mathbf{v},\mathbf{x}\rangle = 0$. Therefore, for every $\mathbf{w}\in U^0$, $ \langle f(\mathbf{v}),\mathbf{w}\rangle = \langle \mathbf{v},f^*(\mathbf{w})\rangle = 0,$ (since $f^{*}(\mathbf{w})\in f^*(U^0)$). As this holds for all $\mathbf{w}\in U^0$, it follows that $f(\mathbf{v})\in (U^0)^0 = U$. Thus, $\mathbf{v}\in f^{-1}(U)$. This proves the inclusion.

Therefore, $(f^*(U^0))^0 \subseteq f^{-1}(U),$ hence $f^*(U^0) = ((f^*(U^0))^0)^0 \supseteq (f^{-1}(U))^0,$ which shows that $(f^{-1}(U))^0\subseteq f^*(U^0)$, as required.

  • 0
    @klickverbot: Well, $(U^{\perp})^{\perp}=U$ is guaranteed to hold for all subspaces only in the finite dimensional case, so I expect the same holds for annihilators.2012-03-15