Tuple (separated from Medieval-. Quintuplus , five times', septuplus sevenfold, ' centuplus hundredfold', etc.) are in the math beside quantities an important way in which mathematical objects together. A tuple consists of a list of finitely many objects that are not necessarily different from one another. In contrast to quantities, the order of the objects plays a role. There are different ways of representing tuples formally as sets. Tuples are used in many areas of mathematics, for example as coordinates of points or as vectors in multi-dimensional vector spaces .
Tuples, regardless of their length, are seldom mentioned. Rather, one uses the word tuple and the special cases of it mentioned in the next section, if the context results in the length as a fixed number or as a named constant as . If, on the other hand, one considers many finite sequences of different lengths of elements of a basic set, one speaks of finite sequences or defines a new term that is often composed of "chain", e.g. B. string , addition string .
A tuple is a collection of mathematical objects in a list. In contrast to sets, the objects do not necessarily have to be different from one another and their order is important. Tuples are usually written using round brackets
noted, where two consecutive objects are separated by a comma . The object in the -th position is called the -th component of the tuple. Occasionally, however, other types of brackets , such as pointed or square brackets, are also used for the notation :
or short if the length of the tuple is clear from the context.
Special names for n-tuples with a lowercase n
A 2-tuple is also called an ordered pair or duple , a 3-tuple also a triple , a 4-tuple also a quadruple , a 5-tuple also a quintuple . The series is continued analogously by means of duplicate Latin numerals . The 0-tuple is called the empty tuple and is noted by.
Tuples of similar objects:
- and are two 1-tuples of elements of a set
- , and are three different 2-tuples of integers
- is a 3-tuple of sets
- is a 4-tuple of trigonometric functions
Tuples of different objects:
- A directed graph is a pair consisting of a set of nodes and a set of directed edges .
- A body is a triple consisting of a set and two two- digit links and , which have certain properties.
- A probability space is a triple consisting of a result set , a σ-algebra and a probability measure .
Equality of tuples
Two tuples and are equal if and only if they are of equal length and their corresponding components are equal, that is
- and for .
Representation as a crowd
Tuples can also be represented as sets. A simple representation of tuples is:
With this representation, the ordered pair is the set .
Another representation is based on the idea that tuples are finite sequences or families , i.e. functions with a possibly empty section of the set of positive natural numbers as an index range (ordered pairs here in square brackets):
Non-empty tuples can also be represented recursively on the basis of ordered pairs (ordered pairs also here in square brackets):
However, only a weaker form of the axiom of equality applies to tuples represented in the latter way: Two tuples of equal length are equal if and only if their corresponding components are equal .
Regardless of how tuples are represented as sets, 2-tuples behave in exactly the same way as ordered pairs and can be used like these, even if, as with the tuple representation as a finite sequence, 2-tuple and pair representations differ.
The last of the three definitions above has the advantage that it is also defined for real classes , provided that the ordered pair is defined for real classes. That is, you can z. B. Define the monoid of ordinal numbers with addition and neutral element as a tuple , although the ordinal numbers are not a set, but a real class.
Tuples are used in mathematics, for example, as coordinates of points or vectors in dimensional spaces and in computer science as data fields and structures. Consequently, rows or columns of matrices are also treated and treated as tuples.
- Heinz-Dieter Ebbinghaus : Introduction to set theory. 4th edition. Spectrum Academic Publishing House, Heidelberg u. a. 2003, ISBN 3-8274-1411-3 ( university paperback ).
- Roger Godement : Algebra. Hermann, Paris 1968.
- VN Grishin: Tuple . In: Michiel Hazewinkel (Ed.): Encyclopaedia of Mathematics . Springer-Verlag , Berlin 2002, ISBN 978-1-55608-010-4 (English, online ).
- Raymond Puzio et al. a .: Ordered tuplet . In: PlanetMath . (English)
- Eric W. Weisstein : n-tuple . In: MathWorld (English).
- V. P. Grishin: Tuple . In: Encyclopaedia of Mathematics . Springer (English, online [accessed September 24, 2010]).
- Nicolas Bourbaki : Eléments de mathématique. Première partie: Les strurures fondamentales de l'analyse. Livre I. Théorie des ensembles. Springer, Berlin 2006, ISBN 3-540-34034-3 (French).
- Arnold Oberschelp : General set theory . BI-Wiss.-Verl., Mannheim / Leipzig / Vienna / Zurich 1994, ISBN 3-411-17271-1 .