Iterated Binary Operation - Definition

Definition

Denote by aj,k, with j ≥ 0 and k ≥ j, the finite sequence of length k − j of elements of S, with members (ai), for j ≤ i < k. Note that if k = j, the sequence is empty.

For f : S × S, define a new function Fl on finite nonempty sequences of elements of S, where

F_l(\mathbf{a}_{0,k})= \begin{cases} a_0, &k=1\\ f(F_l(\mathbf{a}_{0,k-1}), a_k), &k>1 \end{cases}.

Similarly, define

F_r(\mathbf{a}_{0,k})= \begin{cases} a_0, &k=1\\ f(a_0, F_r(\mathbf{a}_{1,k})), &k>1 \end{cases}.

If f has a unique left identity e, the definition of Fl can be modified to operate on empty sequences by defining the value of Fl on an empty sequence to be e (the previous base case on sequences of length 1 becomes redundant). Similarly, Fr can be modified to operate on empty sequences if f has a unique right identity.

If f is associative, then Fl equals Fr, and we can simply write F. Moreover, if an identity element e exists, then it is unique (see Monoid).

If f is commutative and associative, then F can operate on any non-empty finite multiset by applying it to an arbitrary enumeration of the multiset. If f moreover has an identity element e, then this is defined to be the value of F on an empty multiset. If f is idempotent, then the above definitions can be extended to finite sets.

If S also is equipped with a metric or more generally with topology that is Hausdorff, so that the concept of a limit of a sequence is defined in S, then an infinite iteration on a countable sequence in S is defined exactly when the corresponding sequence of finite iterations converges. Thus, e.g., if a0, a1, a2, a3, ... is an infinite sequence of real numbers, then the infinite product is defined, and equal to if and only if that limit exists.

Read more about this topic:  Iterated Binary Operation

Famous quotes containing the word definition:

    “The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
    —William James (1842–1910)

    “The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
    —Jean Baudrillard (b. 1929)

    “Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
    —Elaine Heffner (20th century)