Saltar al contenido principal

# 2.6: Ejercicios

• Bob Dumas and John E. McCarthy
• University of Washington and Washington University in St. Louis

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

EJERCICIO 2.2. Demostrar que la relación en Ejemplo$$2.6$$ es un ordenamiento parcial.

EJERCICIO 2.3. Enumere cada par en la relación dada en el Ejemplo 2.10.

EJERCICIO 2.4. Demostrar que la relación en Ejemplo$$2.17$$ es una equivalencia.

EJERCICIO 2.5. Demostrar que la congruencia$$\bmod n$$ es una relación de equivalencia sobre$$\mathbb{Z}$$.

EJERCICIO 2.6. Demostrar que dos enteros están en la misma clase de congruencia$$\bmod n$$ si y solo si tienen el mismo resto cuando se dividen por$$n$$.

EJERCICIO 2.7. Supongamos que$$R$$ es una relación sobre$$X$$. ¿Qué significa si$$R$$ es tanto un orden parcial como una equivalencia?

EJERCICIO 2.8. Considerar las relaciones sobre las personas “es hermano de”, “es hermano de”, “es padre de”, “está casado con”, “es descendiente de”. ¿Cuál de las propiedades de reflexividad, simetría, antisimetría y transitividad tiene cada una de estas relaciones? EJERCICIO 2.9. Vamos$$X=\{k \in \mathbb{N}: k \geq 2\}$$. Considere las siguientes relaciones sobre$$X$$:

(i)$$j R_{1} k$$ si y sólo si$$\operatorname{gcd}(j, k)>1(\operatorname{gcd}$$ representa el mayor divisor común).

ii)$$j R_{2} k$$ si y sólo si$$j$$ y$$k$$ son coprimos (es decir$$\operatorname{gcd}(j, k)=1$$).

iii)$$j R_{3} k$$ si y sólo si$$j \mid k$$.

(iv)$$j R_{4} k$$ si y sólo si$\{p: p \text { is prime and } p \mid j\}=\{q: q \text { is prime and } q \mid k\} .$ Para cada relación, decir cuál de las propiedades de Reflexivity, Simetría, Antisimetría, Transitividad tiene.

EJERCICIO 2.10. Para$$j, k$$ en$$\mathbb{N}^{+}$$, definir dos relaciones$$R_{1}$$ y$$R_{2}$$ por$$j R_{1} k$$ si$$j$$ y$$k$$ tener un dígito en común (pero no necesariamente en el mismo lugar) y$$j R_{2} k$$ si $$j$$y$$k$$ tener un dígito común en el mismo lugar (así, por ejemplo,$$108 R_{1} 82$$, pero$$(108,82) \notin R_{2}$$).

(i) Si$$j=\sum_{m=0}^{M} a_{m} 10^{m}$$ y$$k=\sum_{n=0}^{N} b_{n} 10^{n}$$, con$$a_{M} \neq 0$$ y$$b_{N} \neq 0$$, ¿cómo se puede definir matemáticamente$$R_{1}$$ y$$R_{2}$$ en términos de los coeficientes$$a_{m}$$ y$$b_{n}$$?

(ii) ¿Cuál de las cuatro propiedades de reflexividad, simetría, antisimetría y transitividad tienen$$R_{1}$$ y$$R_{2}$$ tienen?

EJERCICIO 2.11. Vamos$$X=\{a, b\}$$. Enumere todas las relaciones posibles sobre$$X$$, y diga cuáles son reflexivas, cuáles son simétricas, cuáles son antisimétricas y cuáles son transitivas.

EJERCICIO 2.12. ¿Cuántas relaciones hay en un set con 3 elementos? ¿Cuántos de estos son reflexivos? ¿Cuántos son simétricos? ¿Cuántos son antisimétricos?

EJERCICIO 2.13. Repita Ejercicio$$2.12$$ para un conjunto con$$N$$ elementos.

EJERCICIO 2.14. La suma de dos enteros pares es par, la suma de un entero par y otro impar es impar, y la suma de dos enteros impares es par. ¿Cuál es la generalización de esta afirmación a las clases de residuos$$\bmod 3$$? EJERCICIO 2.15. ¿Cuál es el último dígito de$$3^{5^{7}}$$? $$7^{5^{3}}$$¿De? $$11^{10^{6}}$$¿De? $$8^{5^{4}}$$¿De?

EJERCICIO 2.16. ¿Qué es$$2^{1000000} \bmod 17$$? ¿Qué es$$17^{77} \bmod 14$$?

EJERCICIO 2.17. Mostrar que el residuo de un número$$\bmod 3$$ es el mismo que la suma de sus dígitos.

EJERCICIO 2.18. Demostrar que la afirmación de Ejercicio no$$2.17$$ es cierta$$\bmod n$$ para ningún valor de$$n$$ excepto 3 y 9.

EJERCICIO 2.19. Demostrar que hay un número infinito de números naturales que no se pueden escribir como la suma de tres cuadrados. (Pista: Mira los posibles residuos mod 8).

EJERCICIO 2.20. Dejar$$f: X \rightarrow Y$$ y$$g: Y \rightarrow Z$$. ¿Qué se puede decir de la relación entre$$X / f$$ y$$X /(g \circ f)$$?

EJERCICIO 2.21. $$R$$Sea la relación sobre$$X=\mathbb{Z} \times \mathbb{N}^{+}$$ definida en el Ejemplo 2.17. Definir una operación$$\star$$ de la$$X / R$$ siguiente manera: para$$x=(a, b)$$ y$$y=(c, d)$$,$[x] \star[y]=[(a d+b c, c d)] .$ ¿Está$$\star$$ bien definida?

EJERCICIO 2.22. Dejar$$X$$ ser el conjunto de funciones de subconjuntos finitos de$$\mathbb{N}$$ a$$\ulcorner 2\urcorner$$ (es decir$$f \in X$$, si hay un conjunto finito$$D \subseteq \mathbb{N}$$ tal que$$f: D \rightarrow\ulcorner 2\urcorner$$). Defina una relación$$R$$ de la$$X$$ siguiente manera: si$$f, g \in X, f R g$$ iff$$\operatorname{Dom}(g) \subseteq \operatorname{Dom}(f)$$ y$$g=\left.f\right|_{\operatorname{Dom}(g)}$$. ¿Es$$R$$ un pedido parcial? ¿Es$$R$$ una relación de equivalencia?

EJERCICIO$$2.23$$. Dejar$$X$$ ser el conjunto de todas las secuencias binarias infinitas. Definir una relación$$R$$ de la$$X$$ siguiente manera: Para cualquier$$f, g \in X, f R g$$ iff$$f^{-1}(1) \subseteq$$$$g^{-1}(1)$$. ¿Es$$R$$ un pedido parcial? ¿Es$$R$$ una relación de equivalencia?

EJERCICIO 2.24. Vamos$$X=\{\ulcorner n\urcorner \mid n \in \mathbb{N}\}$$. Dejar$$R$$ ser una relación sobre$$X$$ definida por$$x, y \in R$$ iff$$x \subseteq y$$. Demostrar que$$R$$ es un ordenamiento lineal. EJERCICIO 2.25. Vamos$$X=\{f: \mathbb{R} \rightarrow \mathbb{R} \mid f$$ es una sobrejección$$\}$$. Definir una relación$$R$$ sobre$$X$$ por$$f R g$$ iff$$f(0)=g(0)$$. Demostrar que$$R$$ es una relación de equivalencia. Dejar$$F: X \rightarrow \mathbb{R}$$ ser definido por$$F(f)=f(0)$$. Mostrar que los conjuntos de niveles de$$F$$ son las clases de equivalencia de$$X / R$$. Eso es demostrar que$X / R=X / F .$ EJERCICIO 2.26. Vamos$$f: X \rightarrow Y$$. Mostrar que$$X / f$$ se compone de singletons (conjuntos con exactamente un elemento) iff$$f$$ es una inyección.

This page titled 2.6: Ejercicios is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Bob Dumas and John E. McCarthy via source content that was edited to the style and standards of the LibreTexts platform.