Definition:Schauder Basis/Definition 1

Definition
Let $\Bbb F \in \set {\R, \C}$.

Let $\struct {X, \norm \cdot}$ be a normed vector space over $\Bbb F$.

Let $\set {e_n : n \in \N}$ be a countable subset of $X$.

We say that $\set {e_n : n \in \N}$ is a Schauder basis for $X$ if for each $x \in X$, there exists a unique sequence $\sequence {\map {\alpha_j} x}_{j \in \mathop \N}$ in $\Bbb F$ such that:


 * $\ds x = \sum_{j \mathop = 1}^\infty \map {\alpha_j} x e_j$

where convergence is understood in $\struct {X, \norm \cdot}$.