A map is continuous if and only if each point in the domain has an open neighbourhood for which the restriction of the map is continuous on
- Note: this might be called the local criterion for continuity
Contents
Statement
Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces, and let [ilmath]f:X\rightarrow Y[/ilmath] be a map between them, then^{[1]}:
- [ilmath]f:X\rightarrow Y[/ilmath] is continuous if and only if for each point [ilmath]x\in X[/ilmath] there exists an open neighbourhood of [ilmath]x[/ilmath], say [ilmath]U[/ilmath], such that [ilmath]f\big\vert_{U}:U\rightarrow Y[/ilmath]^{[Note 1]} is continuous
- Symbolically, the right hand side can be written:
- [ilmath]\forall x\in X\exists U\in\mathcal{J}[x\in U\wedge( f\big\vert_U:U\rightarrow Y\text{ is continuous})][/ilmath]^{[Note 2]}
- And the full statement
- Symbolically, the right hand side can be written:
TODO: Symbolical representation of entire statement, including continuity!
Proof
The message provided is:
This page is waiting for a final review, then this notice will be removed.
Continuous [ilmath]\implies[/ilmath] Statement
Suppose [ilmath]f:X\rightarrow Y[/ilmath] is continuous. We wish to show [ilmath]\forall x\in X\exists U\in\mathcal{J}[x\in U\wedge( f\big\vert_U:U\rightarrow Y\text{ is continuous})][/ilmath]
- Let [ilmath]x\in X[/ilmath] be given.
- Then take [ilmath]X\in\mathcal{J} [/ilmath] as our open neighbourhood of [ilmath]x[/ilmath]. Automatically [ilmath]x\in X[/ilmath] and [ilmath]f\big\vert_X:X\rightarrow Y[/ilmath] is just [ilmath]f:X\rightarrow Y[/ilmath] and is continuous, we're done.
Statement [ilmath]\implies[/ilmath] continuous
Suppose [ilmath]\forall x\in X\exists U\in\mathcal{J}[x\in U\wedge( f\big\vert_U:U\rightarrow Y\text{ is continuous})][/ilmath], we wish to show [ilmath]f:X\rightarrow Y[/ilmath] is continuous.
- Let [ilmath]U\in\mathcal{K} [/ilmath] be given (so [ilmath]U[/ilmath] is open in [ilmath](Y,\mathcal{ K })[/ilmath]), we must show [ilmath]f^{-1}(U)[/ilmath] is open in [ilmath](X,\mathcal{ J })[/ilmath].
- For any/all [ilmath]x\in f^{-1}(U)[/ilmath] there exists an open neighbourhood [ilmath]V_x\in\mathcal{J} [/ilmath] of [ilmath]x[/ilmath] such that [ilmath]f\big\vert_{V_x}:V_x\rightarrow Y[/ilmath] is continuous, specifically this means:
- [ilmath](f\big\vert_{V_x})^{-1}(U)[/ilmath] is relatively open in [ilmath]V_x[/ilmath] (as we must consider [ilmath]V_x[/ilmath] with the subspace topology it inherits from [ilmath](X,\mathcal{ J })[/ilmath])
- But as [ilmath]V_x[/ilmath] is itself open, and the relatively open sets of an open subspace are open^{[Note 3]} we see [ilmath](f\big\vert_{V_x})^{-1}(U)[/ilmath] is open in [ilmath](X,\mathcal{ J })[/ilmath] too.
- We see that [ilmath](f\big\vert_{V_x})^{-1}(U):=\{x\in V_x\ \vert\ f\big\vert_{V_x}(x)\in U\}[/ilmath] [ilmath]=\{x\in V_x\ \vert\ f(x)\in U\}=f^{-1}(U)\cap V_x[/ilmath]
- So [ilmath](f\big\vert_{V_x})^{-1}(U)=f^{-1}(U)\cap V_x[/ilmath] is an open neighbourhood to [ilmath]x\in f^{-1}(U)[/ilmath]
- [ilmath](f\big\vert_{V_x})^{-1}(U)[/ilmath] is relatively open in [ilmath]V_x[/ilmath] (as we must consider [ilmath]V_x[/ilmath] with the subspace topology it inherits from [ilmath](X,\mathcal{ J })[/ilmath])
- Since [ilmath]x\in f^{-1}(U)[/ilmath] was arbitrary, we see this is true for all [ilmath]x\in f^{-1}(U)[/ilmath]
- We notice that for every point, [ilmath]x\in f^{-1}(U)[/ilmath], there is an open neighbourhood to [ilmath]x[/ilmath] contained in [ilmath]f^{-1}(U)[/ilmath].
- Recall a set is open if and only if every point in the set has an open neighbourhood contained within the set
- For any/all [ilmath]x\in f^{-1}(U)[/ilmath] there exists an open neighbourhood [ilmath]V_x\in\mathcal{J} [/ilmath] of [ilmath]x[/ilmath] such that [ilmath]f\big\vert_{V_x}:V_x\rightarrow Y[/ilmath] is continuous, specifically this means:
TODO: Check this. Also there may be an alternative union construction we could use. Union of the form [ilmath]\bigcup_{x\in f^{-1}(U)}(f\big\vert_{V_x})^{-1}(U)[/ilmath]
See also
Notes
- ↑ This denotes the restriction of [ilmath]f[/ilmath] to [ilmath]U[/ilmath], so [ilmath]f\big\vert_U:U\rightarrow Y[/ilmath] by [ilmath]f\big\vert_U:u\mapsto f(u)[/ilmath]
- ↑ Do I want [ilmath]\implies[/ilmath] rather than [ilmath]\wedge[/ilmath]?
TODO: Explore
- ↑ This is easy to see even without the theorem. If say [ilmath]U[/ilmath] is open in [ilmath]V_x[/ilmath] then there exists an open set, [ilmath]W[/ilmath], open in [ilmath]X[/ilmath] such that [ilmath]U=V_x\cap W[/ilmath], but both [ilmath]V_x[/ilmath] and [ilmath]W[/ilmath] are open in [ilmath]X[/ilmath]! So by the properties of being a topology, their intersection is open too.
References