In mathematics, an interleave sequence is obtained by merging two

sequence In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called ...

s via an

in shuffle The faro shuffle (American), weave shuffle (British), or dovetail shuffle is a method of shuffling playing cards, in which half of the deck is held in each hand with the thumbs inward, then cards are released by the thumbs so that they fall to the ...

. Let

S

be a set, and let

(x_i)

and

(y_i)

i=0,1,2,\ldots,

be two

s in

S.

The interleave sequence is defined to be the sequence

x_0, y_0, x_1, y_1, \dots.

Formally, it is the sequence

(z_i), i=0,1,2,\ldots

given by :

z_i := \begin x_ & \text i \text \\
 y_ & \text i \text  \end

Properties

* The interleave sequence

(z_i)

is convergent

if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is bi ...

the sequences

(x_i)

and

(y_i)

are convergent and have the same limit. * Consider two

real number In mathematics, a real number is a number that can be used to measurement, measure a ''continuous'' one-dimensional quantity such as a distance, time, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small var ...

s ''a'' and ''b'' greater than zero and smaller than 1. One can interleave the sequences of digits of ''a'' and ''b'', which will determine a third number ''c'', also greater than zero and smaller than 1. In this way one obtains an injection from the square (0, 1)×(0, 1) to the interval (0, 1). Different radixes give rise to different injections; the one for the binary numbers is called the

Z-order curve In mathematical analysis and computer science, functions which are Z-order, Lebesgue curve, Morton space-filling curve, Morton order or Morton code map multidimensional data to one dimension while preserving locality of the data points. It ...

or Morton code..

References

{{PlanetMath attribution, id=449, title=Interleave sequence Real analysis Sequences and series