Saltar al contenido principal

# 2.3: Propiedades especiales de las relaciones

$$\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}$$

Template:MathJaxZach

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.

This page titled 2.3: Propiedades especiales de las relaciones is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .