Par Ordenado
Un par ordenado es un conjunto de dos números escritos en la forma (x, y) que indica la ubicación exacta de un punto en el plano cartesiano.
Definition
Un par ordenado son dos números dentro de paréntesis, separados por una coma, como $(3, 5)$: el primer número ($x$) es el desplazamiento horizontal desde el origen a lo largo del eje x, y el segundo ($y$) es el desplazamiento vertical a lo largo del eje y. El par es "ordenado" porque intercambiar los valores generalmente produce un punto diferente, una idea que se extiende a las ternas ordenadas $(x, y, z)$ en el espacio 3D y a las n-tuplas en dimensiones superiores. Formalmente, un par ordenado $(a, b)$ se define mediante la definición de Kuratowski como el conjunto $\{\{a\}, \{a, b\}\}$, garantizando que $(a, b) = (c, d)$ si y solo si $a = c$ y $b = d$; esta definición conjuntista es la base del producto cartesiano $A \times B = \{(a, b) : a \in A, b \in B\}$.
Example
Para graficar $(4, 2)$: comienza en el origen, muévete $4$ espacios a la derecha, luego $2$ espacios hacia arriba; para graficar $(-3, 5)$: muévete $3$ espacios a la izquierda, luego $5$ espacios hacia arriba. El punto $(-5, 3)$ está $5$ unidades a la izquierda y $3$ unidades hacia arriba del origen, ubicándolo en el Cuadrante II, mientras que $(3, -5)$ está $3$ unidades a la derecha y $5$ unidades hacia abajo, ubicándolo en el Cuadrante IV, ubicaciones distintas aunque se usen los mismos dígitos. El producto cartesiano $\mathbb{R} \times \mathbb{R} = \mathbb{R}^2$ es el conjunto de todos los pares ordenados de números reales, formando el plano cartesiano, con relaciones y funciones definidas como subconjuntos de productos cartesianos.
Key Insight
La palabra "ordenado" es clave: $(3, 5)$ y $(5, 3)$ son puntos diferentes en la cuadrícula, siendo el primer número siempre la coordenada x y el segundo siempre la coordenada y. La formalización de los pares ordenados por Hausdorff y Kuratowski a principios del siglo XX fue crucial para construir las matemáticas sobre una base rigurosa de teoría de conjuntos, mostrando que incluso las nociones aparentemente primitivas pueden reducirse a la teoría de conjuntos pura.