Namespaces
Variants
Actions

Difference between revisions of "AM-compact operator"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (AUTOMATIC EDIT (latexlist): Replaced 41 formulas out of 41 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
(details)
 
Line 9: Line 9:
 
One of the most interesting classes of linear operators between Banach spaces is that of compact operators (cf. also [[Banach space|Banach space]]; [[Linear operator|Linear operator]]; [[Compact operator|Compact operator]]). When the Banach spaces have some order structure (concretely: if they are Banach lattices; cf. also [[Banach lattice|Banach lattice]]; [[Vector lattice|Vector lattice]]; [[Banach function space|Banach function space]]), there are some natural classes of operators, containing the compact operators, which also have good properties and better behaviour respect to the order structure. One of these classes is that of the so-called AM-compact operators, introduced by P.S. Dodds and D.H. Fremlin in [[#References|[a2]]] and defined as follows. Let $X$, $Y$ be Banach lattices. A linear operator $T : X \rightarrow Y$ is called AM-compact if $T$ maps order-bounded sets onto relatively compact sets.
 
One of the most interesting classes of linear operators between Banach spaces is that of compact operators (cf. also [[Banach space|Banach space]]; [[Linear operator|Linear operator]]; [[Compact operator|Compact operator]]). When the Banach spaces have some order structure (concretely: if they are Banach lattices; cf. also [[Banach lattice|Banach lattice]]; [[Vector lattice|Vector lattice]]; [[Banach function space|Banach function space]]), there are some natural classes of operators, containing the compact operators, which also have good properties and better behaviour respect to the order structure. One of these classes is that of the so-called AM-compact operators, introduced by P.S. Dodds and D.H. Fremlin in [[#References|[a2]]] and defined as follows. Let $X$, $Y$ be Banach lattices. A linear operator $T : X \rightarrow Y$ is called AM-compact if $T$ maps order-bounded sets onto relatively compact sets.
  
Clearly, every compact operator is AM-compact. The converse is true if $X$ has a strong unit (i.e., there exists an $e \in X$, $\| e \|  \leq 1$, such that $\| x  \| \leq 1$ implies $| x | < e$). If $X = c_0$ or $X = \text{l} ^ { p }$, where $1 \leq p < \infty$, then every continuous linear operator $T : X \rightarrow Y$ is AM-compact, but needs not be compact. There are important classes of operators related with the AM-compact operators. Among them are the absolute integral operators and the Dunford–Pettis operators. In particular, one has that if $X$ and $Y$ are Banach function spaces, with $Y$ having order-continuous norm (cf. also [[Banach function space|Banach function space]]), then every absolute [[Integral operator|integral operator]] from $X$ into $Y$ is AM-compact (see [[#References|[a6]]]). It is known (see, for instance [[#References|[a3]]]) that if $T : X \rightarrow Y$ is a [[Dunford–Pettis operator|Dunford–Pettis operator]] and $X$ has order-continuous norm, then $T$ is AM-compact, while if $Y$ is also an $L$-space (for instance, if $Y = L ^ { 1 } ( \mu )$), then the converse is also true.
+
Clearly, every compact operator is AM-compact. The converse is true if $X$ has a strong unit (i.e., there exists an $e \in X$, $\| e \|  \leq 1$, such that $\| x  \| \leq 1$ implies $| x | < e$). If $X = c_0$ or $X = \text{l} ^ { p }$, where $1 \leq p < \infty$, then every continuous linear operator $T : X \rightarrow Y$ is AM-compact, but needs not be compact. There are important classes of operators related with the AM-compact operators. Among them are the absolute integral operators and the Dunford–Pettis operators. In particular, one has that if $X$ and $Y$ are Banach function spaces, with $Y$ having order-continuous norm (cf. also [[Banach function space|Banach function space]]), then every absolute [[Integral operator|integral operator]] from $X$ into $Y$ is AM-compact (see [[#References|[a6]]]). It is known (see, for instance [[#References|[a3]]]) that if $T : X \rightarrow Y$ is a [[Dunford–Pettis operator|Dunford–Pettis operator]] and $X$ has order-continuous norm, then $T$ is AM-compact, while if $Y$ is also an $L$-space (for instance, if $Y = L ^ { 1 } ( \mu )$), then the converse is also true.
  
 
AM-compact operators, in contrast to compact operators, have a good behaviour respect to the order in the space ${\cal L} ^ { r } ( X , Y )$ of all regular operators between the Banach lattices $X$ and $Y$. If $Y$ has order-continuous norm, the collection of all regular AM-compact operators forms a band (cf. also [[Riesz space|Riesz space]]; [[Semi-ordered space|Semi-ordered space]]) in ${\cal L} ^ { r } ( X , Y )$; consequently, if $0 \leq S \leq T$ and $T$ is AM-compact, then $S$ is also AM-compact.
 
AM-compact operators, in contrast to compact operators, have a good behaviour respect to the order in the space ${\cal L} ^ { r } ( X , Y )$ of all regular operators between the Banach lattices $X$ and $Y$. If $Y$ has order-continuous norm, the collection of all regular AM-compact operators forms a band (cf. also [[Riesz space|Riesz space]]; [[Semi-ordered space|Semi-ordered space]]) in ${\cal L} ^ { r } ( X , Y )$; consequently, if $0 \leq S \leq T$ and $T$ is AM-compact, then $S$ is also AM-compact.
  
Positive operators in Banach lattices have interesting spectral properties (see, for instance, [[#References|[a5]]] and [[#References|[a3]]]): the spectral radius is monotone (i.e., if $0 \leq S \leq T \in \mathcal L ( X )$, then $r ( S ) \leq r ( T )$), and the spectral radius of a positive operator is in the spectrum. In general, these two properties fail for the essential spectrum, $\sigma _ { \text{ess} } ( T )$, and the essential spectral radius, $r _ { \text{ess} } ( T )$ (cf. also [[Spectrum of an operator|Spectrum of an operator]]). However, B. de Pagter and A.R. Schep [[#References|[a4]]] have established that these properties are true for AM-compact operators; they prove that if $S , T \in \mathcal{L} ( X )$ are positive operators with $S &lt; T$ and $T$ AM-compact, then $r _ { ess } ( S ) \leq r _ { ess } ( T )$ and $r _ { \text{ess} } ( T ) \in \sigma _ {  \text{ess}  } ( T )$. In [[#References|[a1]]] a representation space for the essential spectrum of AM-compact operators is constructed; using this representation space the results mentioned above can be obtained with a different technique, as well as some results concerning the cyclicity of the essential spectrum for AM-compact operators.
+
Positive operators in Banach lattices have interesting spectral properties (see, for instance, [[#References|[a5]]] and [[#References|[a3]]]): the spectral radius is monotone (i.e., if $0 \leq S \leq T \in \mathcal L ( X )$, then $r ( S ) \leq r ( T )$), and the spectral radius of a positive operator is in the spectrum. In general, these two properties fail for the essential spectrum, $\sigma _ { \text{ess} } ( T )$, and the essential spectral radius, $r _ { \text{ess} } ( T )$ (cf. also [[Spectrum of an operator|Spectrum of an operator]]). However, B. de Pagter and A.R. Schep [[#References|[a4]]] have established that these properties are true for AM-compact operators; they prove that if $S , T \in \mathcal{L} ( X )$ are positive operators with $S < T$ and $T$ AM-compact, then $r _ { ess } ( S ) \leq r _ { ess } ( T )$ and $r _ { \text{ess} } ( T ) \in \sigma _ {  \text{ess}  } ( T )$. In [[#References|[a1]]] a representation space for the essential spectrum of AM-compact operators is constructed; using this representation space the results mentioned above can be obtained with a different technique, as well as some results concerning the cyclicity of the essential spectrum for AM-compact operators.
  
 
====References====
 
====References====
<table><tr><td valign="top">[a1]</td> <td valign="top">  F. Andreu,  V. Caselles,  J. Martinez,  J.M. Mazon,  "The essential spectrum of AM-compact operators"  ''Indag. Math. N.S.'' , '''2'''  (1991)  pp. 149–158</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  P.S. Dodds,  D.H. Fremlin,  "Compact operators in Banach lattices"  ''Israel J. Math.'' , '''34'''  (1979)  pp. 287–320</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  P. Meyer-Nieberg,  "Banach lattices" , Springer  (1991)</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  B. de Pagter,  A.R. Schep,  "Measures of non-compactness of operators on Banach lattices"  ''J. Funct. Anal.'' , '''78'''  (1988)  pp. 31–55</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  H.H. Schaefer,  "Banach lattices and positive operators" , Springer  (1974)</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  A.C. Zaanen,  "Riesz spaces" , '''II''' , North-Holland  (1983)</td></tr></table>
+
<table>
 +
<tr><td valign="top">[a1]</td> <td valign="top">  F. Andreu,  V. Caselles,  J. Martinez,  J.M. Mazon,  "The essential spectrum of AM-compact operators"  ''Indag. Math. N.S.'' , '''2'''  (1991)  pp. 149–158</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  P.S. Dodds,  D.H. Fremlin,  "Compact operators in Banach lattices"  ''Israel J. Math.'' , '''34'''  (1979)  pp. 287–320</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  P. Meyer-Nieberg,  "Banach lattices" , Springer  (1991)</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  B. de Pagter,  A.R. Schep,  "Measures of non-compactness of operators on Banach lattices"  ''J. Funct. Anal.'' , '''78'''  (1988)  pp. 31–55</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  H.H. Schaefer,  "Banach lattices and positive operators" , Springer  (1974)</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  A.C. Zaanen,  "Riesz spaces" , '''II''' , North-Holland  (1983)</td></tr>
 +
</table>

Latest revision as of 19:05, 23 January 2024

One of the most interesting classes of linear operators between Banach spaces is that of compact operators (cf. also Banach space; Linear operator; Compact operator). When the Banach spaces have some order structure (concretely: if they are Banach lattices; cf. also Banach lattice; Vector lattice; Banach function space), there are some natural classes of operators, containing the compact operators, which also have good properties and better behaviour respect to the order structure. One of these classes is that of the so-called AM-compact operators, introduced by P.S. Dodds and D.H. Fremlin in [a2] and defined as follows. Let $X$, $Y$ be Banach lattices. A linear operator $T : X \rightarrow Y$ is called AM-compact if $T$ maps order-bounded sets onto relatively compact sets.

Clearly, every compact operator is AM-compact. The converse is true if $X$ has a strong unit (i.e., there exists an $e \in X$, $\| e \| \leq 1$, such that $\| x \| \leq 1$ implies $| x | < e$). If $X = c_0$ or $X = \text{l} ^ { p }$, where $1 \leq p < \infty$, then every continuous linear operator $T : X \rightarrow Y$ is AM-compact, but needs not be compact. There are important classes of operators related with the AM-compact operators. Among them are the absolute integral operators and the Dunford–Pettis operators. In particular, one has that if $X$ and $Y$ are Banach function spaces, with $Y$ having order-continuous norm (cf. also Banach function space), then every absolute integral operator from $X$ into $Y$ is AM-compact (see [a6]). It is known (see, for instance [a3]) that if $T : X \rightarrow Y$ is a Dunford–Pettis operator and $X$ has order-continuous norm, then $T$ is AM-compact, while if $Y$ is also an $L$-space (for instance, if $Y = L ^ { 1 } ( \mu )$), then the converse is also true.

AM-compact operators, in contrast to compact operators, have a good behaviour respect to the order in the space ${\cal L} ^ { r } ( X , Y )$ of all regular operators between the Banach lattices $X$ and $Y$. If $Y$ has order-continuous norm, the collection of all regular AM-compact operators forms a band (cf. also Riesz space; Semi-ordered space) in ${\cal L} ^ { r } ( X , Y )$; consequently, if $0 \leq S \leq T$ and $T$ is AM-compact, then $S$ is also AM-compact.

Positive operators in Banach lattices have interesting spectral properties (see, for instance, [a5] and [a3]): the spectral radius is monotone (i.e., if $0 \leq S \leq T \in \mathcal L ( X )$, then $r ( S ) \leq r ( T )$), and the spectral radius of a positive operator is in the spectrum. In general, these two properties fail for the essential spectrum, $\sigma _ { \text{ess} } ( T )$, and the essential spectral radius, $r _ { \text{ess} } ( T )$ (cf. also Spectrum of an operator). However, B. de Pagter and A.R. Schep [a4] have established that these properties are true for AM-compact operators; they prove that if $S , T \in \mathcal{L} ( X )$ are positive operators with $S < T$ and $T$ AM-compact, then $r _ { ess } ( S ) \leq r _ { ess } ( T )$ and $r _ { \text{ess} } ( T ) \in \sigma _ { \text{ess} } ( T )$. In [a1] a representation space for the essential spectrum of AM-compact operators is constructed; using this representation space the results mentioned above can be obtained with a different technique, as well as some results concerning the cyclicity of the essential spectrum for AM-compact operators.

References

[a1] F. Andreu, V. Caselles, J. Martinez, J.M. Mazon, "The essential spectrum of AM-compact operators" Indag. Math. N.S. , 2 (1991) pp. 149–158
[a2] P.S. Dodds, D.H. Fremlin, "Compact operators in Banach lattices" Israel J. Math. , 34 (1979) pp. 287–320
[a3] P. Meyer-Nieberg, "Banach lattices" , Springer (1991)
[a4] B. de Pagter, A.R. Schep, "Measures of non-compactness of operators on Banach lattices" J. Funct. Anal. , 78 (1988) pp. 31–55
[a5] H.H. Schaefer, "Banach lattices and positive operators" , Springer (1974)
[a6] A.C. Zaanen, "Riesz spaces" , II , North-Holland (1983)
How to Cite This Entry:
AM-compact operator. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=AM-compact_operator&oldid=50273
This article was adapted from an original article by José M. Mazón (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article