Professional Documents
Culture Documents
Ir a la navegaciónIr a la búsqueda
Un par ordenado (a, b) no es el conjunto que contiene a a y b, denotado por {a, b}. Un conjunto
está definido únicamente por sus elementos, mientras que en un par ordenado el orden de estos
es también parte de su definición. Por ejemplo, los conjuntos {0, 1} y {1, 0} son idénticos, pero los
pares ordenados (0, 1) y (1, 0) son distintos.
Los pares ordenados también se denominan tuplas o vectores dimensionales. La noción de una
colección finita de objetos ordenada puede generalizarse a más de dos objetos, dando lugar al
concepto de n-tupla.
El producto cartesiano de conjuntos, las relaciones binarias, las coordenadas cartesianas, las
fracciones y las funciones se definen en términos de pares ordenados.
Índice
1 Definición
1.2 Generalizaciones
2 Definición conjuntista
3 Referencias
4 Bibliografía
Definición
La propiedad característica que define un par ordenado es la condición para que dos de ellos sean
idénticos:
Dos pares ordenados (a, b) y (c, d) son idénticos si y sólo si coinciden sus primer y segundo
elemento respectivamente:
{\displaystyle (a,b)=(c,d)\ {\text{ si y solo si }}\ a=c\ {\text{ y }}\ b=d\!} {\displaystyle (a,b)=(c,d)\
{\text{ si y solo si }}\ a=c\ {\text{ y }}\ b=d\!}
Producto cartesiano
Dados dos conjuntos X e Y, la colección de todos los pares ordenados (x, y), formados con un
primer elemento en X y un segundo elemento en Y, se denomina el producto cartesiano de X e Y, y
se denota X × Y. El producto cartesiano de conjuntos permite definir relaciones y funciones.
Generalizaciones
Es habitual trabajar con colecciones ordenadas de más de dos objetos, sin más que extender la
definición del par ordenado. Por ejemplo, un trío ordenado o terna ordenada es una terna de
objetos matemáticos en la que se distinguen un primer, segundo y tercer elemento. La propiedad
principal de un trío ordenado es entonces:
En general se puede adoptar una definición similar para un número cualquiera de elementos n,
dando lugar así a una n-tupla.
Definición conjuntista
La condición de igualdad entre pares ordenados es su única propiedad matemática relevante.1 Sin
embargo, en teoría de conjuntos se construyen todos los objetos matemáticos a partir de
conjuntos: números, funciones, etc. En este contexto, se define par ordenado como un conjunto
particular de tal manera que su relación de igualdad sea la correcta.
Mediante el axioma de extensionalidad y el axioma del par puede demostrarse que este término
define un conjunto, con la propiedad característica del par ordenado.3
Esquemas sustitutivos