Difference between revisions of "Operator"
m (→Graph: some tex) |
Ulf Rehmann (talk | contribs) m (tex done) |
||
Line 1: | Line 1: | ||
+ | {{TEX|done}} | ||
+ | |||
A mapping of one set into another, each of which has a certain structure (defined by algebraic operations, a topology, or by an order relation). The general definition of an operator coincides with the definition of a [[Mapping|mapping]] or [[Function|function]]. Let $X$ and $Y$ be two sets. A rule or correspondence which assigns a uniquely defined element $A(x)\in Y$ to every element $x$ of a subset $D\subset X$ is called an operator $A$ from $X$ into $Y$. | A mapping of one set into another, each of which has a certain structure (defined by algebraic operations, a topology, or by an order relation). The general definition of an operator coincides with the definition of a [[Mapping|mapping]] or [[Function|function]]. Let $X$ and $Y$ be two sets. A rule or correspondence which assigns a uniquely defined element $A(x)\in Y$ to every element $x$ of a subset $D\subset X$ is called an operator $A$ from $X$ into $Y$. | ||
− | \begin{equation} | + | $$\begin{equation} |
A:D\to Y, \qquad \text{where } D \subset X. | A:D\to Y, \qquad \text{where } D \subset X. | ||
− | \end{equation} | + | \end{equation}$$ |
The term operator is mostly used in the case where $X$ and $Y$ are vector spaces. The expression $A(x)$ is often written as $Ax$. | The term operator is mostly used in the case where $X$ and $Y$ are vector spaces. The expression $A(x)$ is often written as $Ax$. | ||
===Definitions and Notations=== | ===Definitions and Notations=== | ||
Line 29: | Line 31: | ||
===Graph === | ===Graph === | ||
The set $\Gamma(A)\subset X\times Y$ defined by the relation | The set $\Gamma(A)\subset X\times Y$ defined by the relation | ||
− | \begin{equation} | + | $$\begin{equation} |
\Gamma(A) = \{(x,Ax) : x\in \operatorname{Dom}(A)\} | \Gamma(A) = \{(x,Ax) : x\in \operatorname{Dom}(A)\} | ||
− | \end{equation} | + | \end{equation}$$ |
is called the graph of the operator $A$. | is called the graph of the operator $A$. | ||
Let $X$ and $Y$ be topological vector spaces; an operator from $X$ into $Y$ is called a [[Closed operator|closed operator]] if its graph is closed. The concept of a closed operator is particularly useful in the case of linear operators with a dense domain of definition. | Let $X$ and $Y$ be topological vector spaces; an operator from $X$ into $Y$ is called a [[Closed operator|closed operator]] if its graph is closed. The concept of a closed operator is particularly useful in the case of linear operators with a dense domain of definition. | ||
The concept of a graph allows one to generalize the concept of an operator: Any subset $A$ in $X\times Y$ is called a multi-valued operator from $X$ into $Y$; if $X$ and $Y$ are vector spaces, then a linear subspace in $X\times Y$ is called a multi-valued linear operator; the set | The concept of a graph allows one to generalize the concept of an operator: Any subset $A$ in $X\times Y$ is called a multi-valued operator from $X$ into $Y$; if $X$ and $Y$ are vector spaces, then a linear subspace in $X\times Y$ is called a multi-valued linear operator; the set | ||
− | \begin{equation} | + | $$\begin{equation} |
D(A) = \{x\in X : \text{ there exists an } y\in Y \text{ such that } (x, y)\in A \} | D(A) = \{x\in X : \text{ there exists an } y\in Y \text{ such that } (x, y)\in A \} | ||
− | \end{equation} | + | \end{equation}$$ |
is called the domain of definition of the multi-valued operator. | is called the domain of definition of the multi-valued operator. | ||
If $X$ is a vector space over a field $\mathcal K$ and $Y = \mathcal K$, then an everywhere-defined operator from $X$ into $Y$ is called a [[Functional|functional]] on $X$. | If $X$ is a vector space over a field $\mathcal K$ and $Y = \mathcal K$, then an everywhere-defined operator from $X$ into $Y$ is called a [[Functional|functional]] on $X$. | ||
− | If | + | If $ X $ |
+ | and $ Y $ | ||
+ | are locally convex spaces, then an operator $ A $ | ||
+ | from $ X $ | ||
+ | into $ Y $ | ||
+ | with a dense domain of definition in $ X $ | ||
+ | has an [[Adjoint operator|adjoint operator]] $ A ^{*} $ | ||
+ | with a dense domain of definition in $ Y ^{*} $( | ||
+ | with the weak topology) if, and only if, $ A $ | ||
+ | is a closed operator. | ||
===Examples of operators.=== | ===Examples of operators.=== | ||
− | 1) The operator assigning the element | + | 1) The operator assigning the element $ 0 \in Y $ |
+ | to any element $ x \in X $( | ||
+ | the zero operator). | ||
− | 2) The operator mapping each element | + | 2) The operator mapping each element $ x \in X $ |
+ | to the same element $ x \in X $( | ||
+ | the identity operator on $ X $, | ||
+ | written as $ \mathop{\rm id}\nolimits _{X} $ | ||
+ | or $ 1 _{X} $). | ||
− | |||
− | + | 3) Let $ X $ | |
+ | be a vector space of functions on a set $ M $, | ||
+ | and let $ f $ | ||
+ | be a function on $ M $; | ||
+ | the operator on $ X $ | ||
+ | with domain of definition | ||
+ | |||
+ | $$ | ||
+ | D(A) = \{ {\phi \in X} : {f \phi \in X} \} | ||
+ | $$ | ||
+ | |||
and acting according to the rule | and acting according to the rule | ||
− | + | $$ | |
+ | A \phi = f \phi | ||
+ | $$ | ||
+ | |||
+ | |||
+ | if $ \phi \in D(A) $, | ||
+ | is called the operator of multiplication by a function; $ A $ | ||
+ | is a linear operator. | ||
− | + | 4) Let $ X $ | |
+ | be a vector space of functions on a set $ M $, | ||
+ | and let $ F $ | ||
+ | be a mapping from the set $ M $ | ||
+ | into itself; the operator on $ X $ | ||
+ | with domain of definition | ||
− | + | $$ | |
+ | D(A) = \{ {\phi \in X} : {\phi \circ F \in X} \} | ||
+ | $$ | ||
− | |||
and acting according to the rule | and acting according to the rule | ||
− | + | $$ | |
+ | A \phi = \phi \circ F | ||
+ | $$ | ||
+ | |||
+ | |||
+ | if $ \phi \in D(A) $, | ||
+ | is a linear operator. | ||
+ | |||
+ | 5) Let $ X,\ Y $ | ||
+ | be vector spaces of real measurable functions on two measure spaces $ (M,\ \Sigma _{M} ,\ \mu ) $ | ||
+ | and $ (N,\ \Sigma _{N} ,\ \nu ) $, | ||
+ | respectively, and let $ K $ | ||
+ | be a function on $ M \times N \times \mathbf R $, | ||
+ | measurable with respect to the product measure $ \mu \times \nu \times \mu _{0} $, | ||
+ | where $ \mu _{0} $ | ||
+ | is Lebesgue measure on $ \mathbf R $, | ||
+ | and continuous in $ t \in \mathbf R $ | ||
+ | for any fixed $ m \in M $, | ||
+ | $ n \in N $. | ||
+ | The operator from $ X $ | ||
+ | into $ Y $ | ||
+ | with domain of definition $ D(A) = \{ {\phi \in X} : {f(x) = \int _{M} K (x,\ y,\ \phi (y)) \ dy} \} $, | ||
+ | which exists for almost-all $ x \in N $ | ||
+ | and $ f \in Y $, | ||
+ | and acting according to the rule $ A \phi = f $ | ||
+ | if $ \phi \in D(A) $, | ||
+ | is called an integral operator; if | ||
+ | |||
+ | $$ | ||
+ | K(x,\ y,\ z) = K(x,\ y)z, x \in M, y \in N, z \in \mathbf R , | ||
+ | $$ | ||
+ | |||
− | + | then $ A $ | |
+ | is a linear operator. | ||
− | + | 6) Let $ X $ | |
+ | be a vector space of functions on a differentiable manifold $ M $, | ||
+ | let $ \xi $ | ||
+ | be a vector field on $ M $; | ||
+ | the operator $ A $ | ||
+ | on $ X $ | ||
+ | with domain of definition | ||
− | + | $$ | |
+ | D(A) = | ||
+ | \{ {f \in X} : {\textrm{ the derivative } D _ \xi f \textrm{ of the function } f | ||
+ | \textrm{ along the field } \xi \textrm{ is everywhere defined and } D _ \xi f \in X} \} | ||
+ | $$ | ||
− | |||
− | + | and acting according to the rule $ Af = D _ \xi f $ | |
+ | if $ f \in D(A) $, | ||
+ | is called a differentiation operator; $ A $ | ||
+ | is a linear operator. | ||
− | + | 7) Let $ X $ | |
+ | be a vector space of functions on a set $ M $; | ||
+ | an everywhere-defined operator assigning to a function $ \phi \in X $ | ||
+ | the value of that function at a point $ a \in M $, | ||
+ | is a linear functional on $ X $; | ||
+ | it is called the $ \delta $- | ||
+ | function at the point $ a $ | ||
+ | and is written as $ \delta _{a} $. | ||
− | |||
− | and | + | 8) Let $ G $ |
+ | be a commutative locally compact group, let $ \widehat{G} $ | ||
+ | be the group of characters of the group $ G $, | ||
+ | let $ dg $, | ||
+ | $ \widehat{dg} $ | ||
+ | be the Haar measures on $ G $ | ||
+ | and $ \widehat{G} $, | ||
+ | respectively, and let | ||
− | + | $$ | |
+ | X = L _{2} ( G ,\ dg ), | ||
+ | Y = L _{2} ( \widehat{G} ,\ \widehat{dg} ). | ||
+ | $$ | ||
− | |||
− | + | The linear operator $ A $ | |
+ | from $ X $ | ||
+ | into $ Y $ | ||
+ | assigning to a function $ f \in X $ | ||
+ | the function $ \widehat{f} \in Y $ | ||
+ | defined by the formula | ||
− | + | $$ | |
+ | \widehat{f} ( \widehat{g} ) = \int\limits f(g) \widehat{g} (g) \ dg | ||
+ | $$ | ||
− | |||
is everywhere defined if the convergence of the integral is taken to be mean-square convergence. | is everywhere defined if the convergence of the integral is taken to be mean-square convergence. | ||
− | If | + | If $ X $ |
+ | and $ Y $ | ||
+ | are topological vector spaces, then the operators in examples 1) and 2) are continuous; if in example 3) the space $ X $ | ||
+ | is $ L _{2} (M,\ \Sigma _{M} ,\ \mu ) $, | ||
+ | where $ \mu $ | ||
+ | is a measure on $ X $, | ||
+ | then the operator of multiplication by a bounded measurable function is closed and has a dense domain of definition; if in example 5) the space $ X=Y $ | ||
+ | is a Hilbert space $ L _{2} (M,\ \Sigma _{M} ,\ \mu ) $ | ||
+ | and $ K(x,\ y,\ z) = K(x,\ y)z $, | ||
+ | where $ K(x,\ y) $ | ||
+ | belongs to $ L _{2} (M \times M,\ \Sigma _{M} \times \Sigma _{M} ,\ \mu \times \mu ) $, | ||
+ | then $ A $ | ||
+ | is compact; if in example 8) the spaces $ X $ | ||
+ | and $ Y $ | ||
+ | are regarded as Hilbert spaces, then $ A $ | ||
+ | is continuous. | ||
+ | |||
+ | If $ A $ | ||
+ | is an operator from $ X $ | ||
+ | into $ Y $ | ||
+ | such that $ Ax \neq Ay $ | ||
+ | when $ x \neq y $, | ||
+ | $ x,\ y \in D(A) $, | ||
+ | then the inverse operator $ A ^{-1} $ | ||
+ | to $ A $ | ||
+ | can be defined; the question of the existence of an inverse operator and its properties is related to the theorem of the existence and uniqueness of a solution of the equation $ Ax = f $; | ||
+ | if $ A ^{-1} $ | ||
+ | exists, then $ x = A ^{-1} f $ | ||
+ | when $ f \in R(A) $. | ||
− | |||
− | For operators on a vector space it is possible to define a sum, multiplication by a number and an operator product. If | + | For operators on a vector space it is possible to define a sum, multiplication by a number and an operator product. If $ A $, |
+ | $ B $ | ||
+ | are operators from $ X $ | ||
+ | into $ Y $ | ||
+ | with domains of definition $ D(A) $ | ||
+ | and $ D(B) $, | ||
+ | respectively, then the operator, written as $ A+B $, | ||
+ | with domain of definition | ||
+ | |||
+ | $$ | ||
+ | D(A+B) = D(A) \cap D(B) | ||
+ | $$ | ||
− | |||
and acting according to the rule | and acting according to the rule | ||
− | + | $$ | |
+ | (A+B)x = Ax + Bx | ||
+ | $$ | ||
+ | |||
+ | |||
+ | if $ x \in D(A+B) $, | ||
+ | is called the sum of the operators $ A $ | ||
+ | and $ B $. | ||
+ | |||
− | + | The operator, written as $ \lambda A $, | |
+ | with domain of definition | ||
− | + | $$ | |
+ | D( \lambda A) = D(A) | ||
+ | $$ | ||
− | |||
and acting according to the rule | and acting according to the rule | ||
− | + | $$ | |
+ | ( \lambda A)x = \lambda (Ax) | ||
+ | $$ | ||
+ | |||
− | if | + | if $ x \in D( \lambda A) $, |
+ | is called the product of the operator $ A $ | ||
+ | by the number $ \lambda $. | ||
+ | The operator product is defined as composition of mappings: If $ A $ | ||
+ | is an operator from $ X $ | ||
+ | into $ Y $ | ||
+ | and $ B $ | ||
+ | is an operator from $ Y $ | ||
+ | into $ Z $, | ||
+ | then the operator $ BA $, | ||
+ | with domain of definition | ||
+ | |||
+ | $$ | ||
+ | D(BA) = \{ {x \in X} : { | ||
+ | x \in D(A) \textrm{ and } | ||
+ | Ax \in D(B)} \} | ||
+ | $$ | ||
− | |||
and acting according to the rule | and acting according to the rule | ||
− | + | $$ | |
+ | (BA)x = B(Ax) | ||
+ | $$ | ||
+ | |||
+ | |||
+ | if $ x \in D(BA) $, | ||
+ | is called the product of $ B $ | ||
+ | and $ A $. | ||
+ | |||
− | if | + | If $ P $ |
+ | is an everywhere-defined operator on $ X $ | ||
+ | such that $ PP = P $, | ||
+ | then $ P $ | ||
+ | is called a projection operator or projector in $ X $; | ||
+ | if $ I $ | ||
+ | is an everywhere-defined operator on $ X $ | ||
+ | such that $ I \circ I = \mathop{\rm id}\nolimits _{X} $, | ||
+ | then $ I $ | ||
+ | is called an involution in $ X $. | ||
− | |||
The theory of operators constitutes the most important part of linear and non-linear functional analysis, being in particular a basic instrument in the theory of dynamical systems, representations of groups and algebras and a most important mathematical instrument in mathematical physics and quantum mechanics. | The theory of operators constitutes the most important part of linear and non-linear functional analysis, being in particular a basic instrument in the theory of dynamical systems, representations of groups and algebras and a most important mathematical instrument in mathematical physics and quantum mechanics. |
Latest revision as of 17:06, 24 January 2020
A mapping of one set into another, each of which has a certain structure (defined by algebraic operations, a topology, or by an order relation). The general definition of an operator coincides with the definition of a mapping or function. Let $X$ and $Y$ be two sets. A rule or correspondence which assigns a uniquely defined element $A(x)\in Y$ to every element $x$ of a subset $D\subset X$ is called an operator $A$ from $X$ into $Y$. $$\begin{equation} A:D\to Y, \qquad \text{where } D \subset X. \end{equation}$$ The term operator is mostly used in the case where $X$ and $Y$ are vector spaces. The expression $A(x)$ is often written as $Ax$.
Definitions and Notations
- The subset $D$ is called the domain of definition of the operator $A$ and is denoted by $\operatorname{Dom}(A)$; the set $\{A(x) : x\in D\}$ is called the domain of values of the operator $A$ (or its range) and is denoted by $\operatorname{R}(A)$.
- If $A$ is an operator from $X$ into $Y$ where $X=Y$, then $A$ is called an operator on $X$.
- If $\operatorname{Dom}(A)=X$, then $A$ is called an everywhere-defined operator.
- If $A_1$, $A_2$ are operators from $X_1$ into $Y_1$ and from $X_2$ into $Y_2$ with domains of definition $\operatorname{Dom}(A_1)$ and $\operatorname{Dom}(A_2)$, respectively, such that $\operatorname{Dom}(A_1)\subset\operatorname{Dom}(A_2)$ and $A_1x=A_2x$ for all $x\in\operatorname{Dom}(A_1)$, then if $X_1=X_2$, $Y_1=Y_2$, the operator $A_1$ is called a compression or restriction of the operator $A_2$, while $A_2$ is called an extension of $A_1$; if $X_1\subset X_2$, $A_2$ is called an extension of $A_1$ exceeding $X_1$.
- If $X$ and $Y$ are vector spaces, then in the set of all operators from $X$ into $Y$ it is possible to single out the class of linear operators (cf. Linear operator); the remaining operators from $X$ into $Y$ are called non-linear operators.
- If $X$ and $Y$ are topological vector spaces, then in the set of operators from $X$ into $Y$ the class of continuous operators (cf. Continuous operator) can be naturally singled out, so are the class of bounded linear operators $A$ (operators $A$ such that the image of any bounded set in $X$ is bounded in $Y$) and the class of compact linear operators (i.e. operators such that the image of any bounded set in $X$ is pre-compact in $Y$, cf. Compact operator).
- If $X$ and $Y$ are locally convex spaces, then it is natural to examine different topologies on $X$ and $Y$; an operator is said to be semi-continuous if it defines a continuous mapping from the space $X$ (with the initial topology) into the space $Y$ with the weak topology (the concept of semi-continuity is mainly used in the theory of non-linear operators); an operator is said to be strongly continuous if it is continuous as a mapping from $X$ with the boundedly weak topology into the space $Y$; an operator is called weakly continuous if it defines a continuous mapping from $X$ into $Y$ where $X$ and $Y$ have the weak topology. Compact operators are often called completely-continuous operators. Sometimes the term "competely-continuous operator" is used instead of "strongly-continuous operator" , or to denote an operator which maps any weakly-convergent sequence to a strongly-convergent one; if $X$ and $Y$ are reflexive Banach spaces, then these conditions are equivalent to the compactness of the operator. If an operator is strongly continuous, then it is weakly continuous.
Connection with Equations
Many equations in function spaces or abstract spaces can be expressed in the form $Ax=y$, where $y\in Y$, $x \in X$; $y$ is given, $x$ is unknown and $A$ is an operator from $X$ into $Y$. The assertion of the existence of a solution to this equation for any right-hand side $y\in Y$ is equivalent to the assertion that the range of the operator $A$ is the whole space $Y$; the assertion that the equation $Ax=y$ has a unique solution for any $y\in\operatorname{R}(A)$ means that $A$ is a one-to-one mapping from $\operatorname{Dom}(A)$ onto $\operatorname{R}(A)$.
Graph
The set $\Gamma(A)\subset X\times Y$ defined by the relation $$\begin{equation} \Gamma(A) = \{(x,Ax) : x\in \operatorname{Dom}(A)\} \end{equation}$$ is called the graph of the operator $A$. Let $X$ and $Y$ be topological vector spaces; an operator from $X$ into $Y$ is called a closed operator if its graph is closed. The concept of a closed operator is particularly useful in the case of linear operators with a dense domain of definition.
The concept of a graph allows one to generalize the concept of an operator: Any subset $A$ in $X\times Y$ is called a multi-valued operator from $X$ into $Y$; if $X$ and $Y$ are vector spaces, then a linear subspace in $X\times Y$ is called a multi-valued linear operator; the set $$\begin{equation} D(A) = \{x\in X : \text{ there exists an } y\in Y \text{ such that } (x, y)\in A \} \end{equation}$$ is called the domain of definition of the multi-valued operator.
If $X$ is a vector space over a field $\mathcal K$ and $Y = \mathcal K$, then an everywhere-defined operator from $X$ into $Y$ is called a functional on $X$.
If $ X $ and $ Y $ are locally convex spaces, then an operator $ A $ from $ X $ into $ Y $ with a dense domain of definition in $ X $ has an adjoint operator $ A ^{*} $ with a dense domain of definition in $ Y ^{*} $( with the weak topology) if, and only if, $ A $ is a closed operator.
Examples of operators.
1) The operator assigning the element $ 0 \in Y $ to any element $ x \in X $( the zero operator).
2) The operator mapping each element $ x \in X $ to the same element $ x \in X $( the identity operator on $ X $, written as $ \mathop{\rm id}\nolimits _{X} $ or $ 1 _{X} $).
3) Let $ X $
be a vector space of functions on a set $ M $,
and let $ f $
be a function on $ M $;
the operator on $ X $
with domain of definition
$$ D(A) = \{ {\phi \in X} : {f \phi \in X} \} $$
and acting according to the rule
$$ A \phi = f \phi $$
if $ \phi \in D(A) $,
is called the operator of multiplication by a function; $ A $
is a linear operator.
4) Let $ X $ be a vector space of functions on a set $ M $, and let $ F $ be a mapping from the set $ M $ into itself; the operator on $ X $ with domain of definition
$$ D(A) = \{ {\phi \in X} : {\phi \circ F \in X} \} $$
and acting according to the rule
$$ A \phi = \phi \circ F $$
if $ \phi \in D(A) $,
is a linear operator.
5) Let $ X,\ Y $ be vector spaces of real measurable functions on two measure spaces $ (M,\ \Sigma _{M} ,\ \mu ) $ and $ (N,\ \Sigma _{N} ,\ \nu ) $, respectively, and let $ K $ be a function on $ M \times N \times \mathbf R $, measurable with respect to the product measure $ \mu \times \nu \times \mu _{0} $, where $ \mu _{0} $ is Lebesgue measure on $ \mathbf R $, and continuous in $ t \in \mathbf R $ for any fixed $ m \in M $, $ n \in N $. The operator from $ X $ into $ Y $ with domain of definition $ D(A) = \{ {\phi \in X} : {f(x) = \int _{M} K (x,\ y,\ \phi (y)) \ dy} \} $, which exists for almost-all $ x \in N $ and $ f \in Y $, and acting according to the rule $ A \phi = f $ if $ \phi \in D(A) $, is called an integral operator; if
$$ K(x,\ y,\ z) = K(x,\ y)z, x \in M, y \in N, z \in \mathbf R , $$
then $ A $
is a linear operator.
6) Let $ X $ be a vector space of functions on a differentiable manifold $ M $, let $ \xi $ be a vector field on $ M $; the operator $ A $ on $ X $ with domain of definition
$$ D(A) = \{ {f \in X} : {\textrm{ the derivative } D _ \xi f \textrm{ of the function } f \textrm{ along the field } \xi \textrm{ is everywhere defined and } D _ \xi f \in X} \} $$
and acting according to the rule $ Af = D _ \xi f $
if $ f \in D(A) $,
is called a differentiation operator; $ A $
is a linear operator.
7) Let $ X $ be a vector space of functions on a set $ M $; an everywhere-defined operator assigning to a function $ \phi \in X $ the value of that function at a point $ a \in M $, is a linear functional on $ X $; it is called the $ \delta $- function at the point $ a $ and is written as $ \delta _{a} $.
8) Let $ G $
be a commutative locally compact group, let $ \widehat{G} $
be the group of characters of the group $ G $,
let $ dg $,
$ \widehat{dg} $
be the Haar measures on $ G $
and $ \widehat{G} $,
respectively, and let
$$ X = L _{2} ( G ,\ dg ), Y = L _{2} ( \widehat{G} ,\ \widehat{dg} ). $$
The linear operator $ A $
from $ X $
into $ Y $
assigning to a function $ f \in X $
the function $ \widehat{f} \in Y $
defined by the formula
$$ \widehat{f} ( \widehat{g} ) = \int\limits f(g) \widehat{g} (g) \ dg $$
is everywhere defined if the convergence of the integral is taken to be mean-square convergence.
If $ X $ and $ Y $ are topological vector spaces, then the operators in examples 1) and 2) are continuous; if in example 3) the space $ X $ is $ L _{2} (M,\ \Sigma _{M} ,\ \mu ) $, where $ \mu $ is a measure on $ X $, then the operator of multiplication by a bounded measurable function is closed and has a dense domain of definition; if in example 5) the space $ X=Y $ is a Hilbert space $ L _{2} (M,\ \Sigma _{M} ,\ \mu ) $ and $ K(x,\ y,\ z) = K(x,\ y)z $, where $ K(x,\ y) $ belongs to $ L _{2} (M \times M,\ \Sigma _{M} \times \Sigma _{M} ,\ \mu \times \mu ) $, then $ A $ is compact; if in example 8) the spaces $ X $ and $ Y $ are regarded as Hilbert spaces, then $ A $ is continuous.
If $ A $ is an operator from $ X $ into $ Y $ such that $ Ax \neq Ay $ when $ x \neq y $, $ x,\ y \in D(A) $, then the inverse operator $ A ^{-1} $ to $ A $ can be defined; the question of the existence of an inverse operator and its properties is related to the theorem of the existence and uniqueness of a solution of the equation $ Ax = f $; if $ A ^{-1} $ exists, then $ x = A ^{-1} f $ when $ f \in R(A) $.
For operators on a vector space it is possible to define a sum, multiplication by a number and an operator product. If $ A $,
$ B $
are operators from $ X $
into $ Y $
with domains of definition $ D(A) $
and $ D(B) $,
respectively, then the operator, written as $ A+B $,
with domain of definition
$$ D(A+B) = D(A) \cap D(B) $$
and acting according to the rule
$$ (A+B)x = Ax + Bx $$
if $ x \in D(A+B) $,
is called the sum of the operators $ A $
and $ B $.
The operator, written as $ \lambda A $,
with domain of definition
$$ D( \lambda A) = D(A) $$
and acting according to the rule
$$ ( \lambda A)x = \lambda (Ax) $$
if $ x \in D( \lambda A) $,
is called the product of the operator $ A $
by the number $ \lambda $.
The operator product is defined as composition of mappings: If $ A $
is an operator from $ X $
into $ Y $
and $ B $
is an operator from $ Y $
into $ Z $,
then the operator $ BA $,
with domain of definition
$$ D(BA) = \{ {x \in X} : { x \in D(A) \textrm{ and } Ax \in D(B)} \} $$
and acting according to the rule
$$ (BA)x = B(Ax) $$
if $ x \in D(BA) $,
is called the product of $ B $
and $ A $.
If $ P $
is an everywhere-defined operator on $ X $
such that $ PP = P $,
then $ P $
is called a projection operator or projector in $ X $;
if $ I $
is an everywhere-defined operator on $ X $
such that $ I \circ I = \mathop{\rm id}\nolimits _{X} $,
then $ I $
is called an involution in $ X $.
The theory of operators constitutes the most important part of linear and non-linear functional analysis, being in particular a basic instrument in the theory of dynamical systems, representations of groups and algebras and a most important mathematical instrument in mathematical physics and quantum mechanics.
References
[1] | L.A. [L.A. Lyusternik] Liusternik, "Elements of functional analysis" , F. Ungar (1961) (Translated from Russian) |
[2] | A.N. Kolmogorov, S.V. Fomin, "Elements of the theory of functions and functional analysis" , 1–2 , Graylock (1957–1961) (Translated from Russian) |
[3] | L.V. Kantorovich, G.P. Akilov, "Functional analysis in normed spaces" , Pergamon (1964) (Translated from Russian) |
[4] | N. Dunford, J.T. Schwartz, "Linear operators" , 1–3 , Interscience (1958) |
[5] | R.E. Edwards, "Functional analysis: theory and applications" , Holt, Rinehart & Winston (1965) |
[6] | K. Yosida, "Functional analysis" , Springer (1980) |
Comments
References
[a1] | T. Kato, "Perturbation theory for linear operators" , Springer (1976) |
[a2] | A.E. Taylor, D.C. Lay, "Introduction to functional analysis" , Wiley (1980) pp. Chapt. 5 |
[a3] | F. Riesz, B. Szökefalvi-Nagy, "Functional analysis" , F. Ungar (1955) (Translated from French) |
[a4] | W. Rudin, "Functional analysis" , McGraw-Hill (1973) |
[a5] | I.C. Gohberg, S. Goldberg, "Basic operator theory" , Birkhäuser (1981) |
Operator. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Operator&oldid=29264