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 f_n \in L^2(a,b) and f_n \rightarrow f in norm, then <f_n,g> \rightarrow <f,g> for all g \in L^2(a,b)

Homework Equations


L^2(a,b) is the space of square-integrable functions,
{f_n} 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:
\vert &lt;f_n - f,g&gt; \vert \leq \Vert f_n - f \Vert \Vert g \Vert
By the definition of norm convergence, I have
\Vert f_n - f \Vert \rightarrow 0, which means that
\vert &lt;f_n - f,g&gt; \vert \rightarrow 0
Since this is absolutely convergent, that means that
&lt;f_n,g&gt; - &lt;f,g&gt; is also convergent to 0. So therefore,
&lt;f_n,g&gt; -&lt;f,g&gt; \rightarrow 0
&lt;f_n,g&gt; \rightarrow &lt;f,g&gt;

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
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · 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
2K
  • · Replies 5 ·
Replies
5
Views
4K