|
|
| Line 1: |
Line 1: |
| In [[mathematics]], the '''Riesz–Fischer theorem''' in [[real analysis]] is any of a number of closely related results concerning the properties of the space [[Lp space|''L''<sup>2</sup>]] of [[square integrable]] functions. The theorem was proven independently in 1907 by [[Frigyes Riesz]] and [[Ernst Sigismund Fischer]].
| | == consciousness == |
|
| |
|
| For many authors, the Riesz–Fischer theorem refers to the fact that the [[Lp space|''L''<sup>''p''</sup> spaces]] from [[Lebesgue integration]] theory are [[Complete metric space|complete]].
| | 'The strong alive ...... another war,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_1.htm オークリー サングラス 交換レンズ], against the will, the will of the strong party may make the other restless, yet already preemption hands. ...... If it will differ greatly impact the natural will, you can make each other into a faint mí, no power of resistance. 'Luo Feng looked at the 'Eye of God occult vol' begins with content,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_51.htm オークリー サングラス レーダー], not help nodding.<br><br>fact, strong terms.<br>Take for example<br>flesh class life,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_43.htm オークリー サングラス イチロー], a spirit hún, consciousness,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_49.htm オークリー サングラス 店舗], will differentiate!<br><br>spirit hún one off, can not die a natural death.<br><br>and awareness for the foundation is based on the spirit hún spiritual hún more powerful,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_9.htm オークリー サングラス 新作], general awareness has become increasingly powerful. Ling hún weaker sense of weaker! For example, when two strong games against the true God and the universe ...... Venerable,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_59.htm オークリー サングラス 偏光レンズ], another large gap between awareness,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_13.htm オークリー サングラス ファストジャケット], consciousness only coercion to make the other crushed spirit hún directly fall!<br><br>will differ.<br><br>will,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_74.htm オークリー 野球用サングラス], very aloof.<br><br>even very spiritual hún |
| | 相关的主题文章： |
| | <ul> |
| | |
| | <li>[http://www.zw520mcx.com/forum.php?mod=viewthread&tid=3693 http://www.zw520mcx.com/forum.php?mod=viewthread&tid=3693]</li> |
| | |
| | <li>[http://www.dahanyang.com/home.php?mod=space&uid=267360 http://www.dahanyang.com/home.php?mod=space&uid=267360]</li> |
| | |
| | <li>[http://www.lecsc.com.cn/plus/view.php?aid=517175 http://www.lecsc.com.cn/plus/view.php?aid=517175]</li> |
| | |
| | </ul> |
|
| |
|
| == Modern forms of the theorem == | | == flesh special kind of life == |
| The most common form of the theorem states that a measurable function on [–π, π] is [[square integrable]] [[if and only if]] the corresponding [[Fourier series]] converges in the [[Lp space|space ''L''<sup>2</sup>]]. This means that if the ''N''th [[partial sum]] of the Fourier series corresponding to a square-integrable function ''f'' is given by
| |
|
| |
|
| :<math>S_N f(x) = \sum_{n=-N}^{N} F_n \, \mathrm{e}^{inx},</math>
| | Venerable universe are desperate,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_67.htm ゴルフ オークリー サングラス], even other universes Venerable blew,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_15.htm オークリー サングラス 偽物], I am afraid it is only the most minor injuries can be the world tree. 'Luo Feng hearts unwilling' to talk about any rule sentiment,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_50.htm オークリーサングラス一覧], that alone will make a huge Godhead ...... Only the Lord of the universe he has threatened fishes.<br><br>'I now how to do?'<br><br>'World Tree avatar pregnant failed, apparently my body in the world can not afford.' Luo Feng bite,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_7.htm オークリー サングラス 偏光], 'That's what I gave birth to the third avatar in the end?'<br><br>failed once right.<br><br>talent Arcane 'avatar' is destined to be three places at once, of course,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_14.htm オークリー 激安 サングラス], the premise is immortal on before birth. If into immortality,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_39.htm オークリー サングラス オーダー], not the body of the world can not be conceived naturally,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_21.htm 登山 サングラス オークリー], then the chance is wasted.<br><br>'What birth,[http://www.alleganycountyfair.org/_vti_cnf/rakuten_oakley_9.htm オークリー サングラス 手入れ]?'<br><br>'My third avatar, in the end what is bred?' Luo Feng mind passing a special life data.<br><br>flesh special kind of life? Even by 'nine robbery Tome', it is tantamount to another universe unique Health |
| | | 相关的主题文章： |
| where ''F''<sub>''n''</sub>, the ''n''th Fourier [[coefficient]], is given by
| | <ul> |
| | | |
| :<math>F_n =\frac{1}{2\pi}\int_{-\pi}^\pi f(x)\, \mathrm{e}^{-inx}\, \mathrm{d}x,</math> | | <li>[http://www.joy.hi-ho.ne.jp/cgi-bin/user/kkkkk/sunbbs.cgi http://www.joy.hi-ho.ne.jp/cgi-bin/user/kkkkk/sunbbs.cgi]</li> |
| | | |
| then
| | <li>[http://www.zjbsw.com/home.php?mod=space&uid=148538 http://www.zjbsw.com/home.php?mod=space&uid=148538]</li> |
| | | |
| :<math>\lim_{N \to \infty} \left \Vert S_N f - f \right \|_2 = 0,</math>
| | <li>[http://42.121.114.132/plus/view.php?aid=241607 http://42.121.114.132/plus/view.php?aid=241607]</li> |
| | | |
| where <math>\left \Vert \cdot \right \|_2</math> is the ''L''<sup>2</sup>-[[norm (mathematics)|norm]].
| | </ul> |
| | |
| Conversely, if <math>\left \{ a_n \right \} \,</math> is a two-sided [[sequence]] of [[complex number]]s (that is, its [[Indexed family|indices]] range from negative [[infinity]] to positive infinity) such that
| |
| | |
| :<math>\sum_{n=-\infty}^\infty \left | a_n \right \vert^2 < \infty,</math> | |
| | |
| then there exists a function ''f'' such that ''f'' is square-integrable and the values <math>a_n</math> are the Fourier coefficients of ''f''.
| |
| | |
| This form of the Riesz–Fischer theorem is a stronger form of [[Bessel's inequality]], and can be used to prove [[Parseval's identity]] for [[Fourier series]].
| |
| | |
| Other results are often called the Riesz–Fischer theorem {{harv|Dunford|Schwartz|1958|loc=§IV.16}}. Among them is the theorem that, if ''A'' is an [[orthonormal]] set in a [[Hilbert space]] ''H'', and ''x'' ∈ ''H'', then
| |
| :<math>\langle x, y\rangle = 0</math> | |
| for all but countably many ''y'' ∈ ''A'', and
| |
| :<math>\sum_{y\in A} |\langle x,y\rangle|^2 \le \|x\|^2.</math>
| |
| Furthermore, if ''A'' is an orthonormal basis for ''H'' and ''x'' an arbitrary vector, the series
| |
| :<math>\sum_{y\in A} \langle x,y\rangle \, y</math>
| |
| converges ''commutatively'' (or ''unconditionally'') to ''x''. This is equivalent to saying that for every ''ε'' > 0, there exists a finite set ''B''<sub>0</sub> in ''A'' such that
| |
| :<math> \|x - \sum_{y\in B} \langle x,y\rangle y \| < \varepsilon</math>
| |
| for every finite set ''B'' containing ''B''<sub>0</sub>. Moreover, the following conditions on the set ''A'' are equivalent:
| |
| * the set ''A'' is an orthonormal basis of ''H''
| |
| * for every vector ''x'' ∈ ''H'',
| |
| ::<math>\|x\|^2 = \sum_{y\in A} |\langle x,y\rangle|^2.</math>
| |
| | |
| Another result, which also sometimes bears the name of Riesz and Fischer, is the theorem that ''L''<sup>2</sup> (or more generally ''L''<sup>''p''</sup>, 0 < ''p'' ≤ ∞) is [[complete metric space|complete]].
| |
| | |
| == Example ==
| |
| The Riesz–Fischer theorem also applies in a more general setting. Let ''R'' be an [[inner product]] space consisting of functions (for example, measurable functions on the line, analytic functions in the unit disc; in old literature, sometimes called Euclidean Space), and let {<math>\phi_n</math>} be an orthonormal system in ''R'' (e.g. Fourier basis, Hermite or [[Laguerre polynomials]], etc. – see [[orthogonal polynomials]]), not necessarily complete (in an inner product space, an [[orthonormality|orthonormal set]] is [[complete space|complete]] if no nonzero vector is orthogonal to every vector in the set). The theorem asserts that if the normed space ''R'' is complete (thus ''R'' is a [[Hilbert space]]), then any sequence {<math>c_n</math>} that has finite ℓ<sup>2</sup> norm defines a function ''f'' in the space ''R''.
| |
| | |
| The function ''f'' is defined by
| |
| <math>f = \lim_{n \to \infty} \sum_{k=0}^n c_k \phi_k </math>, limit in ''R''-norm.
| |
| | |
| Combined with the [[Bessel's inequality]], we know the converse as well: if ''f'' is a function in ''R'', then the Fourier coefficients <math>(f,\phi_n)</math> have finite ℓ<sup>2</sup> [[Norm (mathematics)|norm]].
| |
| | |
| == History: the Note of Riesz and the Note of Fischer (1907) ==
| |
| | |
| In his Note, {{Harvtxt|Riesz|1907|p=616}} states the following result (translated here to modern language at one point: the notation ''L''<sup>2</sup>([''a'', ''b'']) was not used in 1907).
| |
| | |
| :''Let {φ<sub>n </sub>} be an orthonormal system in'' ''L''<sup>2</sup>([''a'', ''b'']) ''and {a<sub>n </sub>} a sequence of reals. The convergence of the series <math> \sum a_n^2 </math> is a necessary and sufficient condition for the existence of a function'' ''f'' ''such that'' | |
| ::<math> \int_a^b f(x) \varphi_n(x) \, \mathrm{d}x = a_n</math>
| |
| :''for every'' ''n''.
| |
| Today, this result of Riesz is a special case of basic facts about series of orthogonal vectors in Hilbert spaces.
| |
| | |
| Riesz's Note appeared in March. In May, {{Harvtxt|Fischer|1907|p=1023}} states explicitly in a theorem (almost with modern words) that a [[Cauchy sequence]] in ''L''<sup>2</sup>([''a'', ''b'']) converges in ''L''<sup>2</sup>-norm to some function ''f''  in ''L''<sup>2</sup>([''a'', ''b'']). In this Note, Cauchy sequences are called "''sequences converging in the mean''" and ''L''<sup>2</sup>([''a'', ''b'']) is denoted by ''Ω''. Also, convergence to a limit in ''L''<sup>2</sup>–norm is called "''convergence in the mean towards a function''". Here is the statement, translated from French:
| |
| :'''Theorem.''' ''If a sequence of functions belonging to Ω  converges in the mean, there exists in Ω a function f towards which the sequence converges in the mean.''
| |
| Fischer goes on proving the preceding result of Riesz, as a consequence of the orthogonality of the system, and of the completeness of ''L''<sup>2</sup>.
| |
| | |
| Fischer's proof of completeness is somewhat indirect. It uses the fact that the indefinite integrals of the functions ''g<sub>n</sub>'' in the given Cauchy sequence, namely
| |
| :<math> G_n(x) = \int_a^x g_n(t) \, \mathrm{d}t,</math>
| |
| converge uniformly on [''a'', ''b''] to some function ''G'', continuous with bounded variation.
| |
| The existence of the limit ''g'' ∈ ''L''<sup>2</sup> for the Cauchy sequence is obtained by applying to ''G'' differentiation theorems from Lebesgue's theory. <br />
| |
| Riesz uses a similar reasoning in his Note, but makes no explicit mention to the completeness of ''L''<sup>2</sup>, although his result may be interpreted this way. He says that integrating term by term a trigonometric series with given square summable coefficients, he gets a series converging uniformly to a continuous function ''F''  with bounded variation. The derivative ''f''  of ''F'', defined almost everywhere, is square summable and has for ''Fourier coefficients'' the given coefficients.
| |
| | |
| == Completeness of ''L''<sup>''p''</sup>, 0 < ''p'' ≤ ∞ ==
| |
| | |
| The proof that ''L<sup>p</sup>'' is [[Complete metric space|complete]] is based on the convergence theorems for the [[Lebesgue integration|Lebesgue integral]].
| |
| | |
| When 1 ≤ ''p'' ≤ ∞, the [[Minkowski inequality]] implies that the [[Lp space|space ''L''<sup>''p''</sup>]] is a normed space. In order to prove that ''L''<sup>''p''</sup> is complete, i.e. that ''L''<sup>''p''</sup> is a [[Banach space]], it is enough (see e.g. [[Banach_space#Definition]]) to prove that every series ∑ ''u''<sub>''n''</sub> of functions in ''L''<sup>''p''</sup>(''μ'') such that
| |
| | |
| : <math> \sum \|u_n\|_p < \infty </math> | |
| | |
| converges in the ''L<sup>p</sup>''-norm to some function ''f'' ∈ ''L<sup>p</sup>''(''μ''). For ''p'' < ∞, the Minkowski inequality and the [[monotone convergence theorem]] imply that
| |
| | |
| :<math> \int \Bigl( \sum_{n=0}^\infty |u_n| \Bigr)^p \, \mathrm{d}\mu \le \Bigl( \sum_{n=0}^{\infty} \|u_n\|_p \Bigr)^p< \infty, \ \ \text{ hence } \ \ f = \sum_{n=0}^\infty u_n</math>
| |
| | |
| is defined ''μ''–almost everywhere and ''f'' ∈ ''L''<sup>''p''</sup>(''μ''). The [[dominated convergence theorem]] is then used to prove that the partial sums of the series converge to ''f'' in the ''L''<sup>''p''</sup>-norm,
| |
| | |
| :<math> \int \left| f - \sum_{k=0}^{n} u_k \right|^p \, \mathrm{d}\mu \le \int \left( \sum_{\ell > n} |u_\ell| \right)^p \, \mathrm{d}\mu \rightarrow 0 \text{ as } n \rightarrow \infty.</math> | |
| | |
| The case 0 < ''p'' < 1 requires some modifications, due to the fact that the ''p''-norm is no longer subadditive. One starts with the stronger assumption that
| |
| | |
| : <math> \sum \|u_n\|_p^p < \infty</math>
| |
| | |
| and uses repeatedly that
| |
| | |
| : <math>\left|\sum_{k=0}^n u_k \right|^p \le \sum_{k=0}^n |u_k|^p \text{ when } p<1 </math>
| |
| | |
| The case ''p'' = ∞ reduces to a simple question about uniform convergence outside a ''μ''-negligible set.
| |
| | |
| == References ==
| |
| | |
| *{{citation|last=Beals|first=Richard|year=2004|title=Analysis: An Introduction|publication-place=New York|publisher=Cambridge University Press|isbn=0-521-60047-2}}.
| |
| * {{citation|first1=N.|last1=Dunford|first2=J.T.|last2=Schwartz|title=Linear operators, Part I|publisher=Wiley-Interscience|year=1958}}.
| |
| *{{citation|last=Fischer|first=Ernst|authorlink=Ernst Sigismund Fischer|title=Sur la convergence en moyenne|journal=Comptes rendus de l'Académie des sciences|volume=144|pages=1022–1024|year=1907}}.
| |
| *{{citation|last=Riesz|first=Frigyes|authorlink=Frigyes Riesz|title=Sur les systèmes orthogonaux de fonctions|journal=Comptes rendus de l'Académie des sciences|year=1907|volume=144|pages=615–619}}.
| |
| | |
| {{DEFAULTSORT:Riesz-Fischer theorem}}
| |
| [[Category:Fourier series]]
| |
| [[Category:Theorems in real analysis]]
| |
consciousness
'The strong alive ...... another war,オークリー サングラス 交換レンズ, against the will, the will of the strong party may make the other restless, yet already preemption hands. ...... If it will differ greatly impact the natural will, you can make each other into a faint mí, no power of resistance. 'Luo Feng looked at the 'Eye of God occult vol' begins with content,オークリー サングラス レーダー, not help nodding.
fact, strong terms.
Take for example
flesh class life,オークリー サングラス イチロー, a spirit hún, consciousness,オークリー サングラス 店舗, will differentiate!
spirit hún one off, can not die a natural death.
and awareness for the foundation is based on the spirit hún spiritual hún more powerful,オークリー サングラス 新作, general awareness has become increasingly powerful. Ling hún weaker sense of weaker! For example, when two strong games against the true God and the universe ...... Venerable,オークリー サングラス 偏光レンズ, another large gap between awareness,オークリー サングラス ファストジャケット, consciousness only coercion to make the other crushed spirit hún directly fall!
will differ.
will,オークリー 野球用サングラス, very aloof.
even very spiritual hún
相关的主题文章：
flesh special kind of life
Venerable universe are desperate,ゴルフ オークリー サングラス, even other universes Venerable blew,オークリー サングラス 偽物, I am afraid it is only the most minor injuries can be the world tree. 'Luo Feng hearts unwilling' to talk about any rule sentiment,オークリーサングラス一覧, that alone will make a huge Godhead ...... Only the Lord of the universe he has threatened fishes.
'I now how to do?'
'World Tree avatar pregnant failed, apparently my body in the world can not afford.' Luo Feng bite,オークリー サングラス 偏光, 'That's what I gave birth to the third avatar in the end?'
failed once right.
talent Arcane 'avatar' is destined to be three places at once, of course,オークリー 激安 サングラス, the premise is immortal on before birth. If into immortality,オークリー サングラス オーダー, not the body of the world can not be conceived naturally,登山 サングラス オークリー, then the chance is wasted.
'What birth,オークリー サングラス 手入れ?'
'My third avatar, in the end what is bred?' Luo Feng mind passing a special life data.
flesh special kind of life? Even by 'nine robbery Tome', it is tantamount to another universe unique Health
相关的主题文章：