Bourbaki

习题 8, § 2

标签 08BB,永久不变。引用为 [Bourbaki, Tag 08BB]。

实变函数, III, 126

Bourbaki marks this one as harder than the rest.

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

a) 锻炼记号。 7、证明级数与一般项xn/n!x^n / n!对于每个x∈px \in \mathfrak{p}收敛,如果p≠2p \neq 2,对于每个x∈p2x \in \mathfrak{p}^2(但没有x∉p2x \notin \mathfrak{p}^2)如果p=2p = 2(确定pp的指数) n!n!的分解变为素数因子)。如果f(x)f(x)是这个级数的和,则表明ff是p\mathfrak{p}(或p2\mathfrak{p}^2)到1+p21 + \mathfrak{p}^2的连续同态。由此推断,对于每个z∈Zpz \in \mathbf{Z}_p,都有f(pz)=epzf(pz) = e_p^z(或f(p2z)=epz′f(p^2z) = e_p^{z'});在其他字,

ep=1+p1!+p22!+⋯+pnn!+⋯if p≠2 e_p = 1 + \frac{p}{1!} + \frac{p^2}{2!} + \cdots + \frac{p^n}{n!} + \cdots \quad \text{if } p \neq 2
e2=1+41!+422!+⋯+4nn!+⋯ e_2 = 1 + \frac{4}{1!} + \frac{4^2}{2!} + \cdots + \frac{4^n}{n!} + \cdots
(使用练习7 e))。

b) 对于每个a∈1+pa \in 1 + \mathfrak{p}和每个x∈Zpx \in \mathbf{Z}_p都显示log⁡(ax)=xlog⁡a\log(a^x) = x \log a,并从a)中推导出来并执行。 7 d) 那个

ax=1+xlog⁡a1!+x2(log⁡a)22!+⋯+xn(log⁡a)nn!+⋯ a^x = 1 + \frac{x \log a}{1!} + \frac{x^2 (\log a)^2}{2!} + \cdots + \frac{x^n (\log a)^n}{n!} + \cdots

c) 对于每个m∈Zpm \in \mathbf{Z}_p,证明在1+p1 + \mathfrak{p}上定义的连续函数x↦xmx \mapsto x^m,允许导数等于mxm−1mx^{m-1}(使用b)并执行。 7e))。

d) 证明对于每个m∈Zpm \in \mathbf{Z}_p和每个x∈px \in \mathfrak{p},如果p≠2p \neq 2(x∈p2x \in \mathfrak{p}^2如果p=2p = 2)级数与一般项(mn)xn\binom{m}{n} x^n收敛,并且其和是连续的函数 mm;通过观察 Z\mathbf{Z} 在 Zp\mathbf{Z}_p 中(处处)稠密,可以推断出和等于 (1+x)m(1 + x)^m。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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