Intereting Posts

Find all $f(x)$ such that $f(gcd(x,y))=gcd(f(x),f(y))$
A union of balls centered at all the rationals on $$ with decreasing radius $r_n \to 0$ relation with $$
Prove or disprove: $f^{-1}(f(f^{-1}(Y))) = f^{-1}(Y)$.
Proof $ \int_0^\infty \frac{\cos(2\pi x^2)}{\cosh^2(\pi x)}dx=\frac 14$?
Fourier Transform of complicated product: $(1+x)^2 e^{-x^2/2}$
Proof of injective and continuous
How to show set of all bounded, analytic function forms a Banach space?
Distance between point and linear Space
Number of Relatively Prime Factors
Generalisation of $(n+3)^2-(n+2)^2-(n+1)^2+n^2=4$
Prove that G is a cyclic group
Double Integration with change of variables
How many combinations of $3$ natural numbers are there that add up to $30$?
How does one prove that a multivariate function is univariate?
Singular values of transpose same?

Let $f:\mathbb R \rightarrow \mathbb R$ be continuous and compactly supported. How can I prove that $f$ is uniformly continuous ? I was trying to prove it by contradiction but get stuck. My attempt was as follows:

Let $E$ be the compact support of $f$. On $E$ we know that $f$ is uniformly continuous. If we assume that $f$ is not uniformly continuous we know

$$

\exists \epsilon > 0 \forall \delta > 0 \exists x,y \in \mathbb R: |x-y|<\delta \wedge |f(x)-f(y)| \geq \epsilon

$$ Let $\delta_n := \frac 1n$ and fix this $\epsilon > 0$. Compute a $\delta > 0$ s.t. $\forall x,y \in E:|x-y| < \delta \rightarrow |f(x)-f(y)| <\epsilon$. Let $n \geq N$ s.t. $\frac 1N < \delta$. Then we may assume wlog that $x_n \in E$ and $y_n \in \mathbb R \setminus E$ wehere $x_n,y_n$ are the points corresponding with $\delta_n$. This gives a sequence of points where $|x_n-y_n| \rightarrow 0$ and $x_n \in E$ and $y_n \in \mathbb R \setminus E$.

I now want to use somehow the continuitiy of $f$. How can I do this ? Is this approach a good one ? Can it be more simple ?

- Factorial and exponential dual identities
- Is $C^1$ with the norm $\left \| f \right \|_1=(\int_{a}^{b}\left | f(t) \right |dt)+(\int_{a}^{b}\left | f´(t) \right |dt)$ a complete space?
- Asymptotics of sum of binomials
- Examples of uncountable sets with zero Lebesgue measure
- Convergence $I=\int_0^\infty \frac{\sin x}{x^s}dx$
- Compact support functions dense in $L_1$

New idea:

I know that $E$ is compact so $(y_n)_{n=0}^\infty$ has a convergent subsequence $(y_{n_j})_{j=0}^\infty$ whit limit say $y \in E$. Now

$$

|x_{n_j}-y| \leq |x_{n_j}-y_{n_j}|+|y_{n_j}+y| \rightarrow 0

$$ So I can take $x_{n_j}$ close to $y$ to get $|f(x_{n_j})-f(y)| = |f(y)| <\frac \epsilon 2$ by the continuity. I can also take $y_{n_j}$ close to $y$ to get $|f(y_{n_j})-f(y)| <\frac \epsilon 2$. We further have

$$

|f(y_{n_j})| \leq |f(y_{n_j})-f(y)| + |f(y)|

$$ s.t.

$$

|f(y)| \geq |f(y_{n_j})| – |f(y_{n_j})-f(y)| \geq \frac \epsilon 2

$$ because $|f(y_{n_j})| \geq \epsilon$ per construction. So we have $|f(y)| \leq \frac \epsilon 2$ and $|f(y)| > \frac \epsilon 2$ which is a contradiction.

New solution: Let $\epsilon > 0$. Let $\delta_1$ for the uniform continuity on $E$. Further

$$

\forall x \in E \exists \delta_x > 0 \forall y \in \mathbb R: |x-y|< \delta_x \rightarrow |f(x)-f(y)| < \epsilon

$$ Compute an open finite over of $E$

$$

E \subseteq \bigcup_{i=1}^N B(x_i,\frac{\delta_{x_i}}2)

$$ Write $\delta_i := \delta_{x_i}$. Let $\delta_2 := \min_{i=1,\cdots,N} \frac {\delta_i} 2$ and $\delta := \min(\delta_1,\delta_2)$.

Assume $|x-y|< \delta$. If $x,y \in E$ or $x,y \notin E$ we are done. Otherwise assume $x \in E$ and $y \notin E$. Then $x \in B(x_i,\frac{\delta_i}2)$ for some $i$. Further

$$

|y-x_i| \leq |y-x|+|x-x_i|\leq \delta_2 + \frac{\delta_i}2 \leq \delta_i

$$ thus $y \in B(x_i,\delta_i)$ which proves the claim.

- Holomorphic function $f$ such that $f'(z_0) \neq 0$
- Intuition for Kuratowski-Mrowka characterization of compactness
- Continuous function positive at a point is positive in a neighborhood of that point
- “limit along a path” equivalent to usual definition of limit?
- For closed subsets $A,B \subseteq X$ with $X = A \cup B$ show that $f \colon X \to Y$ is continuous iff $f|_A$ and $f|_B$ are continuous.
- Compact spaces and closed sets (finite intersection property)
- How take example such this three conditions.is continuous at all irrationals, discontinuous at all rationals
- $(z_{2n})_{n\in \mathbb{N}}$ and $(z_{2n+1})_{n\in \mathbb{N}}$ converges to same limit. Show $(z_n)_{n\in \mathbb{N}}$ converges to the same limit.
- Integral $\int_0^\pi \cot(x/2)\sin(nx)\,dx$
- an “alternate derivation” of Poisson summation formula and discrete Fourier transformation

Let us first see what is continuity. Given a positive $\epsilon$, continuity of $f$ means that at each $x$, we can find a small $\delta$ such that $x’\in (x-\delta,x+\delta)$ implies $f(x’)\in (f(x)-\epsilon,f(x)+\epsilon)$. So around each $x$, we have a small open set that is mapped very close to $f(x)$. Also note that points in the same small open set are mapped to points close to each other, since they are both mapped to points close to $f(x)$. But the problem here is that this radius of the open sets $\delta$ depends on the point $x$.

Now compactness means you can find a finite collection of such small open sets that they cover the support of the function, and this is good enough for us. Because among these finitely many open sets, you can determine the smallest radius, say $r$. If the distance between $x$ and $x’$ are less than $1/10r$, then you know they must lie in the same open set, then $f(x)$ and $f(x’)$ must be close. Now this $r$ does not depend on $x$, you have uniform continuity.

- Why doesn't mathematical induction work backwards or with increments other than 1?
- Solving $ax \equiv c \pmod b$ efficiently when $a,b$ are not coprime
- Canonical divisor on algebraic curve
- Intuition explanation of taylor expansion?
- $|G|>2$ implies $G$ has non trivial automorphism
- Show that $R/(I \cap J) \cong (R/I) \times (R/J) $
- How to prove asymptotic limit of an incomplete Gamma function
- Proof that angle-preserving map is conformal
- A linear transformation satisfying $P^2 = P$
- Ramsey Number R(4,4)
- Evaluating $\lim\limits_{n \to \infty }\sqrt{ \frac{\left | \sin1 \right |}{1}\cdot\cdot\cdot\frac{\left | \sin n \right |}{n}} $
- $\int_{0}^{\infty}{\left(x^3\cdot(e^x-1)^{-1} \right)}dx$
- Determinant of a block lower triangular matrix
- Defining a Perplexing Two-Dimensional Sequence Explicitly
- Does $\frac{1}{n}\sum_{i=1}^n|x_i|\to L<\infty$ imply $\frac{1}{n}\max_{1\leq i\leq n}|x_i|=0$?