Is every bilinear mapping bounded?

  • Context: Graduate 
  • Thread starter Thread starter yifli
  • Start date Start date
  • Tags Tags
    Bounded Mapping
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
yifli
Messages
68
Reaction score
0
In a book I'm reading, it defines a bounded bilinear mapping [tex]\omega: X\times Y\rightarrow W[/tex], where X,Y and W are all normed linear spaces as
[tex]\left\| \omega(\xi,\eta)\right\| \leq b \left\| \xi \right\| \left\| \eta \right\|[/tex]

So it uses [tex]\left\| \xi \right\| \left\| \eta \right\|[/tex] as a norm on the product space.

Is this a valid norm? I can't prove it is equivalent to the norm [tex]\left\| \xi \right\| + \left\| \eta \right\|[/tex]
 
Physics news on Phys.org
yifli said:
In a book I'm reading, it defines a bounded bilinear mapping [tex]\omega: X\times Y\rightarrow W[/tex], where X,Y and W are all normed linear spaces as
[tex]\left\| \omega(\xi,\eta)\right\| \leq b \left\| \xi \right\| \left\| \eta \right\|[/tex]

So it uses [tex]\left\| \xi \right\| \left\| \eta \right\|[/tex] as a norm on the product space.

Is this a valid norm? I can't prove it is equivalent to the norm [tex]\left\| \xi \right\| + \left\| \eta \right\|[/tex]

I guess I was in the wrong direction:
a bounded linear mapping T is defined as [tex]\left\|T(\xi) \right\| \leq b \left\|\xi\right\|[/tex]
but this definition cannot be applied to bilinear mapping. Am I correct?

That being said, the boundedness of a bilinear mapping may be shown as follows:

The bilinear mapping [tex]\omega: X\times Y\rightarrow W[/tex] is equivalent to the linear mapping [tex]T: X \rightarrow Hom(Y,W)[/tex]. Since X, Y and W are finite-dimensional normed linear space, T is bounded and any mapping in Hom(Y,W) is bounded. Now I can show that the bound b of the bilinear mapping is actually the bound of T:
[tex]\left\| \omega(\xi,\eta) \right\| =\left\|T(\xi)(\eta) \right\| \leq \left\| T \right\| \left\| \xi \right\| \left\| \eta \right\|[/tex]