Prove infinitely many left inverses

  • Thread starter Thread starter vintwc
  • Start date Start date
Click For Summary
SUMMARY

The discussion centers on proving that the set of linear maps L(V) forms a ring and demonstrating the existence of infinitely many left inverses for a specific linear map f: V -> U, where V is the direct sum of two countable-dimensional vector spaces U and W. The proof establishes that for each x in R = L(V), the condition xf = 1_R holds true, while no element y exists such that fy = 1_R. This conclusion relies on the properties of linear bijections and the structure of direct sums in vector spaces.

PREREQUISITES
  • Understanding of vector spaces and linear maps
  • Familiarity with the concept of direct sums in linear algebra
  • Knowledge of linear bijections and isomorphisms
  • Basic ring theory as it applies to linear maps
NEXT STEPS
  • Study the properties of linear bijections and their role in vector space isomorphisms
  • Explore the structure and properties of rings formed by linear maps
  • Investigate the implications of direct sums in higher-dimensional vector spaces
  • Learn about the existence of inverses in linear algebra and their conditions
USEFUL FOR

This discussion is beneficial for students and educators in linear algebra, particularly those focusing on vector space theory, linear transformations, and the algebraic structures of linear maps.

vintwc
Messages
24
Reaction score
0

Homework Statement



Let V be a vector space over K. Let L(V) be the set of all linear maps V->V. Prove that L(V) is a ring under the operations:
f+g:x -> f(x)+g(x) and fg:x -> f(g(x))

Now, let V=U+W be the direct sum of two vector spaces over K such that the dimension of both U and W are countable. Then V has countable dimension. Choosing a linear bijection between U and V gives us an element f:V->U of L(V). Prove that there are infinitely many x \in R = L(V) such that xf=1_R. Prove that there is no y \in R such that fy=1_R.

Homework Equations


Direct sum of two vector spaces U and W is the set U+W of pairs of vectors (u,w) in U and W with operations:
a(u,w)+b(u'+w')=(au+bu',aw+bw')

The Attempt at a Solution


For the first bit, I managed to show that L(V) is indeed a ring. In the second part, I'm not sure how to approach this problem. Should I define a bijective function f such that xf=1_R? Also, is linear bijection essentially means an isomorphism?
 
Physics news on Phys.org
ok so linear bijection is an isomorphism. i define f(v_1,v_2)=(u(v_1,v_2),0) but I'm still not sure how to proceed from there.
 
Pick bases for U, {u_i} and W, {w_i}. A basis for V, {v_i} is then the union of the two. And the two are disjoint. That's really what direct sum means in this case. You don't have to worry about the ordered pair definition business. Let's also pick the bases so that f(v_i)=u_i is your bijection. Do you see it now? In the case xf=1_R, f maps everything 1-1 onto U. To undo that, you just have to make sure everything in U goes back to the corresponding vector in V. What you define x to be for elements of W doesn't matter (hence the infinite number). Can you see why fy can't be 1_R?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
1K
Replies
15
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
20
Views
4K
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K