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_sCv9MzLt872atN1agAU9bxWd_u4aYhxVr3gQdssfPsMfZd6f60Gwi6tWVfsIrssEawV8VMdHV77ZY2rPXaLvWMLBNoZay1h9HVabuC0KSQX93Nwz_LRLt3icG2oRPIizWf45Lj-XsIcAg=s0-d)
converges. Also, for each positive integer
k, it is known that
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uUiY05VuwnVhncZIkfKrJv_5vCRaKTLGspUNK9HM7RzEC0-9QxW1WF8fPzI6SNtjatnkFYkNtKcC_XLeHompV395y_ZEsePJ7UzZQoXRZ6n-vNKb_6JVsgHUuJaUAAqJoNIEiGxXzgf-5DfgiZiwJY=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_udrI6CESKWH1ZS7pF74l1wq64NCIOoEC5V83emj9jYbJJDJT6r2OXMuuUyFqZjcliuX_MCTDQue14TVU6dwF3zm1hiYpAExcfk=s0-d)
for all positive integers
i.
2)
S contains all elements
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tLWGZUThTfsLa6A2goGmeAPzJMz3qUysgM6laecqGZ90SLP0sU_b3M_iZmSJ5Q-CWc7r-2kP-Zs-_FtHW8MeOdeE0VhhhzgLPIX3V_GX1E5Qu3=s0-d)
such that for any
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_u8IJf6gd1Mg3MD8V-1mrgYnA2dhERbKR5mc7Wrud-QHX_dxkbtxSSgRZpfvBh2t__1b7DY-IKgFNTuE0PjyCJjpXmbet_-umYPqdq2FrbeiLj4=s0-d)
, there exists a rational number
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vkUSDYpxC6n0cCwPA6PSWcbnWrcibpTQ_R1HavSEGUc7NHfK8xvSmTA7Ayb6MDkZHldhkJM2CRwh03_xa00RSOuRQp53oKdtFi69ud9piv_w42foxsOFu6sw=s0-d)
(where
p,
q are positive integers) satisfying
![](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tjEDz8N9ZPPffpc1YR0jc7tXd8rqAuQw8bvNHzX39XmLy1LF5yG7a_6xEHljrLvd9pVRRIaLSQxE7U5RI500m-Z-nZqYeKCDRmE92sQcc41yY5eKAPs2kuDj1dwJuQ44xyKKeOocnP_5Vq41fd95sIH8OMxrnMcSrlqjezyl-wy774pnUCQGqsAle5ZqHGBUYvv6buwFC0LzQt=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.
張貼留言