1.3: Relaciones
- Page ID
- 152035
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Las relaciones juegan un papel fundamental en la teoría de probabilidad, como en la mayoría de las otras áreas de las matemáticas.
Definiciones y Construcciones
Supongamos que\(S\) y\(T\) son conjuntos. Una relación de\(S\) a\(T\) es un subconjunto del conjunto de productos\(S \times T\).
- El dominio de\(R\) es el conjunto de primeras coordenadas:\(\text{domain}(R) = \left\{x \in S: (x, y) \in R \text{ for some } y \in T\right\}\).
- El rango de\(R\) es el conjunto de segundas coordenadas:\(\text{range}(R) = \left\{y \in T: (x, y) \in R \text{ for some } x \in S\right\}\).
Una relación de un conjunto\(S\) a sí mismo es una relación sobre\(S\).
Como su nombre indica,\(T\) se supone que una relación\(R\) de\(S\) hacia dentro define una relación entre los elementos de\(S\) y los elementos de\(T\), y así solemos utilizar la notación más sugerente\(x\,R\,y\) cuando\((x, y) \in R\). Tenga en cuenta que el dominio de\(R\) es las proyecciones de\( R \) sobre\( S \) y el rango de\( R \) es la proyección de\( R \) sobre\( T \).
Ejemplos Básicos
Supongamos que\(S\) es un conjunto y recordar que\(\mathscr{P}(S)\) denota el conjunto de potencia de\(S\), la colección de todos los subconjuntos de\(S\). La relación\(\in\) de membresía de\(S\) a\(\mathscr{P}(S)\) es quizás la relación más importante y básica en matemáticas. En efecto, para nosotros, es una relación primitiva (indefinida) —dada\(x\) y\(A\), suponemos que entendemos el significado de la afirmación\(x \in A\).
Otra relación primitiva básica es la relación de igualdad\(=\) sobre un conjunto dado de objetos\(S\). Es decir, dados dos objetos\(x\) y\(y\), asumimos que entendemos el significado de la afirmación\(x = y\).
Otras relaciones básicas que has visto son
- La relación de subconjunto\(\subseteq\) en\(\mathscr{P}(S)\).
- La relación de orden\(\le\) sobre\(\R\)
Estos dos pertenecen a una clase especial de relaciones conocidas como órdenes parciales que estudiaremos en la siguiente sección. Tenga en cuenta que una función\(f\) de\(S\) hacia dentro\(T\) es un tipo especial de relación. Para comparar los dos tipos de notación (relación y función), tenga en cuenta que eso\(x\,f\,y\) significa que\(y = f(x)\).
Construcciones
Dado que una relación es solo un conjunto de pares ordenados, las operaciones de conjunto se pueden usar para construir nuevas relaciones a partir de las existentes.
si\(Q\) y\(R\) son relaciones de\(S\) a\(T\), entonces también lo son\(Q \cup R\),\(Q \cap R\),\(Q \setminus R\).
- \(x(Q \cup R)y\)si y sólo si\(x\,Q\,y\) o\(x\,R\,y\).
- \(x(Q \cap R)y\)si y sólo si\(x\,Q\,y\) y\(x\,R\,y\).
- \(x(Q \setminus R)y\)si y sólo si\(x\,Q\,y\) pero no\(x\,R\,y\).
- Si\(Q \subseteq R\) entonces\(x\,Q\,y\) implica\(x\,R\,y\).
Si\(R\) es una relación de\(S\) a\(T\) y\(Q \subseteq R\), entonces\(Q\) es una relación de\(S\) a\(T\).
La restricción de una relación define una nueva relación.
Si\(R\) es una relación sobre\(S\) y\(A \subseteq S\) luego\(R_A = R \cap (A \times A)\) es una relación sobre\(A\), llamada la restricción de\(R\) a\(A\).
La inversa de una relación también define una nueva relación.
Si\(R\) es una relación de\(S\) a\(T\), la inversa de\(R\) es la relación de\(T\) a\(S\) definida por\[ y\,R^{-1}\,x \text{ if and only if } x\,R\,y \]
Equivalentemente,\(R^{-1} = \{(y, x): (x, y) \in R\}\). Tenga en cuenta que cualquier función\(f\) desde\(S\) dentro\(T\) tiene una relación inversa, pero solo cuando el\(f\) es uno a uno es la relación inversa también una función (la función inversa). La composición es otra forma natural de crear nuevas relaciones a partir de las ya existentes.
Supongamos que\(Q\) es una relación de\(S\) a\(T\) y que\(R\) es una relación de\(T\) a\(U\). La composición\(Q \circ R\) es la relación de\(S\) a\(U\) definida de la siguiente manera: para\(x \in S\) y\(z \in U\),\(x(Q \circ R)z\) si y sólo si existe\(y \in T\) tal que\(x\,Q\,y\) y\(y\,R\,z\).
Tenga en cuenta que la notación es inconsistente con la notación utilizada para la composición de funciones, esencialmente porque las relaciones se leen de izquierda a derecha, mientras que las funciones se leen de derecha a izquierda. Ojalá que la inconsistencia no cause confusión, ya que siempre usaremos notación de funciones para las funciones.
Propiedades Básicas
Las clases importantes de relaciones que estudiaremos en el próximo par de secciones se caracterizan por ciertas propiedades básicas. Aquí están las definiciones:
Supongamos que\(R\) es una relación sobre\(S\).
- \(R\)es reflexivo si es\(x\,R\,x\) por todos\(x \in S\).
- \(R\)es irreflexivo si no\(x \in S\) satisface\(x\,R\,x\).
- \(R\)es simétrico si\(x\,R\,y\) implica\(y\,R\,x\) para todos\(x, \, y \in S\).
- \(R\)es antisimétrico si\(x\,R\,y\) e\(y\,R\,x\) implica\(x = y\) para todos\(x, \, y \in S\).
- \(R\)es transitivo si\(x\,R\,y\) e\(y\,R\,z\) implica\(x\,R\,z\) para todos\(x, \, y, \, z \in S\).
Las pruebas de los siguientes resultados son sencillas, así que asegúrate de probarlas tú mismo antes de leer las que aparecen en el texto.
Una relación\(R\) sobre\(S\) es reflexiva si y solo si la relación de igualdad\(=\) on\(S\) es un subconjunto de\(R\).
Prueba
Esto se desprende de las definiciones. \( R \)es reflexivo si y sólo si es\( (x, x) \in R \) por todos\( x \in S \).
Una relación\(R\) on\(S\) es simétrica si y solo si\(R^{-1} = R\).
Prueba
Supongamos que\( R \) es simétrico. Si\( (x, y) \in R \) entonces\( (y, x) \in R \) y por lo tanto\( (x, y) \in R^{-1} \). Si\( (x, y) \in R^{-1} \) entonces\( (y, x) \in R \) y por lo tanto\( (x, y) \in R \). Así\( R = R^{-1} \). Por el contrario, supongamos\( R = R^{-1} \). Si\( (x, y) \in R \) entonces\( (x, y) \in R^{-1} \) y por lo tanto\( (y, x) \in R \).
Una relación\(R\) on\(S\) es transitiva si y solo si\(R \circ R \subseteq R\).
Prueba
Supongamos que\( R \) es transitivo. Si\( (x, z) \in R \circ R \) entonces existe\( y \in S \) tal que\( (x, y) \in R \) y\( (y, z) \in R \). Pero luego\( (x, z) \in R \) por la transitividad. De ahí\( R \circ R \subseteq R \). Por el contrario, supongamos que\( R \circ R \subseteq R \). Si\( (x, y) \in R \) y\( (y, z) \in R \) entonces\( (x, z) \in R \circ R \) y por lo tanto\( (x, z) \in R \). De ahí\( R \) que sea transitivo.
Una relación\(R\) on\(S\) es antisimétrica si y solo si\(R \cap R^{-1}\) es un subconjunto de la relación de igualdad\(=\) on\(S\).
Prueba
Reexpresado, este resultado es que\( R \) es antisimétrico si y sólo si\( (x, y) \in R \cap R^{-1} \) implica\( x = y \). Así supongamos que\( R \) es antisimétrico. Si\( (x, y) \in R \cap R^{-1} \) entonces\( (x, y) \in R \) y\( (x, y) \in R^{-1} \). Pero entonces\( (y, x) \in R \) así por antisimetría,\( x = y \). Por el contrario supongamos que eso\( (x, y) \in R \cap R^{-1} \) implica\( x = y \). Si\( (x, y) \in R \) y\( (y, x) \in R \) entonces\( (x, y) \in R^{-1} \) y por lo tanto\( (x, y) \in R \cap R^{-1} \). \( x = y \)Así\( R \) es como es antisimétrico.
Supongamos que\(Q\) y\(R\) son relaciones encendidas\(S\). Para cada propiedad a continuación, si ambos\(Q\) y\(R\) tienen la propiedad, entonces también lo hace\(Q \cap R\).
- reflexivo
- simétrico
- transitivo
Prueba
- Supongamos que\( Q \) y\( R \) sean reflexivos. Entonces\( (x, x) \in Q \) y\( (x, x) \in R \) para cada uno\( x \in S \) y por lo tanto\( (x, x) \in Q \cap R \) para cada uno\( x \in S \). Así\( Q \cap R \) es reflexivo.
- Supongamos que\( Q \) y\( R \) son simétricos. Si\( (x, y) \in Q \cap R \) entonces\( (x, y) \in Q \) y\( (x, y) \in R \). De ahí\( (y, x) \in Q \) y\( (y, x) \in R \) así\( (y, x) \in Q \cap R \). De ahí\( Q \cap R \) que sea simétrico.
- Supongamos que\( Q \) y\( R \) son transitivos. Si\( (x, y) \in Q \cap R \) y\( (y, z) \in Q \cap R \) entonces\( (x, y) \in Q \),\( (x, y) \in R \),\( (y, z) \in Q \), y\( (y, z) \in R \). De ahí\( (x, z) \in Q \) y\( (x, z) \in R \) así\( (x, z) \in Q \cap R \). De ahí\( Q \cap R \) que sea transitivo.
Supongamos que\(R\) es una relación en un conjunto\(S\).
- Dar una definición explícita para la propiedad no\(R\) es reflexiva.
- Dar una definición explícita para la propiedad no\(R\) es irreflexiva.
- ¿Alguna de las propiedades \(R\)es reflexiva, no\(R\) es reflexiva, \(R\)es irreflexiva, no\(R\) es equivalente irreflexiva?
Contestar
- \( R \)no es reflexivo si y sólo si existe\( x \in S \) tal que\( (x, x) \notin R \).
- \( R \)no es irreflexivo si y sólo si existe\( x \in S \) tal que\( (x, x) \in R \).
- No.
Supongamos que\(R\) es una relación en un conjunto\(S\).
- Dar una definición explícita para la propiedad no\(R\) es simétrica.
- Dar una definición explícita para la propiedad no\(R\) es antisimétrica.
- ¿Alguna de las propiedades \(R\)es simétrica, no\(R\) es simétrica, \(R\)es antisimétrica, no\(R\) es equivalente antisimétrica?
Contestar
- \( R \)no es simétrico si y sólo si existen\( x, \, y \in S \) tales que\( (x, y) \in R \) y\( (y, x) \notin R \).
- \( R \)no es antisimétrico si y sólo si existen distintos\( x, \, y \in S \) tales que\( (x, y) \in R \) y\( (y, x) \in R \).
- No.
Ejercicios Computacionales
Dejar\(R\) ser la relación definida\(\R\) por\(x\,R\,y\) si y solo si\(\sin(x) = \sin(y)\). Determine si\(R\) tiene cada una de las siguientes propiedades:
- reflexivo
- simétrico
- transitivo
- irreflexivo
- antisimétrico
Contestar
- si
- si
- si
- no
- no
La relación\(R\) en el ejercicio anterior es miembro de una importante clase de relaciones de equivalencia.
Dejar\(R\) ser la relación definida\(\R\) por\(x\,R\,y\) si y solo si\(x^2 + y^2 \le 1\). Determine si\(R\) tiene cada una de las siguientes propiedades:
- reflexivo
- simétrico
- transitivo
- irreflexivo
- antisimétrico
Contestar
- no
- si
- no
- no
- no