Is W Closed in the Space C[-Pi, Pi]?

  • Thread starter Thread starter dikmikkel
  • Start date Start date
  • Tags Tags
    Closed
Click For Summary
SUMMARY

The discussion centers on the mathematical properties of the subset W within the space C[-π, π], specifically addressing its status as a subspace and its closure. It is established that W, consisting of finite linear combinations of the functions 1, cos(nx), and sin(nx), is indeed a subspace of C[-π, π]. Furthermore, it is concluded that W is closed in C[-π, π] due to the convergence properties of the series involved, particularly leveraging the convergence of the sum of 1/n² to demonstrate that limits of sequences in W remain within W.

PREREQUISITES
  • Understanding of functional spaces, specifically C[-π, π]
  • Knowledge of Fourier series and their properties
  • Familiarity with convergence of series, particularly the series sum(1/n²)
  • Basic linear algebra concepts related to vector spaces and subspaces
NEXT STEPS
  • Study the properties of C[-π, π] and its norms
  • Explore the implications of the convergence of Fourier series
  • Investigate the concept of closure in topological vector spaces
  • Examine the Heaviside function and its Fourier approximations
USEFUL FOR

Mathematicians, students of functional analysis, and anyone studying Fourier analysis and its applications in understanding function spaces.

dikmikkel
Messages
160
Reaction score
0

Homework Statement


W is a subset of C[-Pi,Pi] consisting of all finite linear combinations:
1,cos(nx),sin(nx)
i) Show that W is a subspace of C[-Pi,Pi]
ii) Is W closed in C[-Pi,Pi]. Hint from Fourier analysis: For x in [-Pi,Pi]:
[itex]|x^2-(\dfrac{\pi^2}{3}+4\sum\limits_{n=1}^N\dfrac{(-1)^{n}\cos(nx)}{n^2})|\leq 4\sum\limits_{n=N+1}^{\infty} \dfrac{1}{n^2}[/itex]

Homework Equations


C[-Pi,Pi] could be equipped with a norm
Lemma: W is closed <=> For any convergent sequence [itex]\{ v_k \}_{k=1}^\infty[/itex] of elements in W the V = limit (vk) for k->infinity also belongs to W.

The Attempt at a Solution


I have shown that W is a subspace by realising that linearcombinations of sines cosines and 1's are also in C[-Pi,Pi].
ii)
I concluded as sum(1/n^2) is convergent and the left hand side is less than or equal(also convergent) to for x in [-Pi,Pi], then V is closed in C[-Pi,Pi]
 
Physics news on Phys.org
1) looks reasonable

2) I'm not too sure I understand your argument or the hint...

As a thought exercise how about taking your sequence of functions as the Fourier approximations to the heaviside function
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K