M. Riesz extension theorem

M. Riesz extension theorem For more theorems that are sometimes called Riesz's theorem, see Riesz theorem.

The M. Riesz extension theorem is a theorem in mathematics, proved by Marcel Riesz[1] during his study of the problem of moments.[2] Contenuti 1 Formulazione 2 Prova 3 Corollario: Krein's extension theorem 4 Connection to the Hahn–Banach theorem 5 Appunti 6 References Formulation Let {stile di visualizzazione E} be a real vector space, {displaystyle Fsubset E} be a vector subspace, e {displaystyle Ksubset E} be a convex cone.

A linear functional {stile di visualizzazione phi :Fto mathbb {R} } is called {stile di visualizzazione K} -positivo, if it takes only non-negative values on the cone {stile di visualizzazione K} : {stile di visualizzazione phi (X)geq 0quad {testo{per}}quad xin Fcap K.} A linear functional {stile di visualizzazione psi :Eto mathbb {R} } is called a {stile di visualizzazione K} -positive extension of {stile di visualizzazione phi } , if it is identical to {stile di visualizzazione phi } in the domain of {stile di visualizzazione phi } , and also returns a value of at least 0 for all points in the cone {stile di visualizzazione K} : {stile di visualizzazione psi |_{F}=phi quad {testo{e}}quad psi (X)geq 0quad {testo{per}}quad xin K.} In generale, un {stile di visualizzazione K} -positive linear functional on {stile di visualizzazione F} cannot be extended to a {stile di visualizzazione K} -positive linear functional on {stile di visualizzazione E} . Already in two dimensions one obtains a counterexample. Permettere {displaystyle E=mathbb {R} ^{2}, K={(X,y):y>0}tazza {(X,0):x>0},} e {stile di visualizzazione F} be the {stile di visualizzazione x} -asse. The positive functional {stile di visualizzazione phi (X,0)=x} can not be extended to a positive functional on {stile di visualizzazione E} .

Tuttavia, the extension exists under the additional assumption that {displaystyle Esubset K+F,} namely for every {displaystyle yin E,} there exists an {displaystyle xin F} tale che {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} . Impostare {displaystyle a=sup{,fi (X)mid xin F, y-xin K,}, b=inf{,fi (X)mid xin F,x-yin K,}.} We will prove below that {displaystyle -infty 0} e {displaystyle xin F} . Se {displaystyle z=0} , poi {stile di visualizzazione psi (z)>0} . In the first remaining case {displaystyle x+y=y-(-X)in K} , e così {stile di visualizzazione psi (y)=cgeq ageq phi (-X)=psi (-X)} per definizione. così {stile di visualizzazione psi (z)=ppsi (x+y)= p(psi (X)+psi (y))geq 0.} In the second case, {displaystyle x-yin K} , and so similarly {stile di visualizzazione psi (y)=cleq bleq phi (X)=psi (X)} by definition and so {stile di visualizzazione psi (z)=ppsi (x-y)= p(psi (X)-psi (y))geq 0.} In tutti i casi, {stile di visualizzazione psi (z)>0} , e così {stile di visualizzazione psi } è {stile di visualizzazione K} -positivo.

We now prove that {displaystyle -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: {stile di visualizzazione 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),metà ,N(X)leq aright}.} Define a functional φ1 on R×U by {stile di visualizzazione 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. Quindi {stile di visualizzazione psi (X)=-psi _{1}(0,X)} is the desired extension of φ. Infatti, if ψ(X) > N(X), noi abbiamo: (N(X), X) ∈ K, whereas {stile di visualizzazione 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