Convergence theorem of genetic algorithm

We prove a convergence theorem of genetic algorithms with all the three basic operators in the general sense (the solution space is m-dimensional Eucleadian space). It is the first convergence theorem in the strict sense. It has very meaningful guidance for the practical application of GAs.