March 13th, 2017, 06:05 PM  #21  
Senior Member Joined: Sep 2016 From: USA Posts: 114 Thanks: 44 Math Focus: Dynamical systems, analytic function theory, numerics  Quote:
Inverse tangent is a homeomorphism by the following proof: 1. It is continuous 2. It is a bijection between $(\frac{\pi}{2},\frac{\pi}{2})$ and $\mathbb{R}$ 3. Its inverse is $\tan x$ which is also continuous. This is all that is required. Notice I never talked about convergence of anything, because homeomorphism is not concerned with this at all. Last edited by skipjack; March 13th, 2017 at 10:18 PM.  
March 13th, 2017, 08:27 PM  #22 
Senior Member Joined: Aug 2012 Posts: 1,140 Thanks: 245 
<personal rambling> For my part I can never know the intention behind a handle. I enjoy the challenge of writing clear and compelling responses. The other day after giving someone hints on their triangle inequality problem I finally just gave up and posted a proof. They never came back. I would rather interact with someone responsive than waste my time doing someone's homework. When I get frustrated I try to remember that seven billion people managed to not feel compelled to reply. If I feel compelled to reply it must be something about me, not about some anonymous handle on the Internet. The Turing test tells you more about yourself than it does about the other person. That's what Turing never understood. </personal rambling> Last edited by Maschke; March 13th, 2017 at 08:42 PM. 
March 13th, 2017, 08:49 PM  #23 
Math Team Joined: Dec 2013 From: Colombia Posts: 6,539 Thanks: 2144 Math Focus: Mainly analysis and algebra  That just proves that you never take in anything of substance that other people write. I don't know whether you aren't capable of understanding or whether you are just too stubborn to admit that you are wrong, but I don't really care. The reference in question is this one: Map (0,1) to R Where Maschke showed you chapter and verse of your text where it clearly states that your sequence $\{\frac1n\}$ on $(0,1)$ DOES NOT CONVERGE no matter what rubbish you post to the contrary. 
March 14th, 2017, 11:51 AM  #24 
Senior Member Joined: Mar 2015 From: New Jersey Posts: 962 Thanks: 78 
If I'm trolling, I'm not very successful at it. Nothing so far contributes to or detracts from OP. The homeomorphism of tan in post #26 is simply a statement of what is given, not a proof. EDIT1 pi/2 + 1/n is in (pi/2,pi/2) and converges. tan(pi/2 + 1/n) converges to tan(pi/2), which doesn't exist. EDIT2 In anticipation of Maschke's objection: 1/n is a convergent sequence in R+. 1/n converges to 0, which is not in R+. Ever hear of a boundary point? Last edited by zylo; March 14th, 2017 at 12:27 PM. 
March 14th, 2017, 12:28 PM  #25  
Senior Member Joined: Aug 2012 Posts: 1,140 Thanks: 245  Quote:
If I had to do arctan from first principles I'd be in trouble but you can look it up. Maybe show tan is an open map (sends open sets to open sets) which in conjunction with it being a bijection would show that its inverse is continuous. There's also a definition of arctan in terms of complex log. Not in (pi/2,pi/2). But there's a limit (haha I see what I did there!) to how many times people can tell you the same thing. Rudin already clarified this point. Convergence depends on the sequence AND on the ambient space. Last edited by Maschke; March 14th, 2017 at 12:40 PM.  
March 14th, 2017, 12:56 PM  #26  
Math Team Joined: Dec 2013 From: Colombia Posts: 6,539 Thanks: 2144 Math Focus: Mainly analysis and algebra  Quote:
Since the concept of "convergence" is something that depends purely on a definition, we may ask why that definition has been chosen. The answer is, presumably, that it has been chosen to make further theorems more easily and naturally expressible. However, since those further theorems (that you are trying to make use of) are based on the definition in your book, you have to use that definition. If you decide to use a different definition, the theorems you are trying to use no longer apply without rewriting them to be based on that different definition. Last edited by v8archie; March 14th, 2017 at 01:01 PM.  
March 15th, 2017, 06:04 AM  #27 
Senior Member Joined: Mar 2015 From: New Jersey Posts: 962 Thanks: 78 
tan is a bijection but not a homeomorphism between (pi/2,pi/2) and R. tan is a bijection and homeomorphism between [pi/2,pi/2] and Re. EDIT "In mathematical analysis, a metric space M is called complete (or a Cauchy space) if every Cauchy sequence of points in M has a limit that is also in M or, alternatively, if every Cauchy sequence in M converges in M." https://en.wikipedia.org/wiki/Complete_metric_space In other words, you can have convergent sequences in M that don't have limits in M, ie, boundary points. Last edited by zylo; March 15th, 2017 at 06:15 AM. 
March 15th, 2017, 07:59 AM  #28  
Senior Member Joined: Aug 2012 Posts: 1,140 Thanks: 245  Quote:
 
March 17th, 2017, 07:14 AM  #29 
Senior Member Joined: Mar 2015 From: New Jersey Posts: 962 Thanks: 78 
Is Tan homeomorphic from (0,1) to R? No. In R, Lim 1/n = 0 but 1/n never equals 0. In R, Lim Tan 1/n = Tan (Lim 1/n) = Tan 0, Tan$\displaystyle ^{1}$Tan 0 = 0 Tan=romsek's tan 
March 17th, 2017, 07:48 AM  #30 
Math Team Joined: Dec 2013 From: Colombia Posts: 6,539 Thanks: 2144 Math Focus: Mainly analysis and algebra 
That's not the mapping that was suggested though, is it? $\tan x$ doesn't map $(0,1)$ to $\mathbb R$. If you want a homeomorphism $(0,1) \mapsto \mathbb R$ you use $$\tan{\bigg(\big(x\tfrac12\big)\pi\bigg)}$$ Under that mapping, $x_n = \frac1n$ doesn't converge in $(0,1)$ or, under the mapping, in $\mathbb R$. Last edited by v8archie; March 17th, 2017 at 07:51 AM. 

Tags 
homeomorphic, mapping 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
About mapping and inverse mapping.  idiotinmath  Abstract Algebra  1  January 30th, 2015 06:49 AM 
Torus T^2 homeomorphic to S^1 x S^1  Math Amateur  Real Analysis  0  March 19th, 2014 05:25 PM 
R^2 and R^2  {(0,0)} are not homeomorphic  mysterious_poet_3000  Real Analysis  3  April 1st, 2011 10:25 AM 
Homeomorphic sets  jennifer  Real Analysis  1  November 7th, 2007 10:18 AM 
homeomorphic  parnaz  Real Analysis  1  December 13th, 2006 11:50 AM 