TheoremBase

Continuity of a Real Function Agrees with Metric Continuity on the Real Line

Statement

Let R\mathbb{R} be the real numbers and let (R,dR)(\mathbb{R},d_{\mathbb{R}}) be the real line, that is, R\mathbb{R} equipped with the absolute value metric. Let E⊆RE\subseteq\mathbb{R}, let f:E→Rf:E\to\mathbb{R}, and let x0∈Ex_0\in E.

Then the following two statements are equivalent.

1. ff is continuous at x0x_0.

2. ff is continuous at x0x_0 relative to EE, as a map from the subset EE of (R,dR)(\mathbb{R},d_{\mathbb{R}}) into (R,dR)(\mathbb{R},d_{\mathbb{R}}).

Consequently, ff is continuous at every point of EE in the sense of statement 1 if and only if ff is continuous on EE in the sense of statement 2.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…