TheoremBase

Continuity of the Identity Map, of Powers, and of Polynomial Functions on a Subset of the Real Line

The identity map, the natural-number power maps, and the restriction of any polynomial function are continuous on every subset of the real line.

Statement

Let R\mathbb{R} be the real numbers, with the addition, multiplication and order of their ordered field structure, let ∣⋅∣|\cdot| be the absolute value, and let (R,dR)(\mathbb{R},d_{\mathbb{R}}) be the real line, that is, R\mathbb{R} with the metric dR(s,t)=∣s−t∣d_{\mathbb{R}}(s,t)=|s-t|. Let N\mathbb{N} be the set of natural numbers with successor map SS, and let xnx^{n} denote the nnth power of xx.

Let E⊆RE\subseteq\mathbb{R}. Throughout, a map E→RE\to\mathbb{R} is called continuous on EE if it is continuous on EE as a map from the subset EE of the real line into the real line.

Then the following hold.

1. (Identity) The map E→RE\to\mathbb{R} given by x↦xx\mapsto x is continuous on EE.

2. (Powers) For every n∈Nn\in\mathbb{N} the map E→RE\to\mathbb{R} given by x↦xnx\mapsto x^{n} is continuous on EE.

3. (Polynomial functions) For every polynomial function pp on R\mathbb{R}, the restriction p∣Ep|_{E} is continuous on EE.

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…