Definition:P-Sequence Space

From ProofWiki
Jump to navigation Jump to search


This page has been identified as a candidate for refactoring of medium complexity.
In particular: Into "Complex $p$-sequence space" and "Real ...", according to ADA
Until this has been finished, please leave {{Refactor}} in the code.

New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only.

Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Refactor}} from the code.


Definition

Let $p \in \R$, $p \ge 1$.

The $p$-sequence space, denoted $\ell^p$ or $\map {\ell^p} \N$, is defined as:

$\ds \ell^p := \set {\sequence {z_n}_{n \mathop \in \N} \in \C^\N: \sum_{n \mathop = 0}^\infty \size {z_n}^p < \infty}$

As such, $\ell^p$ is a subspace of $\C^\N$, the space of all complex sequences.


This article is incomplete.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by expanding it.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Stub}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.



Also defined as

Authors coming from the direction of measure theory often define $\ell^p$ as consisting of real sequences.

To explicate the base field, $\ell^p_\R$ and $\ell^p_\C$ may be used.


Also known as

Some authors call the sequence space the Lebesgue space, but this term is reserved for a more general object on $\mathsf{Pr} \infty \mathsf{fWiki}$.


Also see

  • Results about $p$-sequence spaces can be found here.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:P-Sequence_Space&oldid=612861"