In mathematics, an indefinite expression is a term whose occurrence plays a special role in the investigation of limit values. The term must be distinguished from the undefined expression .
Problem description
Since division by zero is not defined, the term 1: 0 does not represent a number. If you compare with 1: x , where x should be a very small (but positive) number, the result is a very large value. If x is negative , however, there is a corresponding negative value of large magnitude. It therefore makes sense to introduce the symbol ∞ so that one can at least make the statement of the amount . The calculation with real numbers extended by infinite elements is possible with minor restrictions ( see detailed extended real number ). On the other hand, some terms like 0: 0 cannot be assigned a number or the symbol ∞ even in such an extension.
If one compares the term 0: 0 with x : y , where both x and y are small numbers, their quotient can have a very large amount, as above, but just as easily any other value. Even with the help of ∞ there is no suitable value for 0: 0, it is therefore an indefinite expression.
definition
Usually the term "indefinite expression" is used for:
-
These are precisely those expressions in which limit value statements about the expression do not result solely from the limit values of the operands and different finite limit values are possible even in the case of convergence.
Demarcation
Indefinite term does not mean the same as
- undefined expression
- Numerous other expressions are not defined - even in the area of affine extended real numbers - such as 1: 0 or . Conversely, it is quite common to define.
![(-1) ^ {\ infty}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc23883d1e0eeaf398033cc5cb0cb0f74a05c23d)
![0 ^ {0} = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/478100bc5766c6af537439ef9309f9ddf2f9a6ff)
- Point of discontinuity or definition gap of the arithmetic operation that cannot be removed
- Otherwise 1: 0 would also have to be counted among the indefinite expressions.
No indefinite expressions are (independent of existence or finiteness) limit values of concrete functions, like
-
or .![\ lim _ {{x \ to 0}} x \ cdot \ cot x](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1d7b96527dbb44b5fb88ecbf008546f7f249386)
The indefinite expression 0: 0 or 0 · ∞ results here by naive substitution. The limit value can be determined through more detailed examination with suitable methods such as the de l'Hospital rule . It applies
-
such as
and not about
-
or .![\ lim _ {{x \ to 0}} x \ cdot \ cot x = 0 \ cdot \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/d60b5fb59092e72ea6c488e2420a8fafa60960bb)
Occurrence at impact limits
Are and two sequences of real numbers, so you can see the consequences , , and - if - define; as far as applies, for example , also . If the output sequences converge in the affinely extended real numbers, for example and , then for the linked sequences it usually also applies , where one of the basic arithmetic operations denotes the exponentiation . However, if there is any of the indefinite expressions listed above, then the limit behavior of is indefinite. In fact, one can (well sometimes) any sequence are given and then with , , be constructed as the following list shows.
![(a_ {n}) _ {n \ in \ mathbb {N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70f0c27000fbc03d920b5b678949a0043ad269bd)
![(b_ {n}) _ {n \ in \ mathbb {N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c84b81376113feb099565d98a7b1e99231d3def)
![(a_ {n} + b_ {n}) _ {{n \ in \ mathbb {N}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbccef794564f059d779df8855a32de36cf5c88e)
![(a_ {n} -b_ {n}) _ {{n \ in \ mathbb {N}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55a418d94d714ce976ae8aeafb094ef64602b9bc)
![(a_ {n} \ cdot b_ {n}) _ {{n \ in \ mathbb {N}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8ee85c26c9109649f98e6387e676e4e8f7359ed)
![b_ {n} \ neq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d90ff22063787d2ae0dd938ffdf2aa2eacd7626)
![{\ displaystyle \ left ({\ tfrac {a_ {n}} {b_ {n}}} \ right) _ {n \ in \ mathbb {N}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60c645e00aebb22e49c3318f336c91daa5cfcd82)
![a_ {n}> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/19e309b94a4f0d733334d2cdc304ad38162c9d5e)
![{\ displaystyle \ left (a_ {n} ^ {b_ {n}} \ right) _ {n \ in \ mathbb {N}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82fd4ad62b35d39c2f68adf214042df339da8c5a)
![a_ {n} \ to a](https://wikimedia.org/api/rest_v1/media/math/render/svg/1215cc19c3c7ee14a4e419478d7ac21cea8c2f2a)
![b_ {n} \ to b](https://wikimedia.org/api/rest_v1/media/math/render/svg/3217696bf57924a1c28e808a7c7f021cf5364f5d)
![a_ {n} \ circ b_ {n} \ to a \ circ b](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4d0c6712e86b69ce6c6d809962221b3bed447b2)
![\ circ](https://wikimedia.org/api/rest_v1/media/math/render/svg/99add39d2b681e2de7ff62422c32704a05c7ec31)
![{\ displaystyle a \ circ b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f270b24a930a6546b42f355ad905d2d7a26d4b3)
![(a_ {n} \ circ b_ {n})](https://wikimedia.org/api/rest_v1/media/math/render/svg/85425d5f970a94e32c78c80c13c7e3fa1f35c93b)
![(c_ {n}) _ {{n \ in \ mathbb {N}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be259d7c3f32ea5487cfe0afd46aad092903c55)
![a_ {n}, b_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3407046375b75ed8899695a0644c0f0433ebf301)
![a_ {n} \ circ b_ {n} = c_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42bf250d7a66b3a9f6bed4980e4e3fc08ed42e6b)
![a_ {n} \ to a](https://wikimedia.org/api/rest_v1/media/math/render/svg/1215cc19c3c7ee14a4e419478d7ac21cea8c2f2a)
![b_ {n} \ to b](https://wikimedia.org/api/rest_v1/media/math/render/svg/3217696bf57924a1c28e808a7c7f021cf5364f5d)
- 0-0
- Put and . Then and , because of or .
![b_ {n} = {\ tfrac 1 {n \ cdot \ max (1, | c_ {n} |)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f5c274249445b964bce9a01fc4a1af1987cd846)
![a_ {n} = b_ {n} \ cdot c_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c1dd903bf710eab199000e0faafba991c384230)
![{\ tfrac {a_ {n}} {b_ {n}}} = c_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c3e9f08997cb2d227eeeda16b7d844544b919f9)
![a_ {n} \ to 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/05aedef670296d7509aaf8cb45cb66bc87b95b19)
![b_ {n} \ to 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3790af7ddb14a0ba099df6ec9e14e6f1c23b25c)
![| a_ {n} | \ leq {\ tfrac 1n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d9c271cecdfbe7802d0d403481676a05a953157)
![| b_ {n} | \ leq {\ tfrac 1n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d24674e6fec6058e1e974a37c07c24cba57c6c8b)
- 0 · ∞
- Put and . Then and , because of or .
![b_ {n} = n \ cdot \ max (1, | c_ {n} |)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6472c622271f713873ea97393545fc5ac8822e9b)
![a_ {n} = {\ tfrac {c_ {n}} {b_ {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c4340564f2d1f04057dae17d89459ad4f125920)
![{a_ {n}} \ cdot {b_ {n}} = c_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c413bf106ca0235c1d7ec8fc7ec4fd3ac7ad76e)
![a_ {n} \ to 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/05aedef670296d7509aaf8cb45cb66bc87b95b19)
![b_ {n} \ to + \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/c80d71f27ea359c98e1c4cebdd9ccda332dec1ad)
![| a_ {n} | \ leq {\ tfrac 1n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d9c271cecdfbe7802d0d403481676a05a953157)
![b_ {n} \ geq n](https://wikimedia.org/api/rest_v1/media/math/render/svg/9651867398c27028d1795dcd0cb80b639c5f3271)
- ∞ - ∞
- Put and . Then and it is because of , because of , if , and if .
![b_ {n} = \ max (n, -2c_ {n})](https://wikimedia.org/api/rest_v1/media/math/render/svg/85be36c5a4539a94ae7eb6ffd1ca9c20885e776e)
![a_ {n} = b_ {n} + c_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ae9f5d682b4f147c0bf7108a772ccc9a54aaf12)
![a_ {n} -b_ {n} = c_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72cb6aa36be3590df2b9ca05eb1561e02a63709f)
![b_ {n} \ to + \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/c80d71f27ea359c98e1c4cebdd9ccda332dec1ad)
![b_ {n} \ geq n](https://wikimedia.org/api/rest_v1/media/math/render/svg/9651867398c27028d1795dcd0cb80b639c5f3271)
![a_ {n} \ to + \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3c46861648cc797accc69d51f0d00015db9e728)
![a_ {n} \ geq {\ tfrac n2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d304b066a13bb43af7d577b3f58fa11c34878ed)
![c_ {n} \ geq - {\ tfrac n2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a467ab034b3805b1a06c5b8b2bb585e5e9fe1a4)
![a_ {n} = - c_ {n}> {\ tfrac n2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02cac2eecf1dd21fa0fefd5054f3aa6bca1443b6)
![c_ {n} <- {\ tfrac n2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9448c6e51047dd2211a53c512cc753d72af13064)
- ∞: ∞
- It is assumed. Put and . Then , so , of course .
![c_ {n}> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bad48de7e3ff5a22e32b25d39f0b878cff56a4c)
![a_ {n} = n \ cdot \ max (1, c_ {n})](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bddd06736d1b2f4b198f1ff8fe7f5c647314d78)
![b_ {n} = {\ tfrac {a_ {n}} {c_ {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef3581a0a1d5fce7d6bfa9c4a92ea5a9e500a7f1)
![| a_ {n} | \ geq n](https://wikimedia.org/api/rest_v1/media/math/render/svg/07c2b1b35ce2ed3ecdaef2218f3c09182ae5645a)
![b_ {n} \ geq n](https://wikimedia.org/api/rest_v1/media/math/render/svg/9651867398c27028d1795dcd0cb80b639c5f3271)
![a_ {n} \ to + \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3c46861648cc797accc69d51f0d00015db9e728)
![b_ {n} \ to \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/501a64b780e0bf3d90fbff0388e7fffd72752861)
![c_ {n} = {\ tfrac {a_ {n}} {b_ {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7bf9c1263bcb6d1f77d1c06d0d218842523621b)
- 0 0 , ∞ 0 , 1 ∞
- It is assumed. Set and determine episodes , with , and as above .
![c_ {n}> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bad48de7e3ff5a22e32b25d39f0b878cff56a4c)
![\ gamma _ {n} = \ ln c_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4997e380e127d394ac011282852c1c057d9e8d68)
![(\ alpha _ {n})](https://wikimedia.org/api/rest_v1/media/math/render/svg/159444a40b75045c183d297499533377b9fa3a6d)
![(\ beta _ {n})](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6c6244488cfefc605f8969df1f55535fd2c44f3)
![\ alpha _ {n} \ to 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/45d17774f68b66e5b958b9a1b3495f954cc9536e)
![\ beta _ {n} \ to + \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/7599c400d1df01e71e389e120ac22ca41342a1c4)
![\ alpha _ {n} \ beta _ {n} = \ gamma _ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a2e7b4a243f94a8152675a4ff471dfd39cd058c)
- With and one settles the case 0 0 ,
![a_ {n} = e ^ {{- \ beta _ {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/846190e8f8158bb0eb5d413206a6072e1f9bd1ee)
![b_ {n} = - \ alpha _ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f889fedb929d08b14133133d769c825e9361625)
- with and the case ∞ 0 ,
![a_ {n} = e ^ {{\ beta _ {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c069b088aa6a1afd801a51ec150b0af43111338f)
![b_ {n} = \ alpha _ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62ad58fb9b68252f263f692fd405d892483d9254)
- with and the case 1 ∞
![a_ {n} = e ^ {{\ alpha _ {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24ce71598388f136dd26005b63d1e7466a50e184)
Occurrence at functional limit values
The methods used above for sequences can easily be generalized to functions. In this way, for every real number (or also or ), every indefinite expression , every real function (possibly with the restriction ), two real functions are found and with for all as well as and . So here can take any finite or infinite value (if only non-negative) or do not exist. In other words: From the knowledge of and no inference can be drawn about if is an indefinite expression. On the other hand, for the basic arithmetic operations and exponentiation , it is absolutely true if it is a question of a defined and not indefinite expression (and is defined in a dotted environment of at all); If necessary, the calculation rules for how they apply to the extended real numbers must be observed.
![x_ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![x_ {0} = \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3680163e7322973bbefa4762f9494ffb987c894)
![x_ {0} = - \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/f75e524ffd29b1b7717833624092f00a315f0cd1)
![{\ displaystyle a \ circ b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f270b24a930a6546b42f355ad905d2d7a26d4b3)
![h (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/02c07825dae28705df03d15daeb8844d49c4dbd4)
![h (x)> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ef4453eee178392dee3fb19558d47f707c5fec9)
![f (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/202945cce41ecebb6f643f31d119c514bec7a074)
![g (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6ca91363022bd5e4dcb17e5ef29f78b8ef00b59)
![h (x) = f (x) \ circ g (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/777a19bc3c2bab99d03001d244a9220bb99e2418)
![x \ neq x_ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59cd73ce908e9de3a7b84ffb2ef92312d8b01e91)
![\ lim _ {{x \ to x_ {0}}} f (x) = a](https://wikimedia.org/api/rest_v1/media/math/render/svg/9806a625717412c55d8eb9ae49804899953bd449)
![\ lim _ {{x \ to x_ {0}}} g (x) = b](https://wikimedia.org/api/rest_v1/media/math/render/svg/220f2296ebf6aa37a1a116ce8ca394a1309c7a09)
![\ lim _ {{x \ to x_ {0}}} h (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6d0276390d0a5bfb6241ad74c96ce0e5961683c)
![\ lim _ {{x \ to x_ {0}}} f (x) = a](https://wikimedia.org/api/rest_v1/media/math/render/svg/9806a625717412c55d8eb9ae49804899953bd449)
![\ lim _ {{x \ to x_ {0}}} g (x) = b](https://wikimedia.org/api/rest_v1/media/math/render/svg/220f2296ebf6aa37a1a116ce8ca394a1309c7a09)
![\ lim _ {{x \ to x_ {0}}} f (x) \ circ g (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2983d36479ca081d2a91d5e57740cf736c68f4c9)
![{\ displaystyle a \ circ b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f270b24a930a6546b42f355ad905d2d7a26d4b3)
![\ lim _ {{x \ to x_ {0}}} f (x) \ circ g (x) = a \ circ b](https://wikimedia.org/api/rest_v1/media/math/render/svg/259692e0a0254f89c6f3899a4501fcd9c73c2904)
![f (x) \ circ g (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d4b194e468426c9ccb94907fb29db5c593f8d1b)
![x_ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![\ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/c26c105004f30c27aa7c2a9c601550a4183b1f21)
If the functions and the more stringent requirements of de l'Hospital's rule, in particular with regard to differentiability, can be used to make a statement about the limit value sought .
![f (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/202945cce41ecebb6f643f31d119c514bec7a074)
![g (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6ca91363022bd5e4dcb17e5ef29f78b8ef00b59)
![\ lim _ {{x \ to x_ {0}}} f (x) \ circ g (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2983d36479ca081d2a91d5e57740cf736c68f4c9)
Overview
Be and be real functions and be a real number or one of the two symbolic values or . It is assumed that the limit values and either exist or that certain divergence is present, which is symbolically expressed or expressed as a limit value . In most cases, the following limit values also exist with the specified values (or certain divergence exists if it results on the right ):
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3556280e66fe2c0d0140df20935a6f057381d77)
![x_ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![+ \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/bddbb0e4420a7e744cf71bd71216e11b0bf88831)
![- \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca2608c4b5fd3bffc73585f8c67e379b4e99b6f1)
![a: = \ lim _ {{x \ to x_ {0}}} {f (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcc837bc9f80ec2aa9bfb542f24f422f4e1377c0)
![b: = \ lim _ {{x \ to x_ {0}}} {g (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/790318fe4f0d54ad2f4e80fcda53ccc2aa788015)
![+ \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/bddbb0e4420a7e744cf71bd71216e11b0bf88831)
![- \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca2608c4b5fd3bffc73585f8c67e379b4e99b6f1)
![\ pm \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/c586ae37f8efec026b8a4ea3f6a5253576c2c4e6)
-
,
-
,
-
,
-
.
Here, the calculation rules for , for , for , for , for , for , for , for and corresponding sign variants are agreed.
![\ infty + b = \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/eda0c83ce09cffa94d462f9ce41653242d0956ab)
![b \ neq - \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/15fac0a27811a6737980adf6454d553ddfb84326)
![\ infty \ cdot b = \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b3b9ca8c57e0e933cc6b8d34658c81a92e9da3a)
![b> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/94436473a90bd55191a79c59474cb5456dcbec00)
![{\ tfrac \ infty b} = \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccab2c0f968ed29f6458f64b2acbd8416aebc1c8)
![0 <b <\ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/909b58723f406b14f06e58677c679574a4173be7)
![{\ tfrac a \ infty} = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ba52210145e35e227b2b7b862aae3952b9a1183)
![a \ neq \ pm \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd2340551f09c40ddfc3b5446ac86aaaef13b99b)
![\ infty ^ {b} = \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/009a1f6704b2c59f4c820036b6ac4c947dd98fa9)
![b> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/94436473a90bd55191a79c59474cb5456dcbec00)
![\ infty ^ {b} = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/58bd975f39289db1ef7825ad3e37257dc00f23c2)
![b <0](https://wikimedia.org/api/rest_v1/media/math/render/svg/1319de18afa795d6489f49303614c84472f6d1ed)
![a ^ {\ infty} = \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/23b83f940593186b74b40045ea9d645cb662e6ad)
![a> 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc5b9d9fb0ff9d4455e75ccd29676bd7f33da80e)
![a ^ {\ infty} = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d13d4c0e4ad0bb9b5d73c280133d6ae4c31c2f7)
![0 \ leq a <1](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab3c255b7ccb797bc700db9fc7110a5f78256308)
However, the existence of the limit value on the left, let alone its value, does not result in this simple way from the limit values of the operands if one of the indefinite expressions given above were to result on the right. In the following, example functions with corresponding limit values are listed, for which various limit values or divergence result:
![f (x), g (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/352b739bf4bce60d543c0f4e2be4b247e9a0b027)
![from](https://wikimedia.org/api/rest_v1/media/math/render/svg/181523deba732fda302fd176275a0739121d3bc8)
![c \ in \ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d47ef490c028656282fd8b18c44c4939bbfff750)
-
0-0
-
with , .![f (x) = c \ cdot x](https://wikimedia.org/api/rest_v1/media/math/render/svg/af423f9e220b932d1bd36ae31b2199734c9be3ec)
![g (x) = x](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbbcdeb274573ed78ada04c0038bf0bcb0c6d806)
-
with , .![f (x) = \ pm x](https://wikimedia.org/api/rest_v1/media/math/render/svg/c694c1cfe495bbd208f1ea4f1aee87ad337cd8df)
![g (x) = x ^ {3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a419274b405fc1a03734fac5f77ae22fe0a5807)
-
∞: ∞
-
with , .![f (x) = c \ cdot x](https://wikimedia.org/api/rest_v1/media/math/render/svg/af423f9e220b932d1bd36ae31b2199734c9be3ec)
![g (x) = x](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbbcdeb274573ed78ada04c0038bf0bcb0c6d806)
-
with , .![f (x) = \ pm x ^ {2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0b08a17d3dde1395588035a68f4c9be191b6ae8)
![g (x) = x](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbbcdeb274573ed78ada04c0038bf0bcb0c6d806)
-
0 · ∞
-
with , .![f (x) = c \ cdot x](https://wikimedia.org/api/rest_v1/media/math/render/svg/af423f9e220b932d1bd36ae31b2199734c9be3ec)
![g (x) = {\ tfrac 1x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51448a17ddec93f9e14cf804f0ca5878d1730d65)
-
with , .![f (x) = \ pm x](https://wikimedia.org/api/rest_v1/media/math/render/svg/c694c1cfe495bbd208f1ea4f1aee87ad337cd8df)
![g (x) = {\ tfrac 1 {x ^ {2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/996659961988a0f5c1b70e26baf8b9b11c07a05e)
-
∞ - ∞
-
with , .![f (x) = x + c](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4954f1043a970cc30e141f98fa4df1dd35ea7f8)
![g (x) = x](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbbcdeb274573ed78ada04c0038bf0bcb0c6d806)
-
with , .![f (x) = (3 \ pm 1) x](https://wikimedia.org/api/rest_v1/media/math/render/svg/0543e105addb67a67f4aa9aa071babf79069e03d)
![g (x) = 2x](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7b4dc860f44f10f3b65c78bcac5b22c4541a03c)
-
1 ∞
-
with , unless .![f (x) = c ^ {{{\ tfrac 1x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25b49db9d0deef71b08c4af79f03f2fe19bcdc03)
![g (x) = x](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbbcdeb274573ed78ada04c0038bf0bcb0c6d806)
![c> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ba126f626d61752f62eaacaf11761a54de4dc84)
-
with , .![f (x) = x ^ {{{\ tfrac 1x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15d365f03aad0f91b744b9986a8274c998430d91)
![g (x) = x](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbbcdeb274573ed78ada04c0038bf0bcb0c6d806)
-
0 0
-
with , unless .![f (x) = c ^ {x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0dde435a7a615d7ee3bac32736c83de41aaba69)
![g (x) = {\ tfrac 1x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51448a17ddec93f9e14cf804f0ca5878d1730d65)
![0 <c <1](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c2ef66b35dc03fb20aa2da7cf53cdaaaac18ad0)
-
∞ 0
-
with , unless .![f (x) = c ^ {x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0dde435a7a615d7ee3bac32736c83de41aaba69)
![g (x) = {\ tfrac 1x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51448a17ddec93f9e14cf804f0ca5878d1730d65)
![c> 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd1d6b5c226641ad3def8e65631f0eb463d9c67a)
-
with , unless .![f (x) = x ^ x](https://wikimedia.org/api/rest_v1/media/math/render/svg/327800c1a20bcbe71b522bd2cb91c6b2a81e8a60)
![g (x) = {\ tfrac 1x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51448a17ddec93f9e14cf804f0ca5878d1730d65)
![c> 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd1d6b5c226641ad3def8e65631f0eb463d9c67a)
The various types of indefinite expressions can be reduced to type 1 through mathematical transformations. In the case of an indefinite expression of type 2, for example, the transformation results in an expression of type 1.
![{\ frac {f (x)} {g (x)}} = {\ frac {{\ frac {1} {g (x)}}} {{\ frac {1} {f (x)}}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4cbd4efb00635e3d49c28ae7f31c5b3e586d956)
Expressions of types 5 to 7 can be reduced to type 1 by taking the logarithm .
In principle, the expression also does not allow a complete statement about the limit behavior, but in this case at least unlike in the cases listed above, no finite limit value can result, but at most a certain divergence to or . As an example, consider with for and optionally
![\ infty: 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e09869ed6742ebed8744c8df87db8de516bae9b)
![+ \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/bddbb0e4420a7e744cf71bd71216e11b0bf88831)
![- \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca2608c4b5fd3bffc73585f8c67e379b4e99b6f1)
![\ lim _ {{x \ to 0}} {\ frac {f (x)} {g (x)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cefef9cb3023d40ef416bdd71d0e70fba2574ecb)
![f (x) = {\ tfrac 1x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86ad8bb8ae44173f9fc433075758a1750ecf5c51)
![x \ neq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/35a455db7b2aab1b0e72ccbc7385e4424e2372e5)
-
: certain divergence after ,![+ \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/bddbb0e4420a7e744cf71bd71216e11b0bf88831)
-
: certain divergence after ,![- \ infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca2608c4b5fd3bffc73585f8c67e379b4e99b6f1)
-
: different specific divergence on the left and on the right, i.e. overall indefinite divergence,
-
: even one-sided there is indefinite divergence.
The expression 0 0
The expression , which in itself is well defined, namely as . Note that the exponentiation, i.e. the calculation of the expression , is initially only defined as repeated multiplication, which consequently has to be a non-negative integer. Then the empty product is, which - independently of - is defined as 1: It should apply, which results at least for mandatory . The empty product has no factors, and to that extent it does not matter what value the factor that does not appear at all has, so that it also results. The definition also makes sense for other reasons. For example, if both are nonnegative integers, there are always exactly mappings from a -element set to a -element set. This also applies in the case only with the definition .
![0 ^ 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/106f0c4e1cbccbfcbb61001a8c17b8427c65366d)
![0 ^ 0 = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/478100bc5766c6af537439ef9309f9ddf2f9a6ff)
![a ^ b](https://wikimedia.org/api/rest_v1/media/math/render/svg/921151d29231ebd65eea7632a88215273a32234c)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![a ^ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83a894726dd8a070c22ea9b3b52e93b3840b7c41)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![{\ displaystyle a ^ {1} = a \ cdot a ^ {0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1de3ccd06f953dcf65b12f34a3ab5ffae09510f)
![a \ neq 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/f455a7f96d74aa94573d8e32da3b240ab0aa294f)
![a ^ {0} = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/448ca9a3f4ef03c4dfcf69258912d2c90b097842)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![0 ^ {0} = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/478100bc5766c6af537439ef9309f9ddf2f9a6ff)
![0 ^ {0} = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/478100bc5766c6af537439ef9309f9ddf2f9a6ff)
![from](https://wikimedia.org/api/rest_v1/media/math/render/svg/181523deba732fda302fd176275a0739121d3bc8)
![a ^ b](https://wikimedia.org/api/rest_v1/media/math/render/svg/921151d29231ebd65eea7632a88215273a32234c)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![0 ^ {0} = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/478100bc5766c6af537439ef9309f9ddf2f9a6ff)
![a = b = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9c78ffbb4fc115e8e2a630de5f90fa625effc69)
The operation of exponentiation, defined in this way as a mapping of after , can also be continued in the real by to the case , and for nonnegative by extracting the roots initially to nonnegative rational exponents and then by considering the limit value . The latter is by definition continuous in , but the exponentiation as a mapping from to is not continuous at that point : For example , but . The above-mentioned indeterminacy in connection with limit values results from this discontinuity.
![\ mathbb {R} \ times \ mathbb {N} _ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4467cbd814b9b912f8dbf1594e35c9ed706bc30)
![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![\ textstyle a ^ {{- b}}: = {\ frac 1 {a ^ {b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e96a2e36b689217e1e0c5ae3c760929fc28d7219)
![a \ ne 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/f455a7f96d74aa94573d8e32da3b240ab0aa294f)
![b \ in \ mathbb {Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4487748a9676b09fcd54bdfe3ad9728726bd086)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![b \ in [0, \ infty)](https://wikimedia.org/api/rest_v1/media/math/render/svg/7113b0a64c50f007bc31a4540843a7f7e1ad3d3f)
![b](https://wikimedia.org/api/rest_v1/media/math/render/svg/f11423fbb2e967f986e36804a8ae4271734917c3)
![{\ displaystyle \ textstyle \ left ((\ mathbb {R} \ setminus \ {0 \}) \ times \ mathbb {Z} \ right) \ cup \ left ([0, \ infty) \ times [0, \ infty ) \ right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf4b2b88e736ebc6217c00c3f6ae287df79c0c12)
![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![(0.0)](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d630d3e781a53b0a3559ae7e5b45f9479a3141a)
![\ textstyle \ lim _ {{x \ to 0 ^ {+}}} 0 ^ {x} = \ lim _ {{x \ to 0 ^ {+}}} 0 = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cd4f9387ce60f75345a5b3223bbd0d963507fa3)
![\ textstyle \ lim _ {{x \ to 0 ^ {+}}} x ^ {0} = \ lim _ {{x \ to 0 ^ {+}}} 1 = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/121444c449b32f279d6f6b8ac7ffd86efb3894e6)
Web links
Individual evidence
-
↑ Augustin-Louis Cauchy , Cours d'Analyse de l'École Royale Polytechnique (1821). Oeuvres Complètes, part 2, volume 3, page 70.
-
↑ Eric Weisstein: Indeterminate . In: MathWorld (English).