In matematica , una funzione non espansiva è una funzione continua tra spazi metrici che, come dice il termine, non allontana i punti.
Più precisamente, se
X
{\displaystyle X}
e
Y
{\displaystyle Y}
sono spazi metrici e
f
:
X
→
Y
{\displaystyle f:X\to Y}
allora essa si dice non espansiva se
d
Y
(
f
(
x
)
,
f
(
y
)
)
≤
d
X
(
x
,
y
)
{\displaystyle d_{Y}(f(x),f(y))\leq d_{X}(x,y)}
per ogni
x
,
y
{\displaystyle x,y}
in
X
{\displaystyle X}
.Una funzione non espansiva è lipschitziana con costante di Lipschitz 1. Se in particolare vale l'uguaglianza e la funzione è inoltre una biiezione con inversa non espansiva allora
f
{\displaystyle f}
è un'isometria .
Se
X
{\displaystyle X}
è uno spazio normato ,
S
{\displaystyle S}
un suo sottoinsieme compatto e convesso e
T
:
S
→
S
{\displaystyle T:S\to S}
è non espansiva, allora
T
{\displaystyle T}
ammette punto fisso , cioè esiste un
x
{\displaystyle x}
in
S
{\displaystyle S}
tale che
T
(
x
)
=
x
{\displaystyle T(x)=x}
.
Per ogni
n
{\displaystyle n}
numero naturale e per un fissato
x
0
{\displaystyle x_{0))
in
S
{\displaystyle S}
definiamo
f
n
(
x
)
=
(
1
−
k
n
)
x
0
+
k
n
T
(
x
)
{\displaystyle f_{n}(x)=(1-k_{n})x_{0}+k_{n}T(x)}
, dove
(
k
n
)
n
∈
N
⊂
(
0
,
1
)
{\displaystyle (k_{n})_{n\in N}\subset (0,1)}
è una successione di numeri reali convergente a 1. È
‖
f
n
(
x
)
−
f
n
(
y
)
‖
=
‖
k
n
(
T
(
x
)
−
T
(
y
)
‖
=
k
n
‖
T
(
x
)
−
T
(
y
)
‖
<
‖
T
(
x
)
−
T
(
y
)
‖
≤
‖
x
−
y
‖
{\displaystyle \|f_{n}(x)-f_{n}(y)\|=\|k_{n}(T(x)-T(y)\|=k_{n}\|T(x)-T(y)\|<\|T(x)-T(y)\|\leq \|x-y\|}
,dunque per ogni
n
{\displaystyle n}
naturale
f
n
{\displaystyle f_{n))
è una contrazione ; allora, per il teorema del punto fisso di Banach-Caccioppoli ammette un unico punto fisso
x
n
{\displaystyle x_{n))
.
Sia
(
x
n
)
n
{\displaystyle (x_{n})_{n))
la successione dei punti fissi. Essa è contenuta in
S
{\displaystyle S}
, dunque essendo
S
{\displaystyle S}
compatto per successioni esiste una sottosuccessione
(
x
p
)
p
⊂
(
x
n
)
n
{\displaystyle (x_{p})_{p}\subset (x_{n})_{n))
convergente in
S
{\displaystyle S}
ad un punto
y
{\displaystyle y}
. Allora è
‖
y
−
T
(
y
)
‖
≤
‖
y
−
x
p
‖
+
‖
x
p
−
T
(
x
p
)
‖
+
‖
T
(
x
p
)
−
T
(
y
)
‖
{\displaystyle \|y-T(y)\|\leq \|y-x_{p}\|+\|x_{p}-T(x_{p})\|+\|T(x_{p})-T(y)\|}
.Il primo e l'ultimo addendo sono infinitesimi per l'ipotesi su
x
p
{\displaystyle x_{p))
e per la continuità di
T
{\displaystyle T}
. Il secondo addendo è
‖
x
p
−
T
(
x
p
)
‖
=
‖
f
p
(
x
p
)
−
T
(
x
p
)
‖
=
‖
(
1
−
k
p
)
x
0
+
k
p
T
(
x
p
)
−
T
(
x
p
)
‖
{\displaystyle \|x_{p}-T(x_{p})\|=\|f_{p}(x_{p})-T(x_{p})\|=\|(1-k_{p})x_{0}+k_{p}T(x_{p})-T(x_{p})\|}
,dunque quando
p
→
∞
{\displaystyle p\to \infty }
il primo addendo dentro la norma va a 0 e il secondo e il terzo vanno a
T
(
y
)
{\displaystyle T(y)}
, cioè
‖
x
p
−
T
(
x
p
)
‖
→
0
{\displaystyle \|x_{p}-T(x_{p})\|\to 0}
.
Quindi, passando al limite, per il teorema del confronto è
0
≤
‖
y
−
T
(
y
)
‖
≤
0
{\displaystyle 0\leq \|y-T(y)\|\leq 0}
, cioè
‖
y
−
T
(
y
)
‖
=
0
{\displaystyle \|y-T(y)\|=0}
, cioè
y
=
T
(
y
)
{\displaystyle y=T(y)}
.