For $f:\mathbb{R} \rightarrow \mathbb{R}$ I can “visualize“ this as follows:
If $f_n(x)$ is confined to an epsilon tube around $f(x)$ and if the section of tube is entirely on positive, we have trivially $|f_n(x)|= f_n(x)$ and $|f(x)| =f(x)$.
On the other hand if the tube is entirely on negative side, we have $|f_n(x)|= -f_n(x)$ and $|f(x)| =-f(x)$ and the tube is reflected from negative side of the axis to positive side.
When we have the tube partially on the positive and negative side, the negative part of the tube is reflected on positive side, and a bottom flattened tube is formed where bottom coincides with $0$.
We have $|f_n(x)|$ inside an epsilon tube around $|f(x)|$.
(See three pictures attached).
I am having difficulty expressing this in mathematical language for real functions (forget about generalizing it to other topological spaces).
Is it provable? Is there a theorem or proof of this in a book which I can use as a reference in bibliography?
Thank you in advance.



To prove that $ | |a| - |b| | \le |a-b|$ we just use the triangle inequality twice and the definition of absolute value for real numbers:
First$$ |a| = |(a-b) + b| \le |a-b| + |b|$$ so$$ |a| - |b| \le |a-b|$$
Similarly $$|b| = |(b-a) + a| \le |b-a| +|a|$$ so $$|b| - |a| \le |b-a|$$ which we can rewrite as $$-(|a| - |b|) \le |-(a-b)| = |a-b|$$
We know that $| |a| - |b| |$ is equal to either $(|a|-|b|)$ or $-(|a|-|b|)$, but we've just proved that both of them are $\le |a-b|$, so $$ | |a| - |b| | \le |a-b|$$