User:Johnwbyrd/Undefined (mathematics)

In mathematics, the term undefined refers to a value, function, or other expression that cannot be assigned a meaning within a specific formal system.^[1]

Attempting to assign or use an undefined value within a particular formal system, may produce contradictory or meaningless results within that system. In practice, mathematicians may use the term undefined to warn that a particular calculation or property can produce mathematically inconsistent results, and therefore, it should be avoided.^[2] Caution must be taken to avoid the use of such undefined values in a deduction or proof.

In some mathematical contexts, however, undefined can refer to a primitive notion which is not defined in terms of simpler concepts.^[3] For example, in Elements, Euclid defines a point merely as "that of which there is no part", and a line merely as "length without breadth".^[4] Although these terms are not further defined, Euclid uses them to construct more complex geometric concepts.^[5]

Whether a particular function or value is undefined, depends on the rules of the formal system in which it is used. For example, the imaginary number ${\sqrt {-1}}$ is undefined on the real number plane. So it is meaningless to reason about the value, solely within the discourse of real numbers. However, defining the imaginary number $i$ to be equal to ${\sqrt {-1}}$ , allows there to be a consistent set of mathematics referred to as the complex number plane. Therefore, within the discourse of complex numbers, ${\sqrt {-1}}$ is in fact defined.

Many new fields of mathematics have been created, by taking previously undefined functions and values, and assigning them new meanings.^[6] Most mathematicians generally consider these innovations significant, to the extent that they are both internally consistent and practically useful. For example, Ramanujan summation may seem unintuitive, as it works upon divergent series that assign finite values to apparently infinite sums such as 1 + 2 + 3 + 4 + ⋯. However, Ramanujan summation is useful for modelling a number of real-world phenomena, including the Casimir effect and Bosonic string theory.

A function may be said to be undefined, outside of its domain. As one example, ${\textstyle f(x)={\frac {1}{x}}}$ is undefined when $x=0$ . As division by zero is undefined in algebra, $x=0$ is not part of the domain of $f(x)$ .

Contrast the term primitive notion, which is a core concept not defined in terms of other concepts. Primitive notions are used as building blocks to define other concepts.

Contrast also the term undefined behavior in computer science, in which the term indicates that a function may produce or return any result, which may or may not be correct.

Common examples of undefined expressions

Many fields of mathematics refer to various kinds of expressions as undefined. Therefore, the following examples of undefined expressions are not exhaustive.

Division by zero

In arithmetic, and therefore algebra, division by zero is undefined^[7]. Use of a division by zero in an arithmetical calculation or proof, can produce absurd or meaningless results.

Assuming that division by zero exists, can produce inconsistent logical results, such as the following fallacious "proof" that one is equal to two^[8]:

Incorrect "proof" that $1=2$
$x$	$=y$	Define $x$ as equal to $y$
$x^{2}$	$=xy$	Multiply both sides of equation by $x$
$x^{2}-y^{2}$	$=xy-y^{2}$	Subtract $y^{2}$ from both sides
$(x+y)(x-y)$	$=y(x-y)$	Factor both sides of equation
$x+y$	$=y$	Divide both sides of equation by $x-y$
$2y$	$=y$	Replace $x$ with $y$ , because we know that $x=y$
$2$	$=1$	Divide both sides by $y$

The above "proof" is not meaningful. Since we know that $x=y$ , if we divide both sides of the equation by $x-y$ , we divide both sides of the equation by zero. This operation is undefined in arithmetic, and therefore deductions based on division by zero can be contradictory.

If we assume that a non-zero answer $n$ exists when some non-zero number $k$ is divided by zero, then that would imply that $k=n\times 0$ . But there exists no number that, when multiplied by zero, produces a number that is not zero. Therefore, our assumption is incorrect.^[7]

Zero to the power of zero

Depending on the particular context, mathematicians may refer to zero to the power of zero as undefined^[9], indefinite^[10], or equal to 1^[11]. Controversy exists as to which definitions are mathematically rigorous, and under what conditions.^[12]^[13]

The square root of a negative number

When restricted to the field of real numbers, the square root of a negative number is undefined, as no real number exists which, when squared, equals a negative number. Mathematicians, including Gerolamo Cardano, John Wallis, Leonhard Euler, and Carl Friedrich Gauss, explored formal definitions for the square roots of negative numbers, giving rise to the field of complex analysis.^[14]

In trigonometry

In trigonometry, for all $n\in \mathbb {Z}$ , the functions $\tan \theta$ and $\sec \theta$ are undefined for all ${\textstyle \theta =\pi \left(n-{\frac {1}{2}}\right)}$ , while the functions $\cot \theta$ and $\csc \theta$ are undefined for all $\theta =\pi n$ . This is a consequence of the identities of these functions, which would imply a division by zero at those points.^[15]

Also, $\arcsin k$ and $\arccos k$ are both undefined when $k>1$ or $k<-1$ , because the range of the $\sin$ and $\cos$ functions is between $-1$ and $1$ inclusive.

In complex analysis

In complex analysis, a point $z$ on the complex plane where a holomorphic function is undefined, is called a singularity. Some different types of singularities include:

Removable singularities - in which the function can be extended holomorphically to $z$
Poles - in which the function can be extended meromorphically to $z$
Essential singularities - in which no meromorphic extension to $z$ can exist

Related terms

Indeterminate

The term undefined should be contrasted with the term indeterminate. In the first case, undefined generally indicates that a value or property can have no meaningful definition. In the second case, indeterminate generally indicates that a value or property can have many meaningful definitions. Additionally, it seems to be generally accepted that undefined values may not be safely used within a particular formal system, whereas indeterminate values might be, depending on the relevant rules of the particular formal system.^[16]

References

^ "What exactly does undefined mean?". Mathematics Stack Exchange. Retrieved 2024-12-02.
^ Horvath, Joan; Cameron, Rich (2022). Make: Calculus: build models to learn, visualize, and explore. Mathematics/Calculus (1st ed.). Santa Rosa, CA: Make Community, LLC. ISBN 978-1-68045-739-1.
^ "Definition:Undefined Term - ProofWiki". proofwiki.org. Retrieved 2024-12-03.
^ Euclides (2008). Fitzpatrick, Richard (ed.). Euclid's elements of geometry: the Greek text of J.L. Heiberg (1883 - 1885): from Euclidis Elementa, edidit et Latine interpretatus est I.L. Heiberg, in aedibus B.G. Teubneri, 1883-1885. Translated by Fitzpatrick, Richard (2nd ed.). p. 6. ISBN 978-0-615-17984-1.
^ Waismann, Friedrich (1951). Introduction to Mathematical Thinking: The Formation of Concepts in Modern Mathematics. Translated by Benac, Theodore J. New York: Frederick Ungar Publishing Co. p. 73.
^ Martínez, Alberto A. (2018). Negative Math: How Mathematical Rules Can Be Positively Bent. Princeton, NJ: Princeton University Press. ISBN 978-0-691-13391-1.
^ ^a ^b Euler, Leonard (1770). Elements of Algebra (4th ed.). London: Longman, Rees, Orme, & Co. p. 28.
^ Sultan, Alan; Artzt, Alice F. (2011). The mathematics that every secondary school math teacher needs to know. Studies in mathematical thinking and learning. New York: Routledge. p. 6. ISBN 978-0-415-99413-2.
^ Hafstrom, John Edward (1961). Basic concepts in modern mathematics. Dover books on mathematics. Mineola, New York: Dover Publications, Inc (published 2013). p. 19. ISBN 978-0-486-49729-7.
^ "Why is $0^0$ also known as indeterminate?". Mathematics Stack Exchange. Retrieved 2024-12-02.
^ Jena, Sisir Kumar (2022). C programming: learn to code (1st ed.). Boca Raton, FL: Chapman & Hall/CRC Press. p. 19. ISBN 978-1-032-03625-0.
^ "What is 0^0". cs.uwaterloo.ca. Retrieved 2024-12-02.
^ "Zero to the zero power – is $0^0=1$?". Mathematics Stack Exchange. Retrieved 2024-12-02.
^ Vaughan, Lena (April 1903). "A History of i = \sqrt 1". Mathematical Supplement of School Science. 1 (1): 173–175 – via Google Books.
^ McCallum, William G.; Hughes-Hallet, Deborah; Gleason, Andrew M. (October 2012). Calculus: Single and Multivariable (6th ed.). Wiley. p. 40. ISBN 978-1-118-54785-4.
^ Davis, Brent; Renert, Moshe (2013). The math teachers know: profound understanding of emergent mathematics. New York: Routledge. pp. 77–79. ISBN 978-1-135-09779-0.

External links

Undefined and indeterminate - Functions and their graphs - Algebra II - Khan Academy on YouTube