Prove that $A$ is Banach space under the norm

banach-spacesnormed-spaces

Let $A=
\left\{
\begin{bmatrix}
0 & a_{12} & a_{13} \\
0 & 0 & a_{23} \\
0 & 0 & 0 \\
\end{bmatrix}
\bigg|a_{12},a_{13},a_{23} \in \mathbb{C}
\right\}$. Now define $\|A\|=\max_{k}\sum_{j=1}^{3} |a_{jk}|$ for all $a_{jk} \in \mathbb{C}$. It it straightforward to check that $A$ is normed space under the norm. But how to prove if it is Banach space? (i.e. complete under the norm).

I ask this question because not knowing where to start. So please give me a hint at least. Thank you!

Best Answer

As I pointed out in the comments, this follows directly since you are dealing with a finite-dimensional normed space over a complete field (namely $\mathbb{C}$). However, if you want to prove it directly, you do it as follows.

Let $\{A^{(k)}\}_{k=1}^\infty$ be Cauchy, i.e. $$ \Vert A^{(n)} - A^{(m)} \Vert < \epsilon $$ when $n,m \geq N$ for some $N$. This is equivalent to saying $$ |a^{(n)}_{jk}-a^{(m)}_{jk}| \leq \max_k \sum_{j=1}^3 |a^{(n)}_{jk}-a^{(m)}_{jk}| < \epsilon, $$ whenever $n,m > N$, so that $\{a^{(n)}_{jk}\}_{n=1}^\infty$ is Cauchy in $\mathbb{C}$ for each $j,k$, and since $\mathbb{C}$ is complete, it converges, i.e. $a^{(n)}_{jk}\to \tilde a_{jk} \in \mathbb{C}$ as $n\to \infty$. Put $$ \tilde A = \begin{pmatrix}0 & \tilde a_{12} & \tilde a_{13}\\0 & 0 & \tilde a_{23}\\ 0&0&0\end{pmatrix}. $$ Then $\tilde A$ clearly belongs to your space. Can you now prove that $A^{(n)} \to \tilde A$ as $n \to \infty$ to finish the proof?