Bourbaki

习题 1, § 4

标签 0BW1,永久不变。引用为 [Bourbaki, Tag 0BW1]。

一般拓扑, V

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

a) 让(xn,yn)n∈Z(x_n, y_n)_{n \in \mathbf{Z}}是R2\mathbf{R}^2的点的族,这样对于所有n∈Zn \in \mathbf{Z}我们有xn<xn+1x_n < x_{n+1}并且

yn+1−ynxn+1−xn<yn+2−yn+1xn+2−xn+1. \frac{y_{n+1} - y_n}{x_{n+1} - x_n} < \frac{y_{n+2} - y_{n+1}}{x_{n+2} - x_{n+1}}.
证明,对于所有整数 n∈Z,m>0,p>0n \in \mathbf{Z}, m > 0, p > 0,我们有
yn+m−ynxn+m−xn<yn+m+p−ynxn+m+p−xn. \frac{y_{n+m} - y_n}{x_{n+m} - x_n} < \frac{y_{n+m+p} - y_n}{x_{n+m+p} - x_n}.

b) 如果 a>0a > 0 和 x≠0x \neq 0,则将

fa(x)=ax−1x. f_a(x) = \frac{a^x - 1}{x}.
证明,如果x<y,x≠0,y≠0x < y, x \neq 0, y \neq 0和a≠1a \neq 1,我们有fa(x)<fa(y)f_a(x) < f_a(y)[首先证明x,yx, y积分的关系,通过aa],然后证明x,yx, y有理数,最后证明一般]。

c) 推出,对于所有a>0a > 0,为x≠0x \neq 0定义的函数fa(x)f_a(x),右侧有极限,左侧有极限,即x→0x \to 0;表明这两个极限有公共的值φ(a)\varphi(a),并且如果a≠1a \neq 1则有φ(a)≠0\varphi(a) \neq 0。证明如果为 x≠1x \neq 1 定义的 a≠1a \neq 1、函数 log⁡ax/x−1\log_a x/x - 1,则倾向于极限 1/φ(a)1/\varphi(a) 为 x→1x \to 1。

d) 证明,对于所有 a>0a > 0 和 b>0b > 0,我们有 φ(b)=φ(a)log⁡ab\varphi(b) = \varphi(a) \log_a b(如果 a≠1a \neq 1)。推断在 2 和 4 之间存在数 ee,使得 φ(e)=1\varphi(e) = 1,并且对于所有 a>0a > 0 存在 φ(a)=log⁡ea\varphi(a) = \log_e a。

解答

尚未写出解答。

被以下引用

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。