Questions tagged [nonstandard-analysis]

Non-standard ordered fields are fields which have infinitesimals, that is, positive numbers which are smaller than any positive real number. Non-standard analysis is analysis done over such fields (e.g. hyperreal fields). Please specify the exact framework for non-standard analysis you are using in your question (e.g., what definition of "hyperreal number" you are using).

A non-zero element $\varepsilon$ of an ordered field is infinitesimal if $|\varepsilon| < \frac{1}{n}$ for all $n \in \mathbb{N}$. Nonstandard analysis is analysis done in fields with infinitesimals.

There are many ordered fields which contain infinitesimals, but the most common is the hyperreal field. Denoted by ${}^*\mathbb{R}$, the hyperreal field has a subfield isomorphic to $\mathbb{R}$ and is therefore the perfect setting for formalising the arguments of Leibniz and Newton (without the need for limits). This came to fruition in the 1960's thanks to the work of Abraham Robinson.

See also .

593 questions
1335
votes
27 answers

Is $\frac{\textrm{d}y}{\textrm{d}x}$ not a ratio?

In the book Thomas's Calculus (11th edition) it is mentioned (Section 3.8 pg 225) that the derivative $\frac{\textrm{d}y}{\textrm{d}x}$ is not a ratio. Couldn't it be interpreted as a ratio, because according to the formula $\textrm{d}y =…
BBSysDyn
  • 16,771
171
votes
7 answers

Is non-standard analysis worth learning?

As a former physics major, I did a lot of (seemingly sloppy) calculus using the notion of infinitesimals. Recently I heard that there is a branch of math called non-standard analysis that provides some formalism to this type of calculus. So, do you…
user13255
52
votes
9 answers

Is $dx\,dy$ really a multiplication of $dx$ and $dy$?

On the answers of the question Is $\frac{\textrm{d}y}{\textrm{d}x}$ not a ratio? it was told that $\frac{dy}{dx}$ cannot be seen as a quotient, even though it looks like a fraction. My question is: does $dxdy$ in the double integral represent a…
Emo
  • 3,803
52
votes
1 answer

Does "cheap nonstandard analysis" take place in a topos?

Terence Tao's A cheap version of nonstandard analysis describes a way to do analysis halfway between ordinary analysis and nonstandard analysis which, if I'm not mistaken, cashes out to working in the following category $C$ instead of $\text{Set}$.…
51
votes
9 answers

Is the theory of dual numbers strong enough to develop real analysis, and does it resemble Newton's historical method for doing calculus?

I've been interested in non-standard analysis recently. I was reading up on it and noticed the following interesting comment on the Wikipedia page about hyperreal numbers , right after giving an example of a nonstandard differentiation: The use of…
47
votes
15 answers

Is it a new type of induction? (Infinitesimal induction) Is this even true?

Suppose we want to prove Euler's Formula with induction for all positive real numbers. At first this seems baffling, but an idea struck my mind today. Prove: $$e^{ix}=\cos x+i\sin x \ \ \ \forall \ \ x\geq0$$ For $x=0$, we have $$1=1$$ So the…
45
votes
2 answers

What is the use of hyperreal numbers?

For sometime I have been trying to come to terms with the concept of hyperreal numbers. It appears that they were invented as an alternative to the $\epsilon-\delta$ definitions to put the processes of calculus on a sound footing. From what I have…
36
votes
5 answers

Is mathematical history written by the victors?

The question is the title of a 2013 publication in the Notices of the American Mathematical Society , by twelve authors (of which I am one). The contention is that traditional history of mathematics is based on the assumption of an inevitable…
29
votes
3 answers

Are infinitesimals dangerous?

Amir Alexander is a historian of mathematics. His new book is entitled "Infinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World". See here . Two questions: (1) In what sense are these dangerous? (2) The ban on infinitesimals and…
28
votes
3 answers

About 0.999... = 1

I've just happened to read this question on MO (that of course has been closed) and some of the answers to a similar question on MSE. I know almost nothing of nonstandard analysis and was asking myself if something like the sentence « $1- 0.999…
Qfwfq
  • 1,032
28
votes
1 answer

Has anybody ever considered "full derivative"?

When differentiating we usually take a limit and drop the infinitesimal terms. But what if not to drop anything? First, we extend the real numbers with an infinitesimal element $\varepsilon$ which has its own inverse $1/\varepsilon=\omega$. And…
27
votes
2 answers

What's the difference between hyperreal and surreal numbers?

The Wikipedia article on surreal numbers states that hyperreal numbers are a subfield of the surreals. If I understand correctly, both fields contain: real numbers a hierarchy of infinitesimal numbers like $\epsilon, \epsilon^2, \epsilon^3, \ldots$…
26
votes
2 answers

Hyperreal measure?

If AC be accepted, then there exists a Lebesgue unmeasurable set called Vitali Set . However, I'm curious about measure valued in hyperreal numbers. Argument in disproof of unmeasurability of Vitali sets had used the fact that no positive real…
25
votes
6 answers

What is the meaning of infinitesimal?

I have read that an infinitesimal is very small, it is unthinkably small but I am not quite comfortable with with its applications. My first question is that is an infinitesimal a stationary value? It cannot be a stationary value because if so then…
23
votes
4 answers

What are we doing formally when we "integrate both sides"?

I have been thinking a bit about a common procedure that we use often in the natural sciences and how to understand this using non-standard analysis (as I suspect the interpretation can be made much more literal in NSA than with real analysis). I…
1
2 3
…
39 40