miércoles, 16 de julio de 2025

La relación binaria $x|y$ en $\mathbb{N}$ es una relación de orden

Se considera la siguiente relación binaria: $$x \mathcal{R} y \Leftrightarrow x | y\,\forall\,x,y\in \mathbb{N}$$¿Es una relación de orden? (el símbolo $x|y$ denota que $x$ divide a $y$)

Para que sea una relación de orden la relacion binaria propouesta debe cumplir las siguientes tres condiciones: i) reflexiva ii) antisimétrica y iii) transitiva. Veamos que se cumplen las tres (para cada una, solamente probaré a condición necesaria, pues la suficiente es evidente):

i) Es reflexiva: Para todo $x\in \mathbb{N}$ se tiene que $x=1\cdot x=x$, luego $x|x$ y por tanto $x\mathcal{R}x$. $\diamond$

ii) Es antisimétrica: Si $x\mathcal{R}y$, entonces $x|y \Rightarrow$ eixiste un número $m\in \mathbb{N}$ tal que $y=m\,x$; y si $y\mathcal{R}x$ entonces $y|x \Rightarrow$ existe un número $n\in \mathbb{N}$ tal que $x=m\,y$ luego $y=m\cdot n\,y$ y por tanto $m\cdot n=1 \Rightarrow m=1$ y $n=1$, y en consecuencia $y=x$. $\diamond$

iii) Es transitiva: Si $x\mathcal{R}y$, entonces $x|y \Rightarrow$ eixiste un número $p\in \mathbb{N}$ tal que $y=p\,x$; y si $y\mathcal{R}z$ entonces $z|y \Rightarrow$ existe un número $q\in \mathbb{N}$ tal que $z=q\cdot y$ luego $z=q\cdot p\,x$ y por tanto, como $q\cdot p=:k\in \mathbb{N}$, $z=k\,x \Rightarrow x|z$ con lo cual $x\mathcal{R}z$. $\diamond$

No hay comentarios:

Publicar un comentario