| rdfs:comment
| - Smooth infinitesimal analysis is a modern reformulation of the calculus in terms of infinitesimals. Based on the ideas of F. W. Lawvere and employing the methods of category theory, it views all functions as being continuous and incapable of being expressed in terms of discrete entities. As a theory, it is a subset of synthetic differential geometry. The nilsquare or nilpotent infinitesimals are numbers ε where ε² = 0 is true, but ε = 0 need not be true at the same time. (en)
- 滑らかな無限小解析（英: Smooth infinitesimal analysis、SIA）は無限小の言葉を用いた微分積分学の現代的な再定式化（のひとつ）である。ウィリアム・ローヴェアのアイデアに基づき、また圏論の手法を用いることで、SIAは全ての関数は連続であって、離散的実体を用いて表現することができないものと見做す。SIAは理論としてはの一部である。 複零（nilsquare）あるいは冪零（nilpotent）無限小とは、ε2 = 0 なる数 ε のことである（ε = 0 は真である必要がない）。 (ja)
- Гладкий инфинитезимальный анализ — это математически строгое переформулирование анализа в терминах инфинитезималей. Будучи основанным на идеях Уильяма Ловера и используя методы теории категорий, он рассматривает все функции как непрерывные и невыражаемые через дискретные элементы. Как теория это раздел . Нильпотентными инфинитезималями называют числа , удовлетворяющие условию ; при этом совсем не обязательно В гладком инфинитезимальном анализе любая функция, домен которой — (вещественные числа, дополненные инфинитезималями), непрерывна и бесконечно дифференцируема. (ru)
|
| has abstract
| - Smooth infinitesimal analysis is a modern reformulation of the calculus in terms of infinitesimals. Based on the ideas of F. W. Lawvere and employing the methods of category theory, it views all functions as being continuous and incapable of being expressed in terms of discrete entities. As a theory, it is a subset of synthetic differential geometry. The nilsquare or nilpotent infinitesimals are numbers ε where ε² = 0 is true, but ε = 0 need not be true at the same time. (en)
- 滑らかな無限小解析（英: Smooth infinitesimal analysis、SIA）は無限小の言葉を用いた微分積分学の現代的な再定式化（のひとつ）である。ウィリアム・ローヴェアのアイデアに基づき、また圏論の手法を用いることで、SIAは全ての関数は連続であって、離散的実体を用いて表現することができないものと見做す。SIAは理論としてはの一部である。 複零（nilsquare）あるいは冪零（nilpotent）無限小とは、ε2 = 0 なる数 ε のことである（ε = 0 は真である必要がない）。 (ja)
- Гладкий инфинитезимальный анализ — это математически строгое переформулирование анализа в терминах инфинитезималей. Будучи основанным на идеях Уильяма Ловера и используя методы теории категорий, он рассматривает все функции как непрерывные и невыражаемые через дискретные элементы. Как теория это раздел . Нильпотентными инфинитезималями называют числа , удовлетворяющие условию ; при этом совсем не обязательно Этот подход отходит от классической логики, используемой в обычной математике, отказываясь от закона исключённого третьего, утверждающего, что из следует В частности, для некоторых инфинитезималей нельзя доказать ни , ни . То, что закон исключённого третьего не может выполняться, видно из следующей основной теоремы: В гладком инфинитезимальном анализе любая функция, домен которой — (вещественные числа, дополненные инфинитезималями), непрерывна и бесконечно дифференцируема. Несмотря на это, можно попробовать определить разрывную функцию, например, как Если бы закон исключённого третьего выполнялся, это было бы полностью определённой, разрывной функцией. Однако существует множество значений — инфинитезималей, — для которых не выполняется ни , ни , так что эта функция определена не на всём . В типичных моделях гладкого инфинитезимального анализа инфинитезимали не являются обратимыми, и следовательно, эти модели не содержат бесконечных чисел. Однако также существуют модели с обратимыми инфинитезималями. Существуют также другие системы, включающие инфинитезимали, например нестандартный анализ и сюрреальные числа. Гладкий инфинитезимальный анализ похож на нестандартный анализ в том, что он разработан как основание анализа, и инфинитезимали не имеют конкретных величин (в противоположность сюрреальным числам, в которых типичный пример инфинитезималя — , где — ординал фон Неймана). Однако гладкий инфинитезимальный анализ отличен от нестандартного анализа в том, что он использует неклассическую логику, и в том, что для него нарушается . Некоторые теоремы стандартного и нестандартного анализа ложны в гладком инфинитезимальном анализе, примерами служат теорема Больцано — Коши и парадокс Банаха — Тарского (последний доказуем в классической математике в рамках ZFC, но недоказуем в ZF). Утверждения на языке нестандартного анализа могут быть переведены в утверждения о пределах, но то же самое не всегда верно в гладком инфинитезимальном анализе. Интуитивно гладкий инфинитезимальный анализ можно интерпретировать как описывающий мир, в котором линии состоят из бесконечно малых отрезков, а не из точек. Эти отрезки можно считать достаточно длинными, чтобы иметь определённое направление, но недостаточно длинными, чтобы искривляться. Конструирование разрывных функций не удаётся потому, что функция отождествляется с кривой, а кривую нельзя сконструировать поточечно. Можно представить, что теорема Больцано — Коши не выполняется из-за способности инфинитезимального отрезка «перекидываться» через разрыв. Аналогично, парадокс Банаха — Тарского не выполняется потому, что область нельзя разделить на точки. (ru)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)