mathematical concept which does not have meaning and so which is not assigned an interpretation
Okay, so this question came out of a question I had about how np.NaN behaves in the numpy python library. Apparently np.NaN is defined to behave like "undefined" in math, which leads to the counterintuitive - to me at least - result that np.NaN does not equal itself.
So
undefined != undefined...
We also know things like
x/0=undefined (or maybe we can't use equality here? x/0 *is* undefined?)
That means that we know some things about it...whatever it is. What branch of math do we use to learn things about "undefined"?
What kind of formal system does "undefined" belong to? Is it a theorem in ZFC set theory? Like is it some kind of set? Its not the "null" set right?
I hope I have made my profound ignorance on this subject clear enough, maybe someone here can meet me 99% of the way and help drag me toward the light.
calculus - Is it wrong to write “infinity” instead of “undefined” in a trigonometry table? - Mathematics Stack Exchange
terminology - What does the term "undefined" actually mean? - Mathematics Stack Exchange
Definition of "undefined"
Why is 0/0 undefined and not 0 or 1?
What is an example of an undefined expression?
How do you know if the expression is undefined?
Is 0 over something undefined?
Videos
The "first level" answer should be: "undefined" plainly means "not defined", i.e. the expression has no value. For example, is undefined for all
,
is undefined for all
,
is undefined for
. This means: those expressions have no meaning, don't write them, do not divide by zero, don't calculate tangent of an odd multiple of
or a logarithm of a negative number (or zero).
The "second level" answer should be that people have tried to assign some value to some of these expressions (i.e. it's not that we were lazy!), but have found that there is no universal answer. There are partial answers, depending on the context. Thus, the consensus is: at the "first level" say that those expressions are undefined, and then, at the second level, do define them in various contexts, but be aware of the limitations. This is an instance of "walk before you run".
This is also a story of compromise: you gain something (by defining something) but you also lose something (by sacrificing some of things that you are taking for granted).
For example, the infinity. Why don't we "just add" another number, call it "infinity", label it with , and define
? What would go wrong? As it happens, a lot.
is not just a set, it is a field, i.e. a very regular structure with addition, subtraction, multiplication and division. How do those extend to
? Is
too? Is
? This "paradox" shows you that, whatever you decide
to be, you cannot expect the ordinary arithmetic rules to stay valid. So you have to sacrifice something: if it is not the ability to calculate
, it is the ability to apply the laws of arithmetic!
The latter sacrifice seems bigger, but it isn't always, and it isn't in all contexts. We must still say "infinity is not a number" to remind ourselves to not use arithmetic operations on it, but we can extend the topology of ("compactify it with one point") and talk about convergence. This is what you will be doing in Calculus. Except - as it happens, there is another, equally valid, and complementary, way to extend
with infinities: don't add one infinity
but add two infinities:
and
. (Again, don't do any arithmetic on them!)
Sometimes you can extend "undefined" expressions without any hassle: is undefined for
, but not only that
is well-defined; it is, in a way, a part of the function. Namely, when you "patch up"
to "become"
for
, you are not patching up anything - you are discovering a new reality. The function "patched up" in such way is a very nicely behaved, in fact it is an analytic function on the whole
(and even on the whole
). On the other hand, if you try to "patch up"
at
, whatever you do you cannot get even a continuous function.
Somewhere "in-between" is the case of the logarithm. Expand into
, and suddenly you have a logarithm (except for
- this one stays undefined) - but you get more than you've bargained for: you can solve
for any
but
is not unique. Thus, people usually restrict the range of
's to a horizontal strip of width
in the complex plane. So again: you gain (can define logarithm) but you lose (which strip you've chosen is arbitrary, and some rules, e.g
, aren't valid anymore: instead,
).
Division is defined as the inverse of multiplication. Multiplication by zero is defined as always giving the answer zero. Given there is not any number which you can multiply the right hand
by and get
back.
If we say that there is such a number such that
then what about
? What would be the inverse of that such that
as well as
?
Suppose I define a function f with the domain , then
is undefined, just like
is undefined, and in exactly the same way
is not defined. The tangent example is not defined because division by zero is not defined. It really has absolutely nothing to do with anything approaching infinity.
The resolution of the paradox "what happens when an unstoppable force meets an immovable object" is that you cannot have an unstoppable force in the same universe as an immovable object. The resolution of zero times everything equals zero is that you cannot define an inverse of multiplication by zero.
Saying that 1 divided by 0 is undefined, does not mean that you can carry out the division and that the result is some strange entity with the property “undefined”, but simply that dividing 1 by 0 has no defined meaning. That is just like when you ask whether the number 1.9 is odd or even: That is not defined. Or when you ask what colour the number 7 has.
To put matters straight: Division is a function
whereby
is the unique number
such that
.
When we say that is undefined then this means no more and no less than that the pair
is not in the domain of the function
.
Now to your three ways of understanding "undefined" in the realm of division by :
If
could be any number, say
, then this would enforce
, which is wrong when
.
This is even worse. Why should
be the Eiffel tower?
There are circumstances where division by zero makes sense, e.g. in connection with maps of the Riemann sphere, or with meromorphic functions. There one has
as an additional point in the universe of discourse. But these circumstances require special exception handling measures, and the "usual rules of algebra" are not valid when dealing with
.
Probably a trivial question, but it's been bugging me lately.
Most of us learn in school that 1÷0 is "undefined", but usually the teacher doesn't go much further than that. I've taken it to mean that dividing by zero is an operation that is not defined in standard mathematics, i.e. the answer to 1÷0 is not defined. However, I've seen people (both students and teachers) talk about "undefined" as though it's a mathmatecal term in of itself. Is this proper usage of the term, or does it simply mean that something is not defined?
tl;dr -- When discussing division by zero, is "undefined" a noun or an adjetive?