- #1

You should upgrade or use an alternative browser.

- Insights
- Thread starter bhobba
- Start date

- #1

- #2

Mentor

- 37,234

- 9,399

A great improvement would be to use LaTeX in this article instead of things like Xn, x^2, and so on.

- #3

- 10,252

- 3,443

Valid point. It has been a long time since I used LaTex. It will take a while, but I will fix it.

Thanks

Bill

- #4

Mentor

- 37,234

- 9,399

bhobba said:Infinitesimals

Let X be any positive number. Let x be the sequence xn = 1/n. Then, an N can be found such that 1/n < X for any n > N. Hence, by the definition of less than in hyperrational sequences; x < X. Such hyperrational sequences are called infinitesimal. A sequence, x, is infinitesimal if |x| < X for any positive X. If x > 0, x is called a positive infinitesimal. If x < 0, x is called a negative infinitesimal. Normally zero is the only number with that property. Also, we have infinitesimals smaller than other infinitesimals, e.g. 1/n^2 < 1/n, except when n = 1.

This is just a small section of your article that I took a close look at. I haven't looked closely at the other parts. Here are some comments about your work as well as ways that I would write this differently.

Instead of X I would use ##\epsilon##, which is typically used in many mathematics textbooks to denote a "reasonably small" but positive real number.

Instead of "Let x be the sequence xn = 1/n." I would define an identifier S like so, using set notation: Let S be the sequence ##\{x_n : x_n = \frac 1 n, n \in \mathbb N \}##

Your inequality "x < X" leaves a lot unstated and hurts my head to look at. Namely that a sequence x of numbers (which I'm calling S) is less than a single positive real number X (which I'm calling ##\epsilon##. I think you addressed this in another Insights article, but it would be good to also include it here. My version of this would be that ##S < \epsilon## means that all but a finite number of elements in S are less than ##\epsilon##.

You wrote: "A sequence, x, is infinitesimal if |x| < X"

You haven't defined the absolute value/norm of a sequence, or if you did, I missed it. If I have a sequence ##S = \{1/2, 1/3, 1/4, \dots, 1/n, \dots \}## and ##\epsilon = 0.01##, what's the value of |S| here? And how can I determine whether ##|S| < \epsilon##?

Last, I'm not sure that you need to talk about hyperrationals as opposed to hyperreals. All the number in my sequence are rationals, sure enough, but they are also reals. If I search for "hyperrational" on the internet, I don't get a lot of results.

Share:

- Replies
- 0

- Views
- 304

- Replies
- 24

- Views
- 2K

- Replies
- 5

- Views
- 1K

- Replies
- 2

- Views
- 1K

- Replies
- 6

- Views
- 664

- Replies
- 0

- Views
- 306

- Replies
- 36

- Views
- 2K

- Replies
- 0

- Views
- 555

- Replies
- 2

- Views
- 312

- Replies
- 3

- Views
- 751