# What's the difference between tuples and sequences?

Both are ordered collections that can have repeated elements. Is there a difference? Are there other terms that are used for similar concepts, and how are these terms different?

-

A sequence requires each element to be of the same type.
A tuple can have elements with different types.

You can compare it with arrays and structs in C (respectively).

For example, let's consider the DFA $(Q,F,s,\delta,\Sigma)$ quintuple. It's a tuple with the full set of states $Q$; a set of final states $F$; a starting state $s$; the state transition function $\delta$ and the alphabet $\Sigma$.

-
+1, an interesting take. – lhf Mar 21 '12 at 0:12
Is this by definition, or by convention? – Andres Riofrio Mar 21 '12 at 2:59
One definition of an infinite sequence is as a function from $\mathbb N$ to some target space $X$, hence every element must live in the space $X$. – dls Mar 21 '12 at 3:37
This is customary usage, not part of a formal definition. But it's practically forced on us by the purposes for which tuples are used. I'm thinking of a statistical data set in which each data point is a tuple in which the first component is a person's height, the second his weight, the third his income, the fourth his SAT scores, etc. The components are not measured in the same units as each other. Each data point is a tuple. – Michael Hardy Mar 21 '12 at 17:41
@ratchetfreak: Your explanation with respect to types seems to be computer language centered. Do you also have a mathematical concept of the term type in mind when distinguishing between same type and different types? Maybe you could add a helpful statement in your answer. – Markus Scheuer Jun 15 '15 at 11:43

A tuple is usually finite, a sequence usually infinite, but these are not hard restrictions.

-
By convention, I assume. – Andres Riofrio Mar 21 '12 at 2:59
This caught us by surprise today. There are no strict defenitions? :O Really? Usually, by convention. Sounds weird for mathematics. Seems like we just have two terms for one thing and a convention... Occam's razor to the rescue! – Wildcat Mar 1 '13 at 18:31

The difference seems to be:

• A psychological difference: people often think about the concepts differently.
• A difference in the way people encode these when reducing everything to set theory. This is probably never a useful thing to do except when what you're doing is set theory.
-
Could you expand on both differences? How do people tend to think of tuples that is different than how they think of sequences (is ratchet freak's answer an example of that)? How do people encode tuples and sequences using sets (Wikipedia is silent about sequences)? – Andres Riofrio Mar 20 '12 at 20:31
I agree with ratchet freak. – Michael Hardy Mar 21 '12 at 1:58
What you are saying here is basically a verification that they indeed are different, and even though you give examples of in what cases they differ, you still don't explain how they differ, which is what I think the question aims at. If you would explain how they differ, that is, how people think about the two concepts (and why these differ), and how people encode them when reducing everything to set theory (and why these differ), your answer would be a lot more satisfying. – HelloGoodbye Jan 4 '14 at 15:31

Using a basic set theoretic definition, a tuple (a, b, c, ..) represents an element of the Cartesian product of sets A x B x C ...

In a vector space the tuple represents the components of a vector in terms of basis vectors.

A sequence on the other hand represents a function (usually of the natural numbers) to some set A, and strictly speaking a sequence is then a subset of N x A.

For numeric sequences, It makes sense to consider whether they are convergent. One could add the elements of a numeric sequence to get a series and consider if the corresponding series is convergent. I can't think of any equivalent concept for tuples even when they comprise numeric values.

-

To make your life easier...just use the widely accepted difference that tuples are finite sequences. So whenever your sequence has a finite number of elements, consider it a tuple! Otherwise it is just a sequence. For me that is the distinction that I have safely used over the years....and still use!

-
Velcome to the site! – kjetil b halvorsen May 13 '14 at 10:02

Sequences' elements are indexed with natural numbers N.

Tuples' elements are indexed with positive integers N*.

Sequence is use to define relations in general
(i.e. where the cardinality of arbitrary sets is not clearly identified).

Tuple is use to define finitary relations in particular
(i.e. where the cardinality of finite sets can be directly identified).

"While the cardinality of a finite set is just the number of its elements, extending the notion to infinite sets usually starts with defining the notion of comparison of arbitrary (in particular infinite) sets." From Wikipedia, the free encyclopedia.

-
The first set of assertions is wrong in my experience. Most mathematical literature that I've seen starts indexing from $1$ for both "sequences" and "tuples". Those with a computer science bent and those who like to use the set-theoretic definition of the non-negative integers might prefer to start from $0$ for both, not just for sequences. I don't know what the second set of assertions is supposed to mean. And the Wiki quote is irrelevant. – epimorphic Jun 14 '15 at 19:32
Tuples are sequences starting from 1. – Jocelyn Jun 14 '15 at 19:42
Sequences starting at 0 are not Tuples but simply sequences. – Jocelyn Jun 14 '15 at 19:56
Here (go to Section 28, "K-Tuples; Finite Sequences"), here and here we have tuples starting from 0. And en.wikipedia.org/wiki/Sequence#Indexing states "Sequences can be indexed beginning and ending from any integer." – epimorphic Jun 14 '15 at 21:09
"Sequences can be indexed beginning and ending from any integer." This is true for Sequences not for Tuples. Starting Tuples from 0 or 1 is a user's choice - I prefer starting tuples from 1 since the "size" is directly given from the number k for a k-tuple. – Jocelyn Jun 14 '15 at 23:20