TheoremBase

Continuity of a Map Between Metric Spaces via Preimages of Open Sets

Statement

Let (X,dX)(X,d_X) and (Y,dY)(Y,d_Y) be metric spaces. Let TdX\mathcal{T}_{d_X} be the collection of all subsets of XX that are open in (X,dX)(X,d_X) and let TdY\mathcal{T}_{d_Y} be the collection of all subsets of YY open in (Y,dY)(Y,d_Y); both are topologies by Metric Open Sets Form a Topology. Let f:X→Yf:X\to Y.

Then ff is continuous on XX if and only if for every V∈TdYV\in\mathcal{T}_{d_Y} the preimage

f−1(V)={x∈X: f(x)∈V}f^{-1}(V)=\{x\in X:\ f(x)\in V\}

belongs to TdX\mathcal{T}_{d_X}.

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…