Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$K$ is a compact metric space and we are given a pair of continuous functions f and g: $K \rightarrow \mathbb{R}$ such that f(x) is greater than g(x) for all $x \in X$; Prove that there exists an $\epsilon$ such that $f(x)$ is greater than $g(x) + \epsilon$ for all $x \in X$

I was going to construct two sequences of continuous functions $f_n$ and $g_n$ and somehow show that they don't converge uniformly to the same point but then I got lost

Thanks for your help in advance!

share|cite|improve this question
up vote 5 down vote accepted

Let $h(x):=f(x)-g(x)$ for all $x\in K$. Then $h$ is continuous and positive. Since we work on a compact space, the minimal value of $h$ is reached at say $x_0\in K$. So we can put $\varepsilon:=\frac{h(x_0)}2>0$: $f(x)\geq g(x)+h(x_0)>g(x)+\varepsilon$.

share|cite|improve this answer

Here's a different approach.

Let $U_n =\{x\in X\mid$ $f(x) > g(x) + \frac{1}{n}\}$.

First, prove $U_n$ is open for each $n$ and $U_m\subseteq U_n$ when $m\leq n$. Then prove $\bigcup_n U_n = X$. Finally, use compactness of $X$ to show that $\bigcup_n U_n = U_k$ for some $k$. Then $\epsilon = \frac{1}{k}$ works.

share|cite|improve this answer

Just for fun, here's a "third approach". (Although, this one may be slightly over-complicated and/or needs quite a bit of justification.) Since $f$ and $g$ are continuous functions $K\to\mathbb R$ and $K$ is compact, their graphs $\Gamma_f$ and $\Gamma_g$ must be compact. Now, because $f$ is always greater than $g$, $\Gamma_f$ and $\Gamma_g$ are also disjoint. But then $\Gamma_f$ and $\Gamma_g$ must be a positive distance apart, which proves the claim.

Added: to avoid confusion I shall add some further remarks. The graphs $\Gamma_f$ and $\Gamma_f$ are subsets of $K\times\mathbb R$. There are many ways to equip a product of two metric spaces with a product metric. So, $K\times\mathbb R$ is itself a metric space. Since the product metric gives rise to the product topology on $K\times\mathbb R$, the maps $(id_K,f):K\to K\times\mathbb R$ and $(id_K,g):K\to K\times\mathbb R$ are continuous, so their images, which are precisely $\Gamma_f$ and $\Gamma_g$, must are compact. Now, if $X$ is a metric space and $A,B\subseteq X$ it makes sense to define $d(A,B)=\inf\limits_{a\in A, b\in B}d(a,b)$. This usually isn't a metric, but we can prove that if $A$ and $B$ are compact and disjoint, $d(A,B)$ is positive. (Although this last fact is about as hard to prove as the original problem, which is why I am saying that this approach may be slightly over-complicated.)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.