Can someone explain 1/0 in non-axiomatic terms or does it exist solely within the confines of the abstract realm?

cheese_greater@lemmy.world to Asklemmy@lemmy.ml – 29 points –
37

You have 20 apples that you put into 5 boxes. "How many apples per box?" 20/5=4. Easy.

You have 20 apples that you put into half a box. "How many apples per box?" 20/0.5=40. You can see how 20 apples in half of a box implies 40 apples per full box.

You have 20 apples that you don't put into anything. "How many apples per box?" 20/0=? What box? What are you talking about? How can you suggest that there are a number of apples per box when there's no box to begin with? Lunatic!

Wouldn't half a box just be 1 box that is half the size of a full-sized box?

Also, how can you fit twice as many apples into a box just because it's a smaller volume? You still only have 20 apples. And if anything you wouldn't be able to even fit that quantity probably since it's a smaller volume. Right?

1 more...

The key is understanding how divisions between 0 and 1 work. Say you take 2/0.5, you end up with 4. 2/0.25 you end up with 8. As you can see, those numbers get big fast. 1/0.0001 is 10,000.

As you approach 0, you get increasingly large numbers. If you flip it negative, again as you approach -0, you have increasingly big negative numbers. As you approach 0 from both sides, you approach positive and negative infinity. But what goes in the middle, at exactly zero? We don't know, There's no sensible value there, so it's considered to be undefined.

In computers, it's usually either an error, or represented with NaN (Not a Number) when you want to avoid throwing an error condition. NaN is defined so that any operations involving NaN is also NaN, so your entire equation becomes NaN.

Easiest way to visualize that is to input y = 1/x in a graph calculator (Desmos is nice). You clearly see it going to negative infinity then back at positive infinity.

With some other operations like negative square roots, we've made up the imaginary number i, which is defined to be the square root of -1, and we can make it do useful things. But what can we reasonably do with the result of dividing by zero? It behaves like infinities: you can't really add or multiply them, or divide them. You're just stuck with it. It's impossible to represent, it's Not a Number.

And an important note about imaginary numbers is there more of a band aid solution because we chose to lose information when doing positive exponentials, when in reality both positive and negative answers are equally valid mathematically (though sometimes not physically).

So math doesn't care about our conventions and sometimes we need that information back, hence complex numbers.

Multiplying anything times 0 = 0 though doesn't just have 2 possible outcomes, it has infinite for the variable multiplied. With such aggressive information loss its usually hard to retain any realistic information, though it is possible with proper limits

It is undefined because the inverse of division is multiplication. If you multiply by zero, every answer is zero. If you try to invert that operation you can't know which number was multiplied by zero to get zero because multiplying by zero doesn't produce a unique answer for each operation.

Additionally, if you take the limit of 1/x as x approaches zero from the positive side the result approaches positive infinity. If you take the limit from the negative side it approaches negative infinity.

An interesting thing to think about is whether multiplication by zero really makes much sense in the concrete world. You can't really have zero groups of something or some number of groups of zero. Zero groups of anything is still nothing. We can think of that abstractly once we have the abstract concept of numbers, but in the real world that idea is nonsense.

You mean that it's undefined?

You can think of a cake. You can divide a cake into 4 pieces or 2 pieces or basically not divide it, by 'dividing' it into 1 piece.

But it's not possible to divide a cake into 0 pieces. It doesn't make logical sense. You have to eat it (subtract from it) to actually make 0 pieces. With division, the sum of all pieces has to be 1 cake. If there's one cake, there's at least one piece.

What's confusing is that we have separately decided that 'dividing' a cake into 0.5 pieces means you multiply it by 2. So, either 2 cakes or a cake that's twice as large. That is why some mathematicians do treat 1/0 as ∞.

Its kinda interesting to me that math needs to fall back on the realm of language to express rhat which cannot be mathematically modelled, despite the fact that the structural format of the question inherently and one would conclude is more the question of numbers rather than words that undefined is inclusive of

Like, it makes total sense on an intuitive level and with a little rhetoric but it seems a little strange that on such a mathy issue, we need language (beyond the letters that algebra nominally requires) full-stop to express even what amounts to a non or undefined which is seemingly a more linguistic construct.

I mean, math really is just language. That's why people argue over PEMDAS vs BODMAS and we have all those memes about "what's the right answer to this arithmetic calculation?"

It just so happens that the math language we use is sufficiently refined to very closely reflect how things work in non-conceptual space (ie the Real World), often so much so that we can use it to get a new protective on that non-conceptual space and get insights about it that we didn't have before.

Math and language are really both just symbols we use to describe the Real World; they're basically the same thing.

I think you are really touching on math philosophy here. Is math discovered or invented?

Just because you can WRITE x/0 doesn't mean you should be able to perform the operation. Because it's conversion to language is non sensical (to you, at this moment) does heavily imply The operation is meaning or arcane.

You asked for a simple explanation of the math, so people analogized it into common language. That doesn't necessarily mean the common language provided is a perfect mapping. The best answer for a math question will always be a math answer.

I think I'm all set, math pun intended and also I really appreciate your critique here 📐

Edit: i like that you brought up mapping since maps are in a similar sense only ever capable of representing something where distortion is inevitable even though irs fundamentally workable for the intended purpose

This clicked for me when my teacher explained it in terms of slopes.

The video here breaks it down nicely. https://virtualnerd.com/sat-math/geometry/slope/infinite-slope-definition.

So you have a vertical line with an infinite slope. There are no changes in x as you traverse the line, only changes in y. Or said differently, the line is described entirely by a single x-value which corresponds to every possible y-value.

If you think of it in terms of a function, it's extremely problematic because you no longer have a mapping of a single y-value to each x-value. This violates the requirements of a function. It's not possible to define the slope value when rise/run is something/zero, therefore we describe the function value as "undefined".

But even though we can't calculate a slope or address it with a function, it's pretty easy to visualize and understand a vertical line. So that's what dividing by zero represents in concrete terms.

I am surprised that nobody pointed out that there is a mathematical structure where you can divide by zero, the wheel:

https://en.wikipedia.org/wiki/Wheel_theory?wprov=sfla1

Kinda wonder how a sphere of all things can possibly be modelled? I even heard you can like cut a sphere in half and axiomatically retain or conserve the prexisting volume or something to that effect. Like you could tangibly split it in two and conceptually still have >= prexisting volume or something? It seems absurd but I'm sure someone can hand-wave or radically justify exactly that somehow

There's a veritasium or vsauce video on that.

Can you link to that? I have zero idea how to intelligibly find a result to this inline with what you're suggesting

I believe it is the Vsauce video titled The Banach-Tarski Paradox.

Thank you so much for naming this seemingly crazy conjecture for me. Heard about it so vaguely forever ago and it seemed nuts but nice to finally to more (in)formally get to investigate it

Trying to interpret math in non-abstract terms is often misleading and just creates confusion. a/b is a solution to the equation bx = a, nothing more, nothing less. Then maybe you can use it to model a real-life situation, maybe not.

You can cut something into 2 pieces, or 1 piece, but you can't cut something into 0 pieces.

This makes me think... if we consider dividing as an action, even when dividing by one you are still using a cutting action, you just miss the apple. But with dividing by 0, it's one less cutting action.. so there are 0 cutting actions. Then if you divide by -1, you're removing one hypothetical cutting action, ie removing the action of missing the apple. So, 10 / -2 should really equal 20, because you're reversing a cutting action that caused the total to be cut in half and equal 10...

1 more...

Dividing by zero is undefined in the realm of real numbers and basic arithmetic because there's no meaningful answer. It's not an abstract concept; it's simply mathematically impossible due to the nature of division.

Okay I'm not a mathologist - in fact I hate the guy - so here's how I see it. If you have one apple, and you divide it zero times, you still have one apple. That's it.

If I have 6 apples and I hand them out among 3 people, each person has 2 apples. All the people together have 6 apples, and I have none.

If I have 6 apples and I hand them out among 12 people, each person has 1/2 apples. All together, they have 6 apples, and I have none.

If I have 6 apples and I try to "hand them out" among 0 people, I have nobody to give any apples. I still have all 6 apples, and "all" the "other people" have none. All together, they have 0 apples, and I still have 6.

Since I can't "hand them out", I can't divide them. That "division" is impossible to perform.

If you divide it zero times you have an apple. The discussion is about dividing by zero.

Explain what exactly?

You can divide 2 apples between two people, or between four people, but you can't divide them between zero people. That premise doesn't make sense, the question is incomplete to be answerable.

By expanding our scale with another dimension (complex numbers in math) we expand the question. How do we add another dimension to the physical, practical anecdote? 🤔

Can you explain negative multiplication is in this sense? Like -1 * -1 to make it simple?

Edit: is it like the enemy of my enemy is my friend type deal?

Yes, exactly. A double negation.

The opposite of the opposite is the same again.

/edit: anecdotes and simplification are often a balancing act between between simplicity and (thorough) correctness. The opposite thing and enemy of enemy (in a two party premise) fit and practically correct for the Negation of the multiplication. It doesn't thoroughly represent the multiplication part. But I think the negation is what you were looking for?

I guess if I were to spill over to the non-numerical and semantical or more linguistically axiomstic representation here,:

  1. The divisor is a number (1)
  2. The dividend is a number (0)
  3. A number divided by another number consequently produces another number
  4. Does mathematics line up with CS on the whole NaN designation? I might be conflating fields or... I dunno. I'm sure there's a palpable issue here you guys can lead this ass to override whatevers going on in my head

Your third axiom is faulty.

Divisor, Dividend, Quotient. If your axiom is correct, then when I give you any two of these numbers, you should be able to give me the third. Yet when I give you an arbitrary quotient, and a divisor of 0, there is no dividend you can give me to complete the set.

I can thus give you an infinite number of exceptions to your axiom.

Well, outside of the abstract realm, we never have exact, certain quantities. Even when counting objects. So when we devide by a very small quantity that we can approximate with the number 0, the outcome varies from some large number off the scale up to infinity, or some very low negative numbers, again off the scale and down to negative infinity. Since the range of valid answers to ~1/~0 is off the charts, we just say undefined instead.

You can also try doing some stuff with ohms law, you'll see how hard it is to reach exactly 0 on the denominator.