Is every bilinear mapping bounded?

  • Context: Graduate 
  • Thread starter Thread starter yifli
  • Start date Start date
  • Tags Tags
    Bounded Mapping
Click For Summary
SUMMARY

The discussion centers on the properties of bounded bilinear mappings defined as \(\omega: X \times Y \rightarrow W\), where \(X\), \(Y\), and \(W\) are normed linear spaces. It establishes that the norm \(\|\omega(\xi, \eta)\| \leq b \|\xi\| \|\eta\|\) is valid, but questions the equivalence of this norm to \(\|\xi\| + \|\eta\|\). The conclusion confirms that a bounded bilinear mapping can be represented as a linear mapping \(T: X \rightarrow Hom(Y, W)\), which is bounded in finite-dimensional spaces, thus validating the boundedness of \(\omega\).

PREREQUISITES
  • Understanding of normed linear spaces
  • Familiarity with bilinear mappings
  • Knowledge of bounded linear mappings
  • Concept of Hom(Y, W) in functional analysis
NEXT STEPS
  • Study the properties of bilinear mappings in functional analysis
  • Explore the concept of bounded linear operators in normed spaces
  • Learn about the equivalence of norms in finite-dimensional spaces
  • Investigate the implications of the Hahn-Banach theorem on bounded mappings
USEFUL FOR

Mathematicians, students of functional analysis, and anyone studying the properties of bilinear and linear mappings in normed spaces.

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]
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 36 ·
2
Replies
36
Views
6K
  • · Replies 0 ·
Replies
0
Views
4K