- #1
Bipolarity
- 776
- 2
Friedberg proves the following theorem:
Let V and W be vector spaces over a common field F, and suppose that V is finite-dimensional with a basis [itex] \{ x_{1}...x_{n} \}. [/itex] For any vectors [itex] y_{1}...y_{n} [/itex] in W, there exists exactly one linear transformation [itex] T: V → W [/itex] such that [itex] T(x_{i}) = y_{i} [/itex] for i = 1,...,n.
He uses this theorem to assert the following:
Suppose that V and W are finite-dimensional vector spaces with ordered bases [itex] = \{ x_{1}...x_{n} \} [/itex] and [itex] = \{ y_{1}...y_{m} \} [/itex], respectively. Let [itex] T: V →W [/itex] be a linear map. Then there exist scalars [itex] a_{ij} \in F \mbox{ (i = 1,..., m and j = 1,...,n) } [/itex] such that
[tex] T(x_{j}) = \sum^{m}_{i=1}a_{ij}y_{i} \mbox{ for } 1 \leq j \leq n [/tex]
He doesn't really prove the assertion he makes regarding the matrix representation, and it is not obvious to me. Obviously the first theorem (regarding the action of linear maps upon bases) is necessary to show that the matrix representation exists and is the unique linear map satisfying the action of the linear map upon bases. The problem is that in the first theorem, he uses n vectors from W. In the second theorem, the basis he uses for W has m vectors which may or may not be equal to n. If it is not equal to n, why is he allowed to use the theorem?
I apologize if I'm not clear enough. Please let me know which part is not clear and I will clarify further.
BiP
Let V and W be vector spaces over a common field F, and suppose that V is finite-dimensional with a basis [itex] \{ x_{1}...x_{n} \}. [/itex] For any vectors [itex] y_{1}...y_{n} [/itex] in W, there exists exactly one linear transformation [itex] T: V → W [/itex] such that [itex] T(x_{i}) = y_{i} [/itex] for i = 1,...,n.
He uses this theorem to assert the following:
Suppose that V and W are finite-dimensional vector spaces with ordered bases [itex] = \{ x_{1}...x_{n} \} [/itex] and [itex] = \{ y_{1}...y_{m} \} [/itex], respectively. Let [itex] T: V →W [/itex] be a linear map. Then there exist scalars [itex] a_{ij} \in F \mbox{ (i = 1,..., m and j = 1,...,n) } [/itex] such that
[tex] T(x_{j}) = \sum^{m}_{i=1}a_{ij}y_{i} \mbox{ for } 1 \leq j \leq n [/tex]
He doesn't really prove the assertion he makes regarding the matrix representation, and it is not obvious to me. Obviously the first theorem (regarding the action of linear maps upon bases) is necessary to show that the matrix representation exists and is the unique linear map satisfying the action of the linear map upon bases. The problem is that in the first theorem, he uses n vectors from W. In the second theorem, the basis he uses for W has m vectors which may or may not be equal to n. If it is not equal to n, why is he allowed to use the theorem?
I apologize if I'm not clear enough. Please let me know which part is not clear and I will clarify further.
BiP
Last edited: