
There are several well-known theorems in functional analysis known as the Riesz representation theorem. == The Hilbert space representation theorem == This theorem establishes an important connection between a Hilbert space and its dual space: if the ground field is the real number, the two are isometrically isomorphic; if the ground field is the complex number, the two are isometrically anti-isomorphic. The theorem is the justification for the bra-ket notation popular in the mathematical treatment of quantum mechanics. The (anti-) isomorphism is a particular natural one as will be described next. Let ''H'' be a Hilbert space, and let H ' denote its dual space, consisting of all continuous linear operator function (mathematics) from ''H'' into the base field R or C. If ''x'' is an element of ''H'', then the function φ''x'' defined by : is an element of H '. The Riesz representation theorem states that every element of H ' can be written uniquely in this form: Theorem. The mapping : is an isometric (anti-) isomorphism, meaning that: * Φ is bijective. * The norms of ''x'' and Φ(''x'') agree: ||''x''|| = ||Φ(''x'')||. * Φ is additive: Φ(''x''1 + ''x''2) = Φ(''x''1) + Φ(''x''2). * If the base field is R, then Φ(λ ''x'') = λ Φ(''x'') for all real numbers λ. * If the base field is C, then Φ(λ ''x'') = λ* Φ(''x'') for all complex numbers λ, where λ* denotes the complex conjugation of λ. The inverse map of Φ can be described as follows. Given an element φ of H ', the orthogonal complement of the kernel of φ is a one-dimensional subspace of ''H''. Take a non-zero element ''z'' in that subspace, and set ''x'' = φ(''z'') / ||''z''||2 · ''z''. Then Φ(''x'') = φ. The theorem was proven simultaneously by Frigyes Riesz and Maurice René Fréchet in 1907 (see references). == The representation theorem for linear functionals on Cc(''X'') == The following theorem, represents positive linear functionals on Cc(''X'') the space of continuous complex valued functions of compact support. The Borel sets in the following statement refers to the σ-algebra generated by the ''open'' sets. A non-negative countably additive Borel measure μ on a locally compact Hausdorff space ''X'' is regular iff * μ(''K'') < ∞ for every compact ''K''; * For every Borel set ''E'', : * The relation : holds whenever ''E'' is open or when ''E'' is Borel and μ(E) < ∞. Theorem. Let ''X'' be a locally compact Hausdorff space. For any positive linear functional ψ on Cc(''X''), there is a unique ''regular'' countably additive Borel measure μ on ''X'' such that : for all ''f'' in Cc(''X''). One approach to measure theory is to start with a Radon measure, defined as a positive linear functional on ''C(X)''. This is the way adopted by Bourbaki; it does of course assume that ''X'' starts life as a topological space, rather than simply as a set. For locally compact spaces an integration theory is then recovered. == The representation theorem for the dual of C0(''X'') == The following theorem, also referred to as the ''Riesz-Markov theorem'' gives a concrete realisation of the dual space of C0(''X''), the set of continuous functions on ''X'' which vanish at infinity. The Borel sets in the statement of the theorem also refers to the σ-algebra generated by the ''open'' sets. This result is similar to the result of the preceding section, but it does not subsume the previous result. See the technical remark below. If μ is a complex-valued countably additive Borel measure, μ is regular iff the non-negative countably additive measure |μ| is regular as defined above. Theorem. Let ''X'' be a locally compact Hausdorff space. For any continuous linear functional ψ on C0(''X''), there is a unique ''regular'' countably additive complex Borel measure μ on ''X'' such that : for all ''f'' in C0(''X''). The norm of ψ as a linear functional is the total variation of μ, that is : Finally, ψ is positive linear functional iff the measure μ is non-negative. Remark. A positive linear functional on Cc(''X'') may not extend to a ''bounded'' linear functional on C0(''X''). For this reason the previous results apply to slightly different situations. == References == * M. Fréchet (1907). Sur les ensembles de fonctions et les opérations linéaires. ''C. R. Acad. Sci. Paris'' 144, 1414–1416. * P. Halmos ''Measure Theory'', D. van Nostrand and Co., 1950. * F. Riesz (1907). Sur une espèce de géométrie analytiques des systèms de fonctions summable. ''C. R. Acad. Sci. Paris'' 144, 1409–1411. * Walter Rudin, ''Real and Complex Analysis'', McGraw-Hill, 1966, ISBN 0-07-100276-6. ==External link== See also the entry [http://mathworld.wolfram.com/RieszRepresentationTheorem.html Mathworld]. Functional analysis Theorems
This page should be split up into three articles. If there is no objection, I will do this soon.User:CSTAR 02:23, 24 Dec 2004 (UTC) :I agree. What would you call the first two sections? The third one has a canonical name, Riesz-Markov theorem. User:Dbenbenn 03:42, 24 Dec 2004 (UTC) :: How about ''Riesz representation theorem'' and ''Extension of Radon measures''? There could also be a disambiguation page called ''Riesz theorems'' or something.User:CSTAR 03:53, 24 Dec 2004 (UTC) ::: Er, not so happy about that. Rudin (Real and Complex Analysis) presents the second version as ''the'' Riesz representation theorem. Another textbook of mine, Funcional Analysis by Michael Reed and Barry Simon, calls the first version the "Riesz lemma". (Disambiguation page is good, though.) User:Dbenbenn 04:27, 24 Dec 2004 (UTC) :::: Hmmm. "Riesz lemma" makes the result sound pretty lame (Riesz layma). We could give it a really long name. ''Riesz representation theorem for linear functionals on Hilbert spaces'' or ''Riesz representation theorem on Hilbert space''. User:CSTAR 04:35, 24 Dec 2004 (UTC) ::::: Those sound fine to me. And the page can always be moved later if you find a canonical name. (Lemma doesn't sound lame to me, but I didn't grow up speaking Spanish.) User:Dbenbenn 05:50, 24 Dec 2004 (UTC)
See other meanings of words starting from letter:
Words begining with Riesz_representation_theorem:
Riesz_representation_theorem
Riesz_representation_theorem
Riesz representation theorem
There are several well-known theorems in functional analysis known as the Riesz representation theorem. == The Hilbert space representation theorem == This theorem establishes an important connection between a Hilbert space and its dual space: if the ground field is the real number, the two are isometrically isomorphic; if the ground field is the complex number, the two are isometrically anti-isomorphic. The theorem is the justification for the bra-ket notation popular in the mathematical treatment of quantum mechanics. The (anti-) isomorphism is a particular natural one as will be described next. Let ''H'' be a Hilbert space, and let H ' denote its dual space, consisting of all continuous linear operator function (mathematics) from ''H'' into the base field R or C. If ''x'' is an element of ''H'', then the function φ''x'' defined by : is an element of H '. The Riesz representation theorem states that every element of H ' can be written uniquely in this form: Theorem. The mapping : is an isometric (anti-) isomorphism, meaning that: * Φ is bijective. * The norms of ''x'' and Φ(''x'') agree: ||''x''|| = ||Φ(''x'')||. * Φ is additive: Φ(''x''1 + ''x''2) = Φ(''x''1) + Φ(''x''2). * If the base field is R, then Φ(λ ''x'') = λ Φ(''x'') for all real numbers λ. * If the base field is C, then Φ(λ ''x'') = λ* Φ(''x'') for all complex numbers λ, where λ* denotes the complex conjugation of λ. The inverse map of Φ can be described as follows. Given an element φ of H ', the orthogonal complement of the kernel of φ is a one-dimensional subspace of ''H''. Take a non-zero element ''z'' in that subspace, and set ''x'' = φ(''z'') / ||''z''||2 · ''z''. Then Φ(''x'') = φ. The theorem was proven simultaneously by Frigyes Riesz and Maurice René Fréchet in 1907 (see references). == The representation theorem for linear functionals on Cc(''X'') == The following theorem, represents positive linear functionals on Cc(''X'') the space of continuous complex valued functions of compact support. The Borel sets in the following statement refers to the σ-algebra generated by the ''open'' sets. A non-negative countably additive Borel measure μ on a locally compact Hausdorff space ''X'' is regular iff * μ(''K'') < ∞ for every compact ''K''; * For every Borel set ''E'', : * The relation : holds whenever ''E'' is open or when ''E'' is Borel and μ(E) < ∞. Theorem. Let ''X'' be a locally compact Hausdorff space. For any positive linear functional ψ on Cc(''X''), there is a unique ''regular'' countably additive Borel measure μ on ''X'' such that : for all ''f'' in Cc(''X''). One approach to measure theory is to start with a Radon measure, defined as a positive linear functional on ''C(X)''. This is the way adopted by Bourbaki; it does of course assume that ''X'' starts life as a topological space, rather than simply as a set. For locally compact spaces an integration theory is then recovered. == The representation theorem for the dual of C0(''X'') == The following theorem, also referred to as the ''Riesz-Markov theorem'' gives a concrete realisation of the dual space of C0(''X''), the set of continuous functions on ''X'' which vanish at infinity. The Borel sets in the statement of the theorem also refers to the σ-algebra generated by the ''open'' sets. This result is similar to the result of the preceding section, but it does not subsume the previous result. See the technical remark below. If μ is a complex-valued countably additive Borel measure, μ is regular iff the non-negative countably additive measure |μ| is regular as defined above. Theorem. Let ''X'' be a locally compact Hausdorff space. For any continuous linear functional ψ on C0(''X''), there is a unique ''regular'' countably additive complex Borel measure μ on ''X'' such that : for all ''f'' in C0(''X''). The norm of ψ as a linear functional is the total variation of μ, that is : Finally, ψ is positive linear functional iff the measure μ is non-negative. Remark. A positive linear functional on Cc(''X'') may not extend to a ''bounded'' linear functional on C0(''X''). For this reason the previous results apply to slightly different situations. == References == * M. Fréchet (1907). Sur les ensembles de fonctions et les opérations linéaires. ''C. R. Acad. Sci. Paris'' 144, 1414–1416. * P. Halmos ''Measure Theory'', D. van Nostrand and Co., 1950. * F. Riesz (1907). Sur une espèce de géométrie analytiques des systèms de fonctions summable. ''C. R. Acad. Sci. Paris'' 144, 1409–1411. * Walter Rudin, ''Real and Complex Analysis'', McGraw-Hill, 1966, ISBN 0-07-100276-6. ==External link== See also the entry [http://mathworld.wolfram.com/RieszRepresentationTheorem.html Mathworld]. Functional analysis Theorems
Riesz representation theorem
This page should be split up into three articles. If there is no objection, I will do this soon.User:CSTAR 02:23, 24 Dec 2004 (UTC) :I agree. What would you call the first two sections? The third one has a canonical name, Riesz-Markov theorem. User:Dbenbenn 03:42, 24 Dec 2004 (UTC) :: How about ''Riesz representation theorem'' and ''Extension of Radon measures''? There could also be a disambiguation page called ''Riesz theorems'' or something.User:CSTAR 03:53, 24 Dec 2004 (UTC) ::: Er, not so happy about that. Rudin (Real and Complex Analysis) presents the second version as ''the'' Riesz representation theorem. Another textbook of mine, Funcional Analysis by Michael Reed and Barry Simon, calls the first version the "Riesz lemma". (Disambiguation page is good, though.) User:Dbenbenn 04:27, 24 Dec 2004 (UTC) :::: Hmmm. "Riesz lemma" makes the result sound pretty lame (Riesz layma). We could give it a really long name. ''Riesz representation theorem for linear functionals on Hilbert spaces'' or ''Riesz representation theorem on Hilbert space''. User:CSTAR 04:35, 24 Dec 2004 (UTC) ::::: Those sound fine to me. And the page can always be moved later if you find a canonical name. (Lemma doesn't sound lame to me, but I didn't grow up speaking Spanish.) User:Dbenbenn 05:50, 24 Dec 2004 (UTC)
See other meanings of words starting from letter:
R
RA | RB | RC | RD | RE | RF | RG | RH | RI | RJ | RK | RL | RM | RN | RO | RP | RS | RT | RU | RW | RX | RY | RZ |Words begining with Riesz_representation_theorem:
Riesz_representation_theorem
Riesz_representation_theorem
These materials are based on Wikipedia and licensed under the GNU FDL
YouTube.com videos better site than Turbo Tax 2007
