I'd like to show that below function holds the inverse mapping:
$f: \;P(\Bbb R) \rightarrow \Bbb R $ where $f(x) = {1\over x^2}-x\cdot arctanx+{1 \over 2}log(1+x^2) $
To show the existence of inverse mapping, I want to use the property that every inverse mapping has a bijection between domain and range of its orignial function.
But each term of $f(x)$ holds different domain and range which makes this process cubersome.
Any brief approach to check the inversibility of the given function?