Diferencia entre revisiones de «Tupla»
Contenido eliminado Contenido añadido
m Bot: [[Par ordenado|par ordenado]] → [[par ordenado]] ,∵Replaced piped link to regular link PR:CW #64 |
Faltaban dos paréntesis ")" en una fórmula. |
||
Línea 19:
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 [[par ordenado|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:
:<math>(a_1, a_2, \ldots, a_n) = (a_1, (a_2, (\ldots, (a_n))))</math>
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 [[Inducción matemática|inductiva]]:
| |||