Surjective and injective linear map

Click For Summary
SUMMARY

The discussion centers on the properties of linear transformations, specifically surjectivity and injectivity, as defined by the linear map T: V -> W between vector spaces V and W over a field F. It establishes that T is surjective if the columns of the matrix representation [T]ba span F^n, and T is injective if the columns of [T]ba are linearly independent in F^n. The discussion also highlights the importance of the standard isomorphism between V and F^n, and corrects a typo regarding the dimensions involved in the injectivity condition.

PREREQUISITES
  • Understanding of linear transformations and vector spaces
  • Familiarity with matrix representations of linear maps
  • Knowledge of concepts like span and linear independence
  • Basic understanding of field theory in linear algebra
NEXT STEPS
  • Study the properties of linear transformations in depth
  • Learn about the rank-nullity theorem in linear algebra
  • Explore the concept of basis and dimension in vector spaces
  • Investigate the implications of the standard isomorphism in linear mappings
USEFUL FOR

Students and professionals in mathematics, particularly those focusing on linear algebra, as well as educators teaching concepts of linear transformations and their properties.

Fernando Revilla
Gold Member
MHB
Messages
631
Reaction score
0
I quote an unsolved question from MHF posted by user jackGee on February 3rd, 2013.

[Let T:V->W Be A Linear Transformation
Where V and W are vector spaces over a Field F
let a={v1,v2,...,vn} be a basis for V and b={w1,w2,...,wm} be a basis for W

a) Prove that T is surjective if and only if the columns of [T]ba span Fn
b) Prove that T is injective if and only if the columns of [T]ba are linearly independent in Fn
P.S. Of course, I meant in the title and instead of an.
 
Last edited:
Physics news on Phys.org
$(a)\;$ Hint: Use $[T(x)]_B=[T]_{BA}[x]_A=[C_1,\ldots,C_n][x]_A=x_1C_1+\ldots+x_nC_n$ and the standard isomorphism between $V$ and $\mathbb{F}^n$ given by $x\to [x]_A$.

$(b)\;$ There is a typo. It should be $\mathbb{F}^m$ instead of $\mathbb{F}^n$, otherwise does not make sense. Hint: use $\dim (\ker T)=n-\mbox{rank }[T]_{BA}$.
 

Similar threads

Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K