Dimensions of vector subspaces in a direct sum are additive

$V = U_1\oplus U_2~\oplus~…~ \oplus~ U_n~(\dim V < ∞)$ $\implies \dim V = \dim U_1 + \dim U_2 + … + \dim U_n.$ [Using the result if $B_i$ is a basis of $U_i$ then $\cup_{i=1}^n B_i$ is a basis of $V$]

Then it suffices to show $U_i\cap U_j-\{0\}=\emptyset$ for $i\ne j.$ If not, let $v\in U_i\cap U_j-\{0\}.$ Then
v=&0\,(\in U_1)+0\,(\in U_2)\,+\ldots+0\,(\in U_{i-1})+v\,(\in U_{i})+0\,(\in U_{i+1})+\ldots\\
& +\,0\,(\in U_j)+\ldots+0\,(\in U_{n})\\
=&0\,(\in U_1)+0\,(\in U_2)+\ldots+0\,(\in U_i)+\ldots+0\,(\in U_{j-1})+\,v(\in U_{j})\\
& +\,0\,(\in U_{j+1})+\ldots+0\,(\in U_{n}).
Hence $v$ fails to have a unique linear sum of elements of $U_i’s.$ Hence etc …

Am I right?

Solutions Collecting From Web of "Dimensions of vector subspaces in a direct sum are additive"