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 (representable by finite-dimensional matrices) 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. For example, the spectral theory of compact operators on Banach spaces takes a form that is very similar to the Jordan canonical form of matrices. In the context of Hilbert spaces, a square matrix is unitarily diagonalizable if and only if it is normal. A corresponding result holds for normal compact operators on Hilbert spaces. More generally, the compactness assumption can be dropped. As stated above, the techniques used to prove results, e.g., the spectral theorem, in the non-compact case are typically different, involving operator-valued measures on the spectrum. Some results for compact operators on Hilbert space will be discussed, starting with general properties before considering subclasses of compact operators. Let be a Hilbert space and be the set of bounded operators on . Then, an operator is said to be a compact operator if the image of each bounded set under is relatively compact. We list in this section some general properties of compact operators. If X and Y are separable Hilbert spaces (in fact, X Banach and Y normed will suffice), then T : X → Y is compact if and only if it is sequentially continuous when viewed as a map from X with the weak topology to Y (with the norm topology). (See , and note in this reference that the uniform boundedness will apply in the situation where F ⊆ X satisfies (∀φ ∈ Hom(X, K)) sup{x**(φ) = φ(x) : x} < ∞, where K is the underlying field.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (10)
COM-514: Mathematical foundations of signal processing
A theoretical and computational framework for signal sampling and approximation is presented from an intuitive geometric point of view. This lecture covers both mathematical and practical aspects of
MATH-302: Functional analysis I
Concepts de base de l'analyse fonctionnelle linéaire: opérateurs bornés, opérateurs compacts, théorie spectrale pour les opérateurs symétriques et compacts, le théorème de Hahn-Banach, les théorèmes d
MSE-487: Mathematical methods for materials science
The aim of the course is to review mathematical concepts learned during the bachelor cycle and apply them to concrete problems commonly found in Engineering, and Materials Science in particular.
Afficher plus
Concepts associés (8)
Classe trace
En mathématiques, un opérateur de classe trace, ou opérateur à trace, est un opérateur compact pour lequel on peut définir une trace au sens de l’algèbre linéaire, qui est finie et ne dépend pas de la base. En s’inspirant de la définition dans le cas de la dimension finie, un opérateur borné A sur un espace de Hilbert séparable est dit de classe trace si dans une certaine base hilbertienne {ek}k (et donc dans toutes) de H, la série à termes positifs suivante converge où (A* A) désigne la racine carrée de l' A* A.
Continuous functional calculus
In mathematics, particularly in operator theory and C*-algebra theory, a continuous functional calculus is a functional calculus which allows the application of a continuous function to normal elements of a C*-algebra. Theorem. Let x be a normal element of a C*-algebra A with an identity element e. Let C be the C*-algebra of the bounded continuous functions on the spectrum σ(x) of x. Then there exists a unique mapping π : C → A, where π(f) is denoted f(x), such that π is a unit-preserving morphism of C*-algebras and π(1) = e and π(id) = x, where id denotes the function z → z on σ(x).
Endomorphisme normal
Un endomorphisme normal est un opérateur d'un espace de Hilbert qui commute avec son adjoint. Soient H un espace de Hilbert (réel ou complexe) et u un endomorphisme de H, d'adjoint u*. On dit que u est normal si Les endomorphismes autoadjoints sont normaux (cas u* = u). Les endomorphismes antiautoadjoints sont normaux (cas u* = –u). Les isométries vectorielles sont des endomorphismes normaux (cas u* = u).
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.