Ascending tuples of integers

asked 2013-12-11 04:27:21 +0200

Gonneman gravatar image

Hi everyone,

I'm trying to define the set of all tuples of ascending integers (any length, repetitions allowed). What is the best way to do this? Do I use Family()? I'd like to use this set enumerate the basis of a combinatorial free algebra.

Bonus question: Is it possible to add an extra label to each integer in the tuple?

edit retag flag offensive close merge delete


Isn't this equivalent to the set of tuples of non-negative integers via the correspondence (x0,x1,x2,x3,...,xk) <-> (x0,x1-x0,x2-x1,x3-x2,...,xk-x[k-1]) (I guess you can allow x0 to be negative if that fits your description)

nbruin gravatar imagenbruin ( 2013-12-12 01:37:35 +0200 )edit