2.3: Propiedades especiales de las relaciones
- Page ID
- 103797
\( \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}\)Algunos tipos de relaciones resultan ser tan comunes que se les han dado nombres especiales. Por ejemplo,\(\le\) y\(\subseteq\) ambos relacionan sus respectivos dominios (digamos,\(\Nat\) en el caso de\(\le\) y\(\Pow{A}\) en el caso de\(\subseteq\)) de manera similar. Para saber exactamente cómo son similares estas relaciones, y en qué difieren, las categorizamos de acuerdo con algunas propiedades especiales que las relaciones pueden tener. Resulta que (combinaciones de) algunas de estas propiedades especiales son especialmente importantes: órdenes y relaciones de equivalencia.
Definición\(\PageIndex{1}\): Reflexivity
Una relación\(R \subseteq A^2\) es reflexiva iff, para cada\(x \in A\),\(Rxx\).
Definición\(\PageIndex{2}\): Transitivity
Una relación\(R \subseteq A^2\) es transitiva iff, siempre\(Rxy\) y\(Ryz\), entonces también\(Rxz\).
Definición\(\PageIndex{3}\): Symmetry
Una relación\(R \subseteq A^2\) es simétrica iff, siempre que\(Rxy\), entonces también\(Ryx\).
Definición\(\PageIndex{4}\): Anti-symmetry
Una relación\(R \subseteq A^2\) es antisimétrica iff, siempre que ambos\(Rxy\) y\(Ryx\), entonces\(x=y\) (o, en otras palabras: si\(x\neq y\) entonces cualquiera\(\lnot Rxy\) o\(\lnot Ryx\)).
En una relación simétrica,\(Rxy\) y\(Ryx\) siempre se mantienen unidos, o ninguno sostiene. En una relación antisimétrica, la única manera para\(Rxy\) y\(Ryx\) para mantenerse unidos es si\(x = y\). Tenga en cuenta que esto no requiere eso\(Rxy\) y se\(Ryx\) mantiene cuando\(x = y\), solo que no se descarta. Entonces una relación antisimétrica puede ser reflexiva, pero no es el caso de que toda relación antisimétrica sea reflexiva. También hay que señalar que ser antisimétrico y simplemente no ser simétrico son condiciones diferentes. De hecho, una relación puede ser tanto simétrica como antisimétrica al mismo tiempo (por ejemplo, la relación de identidad es).
Definición\(\PageIndex{5}\): Connectivity
Una relación\(R \subseteq A^2\) está conectada si para todos\(x,y\in A\), si\(x \neq y\), entonces cualquiera\(Rxy\) o\(Ryx\).
Problema\(\PageIndex{1}\)
Dar ejemplos de relaciones que son (a) reflexivas y simétricas pero no transitivas, (b) reflexivas y antisimétricas, (c) antisimétricas, transitivas, pero no reflexivas, y (d) reflexivas, simétricas y transitivas. No utilice relaciones en números o conjuntos.
Definición\(\PageIndex{6}\): Irreflexivity
Una relación\(R \subseteq A^2\) se llama irreflexiva si, para todos\(x \in A\), no\(Rxx\).
Definición\(\PageIndex{7}\): Asymmetry
Una relación\(R \subseteq A^2\) se llama asimétrica si por ningún par\(x,y\in A\) tenemos ambos\(Rxy\) y\(Ryx\).
Tenga en cuenta que si\(A \neq \emptyset\), entonces ninguna relación irreflexiva on\(A\) es reflexiva y cada relación asimétrica\(A\) es también antisimétrica. Sin embargo, hay\(R \subseteq A^2\) que no son reflexivas y tampoco irreflexivas, y hay relaciones antisimétricas que no son asimétricas.