Mistake in proof about vector spaces
The error is the following. Theorem 6.10(f) says that if you have a set that spans $V$, you can remove elements ("reduce") until you get a basis. In the proof of 6.11, the elements in the basis of $V$ may not belong to $W$, so the argument does not apply.
For example, maybe $V=\mathbb R^3$, and you take the canonical basis $\{(1,0,0),(0,1,0),(0,0,1)\}$. Then if $W=\{(x,y,z): x=y=z\}$, none of the three elements in the basis belongs to $W$.
The usual argument is that a basis of $W$ will be linearly independent, and so it will also be linearly independent in $V$, and it follows that $\dim W\leq \dim V$.
Your professor is correct.
The problem is with the word " reduced"
Let us look at an example.
Let W be the subspace of $\mathbb {R}^2$ spanned by $\{(1,1)\}.$
Let $ B=\{(1,0),(0,1)\}$ be a basis for $\mathbb {R}^2$
Then $B$ spans $W$, but we can not reduce $B$ to a basis for $W$
Maybe there is a difference in use of terminology here but I would say that the problem is with the statement "$B$ spans $W$".
The way I have always seen the term used is as follows.
- We define ${\rm span}(B)=\{\hbox{linear combinations of vectors in $B$}\}$.
- Then "$B$ spans $W$" means that ${\rm span}(B)$ equals $W$.
In the proof you have quoted, they appear to be saying that "$B$ spans $W$" means that ${\rm span}(B)$ contains $W$.
So it is a question of using the precise meaning of terminology. BTW, I would not agree with your professor that it is a "very subtle" error, IMHO it is a blatant error :)