Convergence

It is the main subject of analysis that finding conditions making sequential mathematical objects like a set, sequence, series to be convergent. Induction changes S=N to s1S and if snS then sn+1S. The natural number has a property of endless addable with one. But, induction can prove only natural number N not infinity .

Inductions1Sif snS then sn+1SThen S=N The limit is the way N goes to . But the limit operation should be justified by an axiom or a proof. n=1U is open, where U is open in topology. In the extended non-negative real line, an infinite series Σn=1xn[0,] is always convergent as a limit of the partial sum Σn=1Nxn. In the sequence version, a sequence (an) is converges to real number if there exist NN such that for every nN, |ana|<ϵ for every ϵ>0. This is the point where natural number N applies it’s property of endless addable with one. The ϵ can be replaced by neiborhood in topological space.

The series of an can be a series or just a set of a complex number cC, function, set, integration, differentiation, or other mathematical objects. But computing the limit is different by how the sequence or the set is processed. If the sequence is processed by union of sets, the limit is defined by computing element-wise limit n=1An={x|xAn for all nN}. Induction can not apply to the limit n=1NAn={x|xAn for all nN}. The integration is defined by supremum of a set of simple function integral Simp Rdf(x)dx:=c1m(E1)+...+ck(Ek). The Jordan measure is an infimum of the finite sum of element measure. The Lebesgue measure is an infimum of the infinite sum of element measure.

Is the Lebesgue outer measure (E = infΣn=1m(En) where m(E) is elementary measure and AEn), a limit of Jordan measure (limsupΣn=1Nm(En))?

Measure can be considered as a optimizaion problem.

minimize Σn=1m(En)suject to AEnwhere m(E) is elementary measure, E is a elementary set

The objective function Σn=1m(En) has infinite domain f:ER in Lebesgue outer measure and finite domain f:ENR in Jordan outer measure. The Lebesgue outer measure and Jordan outer measure has different domain space, then the objective function of the Lebesgue outer measure is not a limit of Jordan outer measure.

Optimization problem has solution ({E:En ,nN or }) at the saddle point where meets the objective function and the constraint. A that we measure is a parameter of the constraints. Measure is find solution ({E:En ,nN or }) with constraints with A what we measure. Then the solution can be computed by approximation or limit process.

Avatar
Jun Kang
Clinical Assistant Professor of Hospital Pathology

My research interests include pathology, oncology and statistics.

Related