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 physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
    —Ralph Waldo Emerson (1803–1882)

    “According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
    —Ana Castillo (b. 1953)

    “Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
    —The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)