Friday, 4 March 2011

ca.analysis and odes - Notation for eventually less than

I agree with Joel Hamkins's answer, but I don't entirely agree with his comment on that answer. I generally use asterisks to mean "with finitely many exceptions" or "modulo finite sets", so I'd use $fleq^*g$ and $Asubseteq^*B$ as Joel says. But when working modulo some ideal $I$ other than the ideal of finite sets, I'd ordinarily avoid asterisks and instead write $fleq_Ig$ and $Asubseteq_IB$.



I'd like to protest vigorously against the use of $ll$ in this situation. To me, $fll g$ means that $f$ is a lot smaller than $g$ (at least eventually), whereas here you might have $f(n)=g(n)-1$ for all $n$.

No comments:

Post a Comment