Search results
Results from the WOW.Com Content Network
The ordered pair (a, b) is different from the ordered pair (b, a), unless a = b. In contrast, the unordered pair, denoted {a, b}, equals the unordered pair {b, a}. Ordered pairs are also called 2-tuples, or sequences (sometimes, lists in a computer science context) of length 2. Ordered pairs of scalars are sometimes called 2-dimensional vectors.
An inversion may be denoted by the pair of places (2, 4) or the pair of elements (5, 2). The inversions of this permutation using element-based notation are: (3, 1), (3, 2), (5, 1), (5, 2), and (5,4). In computer science and discrete mathematics, an inversion in a sequence is a pair of elements that are out of their natural order.
The total ordering is defined by considering x and y as sets of ordered pairs (as a function is normally defined): Either x = y, or else the surreal number z = x ∩ y is in the domain of x or the domain of y (or both, but in this case the signs must disagree).
An ordered pair is a 2-tuple or couple. More generally still, one can define the Cartesian product of an indexed family of sets. The Cartesian product is named after René Descartes , [ 5 ] whose formulation of analytic geometry gave rise to the concept, which is further generalized in terms of direct product .
The example at left is that of an orthogonal array with symbol set {1,2} and strength 2. Notice that the four ordered pairs (2-tuples) formed by the rows restricted to the first and third columns, namely (1,1), (2,1), (1,2) and (2,2), are all the possible ordered pairs of the two element set and each appears exactly once.
Vectors can be specified using either ordered pair notation (a subset of ordered set notation using only two components), or matrix notation, as with rectangular coordinates. In these forms, the first component of the vector is r (instead of v 1), and the second component is θ (instead of v 2).
More generally, a pairing function on a set is a function that maps each pair of elements from into an element of , such that any two pairs of elements of are associated with different elements of , [5] [a] or a bijection from to .
To see this, first note that there are 2 n ordered pairs of complementary subsets A and B. In one case, A is empty, and in another B is empty, so 2 n − 2 ordered pairs of subsets remain. Finally, since we want unordered pairs rather than ordered pairs we divide this last number by 2, giving the result above.