跳到主要内容

東北大学 大学院理学研究科 数学専攻 2017年8月実施 共通問題 問題3

Author​

祭音Myyura (Based on L^2's answer refined with GPT 6 Astra)

Description​

問題は4題ある.全問に解答すること.

以下の問いに答えよ.

(1) 関数 f:R→Rf:\mathbb{R}\to\mathbb{R} と関数 g:[0,∞)→Rg:[0,\infty)\to\mathbb{R} を考える.

(a) f,gf,g は一様連続とする.f∘gf\circ g が一様連続であることを示せ.

(b) gg が連続で x→∞x\to\infty としたとき g(x)g(x) が有限の値に収束するとする.また,ff は連続とする.f∘gf\circ g が一様連続であることを示せ.

(2) 関数 f:R→Rf:\mathbb{R}\to\mathbb{R} と関数 g:[0,∞)→Rg:[0,\infty)\to\mathbb{R} を次のように与える.

f(x)={1−e−xx(x≠0),1(x=0),g(x)=x(x+1−1sin⁡11+x).f(x)=\begin{cases}\dfrac{1-e^{-x}}x&(x\ne0),\\1&(x=0),\end{cases} \qquad g(x)=x\left(x+1-\frac1{\sin\dfrac1{1+x}}\right).

このとき,f∘gf\circ g が一様連続であることを示せ.

题目描述​

本卷共有4题,全部作答。

回答下列问题。

(1) 考虑函数 f:R→Rf:\mathbb{R}\to\mathbb{R} 和 g:[0,∞)→Rg:[0,\infty)\to\mathbb{R}。

(a) 若 f,gf,g 都一致连续,证明复合函数 f∘gf\circ g 一致连续。

(b) 若 gg 连续,且当 x→∞x\to\infty 时 g(x)g(x) 收敛于有限值;同时 ff 连续,证明 f∘gf\circ g 一致连续。

(2) 定义函数 f:R→Rf:\mathbb{R}\to\mathbb{R} 和 g:[0,∞)→Rg:[0,\infty)\to\mathbb{R} 如下:

f(x)={1−e−xx(x≠0),1(x=0),g(x)=x(x+1−1sin⁡11+x).f(x)=\begin{cases}\dfrac{1-e^{-x}}x&(x\ne0),\\1&(x=0),\end{cases} \qquad g(x)=x\left(x+1-\frac1{\sin\dfrac1{1+x}}\right).

证明 f∘gf\circ g 一致连续。

Kai​

(1)(a)​

ε>0\varepsilon>0 をとる.ff の一様連続性から,∣u−v∣<η|u-v|<\eta ならば ∣f(u)−f(v)∣<ε|f(u)-f(v)|<\varepsilon となる η>0\eta>0 が存在する.gg の一様連続性から,∣x−y∣<δ|x-y|<\delta ならば ∣g(x)−g(y)∣<η|g(x)-g(y)|<\eta となる δ>0\delta>0 が存在する.これらを合わせれば

∣x−y∣<δ⟹∣f(g(x))−f(g(y))∣<ε|x-y|<\delta\quad\Longrightarrow\quad |f(g(x))-f(g(y))|<\varepsilon

となるので,f∘gf\circ g は一様連続である.

(1)(b)​

g(x)→ℓ∈Rg(x)\to\ell\in\mathbb{R} とおき,h=f∘gh=f\circ g とする.hh は [0,∞)[0,\infty) 上連続であり,ff の連続性から h(x)→f(ℓ)h(x)\to f(\ell) である.

ε>0\varepsilon>0 に対し,x≥Rx\ge R ならば ∣h(x)−f(ℓ)∣<ε/2|h(x)-f(\ell)|<\varepsilon/2 となる R>0R>0 をとる.コンパクト区間 [0,R+1][0,R+1] 上で hh は一様連続だから,x,y∈[0,R+1]x,y\in[0,R+1],∣x−y∣<δ|x-y|<\delta ならば ∣h(x)−h(y)∣<ε|h(x)-h(y)|<\varepsilon となる 0<δ≤10<\delta\le1 がある.

任意の x,y≥0x,y\ge0 で ∣x−y∣<δ|x-y|<\delta とする.min⁡(x,y)≤R\min(x,y)\le R ならば x,y∈[0,R+1]x,y\in[0,R+1] なので上の評価が使える.min⁡(x,y)>R\min(x,y)>R ならば

∣h(x)−h(y)∣≤∣h(x)−f(ℓ)∣+∣h(y)−f(ℓ)∣<ε.|h(x)-h(y)|\le|h(x)-f(\ell)|+|h(y)-f(\ell)|<\varepsilon.

したがって h=f∘gh=f\circ g は [0,∞)[0,\infty) 上一様連続である.

(2)​

lim⁡x→0(1−e−x)/x=1\lim_{x\to0}(1-e^{-x})/x=1 なので,ff は R\mathbb{R} 上連続である.また x≥0x\ge0 では 0<1/(1+x)≤1<π0<1/(1+x)\le1<\pi より分母の正弦は正であり,gg は [0,∞)[0,\infty) 上連続である.

t=1/(1+x)t=1/(1+x) とおくと,x→∞x\to\infty のとき t→+0t\to+0,x=(1−t)/tx=(1-t)/t である.テイラー展開から

sin⁡t=t−t36+O(t5),1sin⁡t=1t+t6+O(t3).\sin t=t-\frac{t^3}{6}+O(t^5),\qquad \frac1{\sin t}=\frac1t+\frac t6+O(t^3).

したがって

g(x)=1−tt(1t−1sin⁡t)=−1−t6+O(t2)⟶−16.g(x)=\frac{1-t}{t}\left(\frac1t-\frac1{\sin t}\right) =-\frac{1-t}{6}+O(t^2)\longrightarrow-\frac16.

(1)(b) より f∘gf\circ g は一様連続である.

Reference​