Пределы являются основополагающим фундаментом при доказательстве и понимании теорем о производных и интегралах, по сути своей являющихся пределами.
Пусть переменная x принимает ряд значений x1, x2, x3, ..., xn... Пределом переменной x = xn называется постоянное число a, если для каждого положительного числа e независимо от того, насколько оно мало, при некотором значении номера N все значения xn, у которых номер n > N, удовлетворяют неравенству
|xn - a| < e.
Если пределом переменной x является a, то записывают lim x = a или lim xn = a. Также говорят, что переменная x стремится к a и пишут x->a. Если переменная xn стремится к 0, то ее называют бесконечно малой. Переменную через предел можно выразить так
xn= a + an,
где an - бесконечно малая.
Теперь рассмотрим теоремы о пределах.
1. Если для переменных xn, yn всегда выполняется неравенство xn >= yn, то их пределы
lim xn = a и lim yn = b удовлетворяют неравенству a >= b. Это вполне понятно, поскольку при приближении переменных xn и yn к своим пределам, неравенство будет выполняться при любом N. Можно брать все более близкие к пределам значения переменных и неравенство xn >= yn будет выполняться, так как это задано в условии. Значит и предельные значения xn и yn будут удовлетворять неравенству xn >= yn, а предельные значения xn и yn и есть их пределы a и b. Достаточно немного поразсмыслить.
2. Если переменные xn и yn имеют конечные пределы lim xn = a и lim yn = b, то их сумма и разность определяются так
lim (xn + yn) = a + b, lim (xn - yn) = a - b.
Аналогично предыдущим рассуждениям можно брать все более близкие к предельным значения переменных xn и yn. Их сумма xn+ yn тогда будет все меньше отличаться от суммы их пределов a + b, так как переменные сами будут все меньше отличаться от своих пределов. Сумма xn+ yn при предельных значения xn и yn станет не отличной от суммы a + b. Так как предельные значения xn и yn - это и есть их пределы a и b.
Аналогично можно рассмотреть предел разности, произведения и отношения переменных xn и yn, причем в случае отношения предел делителя не должен равняться нулю.
Существуют случаи, когда предел делителя равен нулю или переменные имеют бесконечные пределы. В таких неопределенных случаях нужно каждый случай рассматривать отдельно.