i) Chứng minh f đơn ánh:
Giả sử tồn tại a,b để [imath]f(a)=f(b)[/imath], tức [imath]\log_2(a)=\log_2(b) \Rightarrow a=b[/imath], nên f đơn ánh.
Chứng minh f toàn ánh:
Với mỗi [imath]y_0\in \mathbb{R}[/imath], chọn [imath]x_0=2^{y_0} \in \mathbb{R}[/imath]
Khi này [imath]f(x_0) = \log_2(2^{y_0}) = y_0[/imath], vậy tức là với mỗi [imath]y\in \mathbb{R}[/imath], luôn tồn tại [imath]x\in \mathbb{R}[/imath] để [imath]f(x)=y[/imath]
Từ 2 điều trên, suy ra f song ánh.
ii) Tìm hàm ngược: [imath]f^{-1}[/imath]
Ta có: [imath]f^{-1}(f(x)) = x \Rightarrow f^{-1} (\log_2 (x)) = x \Rightarrow f^{-1}(x)=2^x[/imath] xác định trên [imath]\mathbb{R}[/imath]