In functional analysis, a branch of mathematics, a strictly singular operator is a bounded linear operator between normed spaces which is not bounded below on any infinite-dimensional subspace.
Definitions. Let X and Y be normed linear spaces, and denote by B(X,Y) the space of bounded operators of the form T : X → Y {\displaystyle T:X\to Y} . Let A ⊆ X {\displaystyle A\subseteq X} be any subset. We say that T is bounded below on A {\displaystyle A} whenever there is a constant c ∈ ( 0 , ∞ ) {\displaystyle c\in (0,\infty )} such that for all x ∈ A {\displaystyle x\in A} , the inequality ‖ T x ‖ ≥ c ‖ x ‖ {\displaystyle \|Tx\|\geq c\|x\|} holds. If A=X, we say simply that T is bounded below. Now suppose X and Y are Banach spaces, and let Id X ∈ B ( X ) {\displaystyle \operatorname {Id} _{X}\in B(X)} and Id Y ∈ B ( Y ) {\displaystyle \operatorname {Id} _{Y}\in B(Y)} denote the respective identity operators. An operator T ∈ B ( X , Y ) {\displaystyle T\in B(X,Y)} is called inessential whenever Id X − S T {\displaystyle \operatorname {Id} _{X}-ST} is a Fredholm operator for every S ∈ B ( Y , X ) {\displaystyle S\in B(Y,X)} . Equivalently, T is inessential if and only if Id Y − T S {\displaystyle \operatorname {Id} _{Y}-TS} is Fredholm for every S ∈ B ( Y , X ) {\displaystyle S\in B(Y,X)} . Denote by E ( X , Y ) {\displaystyle {\mathcal {E}}(X,Y)} the set of all inessential operators in B ( X , Y ) {\displaystyle B(X,Y)} . An operator T ∈ B ( X , Y ) {\displaystyle T\in B(X,Y)} is called strictly singular whenever it fails to be bounded below on any infinite-dimensional subspace of X. Denote by S S ( X , Y ) {\displaystyle {\mathcal {SS}}(X,Y)} the set of all strictly singular operators in B ( X , Y ) {\displaystyle B(X,Y)} . We say that T ∈ B ( X , Y ) {\displaystyle T\in B(X,Y)} is finitely strictly singular whenever for each ϵ > 0 {\displaystyle \epsilon >0} there exists n ∈ N {\displaystyle n\in \mathbb {N} } such that for every subspace E of X satisfying dim ( E ) ≥ n {\displaystyle {\text{dim}}(E)\geq n} , there is x ∈ E {\displaystyle x\in E} such that ‖ T x ‖ < ϵ ‖ x ‖ {\displaystyle \|Tx\|<\epsilon \|x\|} . Denote by F S S ( X , Y ) {\displaystyle {\mathcal {FSS}}(X,Y)} the set of all finitely strictly singular operators in B ( X , Y ) {\displaystyle B(X,Y)} . Let B X = { x ∈ X : ‖ x ‖ ≤ 1 } {\displaystyle B_{X}=\{x\in X:\|x\|\leq 1\}} denote the closed unit ball in X. An operator T ∈ B ( X , Y ) {\displaystyle T\in B(X,Y)} is compact whenever T B X = { T x : x ∈ B X } {\displaystyle TB_{X}=\{Tx:x\in B_{X}\}} is a relatively norm-compact subset of Y, and denote by K ( X , Y ) {\displaystyle {\mathcal {K}}(X,Y)} the set of all such compact operators.
… excerpt ends here. Continue reading the full article.
