Recently I heard two problems in analysis, both I think are interesting, and they do not require too deep knowledge in analysis, which is the kind of questions I like most. Share here.
1) Suppose
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_s8rYVGTVHMajRqeR4s5cDbBOQ5cQ-u0p0_AJ4yNqBX8DBY38FHsu1oqnhrXd3XF4_ugliyEDq_54Nzm6dQ15bJ9q_lysdH1s3cpZmlaZKNtgKiJ_Ea_x4O3nWurhgRMY7wY3UAX-tUEAk=s0-d)
converges. Also, for each positive integer
k, it is known that
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vulwGtp1tV7E6GbMRsrtQV2mTY2j2CEc3IdIzUwLCNaPwMDPU7YkPvCtBmADyFSIsujiAPAY82D5XzWrL7hq_P3U2k6RHEWBI-u22Tl3G7OJbm4WIkZJOYLzJCtPgQve5b9tY2UE7HQZl-bG0TWrXj=s0-d)
(just to avoid confusion, allow me clarify here that
jk means "
j times
k"). Prove that
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sF7pIlPPiumLh6adCkVfCY3Jd6qok_ipFI3OCYmGmABLWF9xPtaJPbzEsiVtAPljZRsqOn1ojEvrHlbbzScMhCyW7RtsoSZma1=s0-d)
for all positive integers
i.
2)
S contains all elements
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sqA8rAwUQAuP_vCKJgDYTlGJ0nuqonHu84-f_b5A_XOw-G1aUL3X5tA0DAbHV2OD4kiFW7g23ZnU9HIr7vVTjvOFvg8p0b8mlBOCxEMxyRi8yo=s0-d)
such that for any
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sMPyn-i-w6mYS7IQ1I_czD7m4lXA0QEPjEgU9-3iWZMR5udJuRjcvppcGw9kQcwt5xdVr70B_tm3mP2io-BDjSQ1eqOdgSkdkYdFkSvPbHKeyZ=s0-d)
, there exists a rational number
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uxZIGkAZqohOAVmsSIhr28ypinoiy0FyF8OG9X4ey9IbooUV4YQD1HF56YsJs3T_4HTM1pZ1MhlLkAJajOocHXEWpeI5f8Qn644C7vfyyW0LcgaLzwwG5Enw=s0-d)
(where
p,
q are positive integers) satisfying
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uHFNi41PiKKCTzxfUDgEZRtYaOBpK_1TM4GRnnniup_NEcPppndczIpJSLVvgz3zG5ZjznFqGirv_ZPpdXw_2vONPdZdb-PXqXZJ5zojQuMJkeHgViwqmyGN_dosI241mknGfEs6mI7wqZZhb5F6optlmiPmsErLoc1HWdptL_ZcUvuWk6fcM0vLVSX_31xl_UOSl6kxFiHg3U=s0-d)
. Prove that
S is uncountable.
3 則留言:
For the first problem, it is even more interesting to ask whether there are non-zero examples when the assumption on absolute convergence is removed. Can someone give such an example?
For the second one, it follows from Baire Category Theorem, right?
To Singmay: just seen your comment, thinking...
To Polam: I did not realize that Baire Category Theorem is useful here. I just use elementary approach to show that S contains a subset which is equivalent to 2^N, which is uncountable.
張貼留言