A characterization of compact operators via the non-connectedness of the attractors of a family of IFSs

DOI10.1007/S11785-012-0251-9MaRDI QIDQ2440927zbMATH OpenOpenAlexFDO

Authors Radu Miculescu, Alexandru Mihail

Publication date 20 March 2014

Published in Complex Analysis and Operator Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1011.0262

attractors compact operators connectivity Hausdorff-Pompeiu metric iterated function systems normal operators spectral decomposition

Mathematics Subject Classification ID

Fractals (28A80) Linear operators defined by compactness properties (47B07) Connected and locally connected spaces (general aspects) (54D05)

Abstract: In this paper we present a result which establishes a connection between the theory of compact operators and the theory of iterated function systems. For a Banach space X, S and T bounded linear operators from X to X such that parallel S parallel, parallel T parallel <1 and w in X, let us consider the IFS S_{w}=(X,f_1,f_2), where f_1,f_2:X ightarrow X are given by f_1(x)=S(x) and f_2(x)=T(x)+w, for all x in X. On one hand we prove that if the operator S is compact, then there exists a family (K_{n})_{n in N} of compact subsets of X such that A_{S_{w}} is not connected, for all w in H- cup K_{n}. One the other hand we prove that if H is an infinite dimensional Hilbert space, then a bounded linear operator S:H ightarrow H having the property that parallel S parallel <1 is compact provided that for every bounded linear operator T:H ightarrow H such that parallel T parallel <1 there exists a sequence (K_{T,n})_{n} of compact subsets of H such that A_{S_{w}} is not connected for all w in H- cup K_{T,n}. Consequently, given an infinite dimensional Hilbert space H, there exists a complete characterization of the compactness of an operator S:H ightarrow H by means of the non-connectedness of the attractors of a family of IFSs related to the given operator.

Review text

The authors provide a characterization of the compactness of operators on Hilbert space. This characterization is based on the theory of iterated function systems. An iterated function system on a complete metric space \(X\), denoted by \(\text{{IFS}}(X,f_1,f_2,\dots,f_n)\) with \(n\in \mathbb{N}\), consists of a finite family of contractions. A function \(f\) is a contraction if there is a constant \(\gamma \in\, ]0,1[\) such that, for any \(x,y \in X\), \(d(f(x),f(y)) \leq \gamma d(x,y)\). It is known that, for each \(\text{{IFS}}(X,f_1,f_2,\dots,f_n)\), there is a unique compact set \(A\), called an attractor, such that \[ A=\bigcup_{k=1}^n f_k(A). \] In this framework, the authors prove that a contraction \(S\) on a Hilbert space \(H\) is compact if the following condition is satisfied: given any contraction \(T\) on \(H\), there is a sequence \((K_{n,T})_{n \geq 0}\) of compact subsets of \(H\) such that the attractor of \(\text{{IFS}}(H,S,T_w)\) is not connected, where \(T_w(x)=Tx+w\), \(w \in H \setminus \bigcup_{n \in \mathbb{N}}K_{n,T}\). They also prove that the converse is true for any Banach space.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: A characterization of compact operators via the non-connectedness of the attractors of a family of IFSs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2440927)