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).

370 questions
24 views

66 views

Is this elementary, nilpotent-free approach to automatic differentiation strong enough for real analysis? How similar is it to Newton's system?

This is a sequel to this question: Is the theory of dual numbers strong enough to develop real analysis, and does it resemble Newton's historical method for doing calculus? The ring of "dual ...
41 views

In Non-standard analysis, is the number of natural numbers a hyperreal number?

In Non-standard analysis, is the number of natural numbers a hyperreal number? In other words, if $H$ is the hyperreal infinite unit, does the sum $\sum\limits_{n=1}^H 1$ yield the number of natural ...
18 views

137 views

What is the Galois group of the Hyperreal Numbers?

The Galois Group of $\mathbb{R}$ as an extension of $\mathbb{Q}$ is trivial. That’s because any field automorphism of $\mathbb{R}$ is order preserving, so since $\mathbb{Q}$ is dense in $\mathbb{R}$, ...
26 views

How do non-principal ultrafilters 'know' the key elements of an infinite series when establishing the equivalence for hyperreals.

I'm currently reading about non-principal ultrafilters and their relationship with defining the hyperreals, I am struggling to really get my head around the notion that a non-principal ultra filter ...
12k views

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 ...
48 views

Bound for roots of a polynomial with coefficients in a non-Archimedean valued field

Is there any bound for the valuation of the roots of a given polynomial with coefficients in an algebraically closed non-Archimedean valued field? Any reference or insight would be appreciated.
98 views

Intuition behind the Idealization Axiom of Internal Set Theory

Wikipedia describes the idealisation axiom as follows: "The statement of this axiom comprises two implications. The right-to-left implication can be reformulated by the simple statement that elements ...
76 views

Is there any real difference between 'unbounded' and 'bounded by infinity'?

When treated as a limit, 'infinity' is essentially synonymous with 'never' - saying that 'a process terminates after an infinite amount of time' means exactly the same thing as 'the process does not ...
316 views

Differential form vs Hyperreal vs Dual number

Differential forms, hyperreals, and dual numbers all seem to sort of do something similar: formalize the notion of the infinitesimal. How are they related to each other, and in what ways are they ...
43 views

Does it make sense to talk about rationality and countability when dealing with nonstandard quantities?

I have two closely related questions: Firstly, suppose that I can find two hyperintegers $P$ and $Q$ s.t. $\frac{P}{Q}=\sqrt{2}$. Obviously, both $P$ and $Q$ lie in an extension of the integers. ...
24 views

Is there an element of the hyperreals minus the reals that isn't a hyperirrational?

I was looking to see if there exist elements in *R-R that aren't in *Q? The ideal answer would offer some different ways to understand and see this as I still lack an intuition for these sorts of ...
38 views

53 views

Is $e$ transcendental when working with hyperreal numbers?

When working with strictly real numbers, there are a number of proofs that $e$ is transcendental. However, when dealing with non-standard analysis, one can express $e$ as $(1 + \frac{1}{H})^H$ for any ...
232 views

Does absolute infinity invoke Cantor's Paradox? [closed]

Let $\mathcal{P}(X)$ denote the powerset of $X$, $\mathcal{P}^2(X)=\mathcal{P}(\mathcal{P}(X))$, and $\mathcal{P}^n(X)=\mathcal{P}(\mathcal{P}^{n-1}(X))$; $\mathcal{P}^0(X)=X$. It is trivial to show ...
36 views

Intuitive Understanding of Order of Hyperreals

I'm trying to understand the ultrapower construction of the hyperreal numbers as described in Wikipedia. The motivation is given as the surprising ability to find a total order of sequences of real ...
117 views

Vacuous truths in Superstructure approach to Nonstandard Analysis

Good evening everybody, at the moment I'm studying non-standard analysis, specifically the superstructure approach to it. This approximately works as described in chapter 3 of http://people.dm.unipi....
83 views

Does every standard set have a standard cardinality?

Add a new primitive one place predicate symbol $std"$ denoting "standard" to the language of $\text{ZF}$, now iff we add an omega rule to $\text {ZF - Infinity + every set is finite}"$ formulated ...
84 views

How to do this problem without using infinitesimal?

A rod of linear charge density a of length h, What will be the electric field at an axial point at a distance x from end of the rod (the end at which the origin is chosen for defining charge ...
36 views

Solving Indefinite integral without FTC

While I was watching some physics lectures, I saw a professor write down the $\int r*dr$. The writing multiplication sign (normally just implied) prompted me to attempt to solve this integral without ...
90k views

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 ...
34 views

Question related to the use of the axiom of choice in real analysis, nonstandard analysis, and constructive proofs.

So, as far as I'm concerned, real analysis depends quite largely on some weak variants of the axiom of choice (such as the axiom of countable choice), and there seems to be no controversy surrounding ...
52 views

Notation Question for “Generalization of L’hopital’s Rule” PDF by V. V. Ivlev and I. A. Shilin

Within this brief text starting on page 2, the author(s) have a habit of employing a sort of "mixed" notation of differentiation, mixing the "prime marks" of Lagrange's notation for differentiation of ...
48 views

Resources for Learning Hyperreal Numbers

I've somewhat recently discovered hyperreal numbers, but I haven't gotten the chance to thoroughly research them. What resources do you all recommend for undergrad level study of the hyperreal number ...
123 views

The value of the infinitesimal in integral doesn't matter?

I am studying calculus by the infinitesimal approach using "Elementary Calculus: An Infinitesimal Approach" textbook. in page 187, the author proved that the value of the infinitesimal we integrate ...
48 views

Intuition for nonstandard analysis from limits conception

I'm trying to gain an intuition for the use of nonstandard analysis over the limit approach. Traditionally the motivation for derivatives is that the derivative of a point $(x,f(x))$ for some ...
83 views

Improper integral over the rationals

Question: Suppose that I wish to integrate a function over the natural numbers. How could I do this? Answer: Consider the definite integral $\int_a^bf(x)\ dx$. If we consider this as the 'area ...
50 views

Where can I find a proof that nonstandard analysis is a conservative extension of standard analysis?

Willie Wong's answer in this post claims that nonstandard analysis (NSA) is a "conservative extension" of standard analysis (SA), meaning that every provable statement in NSA that can be interpreted ...
248 views

explain why ${\left(\frac{{1}}{{2}}\right)}^{\infty}=0$

Mathematica shows ${\left(\frac{{1}}{{2}}\right)}^{\infty}=0$, anyone can explain why ? I know we can get $\lim\limits_{{{x}\to\infty}}{\left(\frac{{1}}{{2}}\right)}^{{x}}={0}$ by taking limit , ...
233 views

Trouble understanding how the Transfer Principle is applied for the Extreme Value theorem.

I am reading Keisler's Elementary Calculus (which can be downloaded here). I am having trouble understanding his proof sketch of Extreme Value Theorem and how he is applying the Transfer Principle. ...
45 views

Cardinality, Logarithms, and Hyperreals

Take some infinite hypernatural number, $M$, and consider the integers (finite and infinite) less than or equal to $M$. There are uncountably many. Then consider $\log_2 M$. Is there a straightforward ...
123 views

Peculiar Question on Unlimited Hypernaturals

Consider the usual ultra-power construction of the hyperreals $^*\mathbb R$ with ultrafilter $\mathcal F$. Let $K = [k_n] \in ^*\mathbb N$ be an unlimited hypernatural. My question is does there ...
84 views

Loeb Measure construction in axiomatic approach to NSA

Hello dear StackExchange, in my upcoming bachelor's thesis, I plan to present an overview of some topics in nonstandard analysis, including some higher applications, like Loeb Measures (among other ...
73 views

Definite integrals using infinitesimals in Keisler's book

Encouraged by this question I ask a question concerning Keisler's treatment of definite integrals using infinitesimals. He starts with a continuous function $f$ defined on a closed interval $[a, b]$ ...
35 views

What is $t_k$ in this context?

I am reading this paper which provides an argument for factoring $\sinh$ and $\sin$ using infinitesimals as Euler did but in a more rigorous way. On the bottom of the page labeled 66 it states: ...
48 views

In non-standard analysis, should we necessarily consider derivative as slope between two infinitesimally apart points?

For standard analysis, an answer (in the concept of limit) is here. However, when dealing with infinitesimals in non-standard analysis, that limit technique will not work. So in non standard ...
I would like to construct a hyperreal version of the Cantor set. Let $X_0$ be the interval $[0,1]$ in the hyperreal line, and for any $n$, let and let $X_{n+1}$ be the set of hyperreal numbers ...