# Equintinuity of bounded linear functions equivalent to uniform boundedness

The claim is the following:

Every family of bounded linear functions is equicontinuous if and only it is uniformly bounded.

I only have trouble figuring out the forward direction.

-

If $\|f\| \le M$, then $|f(x) - f(y)| \le M \|x-y\|$. Can you see how to do it now? And for the forward direction, I don't think you can use the uniform boundedness principle, because the conclusion of that theorem is that such a family is equicontinuous. – Christopher A. Wong Mar 2 at 0:40
Yes! How did I miss that! What would be a way to go about it? – user44069 Mar 2 at 0:42
Try just using the definition of equicontinuity. – Christopher A. Wong Mar 2 at 0:47
It doesn't seem to be very helpful. – user44069 Mar 2 at 1:55
By linearity, a family of operators is equicontinuous if they are equicontinuous at the origin. Perhaps this can help you. – Christopher A. Wong Mar 2 at 2:12
show 1 more comment

## 1 Answer

1. Suppose the family $F$ is bounded. Then there is $M > 0$ such that $\|f\| \le M$ for all $f \in F$, and hence by linearity $|f(x) - f(y)| = |f(x-y)| \le M \|x - y\|$. Thus we can choose $\delta = \epsilon /M$.

2. Suppose $F$ is equicontinuous. Then $F$ must be equicontinuous at the origin. Then, for every ball $B_{\epsilon}$, there exists $\delta$ such that $f(B_{\delta}) \subset B_{\epsilon}$ for every $f \in F$. In particular, if $S$ is the unit sphere, then $f(S) \subset B_{\epsilon/\delta}$. Then, by linearity, for any $x$, we have $f(x) \subset \|x\| B_{\epsilon/\delta}$, which is equivalent to $|f(x)| \le \epsilon/\delta \|x\|$.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 19, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9600468277931213, "perplexity_flag": "head"}