M. Riesz extension theorem

M. Riesz extension theorem For more theorems that are sometimes called Riesz's theorem, voir le théorème de Riesz.

The M. Riesz extension theorem is a theorem in mathematics, proved by Marcel Riesz[1] during his study of the problem of moments.[2] Contenu 1 Formulation 2 Preuve 3 Corollaire: Krein's extension theorem 4 Connection to the Hahn–Banach theorem 5 Remarques 6 References Formulation Let {style d'affichage E} be a real vector space, {displaystyle Fsubset E} be a vector subspace, et {displaystyle Ksubset E} be a convex cone.

A linear functional {style d'affichage phi :Fto mathbb {R} } is called {style d'affichage K} -positif, if it takes only non-negative values on the cone {style d'affichage K} : {style d'affichage phi (X)geq 0quad {texte{pour}}quad xin Fcap K.} A linear functional {style d'affichage psi :Eto mathbb {R} } is called a {style d'affichage K} -positive extension of {style d'affichage phi } , if it is identical to {style d'affichage phi } in the domain of {style d'affichage phi } , and also returns a value of at least 0 for all points in the cone {style d'affichage K} : {style d'affichage psi |_{F}=phi quad {texte{et}}quad psi (X)geq 0quad {texte{pour}}quad xin K.} En général, un {style d'affichage K} -positive linear functional on {style d'affichage F} cannot be extended to a {style d'affichage K} -positive linear functional on {style d'affichage E} . Already in two dimensions one obtains a counterexample. Laisser {displaystyle E=mathbb {R} ^{2}, K={(X,y):y>0}Coupe {(X,0):x>0},} et {style d'affichage F} be the {style d'affichage x} -axe. The positive functional {style d'affichage phi (X,0)=x} can not be extended to a positive functional on {style d'affichage E} .

Cependant, the extension exists under the additional assumption that {displaystyle Esubset K+F,} namely for every {displaystyle yin E,} there exists an {displaystyle xin F} tel que {displaystyle y-xin K.} Proof The proof is similar to the proof of the Hahn–Banach theorem (see also below).

By transfinite induction or Zorn's lemma it is sufficient to consider the case dim {displaystyle E/F=1} .

Choose any {displaystyle yin Esetminus F} . Régler {displaystyle a=sup{,phi (X)mid xin F, y-xin K,}, b=inf{,phi (X)mid xin F,x-yin K,}.} We will prove below that {style d'affichage -infty 0} et {displaystyle xin F} . Si {displaystyle z=0} , alors {style d'affichage psi (z)>0} . In the first remaining case {displaystyle x+y=y-(-X)in K} , et donc {style d'affichage psi (y)=cgeq ageq phi (-X)=psi (-X)} par définition. Ainsi {style d'affichage psi (z)=ppsi (x+y)=p(psi (X)+psi (y))gq 0.} In the second case, {displaystyle x-yin K} , and so similarly {style d'affichage psi (y)=cleq bleq phi (X)=psi (X)} by definition and so {style d'affichage psi (z)=ppsi (x-y)=p(psi (X)-psi (y))gq 0.} Dans tous les cas, {style d'affichage psi (z)>0} , et donc {style d'affichage psi } est {style d'affichage K} -positif.

We now prove that {style d'affichage -infty 0.

Connection to the Hahn–Banach theorem Main article: Hahn–Banach theorem The Hahn–Banach theorem can be deduced from the M. Riesz extension theorem.

Let V be a linear space, and let N be a sublinear function on V. Let φ be a functional on a subspace U ⊂ V that is dominated by N: {style d'affichage phi (X)leq N(X),quad xin U.} The Hahn–Banach theorem asserts that φ can be extended to a linear functional on V that is dominated by N.

To derive this from the M. Riesz extension theorem, define a convex cone K ⊂ R×V by {displaystyle K=left{(un,X),milieu ,N(X)leq aright}.} Define a functional φ1 on R×U by {style d'affichage phi _{1}(un,X)=a-phi (X).} One can see that φ1 is K-positive, and that K + (R × U) = R × V. Therefore φ1 can be extended to a K-positive functional ψ1 on R×V. Alors {style d'affichage psi (X)=-psi _{1}(0,X)} is the desired extension of φ. En effet, if ψ(X) > N(X), Nous avons: (N(X), X) ∈ K, whereas {style d'affichage psi _{1}(N(X),X)=N(X)-psi (X)<0,} leading to a contradiction. Notes ^ Riesz (1923) ^ Akhiezer (1965) References Castillo, Reńe E. (2005), "A note on Krein's theorem" (PDF), Lecturas Matematicas, 26, archived from the original (PDF) on 2014-02-01, retrieved 2014-01-18 Riesz, M. (1923), "Sur le problème des moments. III.", Arkiv för Matematik, Astronomi och Fysik (in French), 17 (16), JFM 49.0195.01 Akhiezer, N.I. (1965), The classical moment problem and some related questions in analysis, New York: Hafner Publishing Co., MR 0184042 hide vte Functional analysis (topics – glossary) Spaces BanachBesovFréchetHilbertHölderNuclearOrliczSchwartzSobolevtopological vector Properties barrelledcompletedual (algebraic/topological)locally convexreflexiveseparable Theorems Hahn–BanachRiesz representationclosed graphuniform boundedness principleKakutani fixed-pointKrein–Milmanmin–maxGelfand–NaimarkBanach–Alaoglu Operators adjointboundedcompactHilbert–Schmidtnormalnucleartrace classtransposeunboundedunitary Algebras Banach algebraC*-algebraspectrum of a C*-algebraoperator algebragroup algebra of a locally compact groupvon Neumann algebra Open problems invariant subspace problemMahler's conjecture Applications Hardy spacespectral theory of ordinary differential equationsheat kernelindex theoremcalculus of variationsfunctional calculusintegral operatorJones polynomialtopological quantum field theorynoncommutative geometryRiemann hypothesisdistribution (or generalized functions) Advanced topics approximation propertybalanced setChoquet theoryweak topologyBanach–Mazur distanceTomita–Takesaki theory Categories: Theorems in convex geometryTheorems in functional analysis

Si vous voulez connaître d'autres articles similaires à M. Riesz extension theorem vous pouvez visiter la catégorie Théorèmes en géométrie convexe.

Laisser un commentaire

Votre adresse email ne sera pas publiée.


Nous utilisons nos propres cookies et ceux de tiers pour améliorer l'expérience utilisateur Plus d'informations