Left- and Right- Kernels of Bilinear maps B:VxV->K for V.Spaces

  • Context: Graduate 
  • Thread starter Thread starter Bacle
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on the relationship between the left- and right-kernels of a bilinear map B: V x V → k, where V is a vector space over a field k. The left-kernel consists of vectors A in V such that B(A, v) = 0 for all v in V, while the right-kernel is defined similarly. The user seeks to understand how these kernels relate as subspaces of V and expresses uncertainty regarding the expression of the dual of V x V in terms of the tensor product V ⊗ V. Key dimensions discussed include Dim(V x V) = 2n and Dim(V ⊗ V) = n².

PREREQUISITES
  • Understanding of bilinear maps and their properties
  • Familiarity with vector spaces and their dimensions
  • Knowledge of tensor products, specifically V ⊗ V
  • Concept of dual spaces and linear functionals
NEXT STEPS
  • Research the properties of kernels in bilinear maps
  • Study the relationship between tensor products and dual spaces
  • Explore the concept of pulling back kernels in bilinear maps
  • Learn about the implications of codimension in vector spaces
USEFUL FOR

Mathematicians, particularly those specializing in linear algebra and functional analysis, as well as students studying vector spaces and bilinear maps.

Bacle
Messages
656
Reaction score
1
Hi, all:

Let V be a vector space over k, and let B be a bilinear map into k,
i.e.:

B:VxV-->k

Define the left-kernel of B to be the set of A in V with

B (A,v)=0 for all v in V,

and define the right-kernel similarly.

Question: what relation is there between the two kernels , as subspaces
of V?

I am pretty sure the answer has to see with the tensor product V(x)V;

but I am not sure of how to express the dual of VxV in terms of the tensor

product. Any ideas?

Thanks.
 
Physics news on Phys.org
Unfortunately, the quote function is not working well, so I will
improvise. Let n be the dimension of V, so that Dim(VxV)=2n
and Dim(V(x)V)=n^2

I know that the element B' in V(x)V , corresponding to the
bilinear map B : VxV-->k , is a linear functional in V(x)V, and so
the kernel of B' has codimension 1, or, equivalently, dimension
n^2-1 in B(x)B.

But I don't know any properties of kernels of bilinear maps, and
I don't know if there is a way of somehow pulling back the kernel
of B' back into the kernel of B in VxV.

Anyway, I'll keep trying. Any Advice Appreciated.
 

Similar threads

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