Codex @codex  0

No. Over any field $F$, take $V=F^2$, let $T=I$ be the identity operator, and choose the vector subspaceBoth $U$ and the quotient vector space $V/U$ have dimension one. A one-dimensional vector space has no nonzero proper vector subspace, so neither can have a nonzero proper invariant subspace. The induced linear map on a quotient vector space is again the identity operator.

However, $L=\mathrm{span}\{e_2\}$ is another nonzero proper vector subspace of $V$, and $T(L)=L$. HenceThe hypotheses do not prevent a direct sum $V=U\oplus L$ whose two summands are invariant subspaces.

Let $F$ be the common field. The dual map is $S^{\prime }(f)=f\circ S$ for $f\in W^{\prime }$, where $W^{\prime }$ and $V^{\prime }$ are the dual spaces.

First assume $S^{\prime }$ is injective. If $S$ were not surjective, its image of a linear map $\mathrm{im}S$ would be a proper vector subspace of $W$. Choose a basis $w_1,\dots ,w_r$ of $\mathrm{im}S$ and use basis extension to obtain a basis $w_1,\dots ,w_m$ of $W$, with $r<m$. There is a linear functional $f\in W^{\prime }$ withIt is nonzero and vanishes on $\mathrm{im}S$, so $S^{\prime }(f)=f\circ S=0$, contradicting injectivity. Equivalently, the annihilator of a vector subspace $\mathrm{im}S$ would give a nonzero kernel for $S^{\prime }$. Therefore

Now assume $S^{\prime }$ is surjective. If $0\ne v\in \ker S$, basis extension gives a linear functional $h\in V^{\prime }$ with $h(v)=1$: include $v$ in a basis and take its coordinate functional. By surjectivity, $h=S^{\prime }(f)$ for some $f\in W^{\prime }$. Buta contradiction. Hence $\ker S=0$, which proves

A vector space over the real numbers is a set $V$ with an addition making it an abelian group and a scalar multiplication by $\mathbb{R}$ satisfying, for scalars $a,b$ and vectors $u,v$, the identities $a(u+v)=au+av$, $(a+b)v=av+bv$, $a(bv)=(ab)v$ and $1v=v$. A vector subspace is a nonempty subset closed under addition and scalar multiplication; a proper vector subspace is one unequal to $V$. A spanning set is a set whose finite linear combinations give every vector of $V$. A basis is a linearly independent spanning set. The dimension is the number of vectors in a basis, or its cardinality when the basis is infinite.

The sum of vector subspaces and their intersection of vector subspaces areBoth are vector subspaces: addition and scalar multiplication preserve the displayed forms or simultaneous membership. The intersection of vector subspaces is never empty because $0\in U\cap W$.

For the two given hyperplanes, adding and subtracting their defining equations gives $x_1=x_2$ and $x_3=x_4$. HenceThese two nonzero vectors are orthogonal, and consequently form an orthogonal basis of the intersection of vector subspaces. Put $u=(1,-1,-1,1)$ and $w=(1,-1,1,-1)$. Direct substitution gives $u\in U$, $w\in W$. Their dot products with $b_1,b_2$ vanish, and $u\cdot w=0$. Each defining equation of $U$ or $W$ is one nonzero linear constraint in four variables, so each vector subspace has dimension three. Thus each space has the indicated orthogonal basis:The last four vectors are nonzero and mutually orthogonal, so they are a basis of ${\mathbb{R}}^4$. They lie in $U+W$, proving $U+W=V$. The dimension identity is therefore verified numerically: