Bilinear mapping between quotient spaces

  • #1
Problem: Let [itex]L[/itex] and [itex]M[/itex] be finite dimensional linear spaces over the field [itex]K[/itex] and let [itex]g: L\times M \rightarrow K[/itex] be a bilinear mapping. Let [itex]L_0[/itex] be the left kernel of [itex]g[/itex] and let [itex]M_0[/itex] be the right kernel of [itex]g[/itex].

a) Prove that [itex]dim L/L_0 = dim M/M_0[/itex].

b) Prove that [itex]g[/itex] induces the bilinear mapping [itex]g': L/L_0 \times M/M_0 \rightarrow K, g'(l+L_0, m+M_0) = g(l,m)[/itex], for which the left and right kernels are zero.

I am trying to prove b) before a) (I think this would make a) relatively trivial). However, I am still getting used to the notion of quotient spaces as sets of equivalence classes. I am unsure as to how to deal with the bilinear mapping of equivalence classes. All that I have seen so far deal with vector spaces. Perhaps someone can give me some insight as to how to show that this mapping is well defined? How can I visualize this better? My professor is of little help, so I appreciate any insights anyone can give me.

Thanks all!
 
Last edited:

Answers and Replies

  • #2
22,089
3,296
You must prove that if [itex]l+L_0=l^\prime +L_0[/itex] and [itex]m+M_0=m^\prime+M_0[/itex], then [itex]g^\prime(l+L_0,m+M_0) = g^\prime(l^\prime+L_0,m^\prime+M_0)[/itex]. So you must actually prove [itex]g(l,m)=g(l^\prime,m^\prime)[/itex]...
 
  • #3
Deveno
Science Advisor
906
6
but...this is obvious because g is linear in l and m, and l-l' is in L0 and m-m' is in M0

(g(l,m) = g(l',m') means g(l,m) - g(l',m') = 0.

but g(l,m) - g(l',m') = g(l,m) - g(l',m) + g(l',m) - g(l',m')

= g(l-l',m) + g(l',m-m') =....?)
 
  • #4
22,089
3,296
And what do you know about l-l' and m-m' ?
 
  • #5
Deveno
Science Advisor
906
6
we are assuming l + L0 = l' + L0

so l-l' is in 0 + L0 = L0.

the same for m-m', with regard to M0.

we have to have these conditions, for g' to be well-defined as a function

(we are defining g' over cosets, by using g defined on elements.

if we do not have the same image for g(l',m') and g(l,m) when l,l' and m,m'

are in the same cosets of L0 and M0,

g' isn't even a function, much less bilinear).
 
  • #6
Wow, okay, so that makes it obvious. Thanks for the help guys, I appreciate it. Neat stuff!
 

Related Threads on Bilinear mapping between quotient spaces

  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
21
Views
4K
  • Last Post
Replies
0
Views
1K
Replies
0
Views
1K
  • Last Post
Replies
1
Views
2K
Replies
1
Views
3K
  • Last Post
Replies
1
Views
1K
Replies
2
Views
2K
  • Last Post
Replies
1
Views
2K
Replies
1
Views
2K
Top