On the second interval [itex](1, \infty)[/itex] I cannot use the point [itex]x = \frac{1}{n}[/itex] and since the function is decreasing on this interval I will take the leftmost point to compute the supremum. It will be

The only error I see is that the supremum on [0,1] is not 2, but 1.
All else looks right to me. The function converges pointwise to the zero function and. It doesn't converge uniformly on [0,1], but it does on the interval [itex][\delta,\infty)[/itex] for any [itex]\delta>0[/itex].

...but it does on the interval [itex][\delta,\infty)[/itex] for any [itex]\delta>0[/itex].

That's what I was asking for - how can you see that? I can't see it so far - I proved it doesn't converge uniformly on some interval ([itex][0,1][/itex]) but I can't see the possibility it could still converge uniformly on its part.

Btw, would [itex](0, \infty)[/itex] be the same as you wrote? (I mean just not using delta here).

That's what I was asking for - how can you see that? I can't see it so far - I proved it doesn't converge uniformly on some interval ([itex][0,1][/itex]) but I can't see the possibility it could still converge uniformly on its part.

Btw, would [itex](0, \infty)[/itex] be the same as you wrote? (I mean just not using delta here).

You already showed that the function [itex]f_n[/itex] is monotonically decreasing after the point 1/n, so this maximum shifts to the left (if you visualize the graph) as n increases. That means if you have the interval [itex][\delta, \infty)[/itex] the point at which [itex]f_n[/itex] has a maximum will eventually leave this interval (provided [itex]\delta>0[/itex]). So the function will be monotonically decreasing in this interval, so you can take the supremum to be the left endpoint and show that it goes to zero, just as before.

It may seem surprising at first, but the although the sequence converges uniformly on [itex][\delta, \infty)[/itex] it does NOT converge uniformly on [itex](0,\infty)[/itex]. That is because the spike at 1/n will always lie in the interval (0,->) for any n.

I already understood this particular problem, but I'm afraid it won't always be that obvious so that I can guess on which interval it could still converge uniformly. Is there any common approach how to find interval, on which it could still converge uniformly when I prove it doesn't on some others?

Almost right. Ofcourse I wasn't totally precise on this point either, but the supremum of [itex]f_n[/itex] on the interval [itex][\delta,\infty)[/itex] is not always the left endpoint. What matters is that from a given moment on the spike will leave the interval. I.e. there exists an [itex]N>0[/itex] such that the supremum is the value of the function at the left endpoint (as in your expression) for all n>N (in this case [itex]n>1/\delta[/itex]. So it is still true that
[tex]\lim_{n\to \infty} \sup_{x\in D}|f_n(x)-f(x)|=0[/tex].

Where in this case ofcourse [itex]D=[\delta,\infty)[/itex], [itex]f(x)=0[/itex] (the limit function).

Usually the reason why a sequence of functions doesn't converge uniformly is because of the limiting behaviour at a specific point (in this case at x=0).
For a sequence of [itex]\arctan(nx)[/itex] functions, the problem also lies at x=0 and this also converges uniformly on [itex][\delta, \infty)[/itex] for any [itex]\delta>0[/itex]. I think practice is the best way to get a feel for these things. I personally always visualize the functions and see how the graphs change as n increases, because I have a very visual way of thinking.
Also see the analogy between (continuity - uniform continuity) and (convergence - uniforn convergence).
they are expressed in epsilons and delta's (or more commonly N's for the latter), but with continuity, you first specify a point x in the domain of f, then you any [itex]\epsilon>0[/itex] and then find your [itex]\delta>0[/itex] to match, so your [itex]\delta[/itex] may depend on the point and the chosen epsilon [itex]\delta=\delta(x,\epsilon)[/itex], while for uniform continuity you can find a [itex]\delta[/itex] which works (uniformly) for all points x in the region of interest and depends only on [itex]\epsilon[/itex].
Likewise, for pointwise convergence your take the pointwise limit ([itex]f_n(x)\to f(x)[/itex] for each point [itex]x[/itex]), so the [itex]N[/itex] in your limit is chosen after specifying the point and the [itex]\epsilon[/itex], while for uniform convergence you can find a [itex]N(\epsilon)[/itex] which works (uniformly) or ALL points in the region of interest.

Anyway, when you've found the supremum of |fn(x)-f(x)| and you find that it depends on n, you should check whether this point will remain in the region of interest.