r/askmath • u/Qingyap • 1h ago
Calculus Do some people have wrong ideas about limits or is it just me?
It all started with arguments about 0.(9)=1 on multiple random posts,
I assume everyone knows it already but other than the usual 3*1/3 and algebraic way, I also always backed it up with:
The sum: lim_{n->∞} of Σ (x=1 to n) of 9/10^(x), or 0.9+0.09+0.009+... converges/equal to 1
0.(9) can be rewritten as lim_{n->∞} 1-0.1^(n)=1 with the ε-N proof of it as an overkill back up with N=log(ε^(-1))
∄x ∈ ℚ that satisfies 0.(9)<x<1 ⟹ there's no difference in between 0.(9) and 1.
However, I always find a pattern from the people who disagree with those proofs in particular, their arguments are
Limits cannot be reached since it means approach to something therefore they're not equal, you can get infinitely close but never get there.
In hyperreals they're not equal.
It's an infinite approximation therefore not equal.
Now even though I consider myself to be familiar with/like the subject mathematics I have a bit of doubt in both of our claims, considering I'm still a high schooler and my school curriculum only covers up until basic limits, derivatives and integrals with not summation or Taylor series in the Calculus category, and I only recently self learned some Calculus courses.
But here are some of my counter arguments against them.
For the first one, limits work differently as it finds the value by looking at the behavior of the function or "neighborhood?", limits don't care what happens on that exact point based on limit definitions.
2nd, in hyperreals they're still equal by definition, it's from a simple google search I'mma be for real with you so I feel uncertain.
3rd, Infinite is not an approximation, it is equal, 0.(9) already includes infinite amount of 9's so it makes sense to use infinity and have the exact value.
Now my question is, are my counterpoints correct? In general I want to clear some minor parts of confusion about limits in order to get a better understanding of them so I would like to hear your thoughts/insights

