2.2: Ejercicios, Parte I
- Page ID
- 116013
\( \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}}\)
- Para cada una de las siguientes, escriba Y si la “operación” dada es una operación binaria bien definida en el conjunto dado; de lo contrario, escriba N. En cada caso en que no sea una operación binaria bien definida en el conjunto, proporcione una breve explicación. No es necesario probar ni explicar nada en los casos en los que se trata de una operación binaria.
- \(+\)en\(\mathbb{C}^*\)
- \(*\)en\(\mathbb{R}^+\) definido por\(x*y=\log_x y\)
- \(*\)en\(\mathbb{M}_2(\mathbb{R})\) definido por\(A*B=AB^{-1}\)
- \(*\)en\(\mathbb{Q}^*\) definido por\(z*w=\dfrac{z}{w}\)
- Definir\(*\)\(\mathbb{Q}\) por\(p*q=pq+1\text{.}\) Demostrar o desacreditar que\(*\) es (a) conmutativo; (b) asociativo.
- Demostrar que la multiplicación matricial no es conmutativa en\(\mathbb{M}_2(\mathbb{R})\text{.}\)
4. Demostrar o desacreditar cada una de las siguientes declaraciones.
- El conjunto\(2\mathbb{Z}=\{2x\,:\,x\in \mathbb{Z}\}\) se cierra bajo adición en\(\mathbb{Z}\text{.}\)
- El conjunto\(S=\{1,2,3\}\) se cierra bajo multiplicación en\(\mathbb{R}\text{.}\)
- El conjunto
\ begin {ecuation*} U=\ left\ {\ begin {bmatrix} a & b\\ 0 &c\ end {bmatrix}\,:\, a, b, c\ in\ mathbb {R}\ derecha\}\ end {ecuación*}
se cierra bajo multiplicación en\(\mathbb{M}_2(\mathbb{R})\text{.}\) (Recordemos que\(U\) es el conjunto de matrices triangulares superiores en\(\mathbb{M}_2(\mathbb{R})\text{.}\))
- Dejar\(*\) ser una operación binaria asociativa y conmutativa en un conjunto\(u\in S\) Se dice que\(S\text{.}\) un elemento es un idempotente en\(S\) si\(u*u=u\text{.}\) Let\(H\) be el conjunto de todos los idempotentes en\(S\text{.}\) Prove que\(H\) se cierra bajo\(*\text{.}\)
