Este teorema sobre la distribución de los números primos en , fue conjeturado por Gauss y finalmente demostrado en 1837 por Dirichlet, nombre por el que actualmente se le conoce.
El primer teorema de convergencia de series de Fourier, debido a Dirichlet, apareció en 1829 y se refiere a funciones monótonas a trozos. Por ello comenzamos primero con unos comentarios sobre estas funciones. Una función monótona y acotada en un intervalo [a, b] es integrable y tiene límites laterales finitos en cada punto. Si estos límites no coinciden la función tendrá una discontinuidad con un salto finito. La suma de los saltos no puede ser mayor que la diferencia de los valores de la función en los extremos del intervalo, de modo que el conjunto de discontinuidades con salto mayor que 1/n es finito y, por tanto, el conjunto de discontinuidades es a lo más numerable. Las mismas propiedades serán ciertas para una función monótona a trozos, es decir, aquella que es monótona en una cantidad finita de intervalos que unidos dan el intervalo original.
El primer teorema de convergencia de series de Fourier, debido a Dirichlet, apareció en 1829 y se refiere a funciones monótonas a trozos. Por ello comenzamos primero con unos comentarios sobre estas funciones. Una función monótona y acotada en un intervalo [a, b] es integrable y tiene límites laterales finitos en cada punto. Si estos límites no coinciden la función tendrá una discontinuidad con un salto finito. La suma de los saltos no puede ser mayor que la diferencia de los valores de la función en los extremos del intervalo, de modo que el conjunto de discontinuidades con salto mayor que 1/n es finito y, por tanto, el conjunto de discontinuidades es a lo más numerable. Las mismas propiedades serán ciertas para una función monótona a trozos, es decir, aquella que es monótona en una cantidad finita de intervalos que unidos dan el intervalo original.
Enunciado:
Sea a, b Є N / M.C.D (a,b) = 1 entonces la progresión aritmética an = a + b . n contiene infinitos números primos.
No hay comentarios:
Publicar un comentario