MHB Surjective and injective linear map

Click For Summary
The discussion focuses on proving the conditions for a linear transformation T between vector spaces V and W to be surjective and injective. It establishes that T is surjective if the columns of the matrix representation [T]ba span F^n, and injective if those columns are linearly independent in F^n. A hint is provided to use the relationship between the transformation and the standard isomorphism between V and F^n. Additionally, a correction is noted regarding a typo in the dimensions, clarifying that it should reference F^m instead of F^n. The conversation emphasizes the importance of understanding the rank and kernel of the transformation in these proofs.
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}$.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

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