Finite rank operator

Finite rank operator

In functional analysis, a finite rank operator is a bounded linear operator between Banach spaces whose range is finite dimensional.

Finite rank operators on a Hilbert space

A canonical form

Finite rank operators are matrices (of finite size) transplanted to the infinite dimensional setting. As such, they can be described via linear algebra techniques

From linear algebra, we know that a rectangular matrix, with complex entries, "M" ∈ C"n" × "m" has rank 1 if and only if "M" is of the form

:M = alpha cdot u v^*, quad mbox{where} quad |u | = |v| = 1 quad mbox{and} quad alpha geq 0 .

Exactly the same argument shows that an operator "T" on a Hilbert space "H" is rank 1 if and only if

:T h = alpha langle h, v angle u quad mbox{for all} quad h in H ,

where the conditions on "α", "u", and "v" are the same as in the finite dimensional case.

Therefore, by induction, an operator "T" of finite rank "n" takes the form

:T h = sum _{i = 1} ^n alpha_i langle h, v_i angle u_i quad mbox{for all} quad h in H ,

where {"ui"} and {"vi"} are orthonormal bases. Notice this is essentially a restatement of singular value decomposition. This can be said to be a "canonical form" of finite rank operators.

Generalizing slightly, if "n" is now countably infinite and the sequence of positive numbers {"αi"} accumulate only at 0, "T" is then a compact operator, and one has the canonical form for compact operators.

If the series ∑"i"i" is convergent, "T" is a trace class operator.

Algebraic property

The family of finite rank operators "F"("H") on a Hilbert space "H" form a two-sided *-ideal in "L"("H"), the algebra of bounded operators on "H". In fact it is the minimal element among such ideals, that is, any two-sided *-ideal "I" in "L"("H") must contain the finite rank operators. This is not hard to prove. Take a non-zero operator "T" ∈ "I", then "Tf" = "g" for some "f, g" ≠ 0. It surffices to have that for any "h, k" ∈ "H", the rank-1 operator "S""h, k" that maps "h" to "k" lies in "I". Define "S""h, f" to be the rank-1 operator that maps "h" to "f", and "S""g, k" analogously. Then

:S_{h,k} = S_{g,k} T S_{h,f}, ,

which means "S""h, k" is in "I" and this verifies the claim.

Some examples of two-sided *-ideals in "L"("H") are the trace-class, Hilbert-Schmidt operators, and compact operators. "F"("H") is dense in all three of these ideals, in their respective norms.

Since any two-sided ideal in "L"("H") must contain "F"("H"), the algebra "L"("H") is simple if and only if it is finite dimensional.

Finite rank operators on a Banach space

Finite rank operator T:U o V between Banach spaces is a bounded operator such that its range is finite dimensional. Just as in the Hilbert space case, it can be written in the form

:T h = sum _{i = 1} ^n alpha_i langle h, v_i angle u_i quad mbox{for all} quad h in U ,

where now u_iin V, and v_iin U' are bounded linear functionals on the space U.

A bounded linear functional is a particular case of a finite rank operator, namely of rank one.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Rank (linear algebra) — The column rank of a matrix A is the maximum number of linearly independent column vectors of A. The row rank of a matrix A is the maximum number of linearly independent row vectors of A. Equivalently, the column rank of A is the dimension of the …   Wikipedia

  • Compact operator on Hilbert space — In functional analysis, compact operators on Hilbert spaces are a direct extension of matrices: in the Hilbert spaces, they are precisely the closure of finite rank operators in the uniform operator topology. As such, results from matrix theory… …   Wikipedia

  • Weak operator topology — In functional analysis, the weak operator topology, often abbreviated WOT, is the weakest topology on the set of bounded operators on a Hilbert space H such that the functional sending an operator T to the complex number is continuous for any… …   Wikipedia

  • Operator (mathematics) — This article is about operators in mathematics. For other uses, see Operator (disambiguation). In basic mathematics, an operator is a symbol or function representing a mathematical operation. In terms of vector spaces, an operator is a mapping… …   Wikipedia

  • Compact operator — In functional analysis, a branch of mathematics, a compact operator is a linear operator L from a Banach space X to another Banach space Y, such that the image under L of any bounded subset of X is a relatively compact subset of Y. Such an… …   Wikipedia

  • Self-adjoint operator — In mathematics, on a finite dimensional inner product space, a self adjoint operator is one that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose.… …   Wikipedia

  • Closure operator — In mathematics, a closure operator on a set S is a function cl: P(S) → P(S) from the power set of S to itself which satisfies the following conditions for all sets X,Y ⊆ S. X ⊆ cl(X) (cl is extensive) X ⊆ Y implies cl(X) ⊆ cl(Y)   (cl… …   Wikipedia

  • List of finite simple groups — In mathematics, the classification of finite simple groups states thatevery finite simple group is cyclic, or alternating, or in one of 16 families of groups of Lie type (including the Tits group, which strictly speaking is not of Lie type),or… …   Wikipedia

  • Kernel (linear operator) — Main article: Kernel (mathematics) In linear algebra and functional analysis, the kernel of a linear operator L is the set of all operands v for which L(v) = 0. That is, if L: V → W, then where 0 denotes the null vector… …   Wikipedia

  • Trace class — In mathematics, a trace class operator is a compact operator for which a trace may be defined, such that the trace is finite and independent of the choice of basis. Trace class operators are essentially the same as nuclear operators, though many… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”