Let [tex]f:{R^n} \to R[/tex] be a continuous function on some [tex]D \subset {R^n}[/tex].(adsbygoogle = window.adsbygoogle || []).push({});

Now, define

[tex]epi\left( f \right) = \left\{ {\left( {x,r} \right) \in {R^{n + 1}}:x \in {R^n},r \ge f\left( x \right)} \right\}[/tex]I want to prove to myself (not homework) that if [tex]D[/tex] has a non-empty interior (that is, there exist interior points in [tex]D[/tex]), so also [tex]epi\left( f \right)[/tex] has a non-empty interior.

I think it is supposed to be easy but I get stuck.

I started with the following simple argument. If [tex]D[/tex] has a non-empty interior, then there exist [tex]{x_0} \in D[/tex] and [tex]r > 0[/tex] in [tex]R[/tex] such that [tex]B\left( {{x_0},r} \right) \subset D[/tex] (that is, the ball with radius [tex]r[/tex] around [tex]{x_0}[/tex] is contained in [tex]D[/tex]). Now, because [tex]f[/tex] is continuous, there also exist [tex]0 < {r_2} < r[/tex] in [tex]R[/tex] such that [tex]f\left( x \right) < f\left( {{x_0}} \right) + 1[/tex] for all [tex]x \in B\left( {{x_0},{r_2}} \right)[/tex].

Now, I want to show that [tex]\left( {{x_0},f\left( {{x_0}} \right) + 1} \right) \in epi\left( f \right)[/tex] but I do not have a good idea how to continue.

Thanks a lot in advance!

p.s. If you think that it is more appropriate to put this question in homework section, please notify me.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Supposed to be simple but seems a bit tricky

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - Supposed simple seems | Date |
---|---|

Suppose y=|x|/x | Feb 13, 2014 |

Is this supposed to be trivial?, or can it be proved? | Jun 12, 2013 |

Is integration theory supposed to be this hard? | Jan 24, 2012 |

Simple i suppose ? | Dec 12, 2009 |

Integral using parseval (supposed to be simple ) | Oct 13, 2009 |

**Physics Forums - The Fusion of Science and Community**