# Difference between revisions of "Operator"

(Importing text file) |
m (some TeX) |
||

Line 1: | Line 1: | ||

− | 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 | + | 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} | ||

+ | A:X\to Y | ||

+ | \end{equation} | ||

+ | 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)$. 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. If $A$ is an operator from $X$ into $Y$ where $X=Y$, then $A$ is called an operator on $A$. 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$. | ||

Many equations in function spaces or abstract spaces can be expressed in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835048.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835050.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835051.png" /> is given, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835052.png" /> is unknown and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835053.png" /> is an operator from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835054.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835055.png" />. The assertion of the existence of a solution to this equation for any right-hand side <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835056.png" /> is equivalent to the assertion that the range of the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835057.png" /> is the whole space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835058.png" />; the assertion that the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835059.png" /> has a unique solution for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835060.png" /> means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835061.png" /> is a one-to-one mapping from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835062.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835063.png" />. | Many equations in function spaces or abstract spaces can be expressed in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835048.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835050.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835051.png" /> is given, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835052.png" /> is unknown and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835053.png" /> is an operator from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835054.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835055.png" />. The assertion of the existence of a solution to this equation for any right-hand side <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835056.png" /> is equivalent to the assertion that the range of the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835057.png" /> is the whole space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835058.png" />; the assertion that the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835059.png" /> has a unique solution for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835060.png" /> means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835061.png" /> is a one-to-one mapping from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835062.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068350/o06835063.png" />. |

## Revision as of 08:15, 17 December 2012

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:X\to Y \end{equation} 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)$. 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. If $A$ is an operator from $X$ into $Y$ where $X=Y$, then $A$ is called an operator on $A$. 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$.

Many equations in function spaces or abstract spaces can be expressed in the form , where , ; is given, is unknown and is an operator from into . The assertion of the existence of a solution to this equation for any right-hand side is equivalent to the assertion that the range of the operator is the whole space ; the assertion that the equation has a unique solution for any means that is a one-to-one mapping from onto .

If and are vector spaces, then in the set of all operators from into it is possible to single out the class of linear operators (cf. Linear operator); the remaining operators from into are called non-linear operators. If and are topological vector spaces, then in the set of operators from into the class of continuous operators (cf. Continuous operator) can be naturally singled out, so are the class of bounded linear operators (operators such that the image of any bounded set in is bounded in ) and the class of compact linear operators (i.e. operators such that the image of any bounded set in is pre-compact in , cf. Compact operator). If and are locally convex spaces, then it is natural to examine different topologies on and ; an operator is said to be semi-continuous if it defines a continuous mapping from the space (with the initial topology) into the space 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 with the boundedly weak topology into the space ; an operator is called weakly continuous if it defines a continuous mapping from into where and 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 and 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.

The set defined by the relation

is called the graph of the operator .

Let and be topological vector spaces; an operator from into 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 in is called a multi-valued operator from into ; if and are vector spaces, then a linear subspace in is called a multi-valued linear operator; the set

is called the domain of definition of the multi-valued operator.

If is a vector space over a field and , then an everywhere-defined operator from into is called a functional on .

If and are locally convex spaces, then an operator from into with a dense domain of definition in has an adjoint operator with a dense domain of definition in (with the weak topology) if, and only if, is a closed operator.

### Examples of operators.

1) The operator assigning the element to any element (the zero operator).

2) The operator mapping each element to the same element (the identity operator on , written as or ).

3) Let be a vector space of functions on a set , and let be a function on ; the operator on with domain of definition

and acting according to the rule

if , is called the operator of multiplication by a function; is a linear operator.

4) Let be a vector space of functions on a set , and let be a mapping from the set into itself; the operator on with domain of definition

and acting according to the rule

if , is a linear operator.

5) Let be vector spaces of real measurable functions on two measure spaces and , respectively, and let be a function on , measurable with respect to the product measure , where is Lebesgue measure on , and continuous in for any fixed , . The operator from into with domain of definition , which exists for almost-all and , and acting according to the rule if , is called an integral operator; if

then is a linear operator.

6) Let be a vector space of functions on a differentiable manifold , let be a vector field on ; the operator on with domain of definition

and acting according to the rule if , is called a differentiation operator; is a linear operator.

7) Let be a vector space of functions on a set ; an everywhere-defined operator assigning to a function the value of that function at a point , is a linear functional on ; it is called the -function at the point and is written as .

8) Let be a commutative locally compact group, let be the group of characters of the group , let , be the Haar measures on and , respectively, and let

The linear operator from into assigning to a function the function defined by the formula

is everywhere defined if the convergence of the integral is taken to be mean-square convergence.

If and are topological vector spaces, then the operators in examples 1) and 2) are continuous; if in example 3) the space is , where is a measure on , 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 is a Hilbert space and , where belongs to , then is compact; if in example 8) the spaces and are regarded as Hilbert spaces, then is continuous.

If is an operator from into such that when , , then the inverse operator to 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 ; if exists, then when .

For operators on a vector space it is possible to define a sum, multiplication by a number and an operator product. If , are operators from into with domains of definition and , respectively, then the operator, written as , with domain of definition

and acting according to the rule

if , is called the sum of the operators and .

The operator, written as , with domain of definition

and acting according to the rule

if , is called the product of the operator by the number . The operator product is defined as composition of mappings: If is an operator from into and is an operator from into , then the operator , with domain of definition

and acting according to the rule

if , is called the product of and .

If is an everywhere-defined operator on such that , then is called a projection operator or projector in ; if is an everywhere-defined operator on such that , then is called an involution in .

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) |

**How to Cite This Entry:**

Operator.

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Operator&oldid=17950