N-tupla
En matemáticas, una tupla es una lista (secuencia) ordenada finita de elementos. Una n-tupla es una secuencia (o lista ordenada) de n elementos, donde n es un número entero no negativo. Sólo hay una tupla 0, denominada tupla vacía. Una n-tupla se define inductivamente mediante la construcción de un par ordenado.
Los matemáticos suelen escribir tuplas enumerando los elementos entre paréntesis "()" y separados por comas; por ejemplo, (2, 7, 4, 1, 7) denota una tupla de 5. A veces se utilizan otros símbolos para rodear los elementos, como corchetes "[]" o corchetes angulares "⟨⟩". Las llaves "{}" se utilizan para especificar matrices en algunos lenguajes de programación, pero no en expresiones matemáticas, ya que son la notación estándar para conjuntos. El término tupla puede aparecer a menudo cuando se habla de otros objetos matemáticos, como los vectores.
En informática, las tuplas se presentan de muchas formas. La mayoría de los lenguajes de programación funcional tipificados implementan tuplas directamente como tipos de productos, estrechamente asociados con tipos de datos algebraicos, coincidencia de patrones y asignación de desestructuración. Muchos lenguajes de programación ofrecen una alternativa a las tuplas, conocidas como tipos de registro, que presentan elementos desordenados a los que se accede por etiqueta. Algunos lenguajes de programación combinan tipos de productos de tuplas ordenadas y tipos de registros desordenados en una única construcción, como en las estructuras C y los registros Haskell. Las bases de datos relacionales pueden identificar formalmente sus filas (registros) como tuplas.
Las tuplas también ocurren en el álgebra relacional; al programar la web semántica con Resource Description Framework (RDF); en lingüística; y en filosofía.
El término tupla se generó sencillamente de una generalización de la secuencia siguiente: dupla, tripla, cuádrupla, quíntupla, ... n-tupla. Una tupla de longitud n se describe generalmente como una n-tupla. Una 2-tupla, por ejemplo, se denomina un par o dupla; una 3-tupla una tripla o tripleta (en Hispanoamérica también se usa terna o triada). El prefijo n puede ser por generalización cualquier número entero positivo; se puede, por ejemplo, denominar un cuaternión mediante la representación de una 4-tupla, y continuar generando nombres sucesivamente, tales como una octupla, pero muchos matemáticos prefieren la denominación rápida y sencilla de escribir una "8-tupla" incluso si se pronunciara como "octupla".
Aunque es un término utilizado habitualmente dentro de la matemática y la programación, la palabra «tupla» no está en el diccionario de la Real Academia Española, ni como sufijo ni como término independiente.
Las principales propiedades que distinguen una tupla de, por ejemplo, un conjunto, son que en dicha tupla:
Es de notar que la primera de las características distingue de lo que se denomina un multiconjunto y la segunda de los que se denomina un conjunto ordenado. Esto se puede formalizar dando la siguiente regla de identidad para dos n-tuplas:
Otra forma de formalizar tuplas es mediante asociación biyectiva entre la definición de una tupla y una construcción más primitiva en la teoría de conjuntos tal y como pares ordenados. Por ejemplo, una n-tupla (con n> 2) se puede definir como un par ordenado de su primera entrada y (n−1)-tupla que contenga el resto de las entradas, de tal forma que:
Empleando la definición más corriente dentro de la teoría de conjuntos para un par ordenado y dejando que el conjunto vacío represente la tupla vacía, se puede obtener un resultado correcto empleando una definición por inductiva:
Empleando esta definición, la 3-tupla podría ser:
Existe una similitud importante aquí con la forma en que se describen objetos en algunos lenguajes informáticos, tales como Lisp en los que generalmente se emplea un par ordenado, y se emplea esta abstracción para iterar todos los elementos de la estructura del n-tupla, para ello se procede de la siguiente forma:
En las ciencias de la computación una tupla puede tener dos significados distintos. Generalmente en los lenguajes de programación funcional y en otros lenguajes de programación, una tupla es un objeto que bien puede tener datos o diversos objetos, de forma similar a una tupla definida matemáticamente. Un objeto de este tipo es conocido también como registro (o record en inglés).
Una definición más formal del anterior párrafo sería: Conjunto de elementos de distinto tipo que se guardan de forma consecutiva en memoria.
En algunos lenguajes y especialmente en la teoría de bases de datos, una tupla se define como una función finita que mapea (asocia unívocamente) los nombres con algunos valores. Su propósito es el mismo que se definió en las matemáticas.
Un pequeño ejemplo puede ilustrar esto:
En este caso se trata de una función que mapea el campo "jugador" con la cadena "Luis" y el campo "puntuación" al número entero 25. Es de notar que el orden de los componentes no es relevante, de esta forma la misma tupla puede ser re-escrita como: ( puntuación : 25, jugador : "Luis" ). En un modelo relacional tal y como se define en las tuplas, se suele representar una proposición simple, en este caso existe un jugador con el nombre "Luis" y que posee una puntuación de 25.
En los lenguajes de programación las tuplas se suelen usar para formar estructuras de datos. Por ejemplo, lo siguiente podría ser una definición de una estructura de datos para una lista enlazada:
Se suele emplear las tuplas en la definición de ciertos elementos en los lenguajes de marcado, tales como XML. En particular forma parte muy importante en parte del diseño de Taxonomías en el lenguaje XBRL para describir informes financieros.
Las tuplas encuentran cabida en el estudio teórico de las bases de datos sobre todo en el campo del cálculo relacional ya que proporcionan una notación básica para formular la definición de la relación en términos de las relaciones de la base de datos. En el cálculo relacional se emplea el cálculo orientado a tuplas, frente al orientado a dominio. Se emplea muy a menudo en la definición a gran nivel de las definiciones de los pares atributo-valor.