Math 2.0

Functional analysis Definition

Sequence space

Builds on SequenceVector spaceLinear subspaceSequence spaces lp

Definition

Let 𝕂\mathbb{K} be ℝ\R or ℂ\C. Let ω\omega be the set of all sequences x=(xn)n≥1x = (x_n)_{n \ge 1} with terms in 𝕂\mathbb{K}. With termwise addition (x+y)n=xn+yn(x + y)_n = x_n + y_n and scalar multiplication (λx)n=λxn(\lambda x)_n = \lambda x_n, the set ω\omega is a vector space over 𝕂\mathbb{K}. A sequence space is a linear subspace of ω\omega.

Remarks

Example: the set ℓ∞\ell^\infty of bounded sequences is a sequence space. It contains the zero sequence, and if ∣xn∣≤M\abs{x_n} \le M and ∣yn∣≤N\abs{y_n} \le N for all nn, then ∣xn+yn∣≤M+N\abs{x_n + y_n} \le M + N and ∣λxn∣≤∣λ∣M\abs{\lambda x_n} \le \abs{\lambda} M. Other examples are ω\omega itself, the spaces ℓ^p, the space cc of convergent sequences and the space c0c_0 of null sequences. Another is the space φ\varphi of sequences with only finitely many nonzero terms.

Non-example: the set of sequences with x1=1x_1 = 1 is not a sequence space, because it does not contain the zero sequence.

The word is often used for a sequence space together with a norm or a topology, as in the theory of FK-spaces and BK-spaces.

Reading path

To understand this page from the ground up, read these 43 pages in order. The foundations come first.

  1. Element definition
  2. Extended real number line object
  3. Proposition concept
  4. Real numbers object
  5. Sequence definition
  6. Set bounded above definition
  7. Vector space definition
  8. p-metric on R^n example
  9. Set definition
  10. Conjunction definition
  11. Disjunction definition
  12. Implication definition
  13. Predicate definition
  14. Supremum definition
  15. Linear subspace definition
  16. p-norm on R^n example
  17. Empty set object
  18. Family of sets definition
  19. Ordered pair definition
  20. Intersection definition
  21. Union definition
  22. Existential quantifier definition
  23. Universal quantifier definition
  24. Cartesian product definition
  25. Subset definition
  26. Union of a family of sets definition
  27. Uniqueness quantifier definition
  28. Binary relation definition
  29. Topological space definition
  30. Function definition
  31. Metric space definition
  32. Convergence of a sequence in a metric space definition
  33. Open ball definition
  34. Diameter of a set definition
  35. Metric topology definition
  36. Epsilon characterisation of Cauchy sequences statement
  37. Complete metric space definition
  38. Open set definition
  39. Equivalent metrics definition
  40. Equivalent norms definition
  41. Banach space definition
  42. Sequence spaces lp example
  43. Sequence space definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Sequence_space
About this page
TagG5MKMRTT62
URIm2://G5MKMRTT62
Kinddefinition
WritingW0 stub
MSC46A45, 40H05
DefinesSequence space
UsesSequence, Vector space, Linear subspace, Sequence spaces lp
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.