Can you say more about why exercise 17.6.3 is wrong?
If we define by then for distinct we have
We also have since
In general, the derivative is , which is continuous on .
He defined a strict contraction on a metric space as requiring for and for all . Your proposed solution doesn’t fix such a ; in fact, as , , which is why .
Claim: You can’t solve the exercise
Proof (thanks to TheMajor). Let be a sequence in the domain converging to such that . Since is a strict contraction with contraction constant , . Since the absolute value is continuous, we conclude that . ◻️
There's a lot I wanted to say here about topology, but I don't think my understanding is good enough to break things down - I'll have to read an actual book on the subject.
I'm working through Munkres' book on topology at the moment, which is part of Miri's reserach guide. It's super awesome; rigorous, comprehensive, elegant, and quite long (with lots of exercises). I'm planing to do a similar post once I'm done, but it's taking me a while. if you get to it eventually, you'll probably beat me to it.
Hey there, sorry for the late reply. I wanted to let you know that every now and again I answer Turntrout's math questions via Discord, and wanted to let you (and anybody else reading this while working through undergrad math textbooks) know that I'd love to help if you have any questions! I'm a math grad student and have been teaching assistant for over 5 years now, and honestly I just love explaining math. While my time is limited and irregular please don't hesitate to shoot me a question if you're stuck on anything and would like some advice.