You are viewing a single thread.
View all comments
0 points

Infinity cannot be divided, if it can then it becomes multiple finite objects. Therefore there cannot be multiple Infinities. If infinity has a size, then it is a finite object. If infinity has a boundary of any kind, then it is a finite object.

permalink
report
reply
6 points

I’m not entirely sure I understand your comment, but the fact that there are more real numbers than natural numbers can be readily shown using something called cantor’s diagonal argument. It goes something like this:

Suppose the set of real numbers and natural numbers had the same size. Then we could write down an infinite list, where each line represents some real number written in it’s decimal representation. So something like

1: 3.14159265
2: 1.41421356
3: 0.24242424
...

This list goes on forever. We will now construct a new real number r as follows: The first number after the decimal point of r shall be different from the first number after the decimal point of the first number in our list, the second shall be different from the second decimal of the second number on the list, and so on (the name diagonal argument comes from this, we consider the entries on the diagonal from top left towards the bottom right).

The key point now is that this constructed real number is different from every single number on the list: After all, we have made sure it differs from each number on the list in at least one place. Therefore, it is impossible to write down the real numbers in such a way that each real number gets its own natural number: There are simply too few natural numbers for this. In particular, there are at least two different “sizes” of infinities.

permalink
report
parent
reply
0 points

The set, that has a measurable starting point, is a finite object. If infinity can be measured, then you have created a finite space, one that can be measured, within an infinite space, infinity itself, which cannot be measured. Infinity remains untouched and undivided. The sets that represent infinity are finite objects, that represent an infinite space, a representation which they can never truly achieve.

permalink
report
parent
reply
2 points

Maybe we should talk about what “infinite” means. I’d like to propose the following idea: a sequence of things is infinite, if there is always “one more” object to consider. We could also say that for any number of finite steps, there is always another object of the series we haven’t looked at yet.

As an example, the sequence of natural numbers would satisfy this: if I start considering the sequence 1, 2, 3 and so on, if I ever stop after finite time (say 1729 steps), I can always compute +1 to find another element of the sequence I haven’t seen yet.

Also consider the following: the set of all numbers between 0 and 1 is in some sense bounded. However, I can find an infinite sequence of numbers in this set: consider 1/1, 1/2, 1/3, 1/4, …

These numbers are always between 0 and 1, and are infinitely decreasing.

Perhaps the confusion comes from you talking about infinity as in a number which is larger than any real or natural number, while I’m talking about sizes of sets of infinite size. As I had demonstrated earlier, we can show the existence of uncountable infinite vs countably infinite sets, while such distinctions don’t really come up in limit theory and calculus.

permalink
report
parent
reply
1 point
*

Infinity cannot be divided, if it can then it becomes multiple finite objects.

It really depends on what you mean by infinity and division here. The ordinals admit some weaker forms of the division algorithm within ordinal arithmetic (in particular note the part about left division in the link). In fact, even the cardinals have a form of trivial division.

Additionally, infinite sets can often be divided into set theoretic unions of infinite sets fairly easily. For example, the integers (an infinite set) is the union of the set of all integers less than 0 with the set of all integers greater than or equal to 0 (both of these sets are of course infinite). Even in the reals you can divide an arbitrary interval (which is an infinite set in the cardinality sense) into two infinite sets. For example [0,1]=[0,1/2]U[1/2,1].

Therefore there cannot be multiple Infinities.

In the cardinality sense this is objectively untrue by Cantor’s theorem or by considering Cantor’s diagonal argument.

Edit: Realized the other commenter pointed out the diagonal argument to you very nicely also. Sorry for retreading the same stuff here.

Within other areas of math we occasionally deal positive and negative infinities that are distinct in certain extensions of the real numbers also.

If infinity has a size, then it is a finite object.

Again, this is not really true with cardinals as cardinals are in some sense a way to assign sizes to sets.

If you mean in terms of senses of distances between points, in the previous link involving the extended reals, there is a section pointing out that the extended reals are metrizable, informally this means we can define a function (called a metric) that measures distances between points in the extended reals that works roughly as we’d expect (such a function is necessarily well defined if either one or both points are positive or negative infinity).

permalink
report
parent
reply
1 point

If infinity can be measured, by either size, shape, distance, timespan or lifecycle, then the object being considered infinite is a finite object. Infinity, nothing, and everything follow these same rules. If there are two multiple infinite objects side by side to each other, which means there is a measurable boundry that seperates them, then those objects aren’t infinite, they are finite objects, within an infinite space that contains them. Only the space that contains these objects is infinite. Any infinite numbers that are generated within this infinite space, regardless of where they originated within this space, belong to this single infinity. There is no infinityA or infinityB there is just infinity itself.

permalink
report
parent
reply
1 point
*

My degree is in math. I feel pretty confident in saying that you are tossing around a whole bunch of words without actually knowing what they mean in a mathematical context.

If you disagree, try the following:

  1. What is a function? What is an injective function? What is a surjective function? What is a bijection?

  2. In mathematics, what does it mean for a set to be finite?

  3. In mathematics, what does it mean for a set to be infinite?

I’m willing to continue this conversation if you can explain to me in reasonably rigorous terms what those words mean. I’ll help you do it too. The link I sent you in my previous post that mentions cardinal numbers links you to a wikipedia page that links to articles explaining what finite and infinite sets are in the first paragraph.

To be clear here, your answer for 2 specifically should rely on your answer from 1 as the mathematical definition of a finite set is in terms of functions and bijections.

Here are some bonus questions for you to try also:

  1. In mathematics, what does it mean for a set to be countable?

  2. In mathematics, what does it mean for a set to be uncountable?

permalink
report
parent
reply

Science Memes

!science_memes@mander.xyz

Create post

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.



Rules

  1. Don’t throw mud. Behave like an intellectual and remember the human.
  2. Keep it rooted (on topic).
  3. No spam.
  4. Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.



Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

Community stats

  • 13K

    Monthly active users

  • 3.4K

    Posts

  • 84K

    Comments