Definition:Projection Operator over 2-Sequence Spaces

Definition

Let $\ell^2$ be the $2$-sequence space.

Let $\map {CL} {\ell^2} := \map {CL} {\ell^2, \ell^2}$ be the continuous linear transformation space.

Let $\mathbf a \in \ell^2$ be such that:

$\mathbf a = \tuple {a_1, a_2, a_3, \ldots}$

Then by the projection operator over $\ell^2$ we mean the mapping $P_n \in \map {CL} {\ell^2}$ with $n \in \N$ where:

$\tuple {a_1, a_2, a_3, \ldots} \stackrel {P_n} \mapsto \tuple{a_1, a_2, \ldots, a_n, 0, \ldots}$

Sources

• 2017: Amol Sasane: A Friendly Approach to Functional Analysis ... (previous) ... (next): Chapter $\S 2.3$: The normed space $\map {CL} {X, Y}$. Strong and weak operator topologies on $\map {CL} {X, Y}$