Defined and undefined: Difference between revisions
m Reverted edits by 99.65.183.235 (talk) to last revision by ClueBot (HG) |
Tag: possible vandalism |
||
Line 10: | Line 10: | ||
===Undefined forms=== |
===Undefined forms=== |
||
sup bitch how bout u suck my cock nigga |
|||
The following expressions are undefined in all contexts{{Citation needed|date=March 2008}}, but remarks in the [[defined and undefined#Analysis|analysis]] section may apply. |
|||
* <math>\infty - \infty</math> |
|||
* <math>(-1)^{\pm\infty}</math> |
|||
* <math>\frac{\pm\infty}{\pm\infty}</math> |
|||
The following form is normally undefined |
|||
* <math>\frac{x}{0}</math> for x≠0, but see [[Division_by_zero#Real_projective_line|division by zero on the real projective line]] |
|||
===Indeterminate forms=== |
|||
They are defined in some, but not all contexts, as described in sections of this article. They are also [[indeterminate form]]s, if they occur as the limit of an expression it may be possible to find the value of the limit using other means. |
|||
{|class="wikitable" |
|||
!Expression !! Context in which it is used |
|||
|- |
|||
| <math>\frac{0}{0}</math> |
|||
| See [[division by zero]]. |
|||
|- |
|||
| <math>0^0</math> |
|||
| [[Exponentiation#Zero to the zero power|zero to the zero power]], [[Defined and undefined#Analysis|analysis]], and [[Defined and undefined#Set theory|set theory]] |
|||
|- |
|||
| <math>\infty^0</math> |
|||
| [[Defined and undefined#Analysis|analysis]] and [[set theory]] |
|||
|- |
|||
| <math>1^\infty</math> |
|||
| [[Defined and undefined#Analysis|analysis]] and [[set theory]] |
|||
|- |
|||
| <math>0 \cdot \infty</math> |
|||
| [[Defined and undefined#Set theory|set theory]], and [[Defined and undefined#Measure theory|measure theory]] |
|||
|- |
|||
| <math>\infty - \infty</math> |
|||
|[[Defined and undefined#Analysis|analysis]] |
|||
|- |
|||
| <math>\frac{\infty}{\infty}</math> |
|||
|[[Defined and undefined#Analysis|analysis]] |
|||
|} |
|||
===Analysis=== |
|||
In [[analysis (mathematics)|mathematical analysis]] the domain of a [[function (mathematics)|function]] is usually determined by the [[limit of a function|limit]] of the function, so as to make the function [[continuous (mathematics)|continuous]]. This definition makes all of the expressions undefined. In [[calculus]], some of the expressions arise in intermediate calculations, where they are called [[indeterminate form]]s and dealt with using techniques such as [[L'Hôpital's rule]]. |
|||
===Measure theory=== |
|||
In [[measure theory]] (which is the common way of treating [[probability theory]] in mathematics), measures are preserved under [[countable]] addition. Taking <math>\infty</math> as countable, |
|||
<math>0 \cdot \infty = \sum_{n=0}^{\infty} 0 = 0</math>. |
|||
==Notation using ↓ and ↑== |
==Notation using ↓ and ↑== |
Revision as of 22:17, 15 May 2010
It has been suggested that this article be merged into Well-definition. (Discuss) Proposed since February 2010. |
This article may need to be rewritten to comply with Wikipedia's quality standards. (May 2009) |
This article needs attention from an expert in Mathematics. Please add a reason or a talk parameter to this template to explain the issue with the article.(May 2009) |
In mathematics, defined and undefined are used to explain whether or not expressions have meaningful, sensible, and unambiguous values. Whether an expression has a meaningful value depends on the context of the expression. For example the value of 4 − 5 is undefined if a positive integer result is required.
Sometimes an expression is not well defined but the degree of undefinedness can be qualified in a useful way. There may be more than one possible value, or extra information might help to determine the value for instance.
Arithmetic forms
Undefined forms
sup bitch how bout u suck my cock nigga
Notation using ↓ and ↑
In computability theory, if f is a partial function on S and a is an element of S, then this is written as f(a)↓ and is read "f(a) is defined."
If a is not in the domain of f, then f(a)↑ is written and is read as "f(a) is undefined" .