反函数定理(实数轴上的),第二册中会有在n维欧式空间中的反函数定理。
Exercise 10.4.1
( a ) Since f ( x ) = x n , x ∈ ( 0 , ∞ ) f(x)=x^n,x∈(0,∞) f(x)=xn,x∈(0,∞) is a continuous and strictly monotone increasing function, by Proposition 9.8.3, f − 1 ( x ) = x 1 / n = g ( x ) f^{-1} (x)=x^{1/n}=g(x) f−1(x)=x1/n=g(x) is continuous on ( 0 , ∞ ) (0,∞) (0,∞).
( b ) We already have f ′ ( x ) = n x n − 1 , x ∈ ( 0 , ∞ ) f' (x)=nx^{n-1},x∈(0,∞) f′(x)=nxn−1,x∈(0,∞), since g = f − 1 , f g=f^{-1}, f g=f−1,f is differentiable on ( 0 , ∞ ) (0,∞) (0,∞), and g g g is continuous by (a), we can use the inverse function theorem to say that g g g is differentiable at any x ∈ ( 0 , ∞ ) x∈(0,∞) x∈(0,∞), further for x ∈ ( 0 , ∞ ) x∈(0,∞) x∈(0,∞), we have x 1 / n x^{1/n} x1/n such that f ( x 1 / n ) = x f(x^{1/n} )=x f(x1/n)=x, thus
g ′ ( x ) = 1 f ′ ( x 1 / n ) = 1 n ( x 1 / n ) n − 1 = 1 n x 1 − n n = 1 n x 1 / n − 1 g' (x)=\frac{1}{f'(x^{1/n})}=\frac{1}{n(x^{1/n})^{n-1} }=\frac{1}{n} x^{\frac{1-n}{n}}=\frac{1}{n} x^{1/n-1} g′(x)=f′(x1/n)1=n(x1/n)n−11=n1xn1−n=n1x1/n−1
Exercise 10.4.2
( a ) As q ∈ Q q∈\mathbf Q q∈Q, thus ∃ m ∈ Z , n ∈ N + ∃m∈\mathbf Z,n∈\mathbf N^+ ∃m∈Z,n∈N+, s.t. q = m / n q=m/n q=m/n. By Exercise 10.4.1, we have g ( x ) = x 1 / n g(x)=x^{1/n} g(x)=x1/n is differentiable on ( 0 , ∞ ) (0,∞) (0,∞). And f