Bài 38: Tìm hàm liên tục $f: R\rightarrow R$ thoả mãn:
1) $f$ là đơn ánh
2) $f(2x-f(x))=x$
3) Tồn tại $x_{0}$ thỏa mãn $f(x_{0})=x_{0}$
Xét hàm $g: \mathbb{R} \rightarrow \mathbb{R}$, $g(x)=2x-f(x)$
Từ $(2)$ ta có $g(g(x))=2g(x)-f(g(x))=2g(x) -x$
Do đó $g$ là một đơn ánh và vì $g$ liên tục nên $g$ đơn điệu thực sự
Trường hợp 1: $g$ giảm thực sự. Ta có
$g(g(x)) - g(x) = g(x) - x$ $(4)$
Nếu $g(x) > x$ thì $g(g(x) < g(x)$, mâu thuẫn với $(4)$, tương tự ta cũng gặp mâu thuẫn nếu $g(x)<x$
Do đó $g(x)=x,\forall x\in \mathbb{R}$, không thể có vì $g$ giảm thực sự
Trường hợp 2: $g$ tăng thực sự.
Từ $g(g(x))=2g(x)-x$, bằng quy nạp ta có thể chứng minh $g_{n}\left ( x \right )=ng\left ( x \right )-(n-1)x,\forall x\in \mathbb{R}$
Đặc biệt $ g_{n}\left ( 0 \right )=ng\left ( 0 \right )$
Do đó
$g_{n}(x)-g_{n}(0)=ng(x)-ng(0)-(n-1)x,\forall x\in \mathbb{R}$
hay
$g(x)-g(0)-x=\frac{g_{n}(x)-g_{n}(0)-x}{n},\forall x\in \mathbb{R}$ $(5)$
Bởi $g$ tăng thực sự nên khi cho $n\rightarrow \propto $ ta được
$\left\{\begin{matrix} g\left ( x \right )\geq x+g(0),\forall x \geq 0\\ g(x)\leq x+g(0),\forall x < 0 \end{matrix}\right.$
Ta sẽ chứng minh $g$ là một toàn ánh
Thật vậy đặt $m= \inf\left \{ g(x)\mid x \in \mathbb{R} \right \}$ và $M= \sup \left \{ g(x)\mid x \in \mathbb{R} \right \}$
Giả sử $M < \propto$, khi đó chọn $x=M+a - g(0) > 0$ với $a > 0$ tùy ý ta được
$g(M+a-g(0))\geq M+a>M$, mâu thuẫn
Chứng tỏ $M = \propto$, tương tự $m= - \propto$, nên $g$ là một toàn ánh
$g$ đơn ánh và toàn ánh nên là song ánh, như vậy tồn tại ánh xạ ngược $g^{-1}$
Ta thấy $g^{-1}$ cũng tăng thực sự
Từ $(5)$ cho $n\rightarrow -\propto $ ta có
$\left\{\begin{matrix} g\left ( x \right )\leq x+g(0),\forall x \geq 0\\ g(x)\geq x+g(0),\forall x < 0 \end{matrix}\right.$
Vậy $g(x) = x+g(0), \forall x \in \mathbb{R}$ và $f(x) = x-g(0)=x+f(0), \forall x\in \mathbb{R}$
Vì tồn tại $x_{0}$ sao cho $f(x_{0})=x_{0}$ nên $f(x) = x, \forall x \in \mathbb{R}$
- LNH, deathavailable, Phuong Mark và 3 người khác yêu thích