Counterexamples Of The Infinite Dimensional Linear Space Let $V$ and $W$ be two finite dimensional linear spaces over the field $\mathbb{F}$ and $\mathscr{A} :V\rightarrow W$ be a linear map between  $V$ and $W$.  Then we have


*

*$\mathscr{A}$ is an injective linear map if and only if there exists a linear map $\mathscr{B}:W\rightarrow V$ such that $\mathscr{BA}=\mathit{Id}_{\mathbf{V}}$. ($\mathit{Id}_{\mathbf{V}}$ is the identity map on $V$)

*$\mathscr{A}$ is a surjective
linear map if and only if there exists a linear map $\mathscr{C}:W\rightarrow V$ such that $\mathscr{AC}=\mathit{Id}_{\mathbf{W}}$.
I think that 1 and 2 above don't hold if $V$ and $W$ are infinite dimensional linear spaces over $\mathbb{F}$.
I need some counterexamples to verify my idea. How can I find them?

Exercise (1):
$\Leftarrow$: Assume $A$ was not injective, i.e. we had $v, v'$ with $Av = Av'$. Then $BAv = v = v' = BAv'$, which is a contradiction.
$\Rightarrow$: Define the linear map $B: Im(A) \to V$ by
$$B(w) \in A^{-1}(w)$$
for every $w \in Im(A)$. This definition is unique and well-defined since $A$ is injective.
$B$ is as the (effective) inverse of a linear map also linear.
Extend $B$ from the subspace $Im(A)$ to $W$ linearly. Then obviously $BAv = B(Av) = v$ by definition.
You can indeed extend $B$ linearly by noting that within vector spaces every subspace has a complement (e.g. see here): There is a subspace $M$, so that $W = Im(A) \oplus M$.
Now define $B': W \to V$ by $B'(w) = B'(x + y) := B(x) + 0$ with $x \in Im(A)$ and $y \in M$.
Alternative: Let $\{v_i | i \in I\}$ be a basis of $V$. Then $N := \{Av_i | i \in I\}$ is a set of linearly independent vectors as well:
$$0 = \sum_k \alpha_k Av_k \Rightarrow A^{-1}0 = A^{-1} \sum_k \alpha_k Av_k \Rightarrow 0 = \sum_k \alpha_k v_k \Rightarrow \forall k. \alpha_k = 0$$
Extend $N$ to a basis of $W$, namely $N \cup \{w_j | j \in J\}$ and define $B: W \to V$ using Ennar's suggestion
 by its image on the basis elements: $B(Av_i) = v_i$ and $B(w_j) = 0$ (arbitrary).
Then $BAv = BA(\sum_k \alpha_k v_k) = \sum_k \alpha_k B(Av_k) = \sum_k \alpha_k v_k = v$ as required.
Exercise (2)
$\Leftarrow$: $AC = Id_W$ directly implies that $A$ is surjective.
$\Rightarrow$: Again, using Ennar's suggestion
, Define the linear map $C: W \to V$ by $$C(w_i) \in A^{-1}(w_i).$$
Then $ACw = AC(\sum \beta_j w_j) = \sum \beta_j ACw_j = \sum \beta_j w_j = w.$
