Uniform boundedness principle
Uniform boundedness principle (Redirected from Banach–Steinhaus theorem) Jump to navigation Jump to search For the definition of uniformly bounded functions, see Uniform boundedness. For the conjectures in number theory and algebraic geometry, see Uniform boundedness conjecture.
In Mathematik, the uniform boundedness principle or Banach–Steinhaus theorem is one of the fundamental results in functional analysis. Together with the Hahn–Banach theorem and the open mapping theorem, it is considered one of the cornerstones of the field. In its basic form, it asserts that for a family of continuous linear operators (and thus bounded operators) whose domain is a Banach space, pointwise boundedness is equivalent to uniform boundedness in operator norm.
The theorem was first published in 1927 by Stefan Banach and Hugo Steinhaus, but it was also proven independently by Hans Hahn.
Inhalt 1 Satz 2 Folgerungen 3 Beispiel: pointwise convergence of Fourier series 4 Verallgemeinerungen 4.1 Barrelled spaces 4.2 Uniform boundedness in topological vector spaces 4.3 Generalizations involving nonmeager subsets 4.3.1 Complete metrizable domain 5 Siehe auch 6 Anmerkungen 7 Zitate 8 Bibliography Theorem Uniform Boundedness Principle — Let {Anzeigestil X} be a Banach space, {Anzeigestil Y} a normed vector space and {Anzeigestil B(X,Y)} the space of all continuous linear operators from {Anzeigestil X} hinein {Anzeigestil Y} . Nehme an, dass {Anzeigestil F} is a collection of continuous linear operators from {Anzeigestil X} zu {Anzeigestil Y.} Wenn {displaystyle sup _{Tin F}|T(x)|_{Y}
Then by triangle inequality, we find for all large {Anzeigestil n} , {displaystyle forall xin K,|T_{n}(x_{ich})-T(x_{ich})|leq 3epsilon } .
Corollary — Any weakly bounded subset {displaystyle Ssubseteq Y} in a normed space {Anzeigestil Y} ist begrenzt.
In der Tat, die Elemente von {Anzeigestil S} define a pointwise bounded family of continuous linear forms on the Banach space {Anzeigestil X:=Y',} which is the continuous dual space of {Anzeigestil Y.} By the uniform boundedness principle, the norms of elements of {Anzeigestil S,} as functionals on {Anzeigestil X,} das ist, norms in the second dual {displaystyle Y'',} are bounded. But for every {displaystyle sin S,} the norm in the second dual coincides with the norm in {Anzeigestil Y,} by a consequence of the Hahn–Banach theorem.
Lassen {Anzeigestil L(X,Y)} denote the continuous operators from {Anzeigestil X} zu {Anzeigestil Y,} endowed with the operator norm. If the collection {Anzeigestil F} is unbounded in {Anzeigestil L(X,Y),} then the uniform boundedness principle implies: {displaystyle R=left{xin X : sup nolimits _{Tin F}|Tx|_{Y}=infty right}neq varnothing .} In der Tat, {Anzeigestil R} is dense in {displaystyle X.} The complement of {Anzeigestil R} in {Anzeigestil X} is the countable union of closed sets {textstyle bigcup X_{n}.} By the argument used in proving the theorem, each {Anzeigestil X_{n}} is nowhere dense, d.h. die Teilmenge {textstyle bigcup X_{n}} is of first category. Deswegen {Anzeigestil R} is the complement of a subset of first category in a Baire space. By definition of a Baire space, such sets (called comeagre or residual sets) are dense. Such reasoning leads to the principle of condensation of singularities, which can be formulated as follows: Theorem — Let {Anzeigestil X} be a Banach space, {Anzeigestil links(Y_{n}Rechts)} a sequence of normed vector spaces, and for every {Anzeigestil n,} Lassen {Anzeigestil F_{n}} an unbounded family in {displaystyle Lleft(X,Y_{n}Rechts).} Then the set {Anzeigestil R:=links{xin X : {Text{ für alle }}nin mathbb {N} ,sup _{Tin F_{n}}|Tx|_{Y_{n}}=infty right}} is a residual set, and thus dense in {displaystyle X.} Proof The complement of {Anzeigestil R} is the countable union {displaystyle bigcup _{n,m}links{xin X : sup _{Tin F_{n}}|Tx|_{Y_{n}}leq mright}} of sets of first category. Deswegen, its residual set {Anzeigestil R} is dense.
Beispiel: pointwise convergence of Fourier series Let {Anzeigestil mathbb {T} } be the circle, und lass {Anzeigestil C(mathbb {T} )} be the Banach space of continuous functions on {Anzeigestil mathbb {T} ,} with the uniform norm. Using the uniform boundedness principle, one can show that there exists an element in {Anzeigestil C(mathbb {T} )} for which the Fourier series does not converge pointwise.
Zum {displaystyle fin C(mathbb {T} ),} its Fourier series is defined by {Anzeigestil Summe _{kin mathbb {Z} }{Hut {f}}(k)e^{ikx}= Summe _{kin mathbb {Z} }{frac {1}{2Pi }}links(int _{0}^{2Pi }f(t)e^{-ikt}Richtig)e^{ikx},} and the N-th symmetric partial sum is {Anzeigestil S_{N}(f)(x)= Summe _{k=-N}^{N}{Hut {f}}(k)e^{ikx}={frac {1}{2Pi }}int _{0}^{2Pi }f(t)D_{N}(x-t),dt,} wo {displaystyle D_{N}} ist der {Anzeigestil N} -th Dirichlet kernel. Fix {displaystyle xin mathbb {T} } and consider the convergence of {Anzeigestil links{S_{N}(f)(x)Rechts}.} The functional {Anzeigestil Varphi _{N,x}:C(mathbb {T} )zu mathbb {C} } definiert von {Anzeigestil Varphi _{N,x}(f)=S_{N}(f)(x),qquad fin C(mathbb {T} ),} ist begrenzt. The norm of {Anzeigestil Varphi _{N,x},} in the dual of {Anzeigestil C(mathbb {T} ),} is the norm of the signed measure {Anzeigestil (2(2Pi )^{-1}D_{N}(x-t)dt,} nämlich {Anzeigestil links|varphi_{N,x}Rechts|={frac {1}{2Pi }}int _{0}^{2Pi }links|D_{N}(x-t)Rechts|,dt={frac {1}{2Pi }}int _{0}^{2Pi }links|D_{N}(s)Rechts|,ds=left|D_{N}Rechts|_{L^{1}(mathbb {T} )}.} It can be verified that {Anzeigestil {frac {1}{2Pi }}int _{0}^{2Pi }|D_{N}(t)|,dtgeq {frac {1}{2Pi }}int _{0}^{2Pi }{frac {links|sin left((N+{tfrac {1}{2}})tright)Rechts|}{t/2}},dtto infty .} So the collection {Anzeigestil links(varphi_{N,x}Rechts)} is unbounded in {Anzeigestil C(mathbb {T} )^{Ast },} the dual of {Anzeigestil C(mathbb {T} ).} Deswegen, by the uniform boundedness principle, für alle {displaystyle xin mathbb {T} ,} the set of continuous functions whose Fourier series diverges at {Anzeigestil x} is dense in {Anzeigestil C(mathbb {T} ).} More can be concluded by applying the principle of condensation of singularities. Lassen {Anzeigestil links(x_{m}Rechts)} be a dense sequence in {Anzeigestil mathbb {T} .} Definieren {Anzeigestil Varphi _{N,x_{m}}} in the similar way as above. The principle of condensation of singularities then says that the set of continuous functions whose Fourier series diverges at each {Anzeigestil x_{m}} is dense in {Anzeigestil C(mathbb {T} )} (jedoch, the Fourier series of a continuous function {Anzeigestil f} konvergiert zu {Anzeigestil f(x)} for almost every {displaystyle xin mathbb {T} ,} by Carleson's theorem).
Generalizations In a topological vector space (Fernseher) {Anzeigestil X,} "bounded subset" refers specifically to the notion of a von Neumann bounded subset. Wenn {Anzeigestil X} happens to also be a normed or seminormed space, say with (halb)Norm {Anzeigestil |cdot |,} then a subset {Anzeigestil B} ist (von Neumann) bounded if and only if it is norm bounded, which by definition means {textstyle sup _{bin B}|b|
Wenn Sie andere ähnliche Artikel wissen möchten Uniform boundedness principle Sie können die Kategorie besuchen Funktionsanalyse.
Hinterlasse eine Antwort