TheoremBase

Continuity of the Reciprocal of a Nonvanishing Real-Valued Function on a Metric Space

Statement

Let (X,d)(X,d) be a metric space, let A⊆XA\subseteq X, and let x∈Ax\in A. Let R\mathbb{R} denote the real numbers, with the addition, multiplication, identities, additive inverses, multiplicative inverses and order of their ordered field structure; for s,t∈Rs,t\in\mathbb{R} write s−ts-t for s+(−t)s+(-t), write s<ts<t to mean that s≤ts\le t and s≠ts\ne t, write s−1s^{-1} for the multiplicative inverse of ss when s≠0s\ne 0, let ∣s∣|s| denote the absolute value of ss, and let dRd_{\mathbb{R}} be given by dR(s,t)=∣s−t∣d_{\mathbb{R}}(s,t)=|s-t|, which is a metric on R\mathbb{R} by The Absolute Value Metric on the Real Line.

Let f:A→Rf:A\to\mathbb{R} satisfy f(w)≠0f(w)\ne 0 for every w∈Aw\in A, and define r:A→Rr:A\to\mathbb{R} by r(z)=(f(z))−1r(z)=(f(z))^{-1}.

Then the following hold.

1. If ff is continuous at xx relative to AA as a map from (X,d)(X,d) to (R,dR)(\mathbb{R},d_{\mathbb{R}}), then so is rr.

2. If ff is continuous on AA, then so is rr.

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…