near operators
plus 2pt minus 2pt plus 2pt minus 2pt
Contents:
1 Perturbations and small perturbations: definitions and some results
We start our discussion on the Campanato theory of near operators with some preliminary tools.
Let $X,Y$ be two sets and let a metric $d$ be defined on $Y$. If $F:X\to Y$ is an injective map, we can define a metric on $X$ by putting
$${d}_{F}({x}^{\prime},{x}^{\prime \prime})=d(F({x}^{\prime}),F({x}^{\prime \prime})).$$ 
Indeed, ${d}_{F}$ is zero if and only if ${x}^{\prime}={x}^{\prime \prime}$ (since $F$ is injective^{}); ${d}_{F}$ is obviously symmetric^{} and the triangle inequality^{} follows from the triangle inequality of $d$.
Moreover, if $F(X)$ is a complete^{} subspace^{} of $Y$, then $X$ is complete with respect to the metric ${d}_{F}$.
Indeed, let $({u}_{n})$ be a Cauchy sequence^{} in $X$. By definition of $d$, then $(F({u}_{n}))$ is a Cauchy sequence in $Y$, and in particular in $F(X)$, which is complete. Thus, there exists ${y}_{0}=F({x}_{0})\in F(X)$ which is limit of the sequence^{} $(F({u}_{n}))$. ${x}_{0}$ is the limit of $({x}_{n})$ in $(X,{d}_{F})$, which completes the proof.
A particular case of the previous statement is when $F$ is onto (and thus a bijection) and $(Y,d)$ is complete.
Similarly, if $F(X)$ is compact^{} in $Y$, then $X$ is compact with the metric ${d}_{F}$.
Definition 1.1
Let $X$ be a set and $Y$ be a metric space. Let $F,G$ be two maps from $X$ to $Y$. We say that $G$ is a perturbation of $F$ if there exist a constant $k>0$ such that for each ${x}^{\prime},{x}^{\prime \prime}\in X$ one has:
$$d(G({x}^{\prime}),G({x}^{\prime \prime}))\le kd(F({x}^{\prime}),F({x}^{\prime \prime}))$$ 
Remark 1.2
In particular, if $F$ is injective then $G$ is a perturbation of $F$ if $G$ is uniformly continuous^{} with respect to the metric induced on $X$ by $F$.
Definition 1.3
In the same hypothesis^{} as in the previous definition, we say that $G$ is a small perturbation of $F$ if it is a perturbation of constant $$.
We can now prove this generalization^{} of the BanachCaccioppoli fixed point theorem:
Theorem 1.4
Let $X$ be a set and $\mathrm{(}Y\mathrm{,}d\mathrm{)}$ be a complete metric space. Let $F\mathrm{,}G$ be two mappings from $X$ to $Y$ such that:

1.
$F$ is bijective^{};

2.
$G$ is a small perturbation of $F$.
Then, there exists a unique $u\mathrm{\in}X$ such that $G\mathit{}\mathrm{(}u\mathrm{)}\mathrm{=}F\mathit{}\mathrm{(}u\mathrm{)}$
Proof.
The hypothesis (1) ensures that the metric space $(X,{d}_{F})$ is complete. If we now consider the function $T:X\to X$ defined by
$$T(x)={F}^{1}(G(x))$$ 
we note that, by (2), we have
$$d(G({x}^{\prime}),G({x}^{\prime \prime}))\le kd(F({x}^{\prime}),F({x}^{\prime \prime}))$$ 
where $k\in (0,1)$ is the constant of the small perturbation; note that, by the definition of ${d}_{F}$ and applying $F\circ {F}^{1}$ to the first side, the last equation can be rewritten as
$${d}_{F}(T({x}^{\prime}),T({x}^{\prime \prime}))\le k{d}_{F}({x}^{\prime},{x}^{\prime \prime});$$ 
in other words, since $$, $T$ is a contraction^{} in the complete metric space $(X,{d}_{F})$; therefore (by the classical BanachCaccioppoli fixed point theorem) $T$ has a unique fixed point^{}: there exist $u\in X$ such that $T(u)=u$; by definition of $T$ this is equivalent^{} to $G(u)=F(u)$, and the proof is hence complete. ∎
Remark 1.5
The hypothesis of the theorem^{} can be generalized as such: let $X$ be a set and $Y$ a metric space (not necessarily complete); let $F,G$ be two mappings from $X$ to $Y$ such that $F$ is injective, $F(X)$ is complete and $G(X)\subseteq F(X)$; then there exists $u\in X$ such that $G(u)=F(u)$.
(Apply the theorem using $F(X)$ instead of $Y$ as target space.)
Remark 1.6
The BanachCaccioppoli fixed point theorem is obtained when $X=Y$ and $F$ is the identity.
We can use theorem 1.4 to prove a result that applies to perturbations which are not necessarily small (i.e. for which the constant $k$ can be greater than one). To prove it, we must assume some supplemental structure^{} on the metric of $Y$: in particular, we have to assume that the metric $d$ is invariant^{} by dilations, that is that $d(\alpha {y}^{\prime},\alpha {y}^{\prime \prime})=\alpha d({y}^{\prime},{y}^{\prime \prime})$ for each ${y}^{\prime},{y}^{\prime \prime}\in Y$. The most common case of such a metric is when the metric is deduced from a norm (i.e. when $Y$ is a normed space^{}, and in particular a Banach space^{}). The result follows immediately:
Corollary 1.7
Let $X$ be a set and $\mathrm{(}Y\mathrm{,}d\mathrm{)}$ be a complete metric space with a metric $d$ invariant by dilations. Let $F\mathrm{,}G$ be two mappings from $X$ to $Y$ such that $F$ is bijective and $G$ is a perturbation of $F$, with constant $K\mathrm{>}\mathrm{0}$.
Then, for each $M\mathrm{>}K$ there exists a unique ${u}_{M}\mathrm{\in}X$ such that $G\mathit{}\mathrm{(}u\mathrm{)}\mathrm{=}M\mathit{}F\mathit{}\mathrm{(}u\mathrm{)}$
Proof.
The proof is an immediate consequence of theorem 1.4 given that the map $\stackrel{~}{G}(u)=G(u)/M$ is a small perturbation of $F$ (a property which is ensured by the dilation invariance of the metric $d$). ∎
We also have the following
Corollary 1.8
Let $X$ be a set and $\mathrm{(}Y\mathrm{,}d\mathrm{)}$ be a complete, compact metric space with a metric $d$ invariant by dilations. Let $F\mathrm{,}G$ be two mappings from $X$ to $Y$ such that $F$ is bijective and $G$ is a perturbation of $F$, with constant $K\mathrm{>}\mathrm{0}$.
Then there exists at least one ${u}_{K}\mathrm{\in}X$ such that $G\mathit{}\mathrm{(}{u}_{\mathrm{\infty}}\mathrm{)}\mathrm{=}K\mathit{}F\mathit{}\mathrm{(}{u}_{\mathrm{\infty}}\mathrm{)}$
Proof.
Let $({a}_{n})$ be a decreasing sequence of real numbers greater than one, converging to one (${a}_{n}\downarrow 1$) and let ${M}_{n}={a}_{n}K$ for each $n\in \mathbb{N}$. We can apply corollary 1.7 to each ${M}_{n}$, obtaining a sequence ${u}_{n}$ of elements of $X$ for which one has
$$G({u}_{n})={M}_{n}F({u}_{n}).$$  (1) 
Since $(X,{d}_{F})$ is compact, there exist a subsequence^{} of ${u}_{n}$ which converges^{} to some ${u}_{\mathrm{\infty}}$; by continuity of $G$ and $F$ we can pass to the limit in (1), obtaining
$$G({u}_{\mathrm{\infty}})=KF({u}_{\mathrm{\infty}})$$ 
which completes the proof. ∎
Remark 1.9
For theorem 1.8 we cannot ensure uniqueness of ${u}_{\mathrm{\infty}}$, since in general the sequence ${u}_{n}$ may change with the choice of ${a}_{n}$, and the limit might be different. So the corollary can only be applied as an existence theorem^{}.
2 Near operators
A historical remark: Campanato initially introduced the concept in Hilbert spaces^{}; subsequently, it was remarked that most of the theory could more generally be applied to Banach spaces; indeed, it was also proven that the basic definition can be generalized to make part of the theory available in the more general environment of metric vector spaces^{}.
We will here discuss the theory in the case of Banach spaces, with only a couple of exceptions: to see some of the extra properties that are available in Hilbert spaces and to discuss a generalization of the LaxMilgram theorem to metric vector spaces.
2.1 Basic definitions and properties
Definition 2.1
Let $X$ be a set and $Y$ a Banach space. Let $A,B$ be two operators from $X$ to $Y$. We say that $A$ is near $B$ if and only if there exist two constants $\alpha >0$ and $k\in (0,1)$ such that, for each ${x}^{\prime},{x}^{\prime \prime}\in X$ one has
$$\parallel B({x}^{\prime})B({x}^{\prime \prime})\alpha (A({x}^{\prime})A({x}^{\prime \prime}))\parallel \le k\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel $$ 
In other words, $A$ is near $B$ if $B\alpha A$ is a small perturbation of $B$ for an appropriate value of $\alpha $.
Observe that in general the property is not symmetric: if $A$ is near $B$, it is not necessarily true that $B$ is near $A$; as we will briefly see, this can only be proven if $$, or in the case that $Y$ is a Hilbert space, by using an equivalent condition that will be discussed later on. Yet it is possible to define a topology^{} with some interesting properties on the space of operators, by using the concept of nearness to form a base.
The core point of the nearness between operators is that it allows us to “transfer” many important properties from $B$ to $A$; in other words, if $B$ satisfies certain properties, and $A$ is near $B$, then $A$ satisfies the same properties. To prove this, and to enumerate some of these “nearnessinvariant” properties, we will emerge a few important facts.
In what follows, unless differently specified, we will always assume that $X$ is a set, $Y$ is a Banach space and $A,B$ are two operators from $X$ to $Y$.
Lemma 2.2
If $A$ is near $B$ then there exist two positive^{} constants ${M}_{\mathrm{1}}\mathrm{,}{M}_{\mathrm{2}}$ such that
$$\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel \le {M}_{1}\parallel A({x}^{\prime})A({x}^{\prime \prime})\parallel $$  
$$\parallel A({x}^{\prime})A({x}^{\prime \prime})\parallel \le {M}_{2}\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel $$ 
Proof.
We have:
$$\begin{array}{c}\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel \le \hfill \\ \hfill \le \parallel B({x}^{\prime})B({x}^{\prime \prime})\alpha (A({x}^{\prime})A({x}^{\prime \prime}))\parallel +\alpha \parallel A({x}^{\prime})A({x}^{\prime \prime})\parallel \le \\ \hfill \le k\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel +\alpha \parallel A({x}^{\prime})A({x}^{\prime \prime})\parallel \end{array}$$ 
and hence
$$\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel \le \frac{\alpha}{1k}\parallel A({x}^{\prime})A({x}^{\prime \prime})\parallel $$ 
which is the first inequality^{} with ${M}_{1}=\alpha /(1k)$ (which is positive since $$).
But also
$$\begin{array}{c}\parallel A({x}^{\prime})A({x}^{\prime \prime})\parallel \le \hfill \\ \hfill \le \frac{1}{\alpha}\parallel B({x}^{\prime})B({x}^{\prime \prime})\alpha (A({x}^{\prime})A({x}^{\prime \prime}))\parallel +\frac{1}{\alpha}\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel \le \\ \hfill \le \frac{k}{\alpha}\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel +\frac{1}{\alpha}\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel \end{array}$$ 
and hence
$$\parallel A({x}^{\prime})A({x}^{\prime \prime})\parallel \le \frac{1+k}{\alpha}\parallel B({x}^{\prime})B({x}^{\prime \prime})\parallel $$ 
which is the second inequality with ${M}_{2}=(1+k)/\alpha $. ∎
The most important corollary of the previous lemma is the following
Corollary 2.3
If $A$ is near $B$ then two points of $X$ have the same image under $A$ if and only if the have the same image under $B$.
We can express the previous concept in the following formal way: for each $y$ in $B(X)$ there exist $z$ in $Y$ such that $A({B}^{1}(y))=\{z\}$ and conversely. In yet other words: each fiber of $A$ is a fiber (for a different point) of $B$, and conversely.
It is therefore possible to define a map ${T}_{A}:B(X)\to Y$ by putting ${T}_{A}(y)=z$; the range of ${T}_{A}$ is $A(X)$. Conversely, it is possible to define ${T}_{B}:A(X)\to Y$, by putting ${T}_{B}(z)=y$; the range of ${T}_{B}$ is $B(X)$. Both maps are injective and, if restricted to their respective ranges, one is the inverse^{} of the other.
Also observe that ${T}_{B}$ and ${T}_{A}$ are continuous^{}. This follows from the fact that for each $x\in X$ one has
$${T}_{A}(B(x))=A(x),{T}_{B}(A(x))=B(x)$$ 
and that the lemma ensures that given a sequence $({x}_{n})$ in $X$, the sequence $(B({x}_{n}))$ converges to $B({x}_{0})$ if and only if $(A({x}_{n}))$ converges to $A({x}_{0})$.
We can now list some invariant properties of operators with respect to nearness. The properties are given in the form “if and only if” because each operator is near itself (therefore ensuring the “only if” part).

1.
a map is injective if and only if it is near an injective operator;

2.
a map is surjective if and only if it is near a surjective operator;

3.
a map is open if and only if it is near an open map;

4.
a map has dense range if and only if it is near a map with dense range.
Another important property that follows from the lemma is that if there exist $y\in Y$ such that ${A}^{1}(y)\cap {B}^{1}(y)\ne \mathrm{\varnothing}$, then it is ${A}^{1}(y)={B}^{1}(y)$: intersecting fibers are equal. (Campanato only stated this property for the case $y=0$ and called it “‘the kernel property”; I prefer to call it the “fiber persistence” property.)
2.1.1 A topology based on nearness
In this section^{} we will show that the concept of nearness between operator can indeed be connected to a topological understanding of the set of maps from $X$ to $Y$.
Let $\mathcal{M}$ be the set of maps between $X$ and $Y$. For each $F\in \mathcal{M}$ and for each $k\in (0,1)$ we let ${U}_{k}(F)$ the set of all maps $G\in \mathcal{M}$ such that $FG$ is a small perturbation of $F$ with constant $k$. In other words, $G\in {U}_{k}(F)$ if and only if $G$ is near $F$ with constants $1,k$.
The set $$ satisfies the axioms of the set of fundamental neighbourhoods. Indeed:

1.
$F$ belongs to each ${U}_{k}(F)$;

2.
${U}_{k}(F)\subset {U}_{h}(F)$ if and only if $$, and thus the intersection^{} property of neighbourhoods is trivial;

3.
for each ${U}_{k}(F)$ there exist ${U}_{h}(F)$ such that for each $G\in {U}_{h}(F)$ there exist ${U}_{j}(G)\subseteq {U}_{k}(F)$.
This last property (permanence of neighbourhoods) is somewhat less trivial, so we shall now prove it.
Proof.
Let ${U}_{k}(F)$ be given.
Let ${U}_{h}(F)$ be another arbitrary neighbourhood of $F$ and let $G$ be an arbitrary element in it. We then have:
$$\parallel F({x}^{\prime})F({x}^{\prime \prime})(G({x}^{\prime})G({x}^{\prime \prime}))\parallel \le h\parallel F({x}^{\prime})F({x}^{\prime \prime})\parallel .$$  (2) 
but also (lemma 2.2)
$$\parallel (G({x}^{\prime})G({x}^{\prime \prime}))\parallel \le (1+h)\parallel F({x}^{\prime})F({x}^{\prime \prime})\parallel .$$  (3) 
Let also ${U}_{j}(G)$ be an arbitrary neighbourhood of $G$ and $H$ an arbitrary element in it. We then have:
$$\parallel G({x}^{\prime})G({x}^{\prime \prime})(H({x}^{\prime})H({x}^{\prime \prime}))\parallel \le j\parallel G({x}^{\prime})G({x}^{\prime \prime})\parallel .$$  (4) 
The nearness between $F$ and $H$ is calculated as such:
$$\begin{array}{c}\parallel F({x}^{\prime})F({x}^{\prime \prime})(H({x}^{\prime})H({x}^{\prime \prime}))\parallel \le \hfill \\ \hfill \parallel F({x}^{\prime})F({x}^{\prime \prime})(G({x}^{\prime})G({x}^{\prime \prime}))\parallel +\parallel G({x}^{\prime})G({x}^{\prime \prime})(H({x}^{\prime})H({x}^{\prime \prime}))\parallel \le \\ \hfill h\parallel F({x}^{\prime})F({x}^{\prime \prime})\parallel +j\parallel G({x}^{\prime})G({x}^{\prime \prime})\parallel \le (h+j(1+h))\parallel F({x}^{\prime})F({x}^{\prime \prime})\parallel .\end{array}$$  (5) 
We then want $h+j(1+h)\le k$, that is $j\le (kh)/(1+h)$; the condition $$ is always satisfied on the right side, and the left side gives us $$. ∎
It is important to observe that the topology generated this way is not a Hausdorff topology: indeed, it is not possible to separate $F$ and $F+y$ (where $F\in \mathcal{M}$ and $y$ is a constant element of $Y$). On the other hand, the subset of all maps with with a fixed valued at a fixed point ($F({x}_{0})={y}_{0}$) is a Hausdorff subspace.
Another important characteristic of the topology is that the set $\mathscr{H}$ of invertible operators from $X$ to $Y$ is open in $\mathcal{M}$ (because a map is invertible if and only if it is near an invertible map). This is not true in the topology of uniform convergence, as is easily seen by choosing $X=Y=\mathbb{R}$ and the sequence with generic^{} element ${F}_{n}(x)={x}^{3}x/n$: the sequence converges (in the uniform convergence topology) to $F(x)={x}^{3}$, which is invertible, but none of the ${F}_{n}$ is invertible. Hence $F$ is an element of $\mathscr{H}$ which is not inside $\mathscr{H}$, and $\mathscr{H}$ is not open.
2.2 Some applications
As we mentioned in the introduction, the Campanato theory of near operators allows us to generalize some important theorems; we will now present some generalizations of the LaxMilgram theorem, and a generalization of the Riesz representation theorem.
[TODO]
Title  near operators 

Canonical name  NearOperators 
Date of creation  20130322 14:03:21 
Last modified on  20130322 14:03:21 
Owner  mathcam (2727) 
Last modified by  mathcam (2727) 
Numerical id  13 
Author  mathcam (2727) 
Entry type  Topic 
Classification  msc 54E40 
Synonym  Campanato theory of near operators 
Defines  perturbation 
Defines  small perturbation 
Defines  near operator 