Sequence space

From Wikipedia, the free encyclopedia

In functional analysis and related areas of mathematics, a sequence space is an important class of function space.

The set of all functions from the natural numbers to complex numbers, which can naturally be identified with the set of all possible infinite sequences with elements in \mathbb{C}, can be turned into a vector space. Any linear subspace of this space is then called sequence space.

Many important classes of sequences like bounded sequences or null sequences form sequence spaces. A sequence space equipped with the topology of pointwise convergence becomes a special kind of Fréchet space called FK-space.

[edit] Definition

We identify the set of all functions

f:\mathbb{N} \to \mathbb{C}

with the set of all sequences

(x_n)_{n\in\mathbb{N}} with x_n \in \mathbb{C}.

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

(x_n)_{n\in\mathbb{N}} + (y_n)_{n\in\mathbb{N}} := (x_n + y_n)_{n\in\mathbb{N}}

and the scalar multiplication as

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

A sequence space X is a linear subspace of ω.

[edit] Examples

The space of bounded sequence \ell^\infty (sometimes called m) consisting of all bounded sequences

m:=\{ x \in \omega : \exists M \in \mathbb{R} \quad \forall n \in \mathbb{N} \quad \vert x_n \vert \le M\}.

The space of convergent sequences c consisting of all convergent sequences

c:=\{ x \in \omega : \exists M \in \mathbb{C} \quad \lim_{n\to\infty} (x_n - M) = 0\}.

The space of null sequences c0 consisting of all null sequences

c_0:=\{ x \in \omega : \lim_{n\to\infty} x_n = 0\}.

The space of finite sequences Φ consisting of all sequences where only a finite number of terms are non-zero.

The space of bounded series bs

bs:=\{x \in \omega : \sup_n \vert \sum_{i=0}^n x_i \vert < \infty \}.

[edit] See also

Retrieved from "http://en.wikipedia.org../../../s/e/q/Sequence_space.html"