Convergence with L2 norm functions

Click For Summary
SUMMARY

The discussion centers on proving that if a sequence of functions \( f_n \) belongs to \( L^2(a,b) \) and converges to a function \( f \) in norm, then the inner product \( \langle f_n, g \rangle \) converges to \( \langle f, g \rangle \) for all \( g \in L^2(a,b) \). The proof utilizes the Cauchy-Schwarz inequality and the properties of norm convergence, demonstrating that \( \langle f_n - f, g \rangle \) approaches zero, leading to the conclusion that \( \langle f_n, g \rangle \) converges to \( \langle f, g \rangle \). The approach is validated through the linearity of the inner product and the concept of absolute convergence.

PREREQUISITES
  • Understanding of \( L^2(a,b) \) space and square-integrable functions
  • Familiarity with inner product spaces and their properties
  • Knowledge of the Cauchy-Schwarz inequality
  • Concept of norm convergence in functional analysis
NEXT STEPS
  • Study the properties of \( L^2 \) spaces and their applications in functional analysis
  • Learn about the implications of the Cauchy-Schwarz inequality in various contexts
  • Explore the concept of absolute convergence in series and its significance
  • Investigate the linearity properties of inner products in more depth
USEFUL FOR

Mathematicians, students of functional analysis, and anyone studying convergence in \( L^2 \) spaces will benefit from this discussion.

tom_rylex
Messages
9
Reaction score
0

Homework Statement


(I'm posting this because my proofs seem to be lousy. I want to see if I'm missing anything.)
Show that if [tex]f_n \in L^2(a,b)[/tex] and [tex]f_n \rightarrow f[/tex] in norm, then [tex]<f_n,g> \rightarrow <f,g>[/tex] for all [tex]g \in L^2(a,b)[/tex]

Homework Equations


[tex]L^2(a,b)[/tex] is the space of square-integrable functions,
[tex]{f_n}[/tex] is a finite sequence of piecewise continuous functions, and
< , > is the inner product


The Attempt at a Solution



I started with a linear combination of inner products and applied the Cauchy Schwarz inequality:
[tex]\vert <f_n - f,g> \vert \leq \Vert f_n - f \Vert \Vert g \Vert[/tex]
By the definition of norm convergence, I have
[tex]\Vert f_n - f \Vert \rightarrow 0[/tex], which means that
[tex]\vert <f_n - f,g> \vert \rightarrow 0[/tex]
Since this is absolutely convergent, that means that
[tex]<f_n,g> - <f,g>[/tex] is also convergent to 0. So therefore,
[tex]<f_n,g> -<f,g> \rightarrow 0[/tex]
[tex]<f_n,g> \rightarrow <f,g>[/tex]

Is that reasonable? Or am I missing something?
 
Physics news on Phys.org
I suggest going from <fn - f , g> ---> 0 to <fn , g> - <f , g> ---> 0 more explicitly.
 
As in:
<fn-f,g> --> 0 (absolutely convergent series are convergent)
<fn,g> - <f,g> --> 0 (linearity property wrt the first variable for inner products)
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
4K