Infinite Increasing Subsequences
If (, ≤) is wqo then every infinite sequence, … contains an infinite increasing subsequence ≤≤≤… (with <<<…). Such a subsequence is sometimes called perfect. This can be proved by a Ramsey argument: given some sequence, consider the set of indexes such that has no larger or equal to its right, i.e., with . If is infinite, then the -extracted subsequence contradicts the assumption that is wqo. So is finite, and any with larger than any index in can be used as the starting point of an infinite increasing subsequence.
The existence of such infinite increasing subsequences is sometimes taken as a definition for well-quasi-ordering, leading to an equivalent notion.
Read more about this topic: Well-quasi-ordering
Famous quotes containing the words infinite and/or increasing:
“He that will consider the infinite power, wisdom, and goodness of the Creator of all things, will find reason to think it was not all laid out upon so inconsiderable, mean, and impotent a creature as he will find man to be; who, in all probability, is one of the lowest of all intellectual beings.”
—John Locke (1632–1704)
“Have you not a moist eye, a dry hand, a yellow cheek, a white
beard, a decreasing leg, an increasing belly? Is not your
voice broken, your wind short, your chin double, your wit
single, and every part about you blasted with antiquity? and
will you yet call yourself young?”
—William Shakespeare (1564–1616)