Par ordenado
Resumen inicial
Definición, formalización de Kuratowski, componentes (primera y segunda coordenada) y asimetría del par ordenado $(a, b)$.
Explicación en palabras simples
Un par ordenado es una pareja de dos elementos colocados entre paréntesis redondos y separados por una coma: $(a, b)$, donde el orden importa estrictamente. El primer elemento $a$ se llama primera componente (o abscisa) y el segundo elemento $b$ se llama segunda componente (o ordenada). A diferencia de un conjunto con llaves donde $\{1, 2\} = \{2, 1\}$, en los pares ordenados $(1, 2) \neq (2, 1)$. Por ejemplo, en un mapa o en un videojuego, la coordenada $(3, 5)$ no es la misma ubicación que $(5, 3)$.
Explicación formal
Definición formal
En la teoría axiomática de conjuntos ($\text{ZFC}$), el par ordenado se define canónicamente mediante la construcción de Kuratowski (1921):
$$(a, b) = \{\{a\}, \{a, b\}\}$$
Esta definición reduce la noción primitiva de orden espacial a la pertenencia de conjuntos puros, satisfaciendo la Propiedad Fundamental del Par Ordenado:
$$(a, b) = (c, d) \quad \iff \quad (a = c \land b = d)$$
Desglose simbólico
- Primera componente (proyección $\pi_1$): $\pi_1(a, b) = a$.
- Segunda componente (proyección $\pi_2$): $\pi_2(a, b) = b$.
- Asimetría fundamental: $a \neq b \implies (a, b) \neq (b, a)$.
- Par reflexivo: $(a, a) = \{\{a\}, \{a, a\}\} = \{\{a\}\}$.
Síntesis didáctica
El par ordenado transforma dos objetos no orientados en una entidad direccional estructurada, sirviendo de fundamento para relaciones, funciones y geometría analítica.
La alternativa correcta es '$(a, b) = \{\{a\}, \{a, b\}\}$'. Es la definición canónica de Kuratowski que permite distinguir el primer elemento.
Definiciones clave
- Par ordenado ($(a, b)$): Objeto matemático constituido por dos componentes dispuestas en un orden posicional estricto.
- Construcción de Kuratowski: Representación formal $\{\{a\}, \{a, b\}\}$ en la teoría de conjuntos.
- Proyecciones canónicas: Funciones $\pi_1(a, b) = a$ y $\pi_2(a, b) = b$.
Propiedades y relaciones importantes
- Diferenciación con conjuntos no ordenados: $\{a, b\} = \{b, a\}$, pero $(a, b) \neq (b, a)$ si $a \neq b$.
- Generalización a $n$-tuplas: $(a_1, a_2, \dots, a_n) = ((a_1, \dots, a_{n-1}), a_n)$.
Ejemplo guiado
Dado el par ordenado $P = (3, 7)$, identifica sus componentes, construye su representación formal de Kuratowski y determina si es igual al par $Q = (7, 3)$.
- Paso 1: Identificar las componentes del par $P = (3, 7)$: - Primera componente: $a = 3$. - Segunda componente: $b = 7$.
- Paso 2: Construir la representación de Kuratowski para $P$: - $(3, 7) = \{\{3\}, \{3, 7\}\}$.
- Paso 3: Construir la representación de Kuratowski para $Q = (7, 3)$: - $(7, 3) = \{\{7\}, \{7, 3\}\}$.
- Paso 4: Comparar ambos conjuntos: - En $P$, el conjunto unitario es $\{3\}$; en $Q$, el conjunto unitario es $\{7\}$. - Como $\{3\} \neq \{7\}$, se concluye que $\{\{3\}, \{3, 7\}\} \neq \{\{7\}, \{7, 3\}\}$.
- Paso 5: Concluir que $(3, 7) \neq (7, 3)$, demostrando la asimetría posicional del par ordenado.
La alternativa correcta es '$(a, b) \neq (b, a)$'. El orden de las componentes es determinante en un par ordenado.
Procedimiento
- Paso 1: Identificar la primera componente $a$ y la segunda componente $b$ dentro de los paréntesis redondos $(a, b)$.
- Paso 2: Respetar rigurosamente la posición de cada elemento.
- Paso 3: Si se requiere expresar formalmente en ZFC, aplicar la estructura $\{\{a\}, \{a, b\}\}$.
- Paso 4: Comparar pares verificando la igualdad componente a componente.
Errores frecuentes y cómo corregirlos
- Error 1: Usar llaves $\{a, b\}$ para representar un par ordenado. Cómo corregirlo: Las llaves definen un conjunto sin orden ($\{a, b\} = \{b, a\}$); los pares ordenados deben escribirse con paréntesis redondos: $(a, b)$.
- Error 2: Creer que $(a, b) = (b, a)$ cuando $a \neq b$. Cómo corregirlo: En un par ordenado la posición $1$ y la posición $2$ son asimétricas y distintas.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- La primera componente es la que precede a la coma (-4) y la segunda la que le sigue (9).
- $\{\{5\}, \{5, 5\}\} = \{\{5\}, \{5\}\} = \{\{5\}\}$.
- Un par ordenado es una estructura compuesta de dos elementos.
- La primera proyección extrae la primera coordenada.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Al terminar debes poder
Definir, identificar y construir pares ordenados $(a, b)$.
Reconocer la primera y segunda componente, aplicar la definición de Kuratowski $\{\{a\}, \{a, b\}\}$ y distinguirlos de conjuntos no ordenados.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
Un par ordenado $(a, b)$ tiene la característica de que el orden de sus componentes importa. ¿Cuál de las siguientes afirmaciones describe mejor esta propiedad?
La característica fundamental del par ordenado es que el orden importa: $(a,b) = (b,a)$ únicamente si $a = b$. De lo contrario, representan pares diferentes aunque usen los mismos elementos.
Respuesta: B) $(a, b)$ y $(b, a)$ son pares distintos, a menos que $a = b$.
-
El producto cartesiano $A \times B$ se define como el conjunto de todos los pares ordenados $(a, b)$ donde $a \in A$ y $b \in B$. Si $A = \{1, 2\}$ y $B = \{x, y\}$, ¿cuántos elementos tiene $A \times B$?
$|A \times B| = |A| \cdot |B| = 2 \cdot 2 = 4$. Los pares son: $(1, x)$, $(1, y)$, $(2, x)$ y $(2, y)$.
Respuesta: C) 4
-
¿Cuál es la diferencia fundamental entre un conjunto $\{a, b\}$ y un par ordenado $(a, b)$?
En teoría de conjuntos, $\{a, b\} = \{b, a\}$ porque el orden de los elementos no altera la identidad del conjunto. En cambio, $(a, b) \neq (b, a)$ en general, porque la primera coordenada y la segunda tienen roles distintos.
Respuesta: B) En el conjunto $\{a, b\}$ el orden no importa, mientras que en el par ordenado $(a, b)$ el orden sí importa.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Si $A = \{p, q, r\}$ y $B = \{1, 2\}$, ¿cuántos pares ordenados tiene el producto cartesiano $A \times B$?
$|A \times B| = |A| \cdot |B| = 3 \cdot 2 = 6$. Los pares son: $(p,1)$, $(p,2)$, $(q,1)$, $(q,2)$, $(r,1)$, $(r,2)$.
Respuesta: C) 6
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
Con $A = \{1, 2, 3\}$ y $B = \{a, b\}$, el par ordenado $(a, 1)$ pertenece al producto cartesiano $A \times B$.
En $A \times B$, la primera coordenada debe pertenecer a $A$ y la segunda a $B$. Aquí $a \notin A$ (ya que $A$ contiene números), por lo que $(a, 1)$ no pertenece a $A \times B$. Sí pertenecería a $B \times A$.
Respuesta: Falso
-
Si $|A| = 4$ y $|B| = 5$, entonces $|A \times B| = |B \times A| = 20$.
Aunque $A \times B \neq B \times A$ en general (los pares están en distinto orden), ambos productos tienen la misma cantidad de elementos: $|A \times B| = |A| \cdot |B| = 4 \cdot 5 = 20$ y $|B \times A| = |B| \cdot |A| = 5 \cdot 4 = 20$.
Respuesta: Verdadero
-
Si $A = \{1, 2, 3\}$ y $B = \{a, b\}$, entonces el par ordenado $(2, a)$ pertenece al producto cartesiano $A \times B$.
Para que $(2, a) \in A \times B$, necesitamos que la primera coordenada esté en $A$ y la segunda en $B$. Como $2 \in A$ y $a \in B$, el par ordenado $(2, a)$ sí pertenece a $A \times B$.
Respuesta: Verdadero
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Si $A \times B$ tiene 24 elementos y $|A| = 6$, ¿cuántos elementos tiene $B \times A$?
$|A \times B| = |A| \cdot |B| = 6 \cdot |B| = 24$, por lo que $|B| = 4$. Entonces $|B \times A| = |B| \cdot |A| = 4 \cdot 6 = 24$. El cardinal del producto cartesiano es el mismo en ambos sentidos.
Respuesta: C) 24
-
Un conjunto $A$ tiene 3 elementos. ¿Cuántos pares ordenados tiene el producto cartesiano $A \times A$?
$|A \times A| = |A|^2 = 3^2 = 9$. Cada uno de los 3 elementos de $A$ puede combinarse con cualquiera de los 3 elementos como segunda coordenada, incluyendo consigo mismo.
Respuesta: C) 9
-
Se definen los conjuntos $A = \{1, 2, 3, 4\}$ y $B = \{x, y, z\}$. ¿Cuál de las siguientes listas corresponde a un subconjunto de $A \times B$?
Para que un par $(a, b)$ pertenezca a $A \times B$, debe cumplirse $a \in A$ y $b \in B$. La opción C tiene $(1,x)$, $(2,y)$ y $(3,z)$: todas las primeras coordenadas ($1,2,3$) están en $A$ y todas las segundas ($x,y,z$) están en $B$.
Respuesta: C) $\{(1, x),\ (2, y),\ (3, z)\}$