User:Bdmy/sandbox

User:Bdmy/sandbox/SubSandBox

Links

Arzelà–Ascoli theorem, Banach space, Besov space,

Compact operator, Compact operator on Hilbert space, Compact space, Convergence of Fourier series, Convolution,

Distortion problem, Dual space, Fourier series,

Haar wavelet, Hahn-Banach theorem, Hardy space, Hilbert space, Hölder's inequality,

Interpolation space, Lorentz space, Lp space, Maximal function, Modulus and characteristic of convexity,

Reflexive space, Riemann series theorem, Riesz–Fischer theorem,

Schauder basis, Schur's property, Sequence space, Series (mathematics), Sobolev space,

Tsirelson space, Unconditional convergence, Uniformly convex space, Uniformly smooth space,

Vector measure, Vitali covering lemma, Weak topology

Introduction

Functional analysis aims to find functions that are solutions of various equations, several arising from physics. Abstract solutions, namely, functions that cannot be expressed by an explicit formula, are often obtained as limits in a well chosen vector space of functions X of a sequence of approximate solutions. Completeness of X is needed in order to make sure that the limit exists in X. Many examples of such spaces X, but not all, are Banach spaces.

Various type of compact sets in function spaces (norm compact, weak compact) are also used to prove the existence of abstract solutions, for example to optimization problems. In this respect, it is important to characterize compact subsets of function spaces.

A notation

It is sometimes convenient to denote the pairing between a linear functional f and a vector x by

$(x,f):=f(x).$

This pairing is bilinear, as opposed to inner products, that are antilinear in the second variable for complex scalars.

Adjoint operator

When T is a bounded linear operator from a normed space X to a normed space Y, the adjoint operator T ′ (or transpose) is the linear map from the dual Y ′ to the dual X ′ defined by

$g\in Y'\ \mapsto \ T'(g)=g\circ T\in X'.$

If the pairing between a linear functional f and a vector x is denoted by

$(f,x):=f(x),\ \ {\text{then:}}\ \ \ (T'(g),x)=(g,T(x)),\quad g\in Y',\ x\in X.$

One has that

$T'\in B(Y',X'),\ \ \|T'\|_{B(Y',X')}=\|T\|_{B(X,Y)},\ \ (\lambda T_{1}+T_{2})'=\lambda T_{1}'+T_{2}'.$

The adjoint of the identity map in B(X) is the identity map. If U ∈ B(Y, Z) is given, then

$(U\circ T)'=T'\circ U'.$

It follows that the adjoint of an invertible operator T is invertible, with an inverse equal to the adjoint of T⁻¹. When two spaces are isomorphic, their duals are isomorphic. The converse is not true: for every countably infinite compact Hausdorff space K, the dual of C(K) is isometrically isomorphic to ℓ¹, but these C(K) spaces need not be isomorphic (see details below).

The adjoint map T ′ is continuous from the weak*-topology of Y ′ to that of X ′. Conversely, a linear map from Y ′ to X ′, continuous between the weak*-topologies, is the adjoint of a bounded linear map from X to Y.

If T is a bounded linear operator from a Hilbert space H₁ to another Hilbert space H₂, the Hilbertian adjoint T* is the bounded linear operator acting from H₂ to H₁ that is defined by

$\langle T^{*}(x_{2}),x_{1}\rangle =\langle x_{2},T(x_{1})\rangle ,\quad x_{1}\in H_{1},\ \ x_{2}\in H_{2}.$

If j_H denotes the antilinear isometry from a Hilbert space H onto its dual defined by

$j_{H}(y)(x)=\langle x,y\rangle ,\ \ x,y\in H,\ \ {\text{then}}\ \ T^{*}=j_{H_{1}}^{-1}\circ T'\circ j_{H_{2}}.$

Dual inequalities

Considering the adjoint is a special instance of using the convex conjugate function. Several inequalities in Analysis have a dual form obtained by passing to the adjoint.

Compactness in Banach spaces

Norm- and weak-compactness are the two main notions of compactness in a general Banach space X, together with weak*-compactness that applies only in a dual space X = Y'.

Weak and weak*-compactness

In a weakly compact (resp. weak*-compact) set K, any decreasing chain of non-empty weakly closed (resp. weak*-closed) subsets has, by definition of compactness, a non-empty intersection. The intersection property is used in the proof of the Krein–Milman theorem, in order to exhibit extreme points of K as minimal faces in weak- or weak*-compact convex sets. Several tasks in convex analysis, in particular establishing upper bounds for convex functions, are done by reducing the question to the case of extreme points. Lindenstrauss' proof of Lyapounov theorem on vector measures is another example, relying on the identification of extreme points of a certain weak* compact convex set of functions in L^∞([0, 1]).

Weak compactness is often used within a context of convexity, because norm-closed convex sets are weakly closed. This implies the existence of minima for continuous, or lower semi-continuous, convex real functions defined on a non-empty weakly compact convex set.

In non-reflexive spaces the structure of weakly compact subsets can be of special interest. In L¹([0, 1]), weakly compact subsets are uniformly integrable. Conversely, a closed convex subset in L¹ that is not weakly compact contains a basic sequence equivalent to the unit vector basis in ℓ¹. In ℓ¹, weakly compact sets are norm compact. This means that ℓ¹ satisfies Schur's property.

A bounded linear operator between two Banach spaces X and Y is weakly compact if the image of the unit ball of X is relatively weakly compact in Y. If X is reflexive, the image by T ∈ B(X, Y) of the closed unit ball in X is weakly compact in Y, since T is also weakly continuous. More generally, T is weakly compact whenever it factors through a reflexive space. Conversely:

Theorem. A bounded linear operator between two Banach spaces is weakly compact if and only if it factors through a reflexive space.

Norm compactness

Riesz's lemma asserts that a normed space with compact unit ball is finite dimensional. This implies that eigenspaces of compact linear operators, for each non-zero eigenvalue, are finite dimensional. It is a first step in the direction of the rich Riesz's spectral theory of compact operators. The Schauder fixed point theorem extends the Brouwer fixed-point theorem to infinite dimensional settings. It is useful for proving existence of solutions to nonlinear partial differential equations. Lomonosov's theorem on the existence of invariant subspaces can be proved by a nice application of Schauder's fixed point theorem.

Various criteria characterize compact subsets of Banach spaces. A general lemma of Grothendieck asserts that a closed set K is norm compact in a Banach space X if and only if it is contained in the closed convex hull of a sequence of vectors tending to 0 in X,

$K\subset {\overline {\operatorname {conv} }}\{x_{n}\}_{n=1}^{\infty },\ \ \{x_{n}\}_{n=1}^{\infty }\subset X,\ \ \lim _{n}\|x_{n}\|_{X}=0.$

More applicable criteria characterize compact subsets in specific function spaces: the Ascoli theorem characterizes relatively compact subsets in C(K). It implies in particular that the adjoint of a compact linear operator is again compact. It also proves compactness of specific operators, such as the Volterra operator, and many similar examples in the theory of Volterra integral equations. Compact subsets in L^p are characterized by the Fréchet-Kolmogorov theorem. This characterization permits to understand compact Sobolev embeddings.

Banach space theory

Although functional analysis primarily looks for methods to find functions that are solutions of equations from physics, Banach's book as started the study of Banach spaces "for themselves". Lindenstrauss, V. Milman around 1970 gave new impetus to this direction of research.

One direction is the search for "nice structures" in every Banach space. For example, find "nice" infinite dimensional subspaces, with a basis (a result stated in Banach's book), existence of a c_0 or l^p subspace, or of an unconditional basic sequences. Negative solutions for most questions about infinite dimensional nice subspaces.

Classify, characterize classes of Banach spaces. Some properties only depend upon two dimensional subspaces: for example, the parallelogram law characterizing Hilbert space. From the parallelogram law, cutting equality in two inequalities and changing them to

$\|x+y\|^{p}+\|x-y\|^{p}\leq \|x\|^{p}+C^{p}\|y\|^{p},\ \ \|x+y\|^{q}+\|x-y\|^{q}\geq \|x\|^{q}+c^{q}\|y\|^{q}$

gives particular cases of uniform smoothness and uniform convexity respectively, again depending only upon two dimensional subspaces. Replacing the average over two signs by the study of the more general expression

$\operatorname {Ave} _{\pm }\sum _{j=1}^{n}\pm x_{j}$

leads to the definition of spaces of type p and cotype q. Kwapien's theorem characterizes spaces isomorphic to Hilbert spaces as being those that have both type 2 and cotype 2.

Type and cotype do not depend only on two dimensional subspaces, but they only depend on the family of finite dimensional subspaces of X. Superproperties introduced by James. Superreflexive, James, Enflo, trees in X are special instances of X-valued martingales, Pisier's renorming uses martingales inequalities.

No hope for classific of subspaces, even in a space simple as l^p (contains a couterexample to the approximation problem). But sometimes complemented subspaces of a given space can be completely characterized, l^p and decomposition method, L^1 still unknown, primary spaces like L^p

Construct spaces; by hand; by interpolation theory

distortion in l^2

operators: are they enough operators, approx, invariant subspace in l^2, lambda i + k

Operator spaces

Local theory

Dvoretzky's theorem

random methods, Kashin, Gluskin used to show chaotic behavior.

Krivine

Milman's ellipsoid, Pisier's book, inverse Santalo

=== Non linear theory Benyamini-Lindenstrauss

Handbook, Tomczak, Wojtaszczyk

To do

Read "Reflexive space"

Notation (x ', x) for duality

Banach space: def. weakly compact operator

Reflexive space: ell^2 sum of reflexive spaces

Great Baire theorem in Baire function

adjoint map

Correct Bessel spaces in Sobolev space

L^p(L^q) interpolation (see Bergh-L)

complete Besov article

"second dual", "w*" --> weak*

Dvoretzky–Rogers

Classification of complemented subspaces, $\ell _{p}$, Sobczyk

Holomorphic families on the circle, families of operators

According to Lions–Peetre, abstract Marcinkiewicz. Reiteration and Marcinkiewicz

Duality with Calderon

Benedek Panzone L^p(L^q)

Quasinorm and Rolewicz

Lorentz norm with f**

Wojtaszczyk, Wavelets,

equi-integrability does not exist in WP? uniform integrability but infinite measure to do

cosine series in Fourier series

Lorentz spaces

Wavelet bases (Woj's book), bases in H^1,

Birnbaum–Orlicz space Orlicz sequences spaces

give page in Bessaga–Pelczynski

Franklin is unconditional in L^p

boundedly complete and unconditional

Done

(done) pairing for dual of c_0

(done) Baire property with Odell-Rosenthal, link to Baire function

(done) Interpolation for Sobolev and Besov, interpolation and Besov spaces

(done) norming functional in Banach space#Dual space

(done) Odell-Rosenthal in Banach space

(done) Create bidual section after examples of dual, move material from "Reflexivity", discuss example of c_0, add Goldstine theorem

(done) adding to refs: Bergh and Löfström, (1976), Interpolation Spaces: An Introduction, Springer-Verlag,
Ryan, Raymond A. (2000), Introduction to Tensor Products of Banach Spaces, Springer-Verlag

(done) modulus article, equivalent to convex function

(done) super-reflexive in Reflexive space and links

(done) Uniformly smooth/convex, Asplund

(done) Weak topology is Hausdorff

(done) Change words on polarization

(done) relies on Dvoretzky's theorem, more on homogeneous (Komorowski)

(done) Hilbert and Banach spaces: changing the section with figure, include Kwapien, Lindenstrauss–Tzafriri and homogeneous space problem

(done) sequences: Rosenthal $\ell ^{1}$ theorem

(done) Complete Megginson in Banach space#References and correct inline refs accordingly

(done) Say: "linear span"

(done) total and HB

(done) Correct and complete Ryan's ref in Banach space

(done) Basis for K(X)

(done) A(D) is example 10 p. 12 in Banach

(done in "Banach space") Complemented subspaces?

(done with Carothers) link to Johnson-Lindenstrauss about every separable is quotient of ell^1, HB vol 1, p. 17

(done) Discrete, abstract interpolation spaces, factorization of weakly compact operators

(done) Reiteration theorem

(done) Group K- and J-exact interpolation pairs

(done) copy Golubov in Haar wavelet

(done) questions A(D): page in Banach, p. 238, §3

(done) mention interpolation space at Marcinkiewicz interpolation theorem and Riesz–Thorin theorem

Symbols

〈•,•〉 ℓ¹ nowiki: {, norm with one symbol: ǁxǁ

MOS:MATH

MOS:MATH#Writing style in mathematics

Notes

Revision as of 18:31, 27 October 2008 (edit) (undo) Gamesou (talk | contribs) (added functional-analysis voacubary) Next edit →

JFM 41.0470.01 Faber, G. ¨Uber die Orthogonalfunktionen des Herrn Haar. (German) Deutsche Math.-Ver. 19, 104-112 (1910). ISSN 0012-0456; ISSN 1869-7135/e eudml:145217 http://link.springer.com/journal/volumesAndIssues/13291 http://dml.math.uni-bielefeld.de/JB DMV http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN37721857X

http://gdz.sub.uni-goettingen.de/dms/load/toc/?PPN=PPN37721857X_0019

http://gdz.sub.uni-goettingen.de/dms/load/toc/?PPN=PPN37721857X_0019&DMDID=DMDLOG_0013

Faber: http://resolver.sub.uni-goettingen.de/purl?GDZPPN002122553

Ciesielski, Z. A construction of basis in C(1)(I2). Studia Math. 33 1969 243–247.

Schonefeld, Steven Schauder bases in spaces of differentiable functions. Bull. Amer. Math. Soc. 75 1969 586–590.

References

• Banach, Stefan (1932), Théorie des opérations linéaires, Monografie Matematyczne, vol. 1, Warszawa: Subwencji Funduszu Kultury Narodowej, Zbl 0005.20901.
• Bennett, Colin; Sharpley, Robert (1988), Interpolation of operators, Pure and Applied Mathematics, vol. 129, Academic Press, Inc., Boston, MA, pp. xiv+469, ISBN 0-12-088730-4{{citation}}: CS1 maint: extra punctuation (link)
• Bergh, Jöran; Löfström, Jörgen (1976), Interpolation spaces. An introduction, Grundlehren der Mathematischen Wissenschaften, vol. 223, Berlin-New York: Springer-Verlag, pp. x+207, ISBN 3-540-07875-4.
• Bourgain, Jean; Fremlin, D. H.; Talagrand, Michel (1978), "Pointwise Compact Sets of Baire-Measurable Functions", American J. of Math., 100: 845–886.
• Calderón, Alberto P. (1964), "Intermediate spaces and interpolation, the complex method", Studia Math., 24: 113–190.
• Carothers, Neal L. (2005), A short course on Banach space theory, London Mathematical Society Student Texts, vol. 64, Cambridge: Cambridge University Press, pp. xii+184, ISBN 0-521-84283-2.
• Davis, William J.; Figiel, Tadeusz; Johnson, William B.; Pełczyński, Aleksander (1974), "Factoring weakly compact operators", J. Functional Analysis, 17: 311–327.
• Diestel, Joseph (1984), Sequences and series in Banach spaces, Graduate Texts in Mathematics, vol. 92, New York: Springer-Verlag, pp. xii+261, ISBN 0-387-90859-5.
• James, Robert C. (1972), Some self-dual properties of normed linear spaces. Symposium on Infinite-Dimensional Topology (Louisiana State Univ., Baton Rouge, La., 1967), Ann. of Math. Studies, vol. 69, Princeton, N.J.: Princeton Univ. Press, pp. 159–175 {{citation}}: line feed character in |title= at position 52 (help).
• Johnson, William B.; Lindenstrauss, Joram (2001), "Basic concepts in the geometry of Banach spaces", Handbook of the geometry of Banach spaces, Vol. I, Amsterdam: North-Holland, pp. 1–84.
• Lindenstrauss, Joram; Tzafriri, Lior (1977), Classical Banach Spaces I, Sequence Spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 92, Berlin: Springer-Verlag, pp. xiii+188, ISBN 3-540-08072-4.
• Lindenstrauss, Joram; Tzafriri, Lior (1979), Classical Banach spaces. II. Function spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], vol. 97, Berlin-New York: Springer-Verlag, pp. x+243, ISBN 3-540-08888-1.
• Lions, Jacques-Louis; Peetre, Jaak (1961), "Propriétés d'espaces d'interpolation", C. R. Acad. Sci. Paris (in French), 253: 1747–1749
• Lions, Jacques-Louis.; Peetre, Jaak (1964), "Sur une classe d'espaces d'interpolation", Inst. Hautes Études Sci. Publ. Math. (in French), 19: 5–68.
• Lions, Jacques-Louis (1960), "Une construction d'espaces d'interpolation", C. R. Acad. Sci. Paris (in French), 251: 1853–1855
• Megginson, Robert E. (1998), An introduction to Banach space theory, Graduate Texts in Mathematics, vol. 183, New York: Springer-Verlag, pp. xx+596, ISBN 0-387-98431-3.
• Odell, Edward W.; Rosenthal, Haskell P. (1975), "A double-dual characterization of separable Banach spaces containing ℓ¹", Israel J. Math., 20: 375–384.
• Peetre, Jaak (1963), "Nouvelles propriétés d'espaces d'interpolation", C. R. Acad. Sci. Paris (in French), 256: 1424–1426
• Peetre, Jaak (1968), A theory of interpolation of normed spaces, Notas de Matemática, vol. 39, Rio de Janeiro: Instituto de Matemática Pura e Aplicada, Conselho Nacional de Pesquisas, pp. iii+86{{citation}}: CS1 maint: extra punctuation (link)
• Peetre, Jaak (1960), "Relations d'inclusion entre quelques espaces fonctionnels", Kungl. Fysiogr. Sällsk. i Lund Förh. (in French), 30: 47–50
• Ryan, Raymond A. (2002), Introduction to Tensor Products of Banach Spaces, Springer Monographs in Mathematics, London: Springer-Verlag, pp. xiv+225, ISBN 1-85233-437-1.
• Wojtaszczyk, Przemysław (1991), Banach spaces for analysts, Cambridge Studies in Advanced Mathematics, vol. 25, Cambridge: Cambridge University Press, pp. xiv+382, ISBN 0-521-35618-0{{citation}}: CS1 maint: extra punctuation (link)