Atkinson's theorem

Last updated

In operator theory, Atkinson's theorem (named for Frederick Valentine Atkinson) gives a characterization of Fredholm operators.

Contents

The theorem

Let H be a Hilbert space and L(H) the set of bounded operators on H. The following is the classical definition of a Fredholm operator: an operator T ∈ L(H) is said to be a Fredholm operator if the kernel Ker(T) is finite-dimensional, Ker(T*) is finite-dimensional (where T* denotes the adjoint of T), and the range Ran(T) is closed.

Atkinson's theorem states:

A T∈L(H) is a Fredholm operator if and only if T is invertible modulo compact perturbation, i.e. TS = I + C1 and ST = I + C2 for some bounded operator S and compact operators C1 and C2.

In other words, an operator T ∈ L(H) is Fredholm, in the classical sense, if and only if its projection in the Calkin algebra is invertible.

Sketch of proof

The outline of a proof is as follows. For the ⇒ implication, express H as the orthogonal direct sum

The restriction T : Ker(T)⊥ → Ran(T) is a bijection, and therefore invertible by the open mapping theorem. Extend this inverse by 0 on Ran(T)⊥ = Ker(T*) to an operator S defined on all of H. Then I − TS is the finite-rank projection onto Ker(T*), and I − ST is the projection onto Ker(T). This proves the only if part of the theorem.

For the converse, suppose now that ST = I + C2 for some compact operator C2. If x ∈ Ker(T), then STx = x + C2x = 0. So Ker(T) is contained in an eigenspace of C2, which is finite-dimensional (see spectral theory of compact operators). Therefore, Ker(T) is also finite-dimensional. The same argument shows that Ker(T*) is also finite-dimensional.

To prove that Ran(T) is closed, we make use of the approximation property: let F be a finite-rank operator such that ||F − C2|| < r. Then for every x in Ker(F),

||S||⋅||Tx|| ≥ ||STx|| = ||x + C2x|| = ||x + Fx +C2x − Fx|| ≥ ||x|| − ||C2 − F||⋅||x|| ≥ (1 − r)||x||.

Thus T is bounded below on Ker(F), which implies that T(Ker(F)) is closed. On the other hand, T(Ker(F)⊥) is finite-dimensional, since Ker(F)⊥ = Ran(F*) is finite-dimensional. Therefore, Ran(T) = T(Ker(F)) + T(Ker(F)⊥) is closed, and this proves the theorem.

A more complete treatment of Atkinson's Theorem is in the reference by Arveson: it shows that if B is a Banach space, an operator is Fredholm iff it is invertible modulo a finite rank operator (and that the latter is equivalent to being invertible modulo a compact operator, which is significant in view of Enflo's example of a separable, reflexive Banach space with compact operators that are not norm-limits of finite rank operators). For Banach spaces, a Fredholm operator is one with finite dimensional kernel and range of finite codimension (equivalent to the kernel of its adjoint being finite dimensional). Note that the hypothesis that Ran(T) is closed is redundant since a space of finite codimension that is also the range of a bounded operator is always closed (see Arveson reference below); this is a consequence of the open-mapping theorem (and is not true if the space is not the range of a bounded operator, for example the kernel of a discontinuous linear functional).

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra over the real or complex numbers that at the same time is also a Banach space, that is, a normed space that is complete in the metric induced by the norm. The norm is required to satisfy

In mathematics, specifically in functional analysis, a C∗-algebra is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra A of continuous linear operators on a complex Hilbert space with two additional properties:

In mathematics, especially functional analysis, a normal operator on a complex Hilbert space H is a continuous linear operator N : H → H that commutes with its hermitian adjoint N*, that is: NN* = N*N.

In mathematics, particularly in functional analysis, the spectrum of a bounded linear operator is a generalisation of the set of eigenvalues of a matrix. Specifically, a complex number is said to be in the spectrum of a bounded linear operator if

In mathematics, Fredholm operators are certain operators that arise in the Fredholm theory of integral equations. They are named in honour of Erik Ivar Fredholm. By definition, a Fredholm operator is a bounded linear operator T : X → Y between two Banach spaces with finite-dimensional kernel and finite-dimensional (algebraic) cokernel , and with closed range . The last condition is actually redundant.

In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra.

In functional analysis, a branch of mathematics, a compact operator is a linear operator , where are normed vector spaces, with the property that maps bounded subsets of to relatively compact subsets of . Such an operator is necessarily a bounded operator, and so continuous. Some authors require that are Banach, but the definition can be extended to more general spaces.

In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operators or closed operators, and consideration may be given to nonlinear operators. The study, which depends heavily on the topology of function spaces, is a branch of functional analysis.

In mathematics, the spectrum of a C*-algebra or dual of a C*-algebraA, denoted Â, is the set of unitary equivalence classes of irreducible *-representations of A. A *-representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed subspace K different from H and {0} which is invariant under all operators π(x) with x ∈ A. We implicitly assume that irreducible representation means non-null irreducible representation, thus excluding trivial (i.e. identically 0) representations on one-dimensional spaces. As explained below, the spectrum  is also naturally a topological space; this is similar to the notion of the spectrum of a ring.

In mathematics, the essential spectrum of a bounded operator is a certain subset of its spectrum, defined by a condition of the type that says, roughly speaking, "fails badly to be invertible".

In mathematics, more specifically functional analysis and operator theory, the notion of unbounded operator provides an abstract framework for dealing with differential operators, unbounded observables in quantum mechanics, and other cases.

In mathematics, the Fredholm alternative, named after Ivar Fredholm, is one of Fredholm's theorems and is a result in Fredholm theory. It may be expressed in several ways, as a theorem of linear algebra, a theorem of integral equations, or as a theorem on Fredholm operators. Part of the result states that a non-zero complex number in the spectrum of a compact operator is an eigenvalue.

In functional analysis, compact operators are linear operators on Banach spaces that map bounded sets to relatively compact sets. In the case of a Hilbert space H, the compact operators are the closure of the finite rank operators in the uniform operator topology. In general, operators on infinite-dimensional spaces feature properties that do not appear in the finite-dimensional case, i.e. for matrices. The compact operators are notable in that they share as much similarity with matrices as one can expect from a general operator. In particular, the spectral properties of compact operators resemble those of square matrices.

In the mathematical discipline of functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.

In mathematics, operator K-theory is a noncommutative analogue of topological K-theory for Banach algebras with most applications used for C*-algebras.

In operator algebras, the Toeplitz algebra is the C*-algebra generated by the unilateral shift on the Hilbert space l2(N). Taking l2(N) to be the Hardy space H2, the Toeplitz algebra consists of elements of the form

<span class="mw-page-title-main">Hilbert space</span> Type of topological vector space

In mathematics, Hilbert spaces allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that defines a distance function for which the space is a complete metric space.

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.

This is a glossary for the terminology in a mathematical field of functional analysis.

References

    This page is based on this Wikipedia article
    Text is available under the CC BY-SA 4.0 license; additional terms may apply.
    Images, videos and audio are available under their respective licenses.