Teorema Central del Límite ; Forma Lindeberg-Lévy

versión media

    En cierto modo es un caso particular de la forma de Lyapounov pero con  las premisas previas  más restrictivas ; así

dada una sucesión de variables aleatorias {Xn}0000.bmp (790 bytes)   independientes y con la misma distribución , de manera que las variables tendrán la misma media y varianza :     y       tendremos que:

        La sucesión definida como :

                                                                                converge en distribución a una N[0,1]

                      de donde : es decir ;
     que si sumamos un gran número de variables aleatorias independientes e igualmente distribuidas , con la misma media y varianza ; esta suma se distribuirá normalmente con media n veces la media común y , desviación típica raíz cuadrada de n veces la desviación típica común.
    Para demostrar este teorema vamos aprobar que la F.G.M . de tiende a la F.G.M. de una distribución Normal reducida cuando n tiende a infinito ; esto es :

                                    para ello consideramos las nuevas variables tales que :

                                               para i = 1,2,3,......n .   de manera que :

                                 como todas las X son estocásticamente independientes y están idénticamente distribuidas , las también serán independientes y en consecuencia tendrán la misma distribución ; así y en consecuencia la F.G.M. de será: por lo que debemos obtener primero :

                                                                       

                       
desarrollando en serie tendremos:

                                    dado que :

                                                    y         tendremos que

                                               

        si tomamos límites cuan n tiende a infinito la función es un infinitésimo de orden superior a y por tanto :

                   

                                                    que es la expresión de la F.G.M. de la Normal (0;1).

            Esta demostración es sólo valida para el caso en el que las F.G.M. existan ; si no fuera así utilizaríamos de manera análoga las funciones características.

            Del propio teorema central del límite en forma Lindeberg-Lévy se infiere , lo que podríamos denominar su versión en media ; así , dada una sucesión de variables aleatorias {Xn}0000.bmp (790 bytes) independientes y con la misma distribución de manera que las variables tendrán la misma media y varianza : y y tenemos la sucesión :

es decir, la media de la sucesión ; y dado que conocemos por Lindeberg-Lévy que : La sucesión definida como :    converge en distribución a una N[0,1] luego para la nueva sucesión   tendremos que:
            la sucesión definida como : converge en distribución a una N[0,1]

de donde : es decir , que la media aritmética de un gran número de variables aleatorias independientes e igualmente distribuidas , con la misma media y varianza ; se distribuirá normalmente con media la media común y , desviación típica , la desviación típica común dividida por raíz de n.

La gran importancia de esta convergencia y forma del teorema , radica en su aplicabilidad en la relación muestra-población , y así podemos establecer que : "sea cual fuere la distribución de la población, si extraemos una muestra aleatoria de suficiente tamaño, y de forma que las extracciones sean independientes entre sí; la media de esta muestra tiende a una normal, con media la media de la población, y desviación típica, la desviación típica de la población dividida por la raíz del tamaño muestral".