Sequence space

Sequence space

In functional analysis and related areas of mathematics, a sequence space is a vector space whose elements are infinite sequences of real or complex numbers. Equivalently, it is a function space whose elements are functions from the natural numbers to the field K of real or complex numbers. The set of all such functions is naturally identified with the set of all possible infinite sequences with elements in K, and can be turned into a vector space under the operations of pointwise addition of functions and pointwise scalar multiplication. All sequence spaces are linear subspaces of this space. Sequence spaces are typically equipped with a norm, or at least the structure of a topological vector space.

The most important sequences spaces in analysis are the ℓp spaces, consisting of the p-power summable sequences, with the p-norm. These are special cases of Lp spaces for the counting measure on the set of natural numbers. Other important classes of sequences like convergent sequences or null sequences form sequence spaces, respectively denoted c and c0, with the sup norm. Any sequence space can also be equipped with the topology of pointwise convergence, under which it becomes a special kind of Fréchet space called FK-space.

Contents

Definition

Let K denote the field either of real or complex numbers. Denote by KN the set of all sequences of scalars

(x_n)_{n\in\mathbf{N}},\quad x_n\in\mathbf{K}.

This can be turned into a vector space by defining vector addition as

(x_n)_{n\in\mathbf{N}} + (y_n)_{n\in\mathbf{N}} \stackrel{\rm{def}}{=} (x_n + y_n)_{n\in\mathbf{N}}

and the scalar multiplication as

\alpha(x_n)_{n\in\mathbf{N}} := (\alpha x_n)_{n\in\mathbf{N}}.

A sequence space is any linear subspace of KN.

p spaces

For 0 < p < ∞, ℓp is the subspace of KN consisting of all sequences x = (xn) satisfying

\sum_n |x_n|^p < \infty.

If p ≥ 1, then the real-valued operation \|\cdot\|_p defined by

\|x\|_p = \left(\sum_n|x_n|^p\right)^{1/p}

defines a norm on ℓp. In fact, ℓp is a complete metric space with respect to this norm, and therefore is a Banach space.

If 0 < p < 1, then ℓp does not carry a norm, but rather a metric defined by

d(x,y) = \sum_n |x_n-y_n|^p.\,

If p = ∞, then ℓ is defined to be the space of all bounded sequences. With respect to the norm

\|x\|_\infty = \sup_n |x_n|,

is also a Banach space.

c and c0

The space of convergent sequences c is a sequence space. This consists of all x ∈ KN such that limn→∞xn exists. Since every convergent sequence is bounded, c is a linear subspace of ℓ. It is, moreover, a closed subspace with respect to the infinity norm, and so a Banach space in its own right.

The subspace of null sequences c0 consists of all sequences whose limit is zero. This is a closed subspace of c, and so again a Banach space.

Other sequence spaces

The space of bounded series, denote by bs, is the space of sequences x for which

\sup_n \left\vert \sum_{i=0}^n x_i \right\vert < \infty.

This space, when equipped with the norm

\|x\|_{bs} = \sup_n \left\vert \sum_{i=0}^n x_i \right\vert,

is a Banach space isometrically isomorphic to ℓ, via the linear mapping

(x_n)_{n\in\mathbf{N}} \mapsto \left(\sum_{i=0}^n x_i\right)_{n\in\mathbf{N}}.

The subspace cs consisting of all convergent series is a subspace that goes over to the space c under this isomorphism.

The space Φ is defined to be the space of all infinite sequences with only a finite number of non-zero terms (sequences with finite support). This set is dense in many sequence spaces.

Properties of ℓp spaces and the space c0

The space ℓ2 is the only ℓp space that is a Hilbert space, since any norm that is induced by an inner product should satisfy the parallelogram identity \|x+y\|_p^2 + \|x-y\|_p^2= 2\|x\|_p^2 + 2\|y\|_p^2. Substituting two distinct unit vectors in for x and y directly shows that the identity is not true unless p = 2.

Each ℓp is distinct, in that ℓp is a strict subset of ℓs whenever p < s; furthermore, ℓp is not linearly isomorphic to ℓs when p ≠ s. In fact, by Pitt's theorem (Pitt 1936), every bounded linear operator from ℓs to ℓp is compact when p < s. No such operator can be an isomorphism; and further, it cannot be an isomorphism on any infinite-dimensional subspace of ℓs, and is thus said to be strictly singular.

If 1 < p < ∞, then the (continuous) dual space of ℓp is isometrically isomorphic to ℓq, where q is the Hölder conjugate of p: 1/p + 1/q = 1. The specific isomorphism associates to an element x of ℓq the functional

Lx(y) = xnyn
n

for y in ℓp. Hölder's inequality implies that Lx is a bounded linear functional on ℓp, and in fact

|L_x(y)| \le \|x\|_q\,\|y\|_p

so that the operator norm satisfies

\|L_x\|_{(\ell^p)^*} \stackrel{\rm{def}}{=}\sup_{y\in\ell^p, y\not=0} \frac{|L_x(y)|}{\|y\|_p} \le \|x\|_q.

In fact, taking y to be the element of ℓp with

y_n = \begin{cases}0&\rm{if}\ x_n=0\\
x_n^{-1}|x_n|^q &\rm{if}\ x_n\not=0
\end{cases}

gives Lx(y) = ||x||q, so that in fact

\|L_x\|_{(\ell^p)^*} = \|x\|_q.

Conversely, given a bounded linear functional L on ℓp, the sequence defined by xn = L(en) lies in ℓq. Thus the mapping x\mapsto L_x gives an isometry

\kappa_q : \ell^q \to (\ell^p)^*.

The map

\ell^q\xrightarrow{\kappa_q}(\ell^p)^*\xrightarrow{(\kappa_q^*)^{-1}}

obtained by composing κp with the inverse of its transpose coincides with the canonical injection of ℓq into its double dual. As a consequence ℓq is a reflexive space. By abuse of notation, it is typical to identify ℓq with the dual of ℓp: (ℓp)* = ℓq. Then reflexivity is understood by the sequence of identifications (ℓp)** = (ℓq)* = ℓp.

The space c0 is defined as the space of all sequences converging to zero, with norm identical to ||x||. It is a closed subspace of ℓ, hence a Banach space. The dual of c0 is ℓ1; the dual of ℓ1 is ℓ. For the case of natural numbers index set, the ℓp and c0 are separable, with the sole exception of ℓ. The dual of ℓ is the ba space.

The spaces c0 and ℓp (for 1 ≤ p < ∞) have a canonical unconditional Schauder basis {ei | i = 1, 2,…}, where ei is the sequence which is zero but for a 1 in the ith entry.

The space ℓ1 has the Schur property: In ℓ1, any sequence that is weakly convergent is also strongly convergent (Schur 1921). However, since the weak topology on infinite-dimensional spaces is strictly weaker than the strong topology, there are nets in ℓ1 that are weak convergent but not strong convergent.

The ℓp spaces can be embedded into many Banach spaces. The question of whether every infinite-dimensional Banach space contains an isomorph of some ℓp or of c0, was answered negatively by B. S. Tsirelson's construction of Tsirelson space in 1974. The dual statement, that every separable Banach space is linearly isometric to a quotient space of ℓ1, was answered in the affirmative by Banach & Mazur (1933). That is, for every separable Banach space X, there exists a quotient map Q:\ell^1 \to X, so that X is isomorphic to \ell^1 / \ker Q. In general, ker Q is not complemented in ℓ1, that is, there does not exist a subspace Y of ℓ1 such that \ell^1 = Y \oplus \ker Q. In fact, ℓ1 has uncountably many uncomplemented subspaces that are not isomorphic to one another (for example, take X=\ell^p; since there are uncountably many such X 's, and since no ℓp is isomorphic to any other, there are thus uncountably many ker Q 's).

Except for the trivial finite dimensional case, an unusual feature of ℓp is that it is not polynomially reflexive.

See also

References

  • Banach, S.; Mazur, S. (1933), "Zur Theorie der linearen Dimension", Studia Mathematica 4: 100–112 .
  • Dunford, Nelson; Schwartz, Jacob T. (1958), Linear operators, volume I, Wiley-Interscience .
  • Pitt, H.R. (1936), "A note on bilinear forms", J. London Math. Soc. 11 (3): 174–180, doi:10.1112/jlms/s1-11.3.174 .
  • Schur, J. (1921), "Über lineare Transformationen in der Theorie der unendlichen Reihen", Journal für die reine und angewandte Mathematik 151: 79–111 .

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Sequence — For other uses, see Sequence (disambiguation). In mathematics, a sequence is an ordered list of objects (or events). Like a set, it contains members (also called elements or terms), and the number of terms (possibly infinite) is called the length …   Wikipedia

  • Space Shuttle Atlantis — Atlantis OV 104 Atlantis launching STS 122 mission to dock with the International Space Station OV designation OV 104 Country United States …   Wikipedia

  • Space Shuttle Endeavour — Endeavour OV 105 Space Shuttle Endeavour on launch pad 39A prior to mission STS 127, May 31, 2009 OV designation OV 105 Country United Sta …   Wikipedia

  • Space science — is an all encompassing term that describes all of the various science fields that are concerned with the study of the Universe, generally also meaning excluding the Earth and outside of the Earth s atmosphere . Originally, all of these fields… …   Wikipedia

  • Space Museum (comics) — Space Museum was a Science Fiction Comic Strip published by DC Comics in the early 1960s. The series was written by Gardner Fox and was generally drawn by Carmine Infantio. Sometimes other artists would help out with the drawing. DC Comics… …   Wikipedia

  • Sequence stratigraphy — is a relatively new branch of geology that attempts to link relative sea level changes to sedimentary deposits. The essence of the method is mapping of strata based on identification of surfaces which represent time lines (e.g. subaerial… …   Wikipedia

  • Space music — Space music, also spelled spacemusic, is an umbrella term used to describe music that evokes a feeling of contemplative spaciousness. In fact, almost any music with a slow pace and space creating sound images could be called spacemusic. Stephen… …   Wikipedia

  • Space Mountain: Mission 2 — Space Mountain Pour les articles homonymes, voir Space Mountain (homonymie). Space Mountain est l une des attractions phares des parcs à thèmes de Disney. Elle a été reproduite dans chacun des Royaumes Enchantés dans le land, Tomorrowland ou… …   Wikipédia en Français

  • Space mountain — Pour les articles homonymes, voir Space Mountain (homonymie). Space Mountain est l une des attractions phares des parcs à thèmes de Disney. Elle a été reproduite dans chacun des Royaumes Enchantés dans le land, Tomorrowland ou Discoveryland.… …   Wikipédia en Français

  • Space Cadets (game show) — Space Cadets was a short lived comedy panel game broadcast on Channel 4 in 1997. It was presented by High Commander Greg Proops with Bill Bailey and Craig Charles as the Space Captains (captains of the two teams). It ran for just one series with… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”