In mathematics, the phrases arbitrarily large, arbitrarily small and arbitrarily long are used in statements to make clear of the fact that an object is large, small and long with little limitation or restraint, respectively.[1] The use of "arbitrarily" often occurs in the context of real numbers (and its subsets thereof), though its meaning can differ from that of "sufficiently" and "infinitely".
Examples
The statement
" f(x) is non-negative for arbitrarily large x."
is a shorthand for:
"For every real number n, f(x) is non-negative for some value of x greater than n."
In the common parlance, the term "arbitrary long" is often used in the context of sequence of numbers. For example, to say that there are "arbitrarily long arithmetic progressions of prime numbers" does not mean that there exists any infinitely long arithmetic progression of prime numbers (there is not), nor that there exists any particular arithmetic progression of prime numbers that is in some sense "arbitrarily long". Rather, the phrase is used to refer to the fact that no matter how large a number n is, there exists some arithmetic progression of prime numbers of length at least n.[2]
Similar to arbitrary large, one can also define the phrase " P(x) holds for arbitrarily small real numbers", as follows:[3]
\( {\displaystyle \forall \epsilon \in \mathbb {R} _{+},\,\exists x\in \mathbb {R} :|x|<\epsilon \land P(x)} \)
In other words:
However small a number, there will be a number x smaller than it such that P(x) holds.
Arbitrarily large vs. sufficiently large vs. infinitely large
While similar, "arbitrarily large" is not equivalent to "sufficiently large". For instance, while it is true that prime numbers can be arbitrarily large (since there are infinitely many of them due to Euclid's theorem), it is not true that all sufficiently large numbers are prime.
As another example, the statement " f(x) is non-negative for arbitrarily large x." could be rewritten as:
\( {\displaystyle \forall n\in \mathbb {R} {\mbox{, }}\exists x\in \mathbb {R} {\mbox{ such that }}x>n\land f(x)\geq 0} \)
However, using "sufficiently large", the same phrase becomes:
\( {\displaystyle \exists n\in \mathbb {R} {\mbox{ such that }}\forall x\in \mathbb {R} {\mbox{, }}x>n\Rightarrow f(x)\geq 0} \)
Furthermore, "arbitrarily large" also does not mean "infinitely large".[1] For example, although prime numbers can be arbitrarily large, an infinitely large prime number does not exist—since all prime numbers (as well as all other integers) are finite.
In some cases, phrases such as "the proposition P(x) is true for arbitrarily large x" are used primarily for emphasis, as in " P(x) is true for all x, no matter how large x is." In these cases, the phrase "arbitrarily large" does not have the meaning indicated above (i.e., "however large a number, there will be some larger number for which P(x) still holds."[4]). Instead, the usage in this case is in fact logically synonymous with "all".
See also
Sufficiently large
Mathematical jargon
References
"The Definitive Glossary of Higher Mathematical Jargon — Arbitrarily". Math Vault. 2019-08-01. Retrieved 2019-11-19.
4 Arbitrarily Large Data. Archived February 22, 2012, at the Wayback Machine Accessed 21 February 2012
"Definition:Arbitrarily Small - ProofWiki". proofwiki.org. Retrieved 2019-11-19.
"Definition:Arbitrarily Large - ProofWiki". proofwiki.org. Retrieved 2019-11-19.
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
