En matemáticas , un par ordenado ( a , b ) es un par de objetos. El orden en que aparecen los objetos en el par es significativo: el par ordenado ( a , b ) es diferente del par ordenado ( b , a ) a menos que a = b . (Por el contrario, el par desordenado { a , b } es igual al par desordenado { b , a }.)
Los pares ordenados también se denominan 2-tuplas o secuencias (a veces, listas en un contexto informático) de longitud 2. Los pares ordenados de escalares a veces se denominan vectores bidimensionales . (Técnicamente, esto es un abuso de terminología ya que un par ordenado no necesita ser un elemento de un espacio vectorial ). Las entradas de un par ordenado pueden ser otros pares ordenados, lo que permite la definición recursiva de n -tuplas ordenadas (listas ordenadas de n objetos). Por ejemplo, el triple ordenado ( a , b , c ) se puede definir como ( a , ( b , c )), es decir, como un par anidado en otro.
En el par ordenado ( a , b ), el objeto a se denomina primera entrada y el objeto b segunda entrada del par. Alternativamente, los objetos se denominan componentes primero y segundo , coordenadas primera y segunda o proyecciones izquierda y derecha del par ordenado.
Los productos cartesianos y las relaciones binarias (y por tanto las funciones ) se definen en términos de pares ordenados, cf. imagen.
Sean y sean pares ordenados. Entonces la propiedad característica (o definitoria ) del par ordenado es:
El conjunto de todos los pares ordenados cuya primera entrada está en algún conjunto A y cuya segunda entrada está en algún conjunto B se llama producto cartesiano de A y B , y se escribe A × B. Una relación binaria entre los conjuntos A y B es un subconjunto de A × B.
La notación ( a , b ) se puede utilizar para otros fines, sobre todo para indicar intervalos abiertos en la recta numérica real . En tales situaciones, el contexto normalmente dejará claro qué significado se pretende. [1] [2] Para mayor aclaración, el par ordenado puede denotarse mediante la notación variante , pero esta notación también tiene otros usos.
La izquierda y la derechaLa proyección de un par p generalmente se denota por π 1 ( p ) y π 2 ( p ), o por π ℓ ( p ) y π r ( p ), respectivamente. En contextos dondese consideran n -tuplas arbitrarias, πn
yo( t ) es una notación común para el i -ésimo componente de una n -tupla t .
En algunos libros de texto de introducción a las matemáticas se da una definición informal (o intuitiva) de par ordenado, como
Para dos objetos cualesquiera a y b , el par ordenado ( a , b ) es una notación que especifica los dos objetos a y b , en ese orden. [3]
Esto suele ir seguido de una comparación con un conjunto de dos elementos; señalando que en un conjunto a y b deben ser diferentes, pero en un par ordenado pueden ser iguales y que si bien el orden de enumeración de los elementos de un conjunto no importa, en un par ordenado cambiar el orden de las entradas distintas cambia el par ordenado.
Esta "definición" es insatisfactoria porque es sólo descriptiva y se basa en una comprensión intuitiva del orden . Sin embargo, como se señala a veces, no resultará perjudicial confiar en esta descripción y casi todo el mundo piensa en los pares ordenados de esta manera. [4]
Un enfoque más satisfactorio es observar que la propiedad característica de los pares ordenados dada anteriormente es todo lo que se requiere para comprender el papel de los pares ordenados en matemáticas. De ahí que el par ordenado pueda tomarse como una noción primitiva , cuyo axioma asociado es la propiedad característica. Este fue el enfoque adoptado por el grupo de N. Bourbaki en su Teoría de conjuntos , publicada en 1954. Sin embargo, este enfoque también tiene sus inconvenientes ya que tanto la existencia de pares ordenados como su propiedad característica deben asumirse axiomáticamente. [3]
Otra forma de abordar rigurosamente los pares ordenados es definirlos formalmente en el contexto de la teoría de conjuntos. Esto se puede hacer de varias maneras y tiene la ventaja de que la existencia y la propiedad característica se pueden probar a partir de los axiomas que definen la teoría de conjuntos. Una de las versiones más citadas de esta definición se debe a Kuratowski (ver más abajo) y su definición se utilizó en la segunda edición de la Teoría de conjuntos de Bourbaki , publicada en 1970. Incluso aquellos libros de texto de matemáticas que dan una definición informal de pares ordenados a menudo Mencione la definición formal de Kuratowski en un ejercicio.
Si estamos de acuerdo en que la teoría de conjuntos es un fundamento atractivo de las matemáticas , entonces todos los objetos matemáticos deben definirse como conjuntos de algún tipo. Por tanto, si el par ordenado no se toma como primitivo, debe definirse como un conjunto. [5] A continuación se dan varias definiciones teóricas de conjuntos del par ordenado (ver también [6] ).
Norbert Wiener propuso la primera definición teórica establecida del par ordenado en 1914: [7]
Wiener usó {{ b }} en lugar de { b } para hacer que la definición fuera compatible con la teoría de tipos , donde todos los elementos de una clase deben ser del mismo "tipo". Con b anidado dentro de un conjunto adicional, su tipo es igual a 's.
Casi al mismo tiempo que Wiener (1914), Felix Hausdorff propuso su definición:
En 1921, Kazimierz Kuratowski ofreció la definición ahora aceptada [9] [10] del par ordenado ( a , b ):
Dado algún par ordenado p , la propiedad " x es la primera coordenada de p " se puede formular como:
Si entonces:
Así es como podemos extraer la primera coordenada de un par (usando la notación de operación iterada para intersección arbitraria y unión arbitraria ):
Así es como se puede extraer la segunda coordenada:
(si , entonces el conjunto {y} podría obtenerse de forma más sencilla: , pero la fórmula anterior también tiene en cuenta el caso en que x=y)
La definición anterior de Kuratowski del par ordenado es "adecuada" porque satisface la propiedad característica que debe satisfacer un par ordenado, a saber, que . En particular, expresa adecuadamente "orden", en el sentido de que es falso a menos que ... Existen otras definiciones, de similar o menor complejidad, que son igualmente adecuadas:
La definición inversa es simplemente una variante trivial de la definición de Kuratowski y, como tal, no tiene ningún interés independiente. La definición se llama corta porque requiere dos pares de tirantes en lugar de tres . Demostrar que short satisface la propiedad característica requiere el axioma de regularidad de la teoría de conjuntos de Zermelo-Fraenkel . [12] Además, si se utiliza la construcción teórica de conjuntos de von Neumann de los números naturales , entonces 2 se define como el conjunto {0, 1} = {0, {0}}, que es indistinguible del par (0, 0 ) corto . Otra desventaja más del par corto es el hecho de que, incluso si a y b son del mismo tipo, los elementos del par corto no lo son. (Sin embargo, si a = b entonces la versión corta sigue teniendo cardinalidad 2, que es algo que uno podría esperar de cualquier "par", incluido cualquier "par ordenado".)
Demuestre: ( a , b ) = ( c , d ) si y solo si a = c y b = d .
Kuratowski :
Si . Si a = c y b = d , entonces {{ a }, { a , b }} = {{ c }, { c , d }}. Por lo tanto ( a, b ) K = ( c , d ) K .
Sólo si . Dos casos: a = b y a ≠ b .
Si a = b :
Si a ≠ b , entonces ( a , b ) K = ( c , d ) K implica {{ a }, { a , b }} = {{ c }, { c , d }}.
Inversa :
( a, b ) inversa = {{ b }, { a, b }} = {{ b }, { b, a }} = ( b, a ) K .
Si . Si ( a, b ) inversa = ( c , d ) inversa , ( b, a ) K = ( d, c ) K. Por lo tanto, b = d y a = c .
Sólo si . Si a = c y b = d , entonces {{ b }, { a, b }} = {{ d }, { c, d }}. Por lo tanto ( a, b ) inversa = ( c, d ) inversa .
Corto: [13]
Si : Si a = c y b = d , entonces { a , { a, b }} = { c , { c, d }}. Así ( a, b ) corto = ( c, d ) corto .
Solo si : Supongamos { a , { a, b }} = { c , { c, d }}. Entonces a está en el lado izquierdo y, por tanto, en el lado derecho. Debido a que conjuntos iguales tienen elementos iguales, uno de a = c o a = { c, d } debe ser el caso.
Nuevamente, vemos que { a, b } = c o { a, b } = { c, d }.
Rosser (1953) [14] empleó una definición del par ordenado debida a Quine que requiere una definición previa de los números naturales . Sea el conjunto de los números naturales y definamos primero
Finalmente, defina el par ordenado ( A , B ) como la unión disjunta
Extrayendo todos los elementos del par que no contienen 0 y deshaciendo se obtiene A . Asimismo, B se puede recuperar a partir de los elementos del par que sí contienen 0. [15]
Por ejemplo, el par está codificado como se proporciona .
En la teoría de tipos y sus consecuencias, como la teoría de conjuntos axiomáticos NF , el par Quine-Rosser tiene el mismo tipo que sus proyecciones y, por lo tanto, se denomina par ordenado de "nivel de tipo". Por tanto, esta definición tiene la ventaja de permitir que una función , definida como un conjunto de pares ordenados, tenga un tipo sólo 1 mayor que el tipo de sus argumentos. Esta definición sólo funciona si el conjunto de números naturales es infinito. Este es el caso en NF , pero no en la teoría de tipos ni en NFU . J. Barkley Rosser demostró que la existencia de tal par ordenado a nivel de tipo (o incluso un par ordenado que "aumenta el tipo en 1") implica el axioma del infinito . Para un análisis extenso del par ordenado en el contexto de las teorías de conjuntos quinianas, véase Holmes (1998). [dieciséis]
Al principio del desarrollo de la teoría de conjuntos, antes de que se descubrieran las paradojas, Cantor siguió a Frege al definir el par ordenado de dos conjuntos como la clase de todas las relaciones que se mantienen entre estos conjuntos, asumiendo que la noción de relación es primitiva: [17]
Esta definición es inadmisible en la mayoría de las teorías de conjuntos formalizadas modernas y es metodológicamente similar a definir el cardinal de un conjunto como la clase de todos los conjuntos equipotentes con el conjunto dado. [18]
La teoría de conjuntos de Morse-Kelley hace uso gratuito de las clases adecuadas . [19] Morse definió el par ordenado de modo que sus proyecciones pudieran ser clases y conjuntos propios. (La definición de Kuratowski no permite esto). Primero definió pares ordenados cuyas proyecciones son conjuntos a la manera de Kuratowski. Luego redefinió la pareja.
Esto genera pares posibles cuyas proyecciones son clases adecuadas. La definición anterior de Quine-Rosser también admite clases adecuadas como proyecciones. De manera similar, el triple se define como una tupla de 3 de la siguiente manera:
El uso del conjunto singleton que tiene un conjunto vacío insertado permite que las tuplas tengan la propiedad de unicidad de que si a es una n -tupla y b es una m -tupla y a = b entonces n = m . Los triples ordenados que se definen como pares ordenados no tienen esta propiedad con respecto a los pares ordenados.
Los pares ordenados también se pueden introducir axiomáticamente en la teoría de conjuntos de Zermelo-Fraenkel (ZF) simplemente agregando a ZF un nuevo símbolo de función de aridad 2 (generalmente se omite) y un axioma definitorio para :
Esta definición es aceptable porque esta extensión de ZF es una extensión conservadora . [ cita necesaria ]
La definición ayuda a evitar los llamados teoremas accidentales como (a,a) = {{a}}, {a} ∈ (a,b), si la definición de Kuratowski (a,b) = {{a}, {a,b }} se utilizó.
Un producto de teoría de categorías A × B en una categoría de conjuntos representa el conjunto de pares ordenados, con el primer elemento proveniente de A y el segundo proveniente de B. En este contexto , la propiedad característica anterior es una consecuencia de la propiedad universal del producto y del hecho de que los elementos de un conjunto X pueden identificarse con morfismos de 1 (un conjunto de un elemento) a X. Si bien diferentes objetos pueden tener la propiedad universal, todos son naturalmente isomórficos .