17.3: Propiedades de las Relaciones
- Page ID
- 118159
\( \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}\)Aquí enumeramos algunas propiedades importantes que\(A\) puede tener una relación\(R\) en un conjunto.
Reflexivity
\(a \mathrel{R} a\)es cierto para todos\(a \in A\)
La relación\(\mathord{\le}\) sobre\(\mathbb{R}\) es reflexiva, pero la relación no lo\(\mathord{\lt}\) es.
Para verificar que la relación\(R\) en el set\(A\) sea reflexiva, demuestre que\((\forall a \in A)(a \mathrel{R} a)\text{.}\)
Simetría y antisimetría
por cada par de elementos\(a_1,a_2 \in A\) para los que\(a_1 \mathrel{R} a_2\) es cierto, también\(a_2 \mathrel{R} a_1\) es cierto.
En el conjunto de todos los seres humanos vivos, la relación “\(a\)es hermano de\(b\)” es simétrica, pero ni la relación “\(a\)es hermano de\(b\)” ni la relación “\(a\)es hermana de\(b\)” es simétrica.
Para verificar que la relación\(R\) en el set\(A\) es simétrica, demuestre que
\ begin {equation*} (\ forall a_1\ in A) (\ forall a_2\ in A) ({a_1\ mathrel {R} a_2}\ Rightarrow {a_2\ mathrel {R} a_1})\ text {.} \ end {ecuación*}
para cada par de elementos distintos,\(a_1,a_2 \in A\text{,}\) ya sea\(a_1\ \not R\ a_2\) o\(a_2\ \not R\ a_1\) (o ambos)
La parte distinta de la definición es importante, ya que si no\(a_1,a_2 \in A\) son distintas (es decir\(a_2 = a_1\)), entonces obviamente ambas\(a_1 \mathrel{R} a_2\) y\(a_2 \mathrel{R} a_1\) pueden ser simultáneamente verdaderas porque son la misma afirmación.
La relación\(\mathord{\le}\) sobre\(\mathbb{R}\) es antisimétrica.
Sobre\(A = \{a,b,c\}\text{,}\) la relación
\ begin {ecuación*} R =\ {(a, b), (b, a), (a, c)\}\ subseteq A\ veces A\ end {ecuación*} no
es ni antisimétrico ni simétrico.
La relación de identidad en cualquier conjunto, donde cada elemento está relacionado consigo mismo y solo consigo mismo, es a la vez antisimétrica y simétrica.
Como\(\PageIndex{5}\) demuestran el Ejemplo\(\PageIndex{4}\) y el Ejemplo, la antisimetría no es lo opuesto a la simetría. Sin embargo, para una relación\(R\) en el set\(A\text{,}\) podemos pensar que la simetría y la antisimetría están en extremos opuestos de un espectro, midiendo con qué frecuencia tenemos ambos\(a_1 \mathrel{R} a_2\) y\(a_2 \mathrel{R} a_1\) para\(a_1 \ne a_2\text{.}\)
Por definición, la antisimetría es cuando nunca tenemos ambas. Por otro lado, la simetría es cuando siempre tenemos ambos o ninguno; es decir, por cada par distinto\(a_1,a_2 \in A\text{,}\) tenemos ambos\(a_1 \mathrel{R} a_2\) y\(a_2 \mathrel{R} a_1\text{,}\) o tenemos ambos\(a_1\ \not R\ a_2\) y\(a_2\ \not R\ a_1\text{.}\) Sin embargo, una relación puede caer entre simetría y antisimetría en el espectro, como en Ejemplo\(\PageIndex{4}\), donde a veces tenemos ambos (por ejemplo, ambos\(a \mathrel{R} b\) y\(b \mathrel{R} a\) para esa relación de ejemplo) y también a veces tenemos solo uno (por ejemplo,\(a \mathrel{R} c\) pero\(c\ \not R\ a\) para esa relación de ejemplo).
La relación de igualdad en un conjunto es un caso especial que es a la vez simétrico y antisimétrico. De hecho, la igualdad es esencialmente la única relación que es a la vez simétrica y antisimétrica — ver Ejercicio 17.6.22.
En el lenguaje simbólico, la definición de relación antisimétrica es
\ begin {ecuation*} (\ forall a_1\ in A) (\ forall a_2\ in A) (a_1\ neq a_2\ Rightarrow a_1\ no R\ a_2\ lor a_2\ no R\ a_1)\ text {.} \ end {equation*}
Sin embargo, en la práctica solemos demostrar antisimetría usando una de dos formulaciones lógicamente equivalentes.
Para verificar que\(R\) la relación en el conjunto\(A\) es antisimétrica, pruebe cualquiera de las siguientes declaraciones lógicas.
- \( (\forall a_1 \in A)(\forall a_2 \in A)(a_1 \neq a_2 \land a_1 \mathrel{R} a_2 \Rightarrow a_2\ \not R\ a_1)\)
- \( (\forall a_1 \in A)(\forall a_2 \in A)(a_1 \mathrel{R} a_2 \land a_2 \mathrel{R} a_1 \Rightarrow a_2 = a_1)\)
La primera formulación para probar la antisimetría proporcionada anteriormente puede pensarse como una forma diferente de decir que no es posible tener ambos\(a_1 \mathrel{R} a_2\) y\(a_2 \mathrel{R} a_1\) para elementos distintos\(a_1,a_2\text{.}\) La segunda formulación esencialmente dice que la única forma posible de tener ambos\(a_1 \mathrel{R} a_2\) y \(a_2 \mathrel{R} a_1\)es si\(a_2 = a_1\text{.}\)
En el Ejercicio 17.6.21 se le pide que demuestre que cada una de las dos formas diferentes de verificar que una relación es antisimétrica proporcionada en la prueba anterior son equivalentes.
Transitividad
por cada triple de elementos\(a_1,a_2,a_3 \in A\) para los que ambos\(a_1 \mathrel{R} a_2\) y\(a_2 \mathrel{R} a_3\) son ciertos, también\(a_1 \mathrel{R} a_3\) deben ser ciertos.
La relación en el set de todos los humanos que alguna vez vivieron definida por “\(a\)es el antepasado de\(b\)” es transitiva.
Para verificar que la relación\(R\) en el set\(A\) sea transitiva, demuestre que
\ begin {ecuación*} (\ forall a_1\ en A) (\ forall a_2\ en A) (\ forall a_3\ en A) (a_1\ mathrel {R} a_2\ tierra a_2\ mathrel {R} a_3\ Rightarrow a_1\ mathrel {R} a_3)\ text {.} \ end {ecuación*}