8.2: Secuencias
- Page ID
- 117294
\( \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}\)Secuencias y formas en las que se definen
Definición\(\PageIndex{1}\): Sequence
Una secuencia es una función de los números naturales a algún conjunto predeterminado. La imagen de cualquier número natural se\(k\) puede escribir como\(S(k)\) o\(S_k\) y se llama el\(k^{th}\) término de\(S\text{.}\) La variable\(k\) se llama el índice o argumento de la secuencia.
Por ejemplo, una secuencia de enteros sería una función\(S:\mathbb{N}\to \mathbb{Z}\text{.}\)
Ejemplo \(\PageIndex{1}\): Three Sequences Defined in Different Ways
- La secuencia\(A\) definida por\(A(k) = k^2 - k\text{,}\)\(k \geq 0\text{,}\) es una secuencia de números enteros.
- La secuencia\(B\) definida recursivamente por\(B(0) = 2\) y\(B(k) = B(k - 1) + 3\) para\(k \geq 1\) es una secuencia de números enteros. Los términos de se\(B\) pueden calcular aplicando la fórmula de recursión o por iteración. Por ejemplo,
\ begin {ecuación*}\ begin {split} B (3) &= B (2) + 3\\ & =( B (1) +3) +3\\ & = ((B (0) +3) +3) +3\\ & =( (2+3) +3) +3=11\ end {split}\ end {ecuación*}
o
\ begin {ecuación*}\ begin {array} {c} B (1) = B (0) + 3 = 2 + 3 = 5\\ B (2) = B (1) + 3 = 5 + 3 = 8 \\ B (3) = B (2) + 3 = 8 + 3 = 11\ end {array}\ end {ecuación*} - \(C_r\)Sea el número de cadenas de 0 y 1 de longitud\(r\) sin ceros consecutivos. Estos términos definen una secuencia\(C\) de números enteros.
Observaciones:
- Una secuencia a menudo se llama función discreta.
- Si bien es importante tener en cuenta que una secuencia es una función, otra forma útil de visualizar una secuencia es como una lista. Por ejemplo, la secuencia\(A\) en el ejemplo anterior podría escribirse como secuencias\((0, 0, 2, 6, 12, 20, \dots )\text{.}\) finitas pueden aparecer de la misma manera cuando son la entrada o salida de una computadora. El índice de una secuencia se puede considerar como una variable de tiempo. Imagina los términos de una secuencia parpadeando en una pantalla cada segundo. Entonces\(s_k\) sería lo que se ve en el\(k^{th}\) segundo. Es conveniente usar terminología como esta en la descripción de secuencias. Por ejemplo, los términos que preceden al\(k^{th}\) término de\(A\) serían\(A (0), A(1), . . . , A(k -1)\text{.}\) Podrían llamarse los términos anteriores.
Problema Fundamental
Dada la definición de cualquier secuencia, un problema fundamental que nos ocuparemos es idear un método para determinar cualquier término específico en un mínimo de tiempo. Generalmente, el tiempo puede equipararse con el número de operaciones necesarias. En operaciones de conteo, la aplicación de una fórmula recursiva se consideraría una operación.
- Los términos de\(A\) en Ejemplo\(\PageIndex{1}\) son muy fáciles de calcular debido a la expresión de forma cerrada. No importa qué término decidas calcular, solo se necesitan realizar tres operaciones.
- Cómo computar los términos de no\(B\) es tan claro. Supongamos que querías saber\(B(100)\text{.}\) Un enfoque sería aplicar la definición recursivamente:
\ begin {ecuation*} B (100) = B (99) + 3 = (B (98) + 3) + 3 =\ cdots\ end {ecuación*}
La ecuación de recursión para se\(B\) aplicaría 100 veces y 100 adiciones serían entonces seguir. Para calcular\(B(k)\) por este método, se necesitan\(2k\) operaciones. Un cálculo iterativo de\(B(k)\) es una mejora:\(B(1) =B(0) +3 = 2 + 3 = 5\)\(B(2) =B(1)+3= 5 + 3 = 8\: \text{etc}.\) Solo se necesitan\(k\) adiciones. Esta todavía no es una buena situación. A medida que\(k\) se hace grande, nos toma más y más tiempo calcular\(B(k)\text{.}\) La fórmula\(B(k)=B(k-1)+3\) se llama relación de recurrencia en\(B\text{.}\) El proceso de encontrar una expresión de forma cerrada para\(B(k)\text{,}\) una que no requiera más que algún número fijo de operaciones, se llama resolver la recurrencia relación. - La determinación de\(C_k\) es un tipo estándar de problema en combinatoria. Una solución es a través de una relación de recurrencia. De hecho, muchos problemas en combinatoria se resuelven más fácilmente buscando primero una relación de recurrencia y luego resolviéndola. La siguiente observación sugerirá la relación de recurrencia que necesitamos determinar\(C_k\text{.}\) Si\(k \geq 2\text{,}\) entonces cada cadena de 0 y 1 con longitud\(k\) y no dos 0 consecutivos es\(1s_{k-1}\) o\(01s_{k-2}\text{,}\) dónde\(s_{k-1}\) y\(s_{k-2}\) son cadenas sin dos 0 consecutivos de longitud\(k - 1\) y\(k - 2\) respectivamente. De esta observación podemos ver que\(C_k= C_{k-2}+C_{k-1}\) para\(k\geq 2\text{.}\) Los términos\(C_0= 1\) y\(C_1 = 2\) son fáciles de determinar por enumeración. Ahora, por iteración, cualquiera se\(C_k\) puede determinar fácilmente. Por ejemplo, se\(C_5 = 21\) puede computar con cinco adiciones. Una expresión de forma cerrada para\(C_k\) sería una mejora. Obsérvese que la relación de recurrencia para\(C_k\) es idéntica a la de La Secuencia de Fibonacci, Ejemplo 8.1.3. Sólo la base es diferente.
Ejercicios
Ejercicio\(\PageIndex{1}\)
Demostrar por inducción que\(B(k) = 3k + 2,\)\(k\geq 0\text{,}\) es una expresión de forma cerrada para la secuencia\(B\) en el Ejemplo\(\PageIndex{1}\)
- Contestar
-
Base:\(B(0)=3\cdot 0+2=2\text{,}\) como se define.
Inducción: Supongamos:\(B(k)=3k+2\) para algunos\(k\geq 0\text{.}\)
\ begin {ecuación*}\ begin {split} B (k+1) &=B (k) +3\\ &= (3k+2) +3\ quad\ textrm {por la hipótesis de inducción}\\ &= (3k+3) +2\\ &=3 (k+1) +2\ quad\ textrm {como se desee}\ end {split}\ end {ecuación*}
Ejercicio\(\PageIndex{2}\)
- Considere la secuencia\(Q\) definida por\(Q(k) = 2k + 9\text{,}\)\(k \geq 1\text{.}\) Complete la tabla a continuación y determine una relación de recurrencia que describe\(Q\text{.}\)
\(\begin{array}{c|c|c} k & Q(k) & Q(k)-Q(k-1) \\ \hline 2 & & \\ 3 & & \\ 4 & \text{ } & \\ 5 & & \\ 6 & & \\ 7 & & \\ \end{array}\) - Deje\(A(k) = k^2 - k\text{,}\)\(k \geq 0\text{.}\) Completar la tabla a continuación y determinar una relación de recurrencia para\(A\text{.}\)
\ begin {ecuation*}\ begin {array} {c|c|c} k & A (k) & A (k) -A (k-1) & A (k) -2A (k-1) +A (k-2)\\ hline 2 & & & &\\ 3 & & &\\ 4 & & & &\\ 5 & & & &\\\ end {array}\ end {ecuación*}
Ejercicio \(\PageIndex{3}\)
Dadas\(k\) líneas (\(k\geq 0\)) en un plano tal que no hay dos líneas paralelas y no se encuentran tres líneas en un mismo punto, deja\(P(k)\) ser el número de regiones en las que las líneas dividen el plano (incluyendo las infinitas (ver Figura\(\PageIndex{1}\)). Describir cómo se\(P(k) = P(k - 1) + k\) puede derivar la relación de recurrencia. Teniendo en cuenta que\(P(0) = 1\text{,}\) determinar\(P(5)\text{.}\)
Figura\(\PageIndex{1}\): Una configuración general de tres líneas
- Contestar
-
Imagina trazar línea\(k\) en una de las infinitas regiones por las que pasa. Esa región infinita se divide en dos regiones infinitas por línea A\(k\text{.}\) medida que la línea\(k\) se dibuja a través de cada una de las líneas\(k-1\) anteriores, se ingresa otra región que la línea\(k\) divide. Por lo tanto,\(k\) las regiones se dividen y el número de regiones se incrementa en\(k\text{.}\) A partir de esta observación obtenemos\(P(5)=16\text{.}\)
Ejercicio\(\PageIndex{4}\)
Se espera que una muestra de una sustancia radiactiva descomponga 0.15 por ciento cada hora. Si\(w_t,\)\(t \geq 0\text{,}\) es el peso de las\(t\) horas de muestra en un experimento, escriba una relación de recurrencia para\(w\text{.}\)
Ejercicio\(\PageIndex{5}\)
\(M(n)\)Sea el número de multiplicaciones necesarias para evaluar un\(n^{th}\) grado polinomio. Utilice la definición recursiva de una expresión polinómica para definir\(M\) recursivamente.
- Contestar
-
Para\(n\) mayores de cero,\(M(n)=M(n-1)+1\text{,}\) y\(M(0)=0\text{.}\)
Ejercicio\(\PageIndex{6}\)
Let\(S\) Ser secuencia de enteros. Usando frases cortas en inglés, no símbolos, describe lo que dicen las siguientes proposiciones sobre ¿\(S\text{.}\)Son equivalentes las dos proposiciones?
- \(\displaystyle (\forall M)_{\mathbb{N}}((\exists n)_{\mathbb{N}}(S(n)\geq M))\)
- \(\displaystyle (\forall M)_{\mathbb{N}}((\exists N)_{\mathbb{N}}((\forall n)_{\mathbb{N}}(n \geq N \rightarrow S(n)\geq M)))\)