Register to reply 
Continuity, given topologies. 
Share this thread: 
#1
May1611, 02:01 AM

P: 47

Is the function f: R > R, x > x^2 continuous when the domain and codomain are given the Half interval topology? (Or Lower Limit topology).
I'm not sure where to go with this. On inspection, I know that the intervals are open sets, so preservance of open sets in preimages are defined for x > 0. But what if there is a set [x^2,x^2+r) that is in the negative part of the real line, there is no preimage for this set. Is there something I'm missing, or just not realizing (most likely the second one)? 


#2
May1611, 02:37 AM

Emeritus
Sci Advisor
PF Gold
P: 16,091




#3
May1611, 04:41 AM

P: 47

It was only by inspection, assuming that any sets in the negative real line for this particular function don't have preimages in the real line. If that assumption is wrong, then I've got nothing to go on to prove it's not continuous, so it must be, but that's a very weak justification.



#4
May1611, 09:10 AM

Mentor
P: 18,346

Continuity, given topologies.
Hi Slats18
Can you tell me what [tex]f^{1}([x,x+r[)[/tex] is? 


#5
May2711, 06:42 AM

P: 47

Sorry for the really late reply, been busy with other topological concerns, namely product topologies haha.
I'm completely blanking on this at the moment, no matter how interesting topology is, it just doesn't stick. Would it be [sqrt(x),sqrt(x) + r) ? 


#6
May2711, 11:44 AM

Mentor
P: 18,346

Not exactly. You'll need to figure out what f^{1}(x) and f^{1}(x+r) are (there are multiple values). Then you need to figure out what happens to the points between x and x+r...



#7
May2911, 01:53 AM

P: 47

On further, concentrated inspection, given [x,x+r) the preimage of this is
( (sqrt(x+r)),(sqrt(x)) ]U[ sqrt(x),sqrt(x+r) ) which isn't open as sqrt(x) is an element of the preimage, but there is no r > 0 such that [sqrt(x),r) is an element of the preimage as well. 


#9
May2911, 06:42 PM

P: 47

Could it be also said, not neccessarily proven, that because the mapping is from R to R, the preimage is not defined for certain R and hence, not continuous?
Ex: Take the interval [1,0). The preimage of this is obviously in the complex plane, hence not in R. 


#10
May2911, 06:48 PM

Mentor
P: 18,346

[tex]f^{1}([1,0[)=\emptyset[/tex] 


#11
May2911, 07:16 PM

P: 47

Ohh, duh, of course haha. My mistake, I'm doing topology and complex analysis so sometimes the two subjects mix haha.



Register to reply 
Related Discussions  
Weak topologies  General Math  0  
How many different topologies can X have?  Differential Geometry  4  
Sample topologies  Differential Geometry  1  
Different induced topologies  Calculus  6  
More about finer topologies  Calculus & Beyond Homework  7 