| Autor |
Mensaje |
alfred_oh
Nivel 4
Registrado: 20 Feb 2013
Mensajes: 102
|
|
Estoy intentando entender el concepto de variación total que es como lo pone el Wikipedia el siguiente:
________________________________________________________________________________________________________________
"La variacion total de una función real f:[a,b]->R que está definida en un intervalo cerrado es el Supremo (la cota superior mas pequeña)
donde sup es el Supremo de todas las Particiones que se pueden formar
del intervalo [a,b] La n dada depende de P"
________________________________________________________________________________________________________________
Lo que he entendido es lo siguiente: Tenemos por una parte un función que no necesariamente es continua ya que no se especifica así en la definición. Esta esta definida en el intervalo [a,b]. Ahora definimos todas las posibles particiones del intervalo [a,b], por lo tanto estas particiones serán infinitas. y a traves de la formula
Calculamos las variaciones, es decir sumamos todas las diferencias f(x_k)-f(x_k-1) para todas las i's entre 1 y n(el numero de particiones que tiene un partición cualquiera). Una vez tenemos todas las particiones, las colocamos en un conjunto y buscamos el supremo de ese conjunto de variaciones. El supremo sera la VARIACION TOTAL.
------------------------------------------------¿Está bien hasta allí?------------------
Estas son las cosas que no entiendo:
¿El numero de particiones que puedo obtener del intervalo [a,b] es infinito? ¿Si es así entonces no se puede calcular "a mano" todos las variaciones?
¿Si no se puede calcular todas las variaciones cómo podremos entonces averiguar el supremo?
Por ultimo les dejo un ejemplo que pone en Wikipedia de una funcion con variacion infinita:
________________________________________________________________________________________________________________
Queremos demostrar que para el intervalo [0,1] la función continua
cumple que:
Para todos los n∊N son
entiendo que (t_k)^(n) es una de las divisiones de la una particion con n "intervalos"
Debido a que se cumple
y como la serie armónica diverge la Variacion es infinita
________________________________________________________________________________________________________________
Aquí si que me mareo =S
1.¿De dónde se saca ese 1/(n+1-k) para k∊{1,...,n}?
2.Cómo se obtiene el último sumatorio?
3.Cómo se llega a la serie armónica? Se que ella diverge pero como la obtenemos?
Espero que me puedan echar una mano con esto! Gracias!
|
|
|
|
|
|
| |
    |
|
Huey 7
Nivel 6
Registrado: 03 Mar 2010
Mensajes: 267
Carrera: Electrónica
|
|
| alfred_oh escribió:
|
Estas son las cosas que no entiendo:
¿El numero de particiones que puedo obtener del intervalo [a,b] es infinito?
|
Sí.
| alfred_oh escribió:
|
|
¿Si es así entonces no se puede calcular "a mano" todos las variaciones?
|
Claro, no podés calcularlas una por una.
| alfred_oh escribió:
|
|
¿Si no se puede calcular todas las variaciones cómo podremos entonces averiguar el supremo?
|
Con ingeniosas deducciones matemáticas 
Respecto al ejemplo:
| alfred_oh escribió:
|
|
1.¿De dónde se saca ese 1/(n+1-k) para k∊{1,...,n}?
|
Es una partición del intervalo [0, 1] convenientemente elegida para obtener un conjunto de sumas que no está acotado superiormente, y demostrar así que la variación total de f(t) en el intervalo [0, 1] es infinito. Ver respuestas anterior y siguiente 
| alfred_oh escribió:
|
2.Cómo se obtiene el último sumatorio?
3.Cómo se llega a la serie armónica? Se que ella diverge pero como la obtenemos?
|
![[tex]f(t_{k+1}^{(2n)}) = t_{k+1}^{(2n)} \cos \left ( \frac{\pi}{2t_{k+1}^{(2n)}} \right ) =\frac{1}{2n-k} \cos \left [ (2n-k) \frac{\pi}{2} \right ] =\left \{ \begin{array}{ll}\displaystyle \frac{(-1)^{n-r}}{2(n-r)} & \mbox{si } k = 2r \\0 & \mbox{si } k = 2r+1\end{array} \right .[/tex]](images/latex/625e0f2ba92053ed80441881edf1a538f55a0c77_0.png "[tex]f(t_{k+1}^{(2n)}) = t_{k+1}^{(2n)} \cos \left ( \frac{\pi}{2t_{k+1}^{(2n)}} \right ) =\frac{1}{2n-k} \cos \left [ (2n-k) \frac{\pi}{2} \right ] =\left \{ \begin{array}{ll}\displaystyle \frac{(-1)^{n-r}}{2(n-r)} & \mbox{si } k = 2r \\0 & \mbox{si } k = 2r+1\end{array} \right .[/tex]")
Para r = 0, 1, ..., n - 1. Dado que para k impar (k = 2r+1), 2n-k es impar y el coseno de múltiplos impares de ![[tex]\frac{\pi}{2}[/tex]](images/latex/099837c8b41b61b95e1af79a9a70edec6d66bbd8_0.png "[tex]\frac{\pi}{2}[/tex]") es 0, y para k par (k = 2r), 2n-k es par, y el coseno de múltiplos pares de es 1 ó -1. Asimismo:
![[tex]f(t_k ^{(2n)}) = \left \{ \begin{array}{ll}0 & \mbox{si } k = 0 \\\displaystyle t_k ^{(2n)} \cos \left ( \frac{\pi}{2t_k ^{(2n)}} \right ) &\mbox{si } k = 1, ..., 2n-1\end{array} \right . =\left \{ \begin{array}{ll}0 & \mbox{si } k = 0 \\\displaystyle \frac{1}{2n+1-k} \cos \left [ (2n+1-k) \frac{\pi}{2} \right ] &\mbox{si } k = 1, ..., 2n-1\end{array} \right . =[/tex]](images/latex/91ef59d2f5e67dd557d5528fa95d7ac114d12b64_0.png "[tex]f(t_k ^{(2n)}) = \left \{ \begin{array}{ll}0 & \mbox{si } k = 0 \\\displaystyle t_k ^{(2n)} \cos \left ( \frac{\pi}{2t_k ^{(2n)}} \right ) &\mbox{si } k = 1, ..., 2n-1\end{array} \right . =\left \{ \begin{array}{ll}0 & \mbox{si } k = 0 \\\displaystyle \frac{1}{2n+1-k} \cos \left [ (2n+1-k) \frac{\pi}{2} \right ] &\mbox{si } k = 1, ..., 2n-1\end{array} \right . =[/tex]")
![[tex]= \left \{ \begin{array}{ll}0 & \mbox{si } k = 2r \\\displaystyle \frac{(-1)^{n-r}}{2(n-r)} & \mbox{si } k = 2r+1\end{array} \right .[/tex]](images/latex/1e079ecdd0fa7ad6d5ae10c9393f808e20e5701c_0.png "[tex]= \left \{ \begin{array}{ll}0 & \mbox{si } k = 2r \\\displaystyle \frac{(-1)^{n-r}}{2(n-r)} & \mbox{si } k = 2r+1\end{array} \right .[/tex]")
Entonces:
![[tex]f(t_{k+1}^{(2n)}) - f(t_k ^{(2n)}) = \left \{ \begin{array}{rl}\displaystyle \frac{(-1)^{n-r}}{2(n-r)} & \mbox{si } k = 2r \\\displaystyle -\frac{(-1)^{n-r}}{2(n-r)} & \mbox{si } k = 2r+1\end{array} \right .[/tex]](images/latex/065d651eee7732f395556222fa7450bbd92c423d_0.png "[tex]f(t_{k+1}^{(2n)}) - f(t_k ^{(2n)}) = \left \{ \begin{array}{rl}\displaystyle \frac{(-1)^{n-r}}{2(n-r)} & \mbox{si } k = 2r \\\displaystyle -\frac{(-1)^{n-r}}{2(n-r)} & \mbox{si } k = 2r+1\end{array} \right .[/tex]")
![[tex]|f(t_{k+1}^{(2n)}) - f(t_k ^{(2n)})| = \left \{ \begin{array}{ll}\displaystyle \frac{1}{2(n-r)} & \mbox{si } k = 2r \\\displaystyle \frac{1}{2(n-r)} & \mbox{si } k = 2r+1\end{array} \right .[/tex]](images/latex/8176fb8bc33e945d1a17565662266eaf3183e157_0.png "[tex]|f(t_{k+1}^{(2n)}) - f(t_k ^{(2n)})| = \left \{ \begin{array}{ll}\displaystyle \frac{1}{2(n-r)} & \mbox{si } k = 2r \\\displaystyle \frac{1}{2(n-r)} & \mbox{si } k = 2r+1\end{array} \right .[/tex]")
![[tex]\sum_{k = 0}^{2n-1} |f(t_{k+1}^{(2n)}) - f(t_k ^{(2n)})| = \sum_{r = 0}^{n-1} \frac{1}{2(n-r)} + \sum_{r = 0}^{n-1} \frac{1}{2(n-r)} = \sum_{r = 0}^{n-1} \frac{1}{n-r} = \sum_{v = 1}^n \frac{1}{v}[/tex]](images/latex/692189f89ac5ca1e71e11f2e01570d523ef38de1_0.png "[tex]\sum_{k = 0}^{2n-1} |f(t_{k+1}^{(2n)}) - f(t_k ^{(2n)})| = \sum_{r = 0}^{n-1} \frac{1}{2(n-r)} + \sum_{r = 0}^{n-1} \frac{1}{2(n-r)} = \sum_{r = 0}^{n-1} \frac{1}{n-r} = \sum_{v = 1}^n \frac{1}{v}[/tex]")
Haciendo el cambio de índice v = n - r. Como la serie armónica diverge, para todo K real positivo hay un N natural para el cual si n > N, ![[tex]\sum_{v = 1}^n \frac{1}{v} > K[/tex]](images/latex/48366e717130b04275ba5128d15236b6fe459f45_0.png "[tex]\sum_{v = 1}^n \frac{1}{v} > K[/tex]") . Que entonces significa que para todo K real positivo existe una partición ![[tex]t_k ^{(2n)}[/tex]](images/latex/7e892a75a84b0a4ffa576e6ae9da034f2aa98baa_0.png "[tex]t_k ^{(2n)}[/tex]") para la cual ![[tex]\sum_{k = 0}^{2n-1} |f(t_{k+1}^{(2n)}) - f(t_k ^{(2n)})| > K[/tex]](images/latex/c0c8bc9d9584931b134bfa50e2feefeb3eec658e_0.png "[tex]\sum_{k = 0}^{2n-1} |f(t_{k+1}^{(2n)}) - f(t_k ^{(2n)})| > K[/tex]") . Que entonces significa que el conjunto de sumas de ese estilo es no acotado superiormente.
|
|
|
|
_________________
|
|
 |
|
|
gedefet
Nivel 9
Edad: 34
Registrado: 06 May 2008
Mensajes: 936
Carrera: Electrónica
|
|
|
_________________
Problemas con matemática? Llamá gratis al 0-800-3x²±sen(1/n³)∫∆ƒ dx
|
|
  |
 |
|
Elmo Lesto
Nivel 8
Edad: 33
Registrado: 02 Ene 2010
Mensajes: 809
Ubicación: Subsuelo
Carrera: Mecánica
|
|
| No sabemos quién es, pero sabemos qué es: UN CRACK
|
|
|
|
_________________
![[tex] \mbox{Si tu viejo es zapatero, sarpale la lata} [/tex]](images/latex/227de1ab21cbbce128227d57c9bf8e569c47dad2_0.png "[tex] \mbox{Si tu viejo es zapatero, sarpale la lata} [/tex]")
|
|
  |
  |
|
|
|
|
Ver tema siguiente
Ver tema anterior
Podés publicar nuevos temas en este foro
No podés responder a temas en este foro
No podés editar tus mensajes en este foro
No podés borrar tus mensajes en este foro
No podés votar en encuestas en este foro
No Podéspostear archivos en este foro
No Podés bajar archivos de este foro
|
Todas las horas son ART, ARST (GMT - 3, GMT - 2 Horas)
Protected by CBACK CrackerTracker365 Attacks blocked.
|
|
|
[ Tiempo: 0.4403s ][ Pedidos: 20 (0.3860s) ] |
