Operator ideal explained

In functional analysis, a branch of mathematics, an operator ideal is a special kind of class of continuous linear operators between Banach spaces. If an operator

T

belongs to an operator ideal

l{J}

, then for any operators

A

and

B

which can be composed with

T

as

BTA

, then

BTA

is class

l{J}

as well. Additionally, in order for

l{J}

to be an operator ideal, it must contain the class of all finite-rank Banach space operators.

Formal definition

Let

l{L}

denote the class of continuous linear operators acting between arbitrary Banach spaces. For any subclass

l{J}

of

l{L}

and any two Banach spaces

X

and

Y

over the same field

K\in\{R,C\}

, denote by

l{J}(X,Y)

the set of continuous linear operators of the form

T:X\toY

such that

T\inl{J}

. In this case, we say that

l{J}(X,Y)

is a component of

l{J}

. An operator ideal is a subclass

l{J}

of

l{L}

, containing every identity operator acting on a 1-dimensional Banach space, such that for any two Banach spaces

X

and

Y

over the same field

K

, the following two conditions for

l{J}(X,Y)

are satisfied:

(1) If

S,T\inl{J}(X,Y)

then

S+T\inl{J}(X,Y)

; and

(2) if

W

and

Z

are Banach spaces over

K

with

A\inl{L}(W,X)

and

B\inl{L}(Y,Z)

, and if

T\inl{J}(X,Y)

, then

BTA\inl{J}(W,Z)

.

Properties and examples

Operator ideals enjoy the following nice properties.

l{J}(X,Y)

of an operator ideal forms a linear subspace of

l{L}(X,Y)

, although in general this need not be norm-closed.

l{J}

, every component of the form

l{J}(X):=l{J}(X,X)

forms an ideal in the algebraic sense.

Furthermore, some very well-known classes are norm-closed operator ideals, i.e., operator ideals whose components are always norm-closed. These include but are not limited to the following.

References