Defining the Direct Sum of Subspaces: Can It Be Defined When k=1?

[gotjrgkr]

Homework Statement

Hi, everybody!
I'd like to ask you about the direct sum of subspaces...
I refer to two linear algebra books; 1)Friedberg's book, 2)Hoffman's book.
First of all, I write two definitions of direct sum of subspaces...
in the book 1),
Def.1). Let W$_{1}$,...,W$_{k}$ be subspaces of a vector space V. We call V the direct sum of the subspaces W$_{1}$,...,W$_{k}$
and write V=W$_{1}$$\oplus$...$\oplus$W$_{k}$, if
V = $\sum$$^{k}_{i=1}$W$_{i}$ and
W$_{j}$$\cap$$\sum$$_{i\neq j}$W$_{i}$={0} for each j(1$\leq$j$\leq$k);I intepret this condition by logical form as follows;$\forall$j(1$\leq$j$\leq$k and j is an integer $\rightarrow$W$_{j}$$\cap$$\sum$$_{i\neqj}$W$_{i}$={0}).

In the book 2),
Def.2). Let W$_{1}$,...,W$_{k}$ be subspaces of a finite-dimensional vector space V. We call V the direct sum of the subspaces W$_{1}$,...,W$_{k}$
and write V=W$_{1}$$\oplus$...$\oplus$W$_{k}$,
if V = $\sum$$^{k}_{i=1}$W$_{i}$ and the subspaces have
the property such that for each j, 2$\leq$j$\leq$k, we have W$_{j}$$\cap$(W$_{1}$+...+W$_{j-1}$)={0};I interpret this condition by logical form as follows; $\forall$j(2$\leq$j$\leq$k and j is an integer $\rightarrow$W$_{j}$$\cap$(W$_{1}$+...+W$_{j-1}$)={0}).

Now, as you can see, in Def.1), since $\sum$$_{i\neqj}$W$_{i}$ does not exist when k=1, I cannot determine whether direct sum of subspaces is defined or not when k=1.
On the other hand, in the second definition; that is, Def.2), from the logical form, I can see that it is vacuously true when k=1. So, in this case, I can say V is a direct sum of its subspace V=W$_{1}$. I think this means that direct sum of subspaces can be defined even when k=1.
How do you think about Def.1)? Do you think that there're some mistakes in the reasoning I've suggested above?
To sum up, I want to ask you if 1. direct sum can be defined even when k=1
2. if so, where do I make such mistakes??

I hope you help me solve this problem...
Thank you for reading my long questions...
Have a nice day!

(If you want to have more specific information of definitions of them, refer to p. 275 in 1) and p. 219~220 in 2).)

Homework Equations

Red lines above indicate
i $\neq$ j

The Attempt at a Solution

 

[jbunniii]

You're correct that the first definition doesn't make sense for k = 1 as written. It would make sense if you make the further (reasonable) assumption that

$$\sum_{i \neq j} W_i = \{0\}$$

when there are no $i \neq j$. Under this assumption, the second condition is vacuously true when k = 1.

To answer your questions,

1. Yes, the direct sum is defined even when k = 1, but in that case it simply reduces to $V = W_1$, which isn't very interesting. If k= 1, you don't need the second part of either definition because there is only one subspace under consideration.

2. You didn't make a mistake. You noticed a technical error in the first definition, which means you were reading carefully. It's good to check whether definitions make sense in all cases. Unfortunately, it's not uncommon for authors to be a bit sloppy in ways similar to this.

 

[gotjrgkr]

You're correct that the first definition doesn't make sense for k = 1 as written. It would make sense if you make the further (reasonable) assumption that

$$\sum_{i \neq j} W_i = \{0\}$$

when there are no $i \neq j$. Under this assumption, the second condition is vacuously true when k = 1.

To answer your questions,

1. Yes, the direct sum is defined even when k = 1, but in that case it simply reduces to $V = W_1$, which isn't very interesting. If k= 1, you don't need the second part of either definition because there is only one subspace under consideration.

2. You didn't make a mistake. You noticed a technical error in the first definition, which means you were reading carefully. It's good to check whether definitions make sense in all cases. Unfortunately, it's not uncommon for authors to be a bit sloppy in ways similar to this.

I really appretiate you for replying question.
That's what I want to hear from you as the answer for my questions.
Thanks again!