Continuity on Restrictions Implies Continuity Everywhere
The problem statement, all variables and given/known data
Let (E, m) and (E', m') be metric spaces, let A and B be closed subsets of E such that their union equals E, and let f be a function from E into E'. Prove that if f is continuous on A and on B, then f is continuous on E. The attempt at a solution I have approached this problem in three ways, but in each I get stuck. First approach: Let S' be a closed subset of E' and let S = f^{1}(S'). If I can demonstrate the S is closed, then f is continuous on E. I wrote S as [tex](S \cap A) \cup (S \cap B)[/tex] and attempted to demonstrate that each intersection is closed. However, each intersection is closed if S is closed. This is a circular argument so it won't work. What else can I do here? Second approach: Let p belong to E and let e > 0. Then either p belongs to A or p belongs to B. If the former, then there is a d(A) > 0 such that m'(f(p), f(q)) < e for all q in A satisfying m(p, q) < d(A). Now suppose there is a s in E such that m(p, s) < d(A) but m'(f(p), f(s)) ≥ e. This s must be in B. Since f is continuous on B, there is a d(B) > 0 such that m'(f(s), f(q)) < e for all in B satisfying m(s, q) < d(B). I don't know how to proceed from here. Third approach: Suppose by way of contradiction that f is not continuous on E. Then for some p in E, for some e > 0, for all d > 0, there is a q in E such m(p, q) < d but m'(f(p), f(q)) ≥ e. I stopped here when I realized this is proceeding similarly as the second approach. 
Re: Continuity on Restrictions Implies Continuity Everywhere
I don't see anything circular about your first approach. The inverse image of each closed subset is closed. The union is f^(1)(S'). The union of two closed sets is closed. Hence f^(1)(S') is closed if S' is closed. Sounds pretty airtight to me.

Re: Continuity on Restrictions Implies Continuity Everywhere
Quote:
The intersection of S and A is closed if both S and A are closed. I already know that A is closed. That means I must only worry about S, but that's what I was worrying about from the beginning. In other words: S is closed iff the intersection of S and A (and S and B) is closed iff S is closed. This is the circular argument I'm referring to. 
Re: Continuity on Restrictions Implies Continuity Everywhere
But S=f^(1)(S')=(fA)^(1)(S') union (fB)^(1)(S') where fA and fB are the restrictions. (fA)^(1)(S') is a closed subset of A (technically, 'in the topology of E restricted to A') since it's continuous ON A. There is a little bit to worry about here. For example, if O is an open set in E, a closed subset of O is not necessarily a closed subset of E. Take the example of E=R (reals), O=(1,1), and A=[0,1). A is closed in O. But A is not closed in R. Do you see what I mean? But a closed subset of a closed set is closed.

Re: Continuity on Restrictions Implies Continuity Everywhere
Quote:
Quote:
Quote:
Quote:

Re: Continuity on Restrictions Implies Continuity Everywhere
Quote:

Re: Continuity on Restrictions Implies Continuity Everywhere
Maybe for you but no for me: Let A', B' be the complements of A, B in E. Then B' is a subset of A' since A is a subset of B. Pick a p in A'. If p is in B', then we can find an open ball centered at p entirely contained in B' and consequently in A'. But what if p is not in B', i.e. what if p is in B?

Re: Continuity on Restrictions Implies Continuity Everywhere
Ok, pick a p not in A. Either p is in BA, in which case there is a ball around it that doesn't touch A because A IS CLOSED IN B. Or p is in EB which means there is a ball around it that doesn't touch B because B IS CLOSED IN E. In the second case you also know the ball doesn't touch A because A is contained in B.

Re: Continuity on Restrictions Implies Continuity Everywhere
Neat. Thank you for the perspicuous explanation.

All times are GMT 5. The time now is 06:12 AM. 
Powered by vBulletin Copyright ©2000  2014, Jelsoft Enterprises Ltd.
© 2014 Physics Forums