Нестандартное исчисление - Nonstandard calculus

В математика, нестандартное исчисление это современное применение бесконечно малые, в том смысле нестандартный анализ, до бесконечно малых исчисление. Это обеспечивает строгое обоснование некоторых аргументов в исчислении, которые ранее считались просто эвристический.

Нестрогие вычисления с бесконечно малыми широко использовались и раньше. Карл Вейерштрасс стремился заменить их (ε, δ) -определение предела начиная с 1870-х гг. (Увидеть история исчисления.) В течение почти ста лет после этого математики любили Ричард Курант считал бесконечно малые наивными, расплывчатыми или бессмысленными.^[1]

Вопреки таким взглядам, Авраам Робинсон показал в 1960 году, что бесконечно малые числа точны, ясны и значимы, основываясь на работе Эдвин Хьюитт и Ежи Лось. Согласно с Говард Кейслер «Робинсон решил проблему трехсотлетней давности, дав точную трактовку бесконечно малых величин. Достижение Робинсона, вероятно, будет считаться одним из главных математических достижений двадцатого века».^[2]

История

История нестандартного исчисления началась с использования бесконечно малых величин, называемых бесконечно малые в исчисление. Использование бесконечно малых можно найти в основах исчисления, независимо разработанных Готфрид Лейбниц и Исаак Ньютон начиная с 1660-х гг. Джон Уоллис усовершенствовал более ранние методы неделимые из Кавальери и другие, используя бесконечно малый количество, которое он обозначил ${\displaystyle {\tfrac {1}{\infty }}}$ в расчетах площадей, подготавливая почву для интегральных исчисление.^[3] Они опирались на работы таких математиков, как Пьер де Ферма, Исаак Барроу и Рене Декарт.

В раннем исчислении использование бесконечно малый количество подверглось критике со стороны ряда авторов, в первую очередь Мишель Ролль и Епископ Беркли в его книге Аналитик.

Несколько математиков, в том числе Маклорен и д'Аламбер, выступал за использование ограничений. Огюстен Луи Коши разработал широкий спектр основополагающих подходов, включая определение непрерывность в терминах бесконечно малых и (несколько неточного) прототипа ε, δ аргумент в работе с дифференциацией. Карл Вейерштрасс формализовала концепцию предел в контексте (реальной) системы счисления без бесконечно малых. После работы Вейерштрасса в конечном итоге стало обычным делом основывать исчисление на аргументах ε, δ вместо бесконечно малых.

Этот подход, формализованный Вейерштрассом, стал известен как стандарт исчисление. После многих лет, когда бесконечно малый подход к исчислению вышел из употребления, кроме как вводного педагогического инструмента, использование бесконечно малых величин наконец получило строгую основу. Авраам Робинсон в 1960-е гг. Подход Робинсона называется нестандартный анализ чтобы отличить его от стандартного использования пределов. В этом подходе использовалась техника от математическая логика создать теорию гиперреальные числа которые интерпретируют бесконечно малые величины таким образом, чтобы допускать развитие обычных правил исчисления в стиле Лейбница. Альтернативный подход, разработанный Эдвард Нельсон, находит бесконечно малые величины на самой обычной действительной прямой и включает в себя модификацию базовых параметров путем расширения ZFC посредством введения нового унарного предиката «стандарт».

Мотивация

Чтобы вычислить производную ${\displaystyle f'}$ функции ${\displaystyle y=f(x)=x^{2}}$ в Икс, оба подхода согласуются с алгебраическими манипуляциями:

${\displaystyle {\frac {\Delta y}{\Delta x}}={\frac {(x+\Delta x)^{2}-x^{2}}{\Delta x}}={\frac {2x\Delta x+(\Delta x)^{2}}{\Delta x}}=2x+\Delta x\approx 2x}$

Это становится вычислением производных с использованием гиперреалы если ${\displaystyle \Delta x}$ интерпретируется как бесконечно малое, а символ "${\displaystyle \approx }$"это отношение" бесконечно близко к ".

Чтобы сделать f ' функция с действительным знаком, последний член ${\displaystyle \Delta x}$ обходится без. В стандартном подходе, использующем только действительные числа, это достигается путем принятия предела как ${\displaystyle \Delta x}$ стремится к нулю. в гиперреальный подход, количество ${\displaystyle \Delta x}$ считается бесконечно малым, ненулевым числом, которое ближе к 0, чем к любому ненулевому действительному значению. Показанные выше манипуляции показывают, что ${\displaystyle \Delta y/\Delta x}$ бесконечно близко к 2Икс, поэтому производная от ж в Икс тогда 2Икс.

Отказ от «ошибки» осуществляется применением стандартная функция детали. Некоторые авторы исторически считали отказ от бесконечно малых ошибок в терминах парадоксальным, в первую очередь Джордж Беркли.

Когда существует гиперреальная система счисления (бесконечно обогащенный континуум), можно успешно интегрировать большую часть технических трудностей на фундаментальном уровне. Таким образом эпсилон, дельта-техника что, по мнению некоторых, суть анализа может быть реализована раз и навсегда на фундаментальном уровне, и учащимся не нужно «одеваться для выполнения логических трюков с множественными кванторами под предлогом того, что их учат исчисление бесконечно малых ", если процитировать недавнее исследование.^[4] Более конкретно, основные концепции исчисления, такие как непрерывность, производная и интеграл, могут быть определены с использованием бесконечно малых без ссылки на эпсилон, дельта (см. Следующий раздел).

Учебник Кейслера

Кейслера Элементарное исчисление: бесконечно малый подход определяет непрерывность на странице 125 в терминах бесконечно малых, за исключением эпсилон, дельта-методов. Производная определяется на странице 45 с использованием бесконечно малых, а не эпсилон-дельта-подхода. Интеграл определяется на странице 183 в терминах бесконечно малых. Определения дельты представлены на странице 282.

Определение производной

В гиперреалы могут быть построены в рамках Теория множеств Цермело – Френкеля, стандартная аксиоматизация теории множеств, используемая где-то еще в математике. Чтобы дать интуитивное представление о гиперреальном подходе, отметим, что, наивно говоря, нестандартный анализ постулирует существование положительных чисел ε которые бесконечно малы, что означает, что ε меньше любого стандартного положительного действительного числа, но больше нуля. Каждое реальное число Икс окружен бесконечно малым «облаком» бесконечно близких гиперреальных чисел. Чтобы определить производную от ж по стандартному действительному числу Икс в этом подходе больше не нужен бесконечный предельный процесс, как в стандартном исчислении. Вместо этого устанавливается

${\displaystyle f'(x)=\mathrm {st} \left({\frac {f^{*}(x+\varepsilon )-f^{*}(x)}{\varepsilon }}\right),}$

где ул это стандартная функция детали, давая действительное число, бесконечно близкое к гиперреалистическому аргументу ул, и ${\displaystyle f^{*}}$ является естественным продолжением ${\displaystyle f}$ к гиперреалам.

Непрерывность

Настоящая функция ж непрерывно на стандартном действительном числе Икс если для каждого гиперреального Икс' бесконечно близко к Икс, Значение ж(Икс' ) также бесконечно близка к ж(Икс). Это захватывает Коши определение непрерывности, представленное в его учебнике 1821 г. Cours d'Analyse, п. 34.

Вот если быть точным, ж должен быть заменен его естественным гиперреальным расширением, обычно обозначаемым ж^* (см. обсуждение Принцип передачи в основной статье на нестандартный анализ ).

Используя обозначения ${\displaystyle \approx }$ для отношения бесконечной близости, как указано выше, определение может быть расширено на произвольные (стандартные или нестандартные) точки следующим образом:

Функция ж является микропрерывный в Икс если когда-нибудь ${\displaystyle x'\approx x}$, надо ${\displaystyle f^{*}(x')\approx f^{*}(x)}$

Здесь предполагается, что точка x 'находится в области (естественного расширения) ж.

Вышеуказанное требует меньшего количества кванторов, чем (ε, δ)-определение знакомые из стандартного элементарного исчисления:

ж непрерывно на Икс если для каждого ε > 0 существует δ > 0 такое, что для каждого Икс' , всякий раз, когда |Икс − Икс'| < δ, есть |ж(Икс) − ж(Икс')| < ε.

Единая непрерывность

Функция ж на интервале я является равномерно непрерывный если его естественное продолжение ж* в я* обладает следующим свойством (см. Кейслер, Основы исчисления бесконечно малых ('07), стр. 45):

для каждой пары гиперреалов Икс и у в я*, если ${\displaystyle x\approx y}$ тогда ${\displaystyle f^{*}(x)\approx f^{*}(y)}$.

В терминах микропрерывности, определенной в предыдущем разделе, это можно сформулировать следующим образом: действительная функция является равномерно непрерывной, если ее естественное продолжение f * микропрерывно в каждой точке области определения f *.

Это определение имеет меньшую сложность квантификатора по сравнению со стандартным (ε, δ) -определение. А именно, эпсилон-дельта-определение однородной непрерывности требует четырех кванторов, в то время как бесконечно малое определение требует только двух кванторов. Оно имеет ту же кванторную сложность, что и определение равномерной непрерывности в терминах последовательности в стандартном исчислении, что, однако, не выражается в язык первого порядка реальных чисел.

Гиперреальное определение можно проиллюстрировать следующими тремя примерами.

Пример 1: функция ж равномерно непрерывен на полуоткрытом интервале (0,1] тогда и только тогда, когда его естественное продолжение f * микропрерывно (в смысле формулы, приведенной выше) в каждой положительной бесконечно малой, в дополнение к непрерывности в стандартных точках интервал.

Пример 2: функция ж равномерно непрерывно на полуоткрытом интервале [0, ∞) тогда и только тогда, когда оно непрерывно в стандартных точках интервала, и, кроме того, естественное продолжение ж* микропрерывно в каждой положительной бесконечной гиперреальной точке.

Пример 3: аналогично нарушение равномерной непрерывности функции возведения в квадрат

${\displaystyle x^{2}}$

происходит из-за отсутствия микропрерывности в одной бесконечной гиперреальной точке, см. ниже.

Относительно сложности кванторов следующие замечания были сделаны Кевин Хьюстон:^[5]

Количество кванторов в математическом утверждении дает приблизительную оценку сложности утверждения. Утверждения, содержащие три или более квантификаторов, могут быть трудными для понимания. Это основная причина, по которой трудно понять строгие определения предела, сходимости, непрерывности и дифференцируемости в анализе, поскольку они имеют много кванторов. По сути, это чередование ${\displaystyle \forall }$ и ${\displaystyle \exists }$ что вызывает сложность.

Андреас Бласс написал следующее:

Часто ... нестандартное определение понятия проще, чем стандартное определение (интуитивно проще и проще в техническом смысле, например, кванторы над более низкими типами или меньшее количество чередований кванторов).^[6]

Компактность

Множество A компактно тогда и только тогда, когда его естественное расширение A * обладает следующим свойством: каждая точка в A * бесконечно близка к точке A. Таким образом, открытый интервал (0,1) не является компактным, поскольку его естественное расширение содержит положительные бесконечно малые числа, которые не бесконечно близки к любому положительному действительному числу.

Теорема Гейне – Кантора

Тот факт, что непрерывная функция на компактном интервале я обязательно равномерно непрерывно ( Теорема Гейне – Кантора ) допускает лаконичное гиперреальное доказательство. Позволять Икс, у быть гиперреальными в естественном расширении Я* из я. поскольку я компактно, оба st (Икс) и st (у) принадлежит я. Если Икс и у были бесконечно близки, то по неравенству треугольника у них была бы одна и та же стандартная часть

${\displaystyle c=\operatorname {st} (x)=\operatorname {st} (y).}$

Поскольку функция считается непрерывной в точке c,

${\displaystyle f(x)\approx f(c)\approx f(y),}$

и поэтому ж(Икс) и ж(у) бесконечно близки, что доказывает равномерную непрерывность ж.

Почему функция возведения в квадрат не является равномерно непрерывной?

Позволять ж(Икс) = Икс² определено на ${\displaystyle \mathbb {R} }$. Позволять ${\displaystyle N\in \mathbb {R} ^{*}}$ быть бесконечным гиперреальным. Гиперреальное число ${\displaystyle N+{\tfrac {1}{N}}}$ бесконечно близок к N. Между тем разница

${\displaystyle f(N+{\tfrac {1}{N}})-f(N)=N^{2}+2+{\tfrac {1}{N^{2}}}-N^{2}=2+{\tfrac {1}{N^{2}}}}$

не является бесконечно малым. Следовательно, е * не может быть микропрерывным в гиперреальной точке N. Таким образом, функция возведения в квадрат не является равномерно непрерывной согласно определению в равномерная преемственность над.

Аналогичное доказательство может быть дано в стандартной настройке (Фицпатрик 2006, Пример 3.15).

Пример: функция Дирихле

Рассмотрим Функция Дирихле

${\displaystyle I_{Q}(x):={\begin{cases}1&{\text{ if }}x{\text{ is rational}},\\0&{\text{ if }}x{\text{ is irrational}}.\end{cases}}}$

Хорошо известно, что под стандартное определение непрерывности, функция разрывна в каждой точке. Давайте проверим это в терминах гиперреального определения непрерывности, приведенного выше, например, покажем, что функция Дирихле не является непрерывной в π. Рассмотрим приближение цепной дроби a_п из π. Пусть теперь индекс n бесконечен. сверхъестественный количество. Посредством принцип передачи, естественное продолжение функции Дирихле принимает значение 1 в точке_п. Отметим, что гиперрациональная точка a_п бесконечно близко к π. Таким образом, естественное продолжение функции Дирихле принимает разные значения (0 и 1) в этих двух бесконечно близких точках, и, следовательно, функция Дирихле не является непрерывной вπ.

Предел

Хотя суть подхода Робинсона заключается в том, что можно обойтись без подхода, использующего несколько квантификаторов, понятие предела может быть легко восстановлено с точки зрения стандартная функция детали ул, а именно

${\displaystyle \lim _{x\to a}f(x)=L}$

тогда и только тогда, когда разница Икс − а бесконечно мала, разница ж(Икс) − L бесконечно малая, либо в формулах:

если st (Икс) = а затем st (ж(Икс)) = L,

ср. (ε, δ) -определение предела.

Предел последовательности

Учитывая последовательность действительных чисел ${\displaystyle \{x_{n}|n\in \mathbb {N} \}}$, если ${\displaystyle L\in \mathbb {R} }$ L является предел последовательности и

${\displaystyle L=\lim _{n\to \infty }x_{n}}$

если для каждого бесконечного сверхъестественный п, st (x_п) = L (здесь принцип расширения используется для определения x_п для каждого гиперинтегрального числа n).

Это определение не имеет квантификатор чередования. Стандарт (ε, δ) -стиль определение, с другой стороны, имеет чередование кванторов:

${\displaystyle L=\lim _{n\to \infty }x_{n}\Longleftrightarrow \forall \epsilon >0\;,\exists N\in \mathbb {N} \;,\forall n\in \mathbb {N} :n>N\rightarrow |x_{n}-L|<\epsilon .}$

Теорема об экстремальном значении

Чтобы показать, что действительная непрерывная функция ж на [0,1] имеет максимум, пусть N быть бесконечным гиперинтегральный. Интервал [0, 1] имеет естественное гиперреальное расширение. Функция ж также естественным образом распространяется на гиперреалы между 0 и 1. Рассмотрим разбиение гиперреального интервала [0,1] на N подынтервалы равных бесконечно малый длина 1 /N, с точками разбиения Икс_я = я /N так как я "бежит" от 0 до N. В стандартной настройке (когда N конечна) точка с максимальным значением ж всегда можно выбрать среди N+1 балл Икс_я, по индукции. Следовательно, по принцип передачи, есть гиперинтегральное число я₀ такое, что 0 ≤ я₀ ≤ N и ${\displaystyle f(x_{i_{0}})\geq f(x_{i})}$ для всех я = 0, …, N (альтернативное объяснение состоит в том, что каждый гиперконечное множество допускает максимум). Рассмотрим реальную точку

${\displaystyle c={\rm {st}}(x_{i_{0}})}$

где ул это стандартная функция детали. Произвольная действительная точка Икс лежит в подходящем подынтервале разбиения, а именно ${\displaystyle x\in [x_{i},x_{i+1}]}$, так что ул(Икс_я) = Икс. Применение ул к неравенству ${\displaystyle f(x_{i_{0}})\geq f(x_{i})}$, ${\displaystyle {\rm {st}}(f(x_{i_{0}}))\geq {\rm {st}}(f(x_{i}))}$. По преемственности ж,

${\displaystyle {\rm {st}}(f(x_{i_{0}}))=f({\rm {st}}(x_{i_{0}}))=f(c)}$.

Следовательно ж(c) ≥ ж(Икс), для всех Икс, доказывая c быть максимумом реальной функции ж. Увидеть Кейслер (1986, п. 164) Ошибка harvtxt: цель отсутствует: CITEREFKeisler1986 (Помогите).

Теорема о промежуточном значении

Как еще одна иллюстрация силы Робинсон подход, краткое доказательство теорема о промежуточном значении (Теорема Больцано) с использованием бесконечно малых значений выполняется следующим образом.

Позволять ж - непрерывная функция на [а, б] такой, что f (а) <0 в то время как f (b)> 0. Тогда существует точка c в [а, б] такой, что f (c) = 0.

Доказательство проводится следующим образом. Позволять N быть бесконечным гиперинтегральный. Рассмотрим раздел [а, б] в N интервалы равной длины, с точками разделения Икс_я так как я работает от 0 до N. Рассмотрим коллекцию я индексов таких, что f (x_я)>0. Позволять я₀ быть наименьшим элементом в я (такой элемент существует принцип передачи, так как я это гиперконечное множество ). Тогда действительное число

${\displaystyle c=\mathrm {st} (x_{i_{0}})}$

желаемый нуль жТакое доказательство снижает квантификатор сложность стандартного доказательства IVT.

Основные теоремы

Если ж является вещественной функцией, определенной на интервале [а, б], то оператор передачи обратился к ж, обозначаемый * f, является внутренний, гиперреальная функция, заданная на гиперреальном интервале [*а, *б].

Теорема: Позволять ж - функция с действительными значениями, определенная на интервале [а, б]. потом ж дифференцируема в а <х <б тогда и только тогда, когда для каждого ненулевой бесконечно малый час, Значение

${\displaystyle \Delta _{h}f:=\operatorname {st} {\frac {[{}^{*}\!f](x+h)-[{}^{*}\!f](x)}{h}}}$

не зависит от час. В этом случае обычное значение является производной от ж в Икс.

Этот факт следует из принцип передачи нестандартного анализа и переливать.

Обратите внимание, что аналогичный результат справедлив для дифференцируемости на концах а, б при условии знака бесконечно малого час соответственно ограничен.

Для второй теоремы интеграл Римана определяется как предел, если он существует, направленного семейства Суммы Римана; это суммы вида

${\displaystyle \sum _{k=0}^{n-1}f(\xi _{k})(x_{k+1}-x_{k})}$

где

${\displaystyle a=x_{0}\leq \xi _{0}\leq x_{1}\leq \ldots x_{n-1}\leq \xi _{n-1}\leq x_{n}=b.}$

Такая последовательность значений называется раздел или сетка и

${\displaystyle \sup _{k}(x_{k+1}-x_{k})}$

ширина сетки. В определении интеграла Римана предел сумм Римана берется, когда ширина сетки стремится к 0.

Теорема: Позволять ж - функция с действительными значениями, определенная на интервале [а, б]. потом ж интегрируема по Риману на [а, б] тогда и только тогда, когда для каждой внутренней сетки бесконечно малой ширины величина

${\displaystyle S_{M}=\operatorname {st} \sum _{k=0}^{n-1}[*f](\xi _{k})(x_{k+1}-x_{k})}$

не зависит от сетки. В этом случае обычным значением является интеграл Римана от ж над [а, б].

Приложения

Одно из непосредственных приложений - это расширение стандартных определений дифференциации и интеграции на внутренние функции на интервалах гиперреальных чисел.

Внутренняя гиперреалистическая функция ж на [а, б] является S-дифференцируемая на Икс, предоставлена

${\displaystyle \Delta _{h}f=\operatorname {st} {\frac {f(x+h)-f(x)}{h}}}$

существует и не зависит от бесконечно малых час. Ценность - это S производная на Икс.

Теорема: Предположим ж является S-дифференцируем в каждой точке [а, б] где б − а является ограниченным гиперреальным. Предположим, кроме того, что

${\displaystyle |f'(x)|\leq M\quad a\leq x\leq b.}$

Тогда для некоторого бесконечно малого ε

${\displaystyle |f(b)-f(a)|\leq M(b-a)+\epsilon .}$

Чтобы доказать это, пусть N нестандартное натуральное число. Разделите интервал [а, б] в N подынтервалы путем размещения N - 1 равномерно распределенные промежуточные точки:

${\displaystyle a=x_{0}<x_{1}<\cdots <x_{N-1}<x_{N}=b}$

потом

${\displaystyle |f(b)-f(a)|\leq \sum _{k=1}^{N-1}|f(x_{k+1})-f(x_{k})|\leq \sum _{k=1}^{N-1}\left\{|f'(x_{k})|+\epsilon _{k}\right\}|x_{k+1}-x_{k}|.}$

Теперь максимум любого внутреннего набора бесконечно малых бесконечно мал. Таким образом, все ε_k's преобладает бесконечно малое ε. Следовательно,

${\displaystyle |f(b)-f(a)|\leq \sum _{k=1}^{N-1}(M+\epsilon )(x_{k+1}-x_{k})=M(b-a)+\epsilon (b-a)}$

из чего следует результат.

Смотрите также

• Адекватность
• Критика нестандартного анализа
• Использование архимедом бесконечно малых
• Элементарное исчисление: бесконечно малый подход
• Неклассический анализ

Заметки

1. Курант описал бесконечно малые величины на странице 81 книги. Дифференциальное и интегральное исчисление, Том I, как «лишенный всякого смысла» и «наивное затуманивание». Точно так же на странице 101 Курант описал их как «несовместимые с ясностью идей, требуемых в математике», «совершенно бессмысленными», «туманом, окутывающим основы» и «туманной идеей».
2. Элементарное исчисление: бесконечно малый подход
3. Скотт, Дж. Ф. 1981. «Математическая работа Джона Уоллиса, Д. Д. Д., ФРБ (1616–1703)». Chelsea Publishing Co. Нью-Йорк, штат Нью-Йорк. п. 18.
4. Кац, Михаил; Высокий, Дэвид (2011), Противоречие между интуитивными бесконечно малыми величинами и формальным математическим анализом, Бхарат Шрираман, Редактор. Перекресток истории математики и математического образования. Энтузиаст математики из Монтаны Монографии по математическому образованию 12, Издательство информационного века, Inc., Шарлотт, Северная Каролина, arXiv:1110.5747, Bibcode:2011arXiv1110.5747K
5. Кевин Хьюстон, Как думать как математик, ISBN  978-0-521-71978-0
6. Бласс, Андреас (1978), "Обзор: Мартин Дэвис, Прикладной нестандартный анализ, и К. Д. Строян, В. А. Джексембург, Введение в теорию бесконечно малых величин, и Х.Джером Кейслер, Основы исчисления бесконечно малых », Бык. Амер. Математика. Soc., 84 (1): 34–41, Дои:10.1090 / S0002-9904-1978-14401-2, п. 37.

использованная литература

• Фитцпатрик, Патрик (2006), Расширенный расчет, Брукс / Коул
• Х. Джером Кейслер: Элементарное исчисление: подход, использующий бесконечно малые. Первое издание 1976 г .; 2-е издание 1986 г. (Эта книга сейчас больше не издается. Издатель вернул авторские права автору, который предоставил 2-е издание в формате .pdf, доступное для загрузки по адресу http://www.math.wisc.edu/~keisler/calc.html.)
• Х. Джером Кейслер: Основы исчисления бесконечно малых, доступно для загрузки на http://www.math.wisc.edu/~keisler/foundations.html (10 янв '07)
• Бласс, Андреас (1978), "Обзор: Мартин Дэвис, Прикладной нестандартный анализ, и К. Д. Строян, В. А. Джексембург, Введение в теорию бесконечно малых, и Х. Джером Кейслер, Основы исчисления бесконечно малых", Бык. Амер. Математика. Soc., 84 (1): 34–41, Дои:10.1090 / S0002-9904-1978-14401-2
• Барон, Маргарет Э .: Истоки исчисления бесконечно малых. Dover Publications, Inc., Нью-Йорк, 1987.
• Барон, Маргарет Э .: Истоки исчисления бесконечно малых. Pergamon Press, Oxford-Edinburgh-New York, 1969. (Новое издание книги Барона появилось в 2004 году)
• «Исчисление бесконечно малых», Энциклопедия математики, EMS Press, 2001 [1994]

внешние ссылки

• Онлайн-версия книги «Элементарное исчисление: подход, использующий бесконечно малые»
• Текст онлайн-исчисления с использованием бесконечно малых