10.6: Actividades
- Page ID
- 118330
\( \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}\)Supongamos que\(n\) es un entero positivo fijo pero desconocido, y vamos a\(D: \mathbb{R} \rightarrow \mathbb{R}^n\) representar la función definida por\(D(x) = (x,x, \ldots ,x)\text{.}\)
Escribe una definición de conjunto en notación de condición candidata para el conjunto de imágenes\(D(\mathbb{R})\text{.}\) Luego haz lo mismo para la gráfica\(\Delta (D)\text{.}\)
- Diseñar un ejemplo de una función\(\mathbb{N} \to \mathbb{N}\) que sea biyectiva.
- Diseñar un ejemplo de una función\(\mathbb{N} \to \mathbb{N}\) que sea inyectiva pero no suryectiva.
- Diseñar un ejemplo de una función\(\mathbb{N} \to \mathbb{N}\) que sea suryectiva pero no inyectiva.
Tenga en cuenta que cuando define una función, no necesariamente tiene que dar una fórmula de entrada-salida; también puede usar una tabla de valores de entrada y salida o simplemente una descripción en palabras (es decir, un algoritmo) de cómo se va a producir una salida a partir de una entrada.
Para cada función que\(f: A \rightarrow B\) se defina a continuación, lleve a cabo lo siguiente.
- Decidir si la función es inyectiva. Usa la Prueba de Función Inyectiva para verificar tu respuesta.
- Determinar algún patrón que todos los elementos de la imagen\(f(B)\) tengan en común. Es decir, si te entregaran un elemento arbitrario del codominio\(B\text{,}\) describe qué propiedad o propiedades usarías para determinar si estaba en el subconjunto\(f(A) \subseteq B\text{.}\)
- Decidir si la función es suryectiva. Usa la Prueba de Función Surjectiva para verificar tu respuesta.
- \(\Sigma = \{0,1\}\text{,}\)\(c: \Sigma^{\ast}\rightarrow \Sigma^{\ast}\)es la función de complemento bit a bit: para\(w\text{,}\) la palabra de entrada la palabra de salida\(c(w)\) es la palabra de la misma longitud que\(w\) pero con\(0\) a en cada posición que\(w\) tiene a\(1\text{,}\) y\(1\) a en cada posición que\(w\) tiene un \(0\text{.}\)
- \(f: \mathbb{R} \rightarrow \mathbb{R} \times \mathbb{R}\text{,}\)\(f(x) = (x+1,x-1)\text{.}\)
- \(A = \mathscr{P}\mathbb{N} \setminus \{\emptyset\}\text{,}\)\(m: A \rightarrow \mathbb{N} \text{,}\)\(m(X) = \)el número más pequeño en\(X\text{.}\)
Considerar\(\Sigma = \{0,1\}\text{,}\) y recordar que for\(n \in \mathbb{N}\text{,}\)\(\Sigma^{\ast}_n\) es el subconjunto de\(\Sigma^{\ast}\) que consiste en todas las palabras del alfabeto\(\Sigma\) con longitud\(n\text{.}\) Supongamos que\(A = \{a_1,a_2,\ldots ,a_n\}\) es un conjunto con elementos\(n\) distintos. Construir una biyección\(\mathscr{P}(A) \to \Sigma^{\ast}_n\text{.}\)
Al intentar esta actividad, recuerde que cuando defina una función no necesariamente tiene que dar una fórmula de entrada-salida; también puede usar una descripción en palabras (es decir, un algoritmo) de cómo se va a producir una salida a partir de una entrada.
Supongamos que\(A\) es un conjunto que definitivamente no contiene ningún gato, y vamos
\ begin {ecuación*} f:\ mathscr {P} (A)\ fila derecha\ mathscr {P} (A\ copa\ {\ texto {Gato gruñón}\})\ end {ecuación*}
representan la función definida por
\ begin {ecuación*} f (X) = X\ copa\ {\ texto {Gato gruñón}\}\ texto {.} \ end {ecuación*}
- Verificar que\(f\) sea inyectivo.
- Verificar que no\(f\) sea suryectiva.
- Describir específicamente cómo hacer\(f\) biyectiva restringiendo el codominio.
- Como todas las funciones biyectivas son invertibles, la versión biyectiva\(f\) de Tarea c tiene una inversa\(\inv{f}\text{.}\) Describa esta inversa especificando su
- dominio,
- codominio, y
- regla de entrada y salida.
Let\(\ell: \Sigma^{\ast} \rightarrow \mathbb{N}\) representar la función de longitud, usando alfabeto es\(\Sigma = \{\alpha,\omega\}\text{.}\)
- Compute\(\ell(\ell ^{-1} (B))\) para\(B = \{1,10,100\}\text{.}\)
- ¿Cuántos elementos hay\(\ell^{-1}(\ell(A))\) para\(A = \{\alpha\alpha, \alpha\omega, \omega\omega\alpha\omega \}\text{?}\)
Supongamos que\(f: A \rightarrow B\) es una función, y\(B_1,B_2\) son subconjuntos de\(B\text{.}\)
- Dibuja un diagrama de Venn que ilustra eso
\ begin {ecuación*} f^ {-1} (B_1\ cap B_2) = f^ {-1} (B_1)\ cap f^ {-1} (B_2)\ text {.} \ end {equation*}
Incluye todos los conjuntos
\ begin {reunir*} A,\;\;\; B,\;\; B_1,\;\; B_2,\;\; B_1\ cap B_2,\;\;\; f^ {-1} (B_1),\;\; f^ {-1} (B_2),\\ f^ {-1} (B_1)\ cap f^ {-1} (B_2),\;\;\ text {y}\;\; f^ {-1} (B_1\ cap B_2)\ end {reunión*}
en tu diagrama.
- Demostrar formalmente que\(f^{-1} ( B_1 \cap B_2) = f^{-1}(B_1) \cap f^{-1}(B_2)\text{,}\) usando la Prueba para Establecer Igualdad.
(Nota: Las partes de esta pregunta son independientes entre sí.)
Supongamos\(f: A \rightarrow B\) y\(g: B \rightarrow C\) son funciones.
- Argumentan que si\(f\) y\(g\) son ambos suryectivos, entonces también lo es\(g \circ f\text{.}\)
- Si\(g \circ f\) es suryectiva, ¿debe\(g\) ser? ¿Debe\(f\) ser?
- Argumentan que si\(f\) y\(g\) son ambos inyectivos, entonces también lo es\(g \circ f\text{.}\)
- Si\(g \circ f\) es inyectivo, ¿debe\(g\) serlo? ¿Debe\(f\) ser?