\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{infinitesimal number}

\hypertarget{infinitesimal_numbers}{}\section*{{Infinitesimal numbers}}\label{infinitesimal_numbers}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{free_infinitesimals}{Free infinitesimals}\dotfill \pageref*{free_infinitesimals} \linebreak
\noindent\hyperlink{nonstandard_analysis}{Nonstandard analysis}\dotfill \pageref*{nonstandard_analysis} \linebreak
\noindent\hyperlink{smooth_toposes}{Smooth toposes}\dotfill \pageref*{smooth_toposes} \linebreak
\noindent\hyperlink{other_approaches}{Other approaches}\dotfill \pageref*{other_approaches} \linebreak
\noindent\hyperlink{comparisons}{Comparisons}\dotfill \pageref*{comparisons} \linebreak
\noindent\hyperlink{NSAvsSDG}{Invertible infinitesimals in NSA and SDG}\dotfill \pageref*{NSAvsSDG} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

The term `infinitesimal' means the same as `infinitely small in absolute value'; in Latin, it literally means `infinity-eth' and should be interpreted in the sense of a fraction. In the ordinary [[analysis]] of [[real numbers]], the only infinitesimal number is [[zero]]. However, the basic intuitions of calculus since its beginnings have dealt with infinitely small (and sometimes also infinitely large) numbers. There are several different ways to develop a rigorous theory that includes infinitesimal numbers.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

Briefly we recall the definition of what makes a number infinitesimal, which we give in some generality.

Let $P$ be a [[rig]] equipped with a [[partial order]] such that $0 \leq x$ holds for every element $x$ of $R$; that is, the additive [[identity]] is a [[bottom element]]. Let $R$ be a rig equipped with a function ${|\cdot|}\colon R \to P$, thought of as a measure of [[absolute value]], such that ${|0|} = 0$. For example, $R$ could consist of the [[real numbers]] with $P$ the nonnegative real numbers; similarly, we may consider the [[natural numbers]], the [[complex numbers]], the [[cardinal numbers]], and many other familiar examples of numbers. (In these examples, $\leq$ and ${|\cdot|}$ satisfy additional compatibility properties with respect to the rigs $R$ and $P$, but these do not seem to enter into the definition. Conversely, we do not use the full rig structures of $R$ and $P$, so the definition should work in even greater generality.)

An element $x$ of $R$ is \textbf{infinitesimal} if ${|n i|} \leq 1$ for every [[natural number]] $n$. (Recall that every natural number, including $1$, may be interpreted as an element of any given rig, since $\mathbb{N}$ is the [[initial object|initial]] rig. Multiplication by natural numbers is always commutative, so there is no need to distinguish between left and right infinitesimals.)

According to this definition, $0$ is always infinitesimal. Traditionally, one adds to the definition the requirement that $i \neq 0$, but this leads to a less useful notion of the space of all infinitesimals. We allow $0$ to be infinitesimal for some of the same reasons that we allow it to be a [[natural number]]. (Although the argument is even stronger here, since it's always [[decidable set|decidable]] whether a given natural number is zero, but it may not be decidable whether a given infinitesimal is zero. This is especially important in [[synthetic differential geometry]], where the logic is unavoidably [[constructive mathematics|constructive]].)

In the usual systems of numbers (real, natural, complex, cardinal, etc), $0$ is the \emph{only} infinitesimal number. So the interesting question is how to get other infinitesimals.

\hypertarget{free_infinitesimals}{}\subsection*{{Free infinitesimals}}\label{free_infinitesimals}

The simplest way to add an infinitesimal to an [[ordered ring]] (or rig) is [[free object|freely]]. For example, if we start with the field $\mathbb{R}$ of real numbers, then form the [[polynomial ring]] $\mathbb{R}[x]$, we may make $x$ (and every nonconstant polynomial) infinitesimal by defining $x \leq c$ for every positive real number $c$ and generating the rest of $\leq$ by requiring that $\mathbb{R}[x]$ be an ordered ring. (This amounts to defining $f \leq g$ to mean that $f(x) \leq g(x)$ for sufficiently small positive values of $x$.)

If you want a [[field]], then form the [[field of fractions]] $\mathbb{R}(x)$ of $\mathbb{R}[x]$, which is the field of [[rational function]]s. This is a very commonly known example, although it is more usual to make $x$ infinitely large (so that $1/x$ is infinitesimal).

Similarly, one can use polynomials to define infinitesimal versions of complex numbers, cardinal numbers, etc.

The downside of this approach is that the resulting infinitesimal numbers will be subject only to those operations that apply to the category in which one forms the free construction. For example, there is no way to apply transcendental functions to infinitesimals with this approach. Presumably that could be fixed by working with $C^\infty$-[[C-infinity-ring|rings]], but no algebraic theory covers everything that can be done with real numbers (or whatever numbers you start with).

\hypertarget{nonstandard_analysis}{}\subsection*{{Nonstandard analysis}}\label{nonstandard_analysis}

If the point is to do with infinitesimal numbers everything that we can do with ordinary numbers, then why not use high-powered [[logic]] to do this for us? That is the approach taken by [[Abraham Robinson]] in [[nonstandard analysis]].

Nonstandard analysis can be applied to [[mathematics]] as a whole, so it treats complex numbers, cardinal numbers, and the rest all together.

\ldots{}

\hypertarget{smooth_toposes}{}\subsection*{{Smooth toposes}}\label{smooth_toposes}

Another approach is to focus only on what we want to do with infinitesimals in a particular field. Since infinitesimals were used to do calculus, then let's just do calculus. We can take as axiomatic the familiar properties of [[smooth map|smooth functions]] used in calculus, including the ways these were applied to infinitesimals before analysis was made rigorous (by modern standards) in the 19th century. This is the approach taken by [[Bill Lawvere]] and others in [[synthetic differential geometry]].

\ldots{}

\hypertarget{other_approaches}{}\subsection*{{Other approaches}}\label{other_approaches}

The [[surreal number]]s have infinitesimals, and include both the real numbers and the [[ordinal numbers]]. But they are not much good for ordinary calculus, although there are some indications that they might have applications in asymptotics.

There is also an interpretation of pre-Cauchy calculus in which infinitesimals are interpreted as [[infinite sequences]] that converge to $0$. I don't know much about this.

\hypertarget{comparisons}{}\subsection*{{Comparisons}}\label{comparisons}

\hypertarget{NSAvsSDG}{}\subsubsection*{{Invertible infinitesimals in NSA and SDG}}\label{NSAvsSDG}

All the infinitesimals appearing in nonstandard analysis are \emph{invertible}, since the [[hyperreal numbers]] form a [[field]]. (This is also true for all the surreal infinitesimals.) By contrast, most of the infinitesimals appearing in synthetic differential geometry are [[nilpotent]], and hence not invertible. However, there are some models that do contain invertible infinitesimals, and hence also `infinite' numbers as their inverses (see [[smooth natural number]]). Two such models are the [[smooth topos]]es called $\mathcal{Z}$ and $\mathcal{B}$ in

\begin{itemize}%
\item [[Ieke Moerdijk]] and [[Gonzalo Reyes]], \emph{[[Models for Smooth Infinitesimal Analysis]]}

\end{itemize}
These toposes are related to the smooth topos called $\mathcal{G}$ there, which has nilpotent but no invertible infinitesimals, by a transfer theorem (chapter VII, section 4) valid for a certain class of [[coherent formula]]s. Additionally, the `object of nonstandard smooth natural numbers' in these toposes is defined by an `algebra of unbounded sequences', similar in spirit to the unbounded sequences which represent infinitely large numbers in nonstandard analysis. However, it is not clear whether any more precise comparison can be made.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[infinitesimal object]]


\item [[infinitesimal neighbourhood]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item article in the \href{http://en.wikipedia.org/wiki/Infinitesimal}{English Wikipedia} for etymology


\item [[Hermann Cohen]], \emph{Das Prinzip der Infinitesimal-Methode und seine Geschichte} , Berlin 1883. (\href{http://www.gleichsatz.de/b-u-t/archiv/Cohen/hc-infinit1.html}{html})


\item [[Mikhail Katz]], David Sherry, \emph{Leibniz's Infinitesimals: Their Fictionality, Their Modern Implementations, And Their Foes From Berkeley To Russell And Beyond}, D. Erkenn (2013) 78: 571 (\href{https://arxiv.org/abs/1205.0174}{arXiv:1205.0174}, \href{https://link.springer.com/article/10.1007/s10670-012-9370-y}{doi:10.1007/s10670-012-9370-y})

(on [[Gottfried Leibniz]]`s concept of infinitesimals)



\end{itemize}
[[!redirects infinitesimal]] [[!redirects notions of infinitesimals]] [[!redirects infinitesimals]] [[!redirects infinitesimal numbers]]



\end{document}