6
$\begingroup$

What do I call two sequences $a, b$ such that $\lim_{n\to\infty} |a_n - b_n| = 0$? Or what do I call two functions $f, g$ such that $\lim_{x\to c} |f(x) - g(x)| = 0$? (For my purposes, these are essentially the same thing, and I will happily extend a term for one to the other.)

This seems like such a straightforward condition that it must have a standard term, but I can't find it (in either context). I looked through the Wikipedia article on all of the variations of big-$O$ and the like, but these are all too weak. If $\lim_n a_n$ (hence $\lim_n b_n$) existed, then I could call $a$ and $b$ ‘coterminal’, but that limit might not exist. In an incomplete space, I have seen $a$ and $b$ called ‘co-Cauchy’ under the weaker assumption that one (hence both) is Cauchy, but I don't want to assume that either. I could call $\exp f$ and $\exp g$ ‘asymptotic’ (as $x \to c$), but I want to refer to $f$ and $g$ directly.

Surely somebody knows a term for this?

$\endgroup$
3
  • 3
    $\begingroup$ They are called equivalent. I am half-joking half-serious. $\endgroup$ Commented Jun 28, 2013 at 7:40
  • 1
    $\begingroup$ How about "asymptotically equal/equivalent"? The only problem with this term would be that you can pose a similar condition on the ratio and will then need another name for it :-) $\endgroup$
    – M.G.
    Commented Jun 28, 2013 at 11:01
  • $\begingroup$ I have the feeling that ‘asymptotic’ should mean what I want, but when I look it up, it doesn't. $\endgroup$ Commented Jul 1, 2013 at 0:27

1 Answer 1

4
$\begingroup$

You could say $ a $ and $ b $ are mutually asymptotic. Example: "Since $ n -1/n$ and $n+1/n $ are mutually asymptotic. .." And usually even drop the word "mutually".

$\endgroup$
5
  • $\begingroup$ My understanding of the accepted meaning of ‘asymptotic’ would also allow one to say that $n - 1$ and $n + 1$ are mutually aysmptotic (which I take to mean that each is asymptotic to the other), but these don't meet my requirement. That is why I'm searching for another term. $\endgroup$ Commented Jul 1, 2013 at 0:27
  • $\begingroup$ I was thinking in terms of asymptotes in calculus. Y=1/x has y=0 as asymptote but not y=1. $\endgroup$ Commented Jul 1, 2013 at 1:31
  • $\begingroup$ True, that does fit what I want. $\endgroup$ Commented Jul 1, 2013 at 15:42
  • $\begingroup$ I still hold out hope that there might be a better answer? $\endgroup$ Commented Jul 4, 2013 at 13:33
  • 1
    $\begingroup$ I'm still using ‘asymptotic’ at the nLab page on uniform convergence spaces, so I guess that I'd better accept this answer. $\endgroup$ Commented Apr 5, 2017 at 20:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .