@Office_Shredder Thank you so much for giving an illustration. my apologies for my late reply. I was not feeling well and it took me sometime to gather my questions as a reply.
I have five things I want to ask you. I will number it in square brackets and highlighted the number in bold for ease of reference.
##\textbf{[1]}##
When one says a sequence of functions/sequence does not satisfy the diagonal subsequence property, does it mean the following:
Let ##$(X,d)$## be a metric space and let ##$x_{n,k} \in X$## for ##$k,n \in N$##. Prove that if
$$x_{1,1},x_{1,2},x_{1,3}, \ldots \rightarrow x$$
$$x_{2,1},x_{2,2},x_{2,3}, \ldots \rightarrow x$$
$$x_{3,1},x_{3,2},x_{3,3}, \ldots \rightarrow x$$
$$\vdots$$
$$x_{n,1},x_{n,2},x_{n,3}, \ldots \rightarrow x$$
$$\vdots$$
then for any increasing sequence of natural numbers ##p_n## such that ##x_{n,p_n} \not\rightarrow x.##
How does showing that for any increasing sequence....##x_{n,p_n} \not\rightarrow x,## will show that the convergence is not satisfied for any metric? I am not following the logic in the sense of how does that different/compare with for any increasing sequence...not converging to some norm.
##\textbf{[2]}##
The sequence of functions in ##\textbf{Assumed Exercises}## question 1.:
##x_{n,k}=\begin{cases}\frac{1}{k}&\text{ if }k\leq n\\0&\text{ if }k>n.\end{cases},## defined in a piecewise manner, seem to satisfy the two properties of the
Exercise in the
Question: section,
where ##x_{n,k}=\frac{1}{k},\text{ if }k\leq n,## corresponds to: (1) ##|\alpha_{n,k} - \alpha_{k}|\rightarrow 0## as ##n \rightarrow \infty## for every ##k \in N,##
and
##x_{n,k}=0, \text{ if }k>n,## corresponds to: (2) there exists ##k_{0} \in N## such that ##\alpha_{n,k}=0## for all ##n\in N## and all ##k \geq k_0.##
Matching the definition of ##x_{n,k}## to that of ##\alpha_{n,k},$## we have for the first portion, ##\alpha_{n,k}=x_{n,k}, \alpha_{k}=\frac{1}{k}, n \rightarrow \infty## for every ##k \in N,##
For the other portion of the piecewise definition of ##x_{n,k},## how do I find the ##k_{0} \in N## such that ##\alpha_{n,k}=0## for all ##n\in N## and all ##k \geq k_0##? The example you gave requires some sort of input argument being at least some distance away from some index value, i mean you require that ##x-x_0>\epsilon.## Is my understanding correct?
##\textbf{[3]}##
I tried solving the question 1. in the
Assumed exercise. Since I can't translate to a case where ##x\not\in B(x_0,\epsilon),## then can I rewrite the sequence of functions ##x_{n,k}## as
##x_{n,k}(k)=\begin{cases}\frac{1}{k}&\text{ if }k\leq n\\0&\text{ if }k>n\end{cases}.## Then for any ##\epsilon > 0, x_{n,k}(k)=\frac{1}{k}, \text{ if } k\leq n, \text{ then we can let } \epsilon=\frac{1}{n}, \text{ implying if } \frac{1}{k}\geq \frac{1}{n}=\epsilon,\text{ then }x_{n,k}(k)=0, \text{ if }k>n=\frac{1}{\epsilon}.## But at this point I don't know how to show that the sequence ##x_{n,k}## does not have the diagonal subsequence property. I don't know how to show ##x_{n,{n+1}}-\frac{1}{n+1}\geq\epsilon##.
##\textbf{[4]}##
I also tried to solved the
Exercise section. I tried the following: according to the two properties in the
Exercise question:
(1) ##|\alpha_{n,k} - \alpha_{k}|\rightarrow 0## as ##n \rightarrow \infty## for every ##k \in N,## which translates to:
$$\text{For any } \epsilon>0,\text{ for every }n>M, k\in N, |\alpha_{n,k} - \alpha_{k}|<|\alpha_{n,k} + \alpha_{k}|<|\alpha_{n,k} |+| \alpha_{k}|<\frac{\epsilon}{2}+\frac{\epsilon}{2}<\epsilon$$
or should it be:
$$|\alpha_{n,k} - \alpha_{k}|<|\alpha_{n,k} + \alpha_{k}|<|\alpha_{n,k} |+| \alpha_{k}|=0<\epsilon?$$
(2) there exists ##k_{0} \in N## such that ##\alpha_{n,k}=0## for all ##n\in N## and all ##k \geq k_0;## which translates to:
There exists ##k_{0} \in N## such that ##\alpha_{n,k}<\epsilon## for all ##n\in N, k \geq k_0##.
Then we need to find an ##\epsilon_0>0## and a specific ##k_{0} \in N## in terms of ##\epsilon_0## such that ##|\alpha_{k,k_0} - \alpha_{k_0}|>\epsilon.## Here ##\alpha_{k_0,k}## are the terms of the diagonal subsequence. At this point similar to the issue i run into in ##\textbf{[3]}##, I can let ##\epsilon_0=\frac{1}{k_0},##, then ##k\geq\frac{1}{\frac{1}{k_0}}=\frac{1}{\epsilon_0}.## From here again, I don't know how to proceed from here.
##\textbf{[5]}##
I tried to rewrite from second paragraph on in terms of even formal mathematical notations for the proof you gave. Can you check if it reflects accurately what you wrote please.
Consider the function from ##\Bbb{R}\to \Bbb{R}## and define convergence of functions ##f_n\to f,## if there exists ##x_0## such that for all ##\epsilon>0,## there exists ##$N$## such that ##\forall n>N,## if ##|x-x_0|>\epsilon,##then
##f_n(x)=\begin{cases}f(x)&\text{ if }x\neq x_0\\f(x_0)&\text{ if }x=x_0\end{cases}.(*)##
As an example: ##f_n(x)=\begin{cases}1&\text{ if }|x|>\frac{1}{n}\\1&\text{ if }x=0\\0&\text{ otherwise}\end{cases},\quad\quad f_n(x)\to 1,\text{ with } x_0=0,\text{ and } N=\frac{1}{\epsilon}. (**)##
Proof: Consider for each ##m,f_n^m(x)=\begin{cases}1&\text{ if }x=m \\1&\text{ if }|x-m|>\frac{1}{n}\\0&\text{ otherwise}\end{cases}.(***)## For each ##m,f_n^m(x)\to f(x)=1.##
There should be a problem here, since intuitively, if there is a metric, then e.g. ##f_n^2(x)\to 1,\text{ for }x\in \Bbb{R}\setminus B(2,\epsilon), f_n^3(x)\to 1,\text{ for }x\in \Bbb{R}\setminus B(3,\epsilon),\text{etc.}## Continue on, if one tries to pick any sequence ##f_{a_m}^m(x),## and try to say as ##m\to \infty,## that ##f_{a_m}^m(x)\to 1,## one will run into difficulty trying to decide which ##x_0## one is suppose to pick. As a matter of fact, it is impossible for any choice of ##x_0,## eventually ##m>x_0+1,## and all future ##f_{a_m}^m(x)=0## for some choices of ##x## such that ##|x-x_0|\geq 1.## Hence you can't pick a diagonal sequence that converges to the constant function ##1.##
I am not sure of the following in my translation of your proof. I think it would be a good practice for me just in case if this is for a test/exam, I might be asked to provide further justification in terms of writing it out in even more formal math notations.
1. when you stated: "if there's a metric then e.g. ##f_n^2##converges to ##1## because it's always ##1## except for a small hole around ##2##" that I translate: "if there is a metric, then e.g. ##f_n^2(x)\to 1,\text{ for }x\in \Bbb{R}\setminus B(2,\epsilon)##" is accurate.
2. When you stated: "In fact it's impossible, for any fixed choice of ##x_0## eventually ##m>x_0+1##", did you mean in terms of convergence of sequences when you used the word "eventually" as in "##x## is eventually in a neighborhood of...."
3. The part where you stated: "...all future ##f_{a_m}^m## are zero for some choices of ##x## that are at least ##1## away from ##x_0##." My translation: "all future ##f_{a_m}^m(x)=0## for some choices of ##x## such that ##|x-x_0|\geq 1.##" is accurate?
4. The functions ##f_n^m(x)## in ##(***)## is the function ##f_n(x)## in ##(**)## when constructing the diagonal sequence with ##\{f_n^m\}_{n=1}^{\infty}##?
5. For 4., how do I write out the algebra to show that if given a supposed diagonal subsequnce, that it does not converge to ##1## using an ##\epsilon-\delta## argument?
Thank you in advance.