Projective representation: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Kilom691
 
en>Incnis Mrsi
'''F''' (boldface) is a finite field. an arbitrary field is the F italic
Line 1: Line 1:
Hello, I'm Kandis, a 29 year old from Bjursas, Sweden.<br>My hobbies include (but are not limited to) Taxidermy, Sculling or Rowing and watching Two and a Half Men.<br><br>Feel free to visit my webpage [http://www.wallpaperstribe.com/profile/anv77 Fifa 15 coin generator]
{{stack|{{Pi box}}|{{E (mathematical constant)}}}}
In [[mathematics]], the '''Lindemann–Weierstrass theorem''' is a result that is very useful in establishing the [[transcendental number|transcendence]] of numbers. It states that if α<sub>1</sub>,&nbsp;...,&nbsp;α<sub>''n''</sub> are [[algebraic number]]s which are [[linearly independent]] over the [[rational number]]s '''Q''', then ''e''<sup>α<sub>1</sub></sup>,&nbsp;...,&nbsp;''e''<sup>α<sub>''n''</sub></sup> are [[algebraically independent]] over '''Q'''; in other words the [[extension field]] '''Q'''(''e''<sup>α<sub>1</sub></sup>,&nbsp;...,&nbsp;''e''<sup>α<sub>''n''</sub></sup>) has [[transcendence degree]] ''n'' over '''Q'''.
 
An equivalent formulation {{Harv|Baker|1975|loc=Chapter 1, Theorem 1.4}}, is the following: If α<sub>1</sub>,&nbsp;...,&nbsp;α<sub>''n''</sub> are distinct algebraic numbers, then the exponentials ''e''<sup>α<sub>1</sub></sup>,&nbsp;...,&nbsp;''e''<sup>α<sub>''n''</sub></sup> are linearly independent over the algebraic numbers.  This equivalence transforms a linear relation over the algebraic numbers into an algebraic relation over the '''Q''' by using the fact that a [[symmetric polynomial]] whose arguments are all [[algebraic conjugate|conjugates]] of one another gives a rational number.
 
The theorem is named for [[Ferdinand von Lindemann]] and [[Karl Weierstrass]]. Lindemann proved in 1882 that ''e''<sup>α</sup> is transcendental for every non-zero algebraic number α, thereby establishing that [[pi|π]]  is transcendental (see below). Weierstrass proved the above more general statement in 1885.
 
The theorem, along with the [[Gelfond–Schneider theorem]], is extended by [[Baker's theorem]], and all of these are further generalized by [[Schanuel's conjecture]].
 
==Naming convention==
The theorem is also known variously as the '''Hermite–Lindemann theorem''' and the '''Hermite–Lindemann–Weierstrass theorem'''. [[Charles Hermite]] first proved the simpler theorem where the α<sub>''i''</sub> exponents are required to be [[rational integer]]s and linear independence is only assured over the rational integers,<ref>''Sur la fonction exponentielle'', Comptes Rendus Acad. Sci. Paris, '''77''', pages 18–24, 1873.</ref> a result sometimes referred to as Hermite's theorem.<ref>A.O.Gelfond, ''Transcendental and Algebraic Numbers'', translated by Leo F. Boron, Dover Publications, 1960.</ref> Although apparently a rather special case of the above theorem, the general result can be reduced to this simpler case.  Lindemann was the first to allow algebraic numbers into Hermite's work in 1882.<ref>''Über die Ludolph'sche Zahl'', Sitzungsber. Königl. Preuss. Akad. Wissensch. zu Berlin, '''2''', pages 679–682, 1882.</ref>  Shortly afterwards Weierstrass obtained the full result,<ref>''Zu Hrn. Lindemanns Abhandlung: 'Über die Ludolph'sche Zahl' '', Sitzungber. Königl. Preuss. Akad. Wissensch. zu Berlin, '''2''', pages 1067–1086, 1885</ref> and further simplifications have been made by several mathematicians, most notably by [[David Hilbert]].
 
== Transcendence of ''e'' and π ==
The [[transcendental number|transcendence]] of [[e (mathematical constant)|''e'']] and π are direct corollaries of this theorem.
 
Suppose α is a nonzero algebraic number; then α is a linearly independent set over the rationals, and therefore by the first formulation of the theorem {''e''<sup>α</sup>} is an algebraically independent set; or in other words ''e''<sup>α</sup> is transcendental. In particular, ''e''<sup>1</sup> = ''e'' is transcendental. (A more elementary proof that ''e'' is transcendental is outlined in the article on [[transcendental number]]s.)
 
Alternatively, by the second formulation of the theorem, if α is a nonzero algebraic number, then {0, α} is a set of distinct algebraic numbers, and so the set {''e''<sup>0</sup>,&nbsp;''e''<sup>α</sup>}&nbsp;=&nbsp;{1,&nbsp;''e''<sup>α</sup>} is linearly independent over the algebraic numbers and in particular ''e''<sup>α</sup> cannot be algebraic and so it is transcendental.
 
The proof that π is transcendental is [[proof by contradiction|by contradiction]]. If π were algebraic, π''i'' would be algebraic as well, and then by the Lindemann–Weierstrass theorem ''e''<sup>π''i''</sup> = −1 (see [[Euler's identity]]) would be transcendental, a contradiction.
 
A slight variant on the same proof will show that if α is a nonzero algebraic number then sin(α), cos(α), tan(α) and their [[hyperbolic function|hyperbolic]] counterparts are also transcendental.
 
== ''p''-adic conjecture ==
<blockquote>'''''p''-adic Lindemann–Weierstrass Conjecture.''' Suppose ''p'' is some [[prime number]] and α<sub>1</sub>,&nbsp;...,&nbsp;α<sub>''n''</sub> are [[p-adic numbers|''p''-adic numbers]] which are algebraic and linearly independent over '''Q''', such that |α<sub>''i''</sub>|<sub>''p''</sub>&nbsp;<&nbsp;1/''p'' for all ''i''; then the [[p-adic exponential function|''p''-adic exponential]]s exp<sub>''p''</sub>(α<sub>1</sub>),&nbsp;...,&nbsp;exp<sub>''p''</sub>(α<sub>''n''</sub>) are ''p''-adic numbers that are algebraically independent over '''Q'''.</blockquote>
 
==Modular conjecture==
An analogue of the theorem involving the [[modular function]] [[j-invariant|''j'']] was conjectured by Daniel Bertrand in 1997, and remains an open problem.<ref>Daniel Bertrand, ''Theta functions and transcendence'', The Ramanujan Journal '''1''', pages 339&ndash;350, 1997.</ref> Writing ''q''&nbsp;=&nbsp;''e''<sup>2π''i''τ</sup> for the [[Nome (mathematics)|nome]] and ''j''(τ)&nbsp;=&nbsp;''J''(''q''), the conjecture is as follows.  Let ''q''<sub>1</sub>, ..., ''q''<sub>''n''</sub> be non-zero algebraic numbers in the complex [[unit disc]] such that the 3''n'' numbers
 
:<math>\left \{ J(q_1), J'(q_1), J''(q_1), \ldots, J(q_n), J'(q_n), J''(q_n) \right \}</math>
 
are algebraically dependent over '''Q'''.  Then there exist two indices 1&nbsp;≤&nbsp;''i''&nbsp;<&nbsp;''j''&nbsp;≤&nbsp;''n'' such that ''q<sub>i</sub>'' and ''q''<sub>''j''</sub> are multiplicatively dependent.
 
==Lindemann–Weierstrass Theorem ==
<blockquote>'''Lindemann–Weierstrass Theorem (Baker's Reformulation).''' If ''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub> are non-zero algebraic numbers, and α<sub>1</sub>, ..., α<sub>''n''</sub> are distinct algebraic numbers, then<ref>{{fr icon}}[http://nombrejador.free.fr/article/lindemann-weierstrass_ttj.htm Proof's Lindemann-Weierstrass (HTML)]</ref>
 
:<math>a_1 e^{\alpha_1} +\cdots + a_n e^{\alpha_n}\ne 0.</math></blockquote>
 
==Proof==
 
===Preliminary Lemmas===
<blockquote>'''Lemma A.''' Let ''c''(1),&nbsp;...,&nbsp;''c''(''r'') be non-zero integers and, for every ''k'' between 1 and ''r'', let {γ(''k'')<sub>''i''</sub>} (''i''&nbsp;=&nbsp;1,&nbsp;...,&nbsp;''m''(''k'')) be the roots of a polynomial with integer [[coefficient]]s ''T''<sub>''k''</sub>(''x'') = ''v''(''k'')''x''<sup>''m''(''k'')</sup>&nbsp;+&nbsp;...&nbsp;+''u''(''k'') (with ''v''(''k''), ''u''(''k'') ≠&nbsp;0). If γ(''k'')<sub>''i''</sub>≠γ(''u'')<sub>''v''</sub> whenever (''k'',''i'')≠(''u'',''v''), then
 
: <math>c(1)\left (e^{\gamma(1)_1}+\cdots+ e^{\gamma(1)_{m(1)}} \right ) + \cdots + c(r) \left (e^{\gamma(r)_1}+\cdots+ e^{\gamma(r)_{m(r)}} \right) \ne 0.</math></blockquote>
 
'''Proof of Lemma A.''' To simplify the notation, let us put <math>n_0=0</math>, <math>n_i=\sum_{k=1}^i m(k)</math> (for <math>i=1,\dots,r</math>) and <math>n=n_r</math>. Let <math>\alpha_{n_i+j}=\gamma(i+1)_j</math> (for <math>0\le i<n_r</math> and <math>1\le j\le m(i)</math>). Let us also put <math>\beta_{n_i+j}=c(i+1)</math>.
The thesis becomes that <math>\sum_{k=1}^n \beta_k e^{\alpha_k}\neq 0</math>.
 
Let ''p'' be a [[prime number]] and define the following polynomials:
 
: <math>f_i(x) = \frac {l^{np} (x-\alpha_1)^p \cdots (x-\alpha_n)^p}{(x-\alpha_i)},</math>
 
where ''l'' is a non-zero integer such that <math>l\alpha_1,\dots,l\alpha_n</math> are all algebraic integers, and the integrals:
 
: <math>I_i(s) = \int^s_0 e^{s-x} f_i(x) \, dx.</math>
 
(Up to a factor, this is the same integral appearing in [[Transcendental number#Sketch of a proof that ''e'' is transcendental|the proof that ''e'' is a transcendental number]], where β<sub>1</sub>,&nbsp;...,&nbsp;β<sub>''m''</sub>&nbsp;{{math|1==}}&nbsp;1,&nbsp;...,&nbsp;''m''. The rest of the proof of the Lemma is analog to that proof.)
 
It can be shown by [[integration by parts]] that
 
: <math>I_i(s) = e^s \sum_{j=0}^{np-1} f_i^{(j)}(0) - \sum_{j=0}^{np-1} f_i^{(j)}(s),</math>
 
(<math>np-1</math> is the [[Degree of a polynomial|degree]] of <math>f_i</math>, and <math>f_i^{(j)}</math> is the ''j''th derivative of <math>f_i</math>). This also holds for ''s'' complex (in this case the integral has to be intended as a contour integral, for example along the straight segment from 0 to ''s'') because <math>-e^{s-x} \sum_{j=0}^{np-1} f_i^{(j)}(x)</math> is a primitive of <math>e^{s-x} f_i(x)</math>.
 
Let us consider the following sum:
 
: <math>J_i=\sum_{k=1}^n\beta_k I_i(\alpha_k)=\sum_{k=1}^n\left(\beta_k e^{\alpha_k}\sum_{j=0}^{np-1}f_i^{(j)}(0)\right)-\sum_{k=1}^n\left(\beta_k\sum_{j=0}^{np-1}f_i^{(j)}(\alpha_k)\right)=\left(\sum_{j=0}^{np-1}f_i^{(j)}(0)\right)\left(\sum_{k=1}^n \beta_k e^{\alpha_k}\right)-\sum_{k=1}^n\left(\beta_k\sum_{j=0}^{np-1}f_i^{(j)}(\alpha_k)\right)</math>
 
Suppose now that <math>\sum_{k=1}^n \beta_k e^{\alpha_k}=0</math>: we will reach a contradiction by estimating <math>|J_1\cdots J_n|</math> in two different ways.
 
We obtain <math>J_i=-\sum_{j=0}^{np-1}\sum_{k=1}^n\beta_k f_i^{(j)}(\alpha_k)</math>. Now <math>f_i^{(j)}(\alpha_k)</math> is an algebraic integer which is divisible by ''p''! for <math>j\ge p</math> and vanishes for <math>j<p</math> unless ''j''=''p''-1 and ''k''=''i'', in which case it equals <math>l^{np}(p-1)!\prod_{k\neq i}(\alpha_i-\alpha_k)^p</math>.
 
This is not divisible by ''p'' (if ''p'' is large enough) because otherwise, putting <math>\delta_i=\prod_{k\neq i}(l\alpha_i-l\alpha_k)</math> (which is an algebraic integer) and calling <math>d_i</math> the product of its conjugates, we would get that ''p'' divides <math>l^p(p-1)!d_i^p</math> (and <math>d_i</math> is a non-zero integer), so by Fermat's little theorem ''p'' would divide <math>l(p-1)!d_i</math>, which is false.
 
So <math>J_i</math> is a non-zero algebraic integer divisible by (''p''-1)!. Now
:<math>J_i=-\sum_{j=0}^{np-1}\sum_{t=0}^{r-1}c(t+1)\left(f_i^{(j)}(\alpha_{n_t+1})+\dots+f_i^{(j)}(\alpha_{n_{t+1}})\right).</math>
Since each <math>f_i(x)</math> is obtained by dividing a fixed polynomial with integer coefficients by <math>(x-\alpha_i)</math>, it is of the form <math>f_i(x)=\sum_{m=0}^{np-1}g_m(\alpha_i)x^m</math>, where <math>g_m</math> is a polynomial (with integer coefficients) independent of ''i''. The same holds for the derivatives <math>f_i^{(j)}(x)</math>.
 
Hence, by the fundamental theorem of symmetric polynomials, <math>f_i^{(j)}(\alpha_{n_t+1})+\dots+f_i^{(j)}(\alpha_{n_{t+1}})</math> is a fixed polynomial with integer coefficients evaluated in <math>\alpha_i</math> (this is seen by grouping the same powers of <math>\alpha_{n_t+1},\dots,\alpha_{n_{t+1}}</math> appearing in the expansion and using the fact that <math>\alpha_{n_t+1},\dots,\alpha_{n_{t+1}}</math> are a complete set of conjugates). So the same is true of <math>J_i</math>, i.e. it equals <math>G(\alpha_i)</math>, where ''G'' is a polynomial with integer coefficients which is independent of ''i''.
 
Finally <math>J_1\dots J_n=G(\alpha_1)\dots G(\alpha_n)</math> is an integer number (again by the fundamental theorem of symmetric polynomials), it is non-zero (since the <math>J_i</math>'s are) and it is divisible by <math>(p-1)!^n</math>.
 
So <math>|J_1\dots J_n|\ge(p-1)!^n</math>, but clearly <math>|I_i(\alpha_k)|\le|\alpha_k|e^{|\alpha_k|}F_i(|\alpha_k|)</math>, where ''F''<sub>''i''</sub> is the polynomial whose coefficients are the absolute values of those of ''f''<sub>''i''</sub> (this follows directly from the definition of <math>I_i(s)</math>).
 
Thus <math>|J_i|\le\sum_{k=1}^n|\beta_k\alpha_k|e^{|\alpha_k|}F_i(|\alpha_k|)</math> and so by the construction of the <math>f_i</math>'s we have <math>|J_1\dots J_n|\le C^p</math> for a sufficiently large ''C'' independent of ''p'', which contradicts the previous inequality. This proves Lemma A.
 
<blockquote>'''Lemma B.''' If ''b''(1), ..., ''b''(''n'') are non-zero integers and γ(1), ..., γ(''n''), are distinct [[algebraic number]]s, then
 
: <math>b(1)e^{\gamma(1)}+\cdots+ b(n)e^{\gamma(n)}\ne 0.</math></blockquote>
 
'''Proof of Lemma B:''' Assuming
 
:<math>b(1)e^{\gamma(1)}+\cdots+ b(n)e^{\gamma(n)}= 0,</math>
 
we will derive a contradition, thus proving Lemma B.
 
Let us choose a polynomial with integer coefficients which vanishes on all the <math>\gamma(k)</math>'s and let <math>\gamma(1),\dots,\gamma(n),\gamma(n+1),\dots,\gamma(N)</math> be all its distinct roots. Let ''b''(''n''+1)=...=''b''(''N'')=0.
 
Let us consider the product <math>\prod_{\sigma\in S_N}(b(1) e^{\gamma(\sigma(1))}+\dots+b(N) e^{\gamma(\sigma(N))})</math>. This vanishes by assumption, but by expanding it we obtain a sum of terms of the form <math>e^{h_1\gamma(1)+\dots+h_N\gamma(N)}</math> multiplied by integer coefficients.
 
Since the product is symmetric, we have that, for any <math>\tau\in S_n</math>, <math>e^{h_1\gamma(\tau(1))+\dots+h_N\gamma(\tau(N))}</math> has the same coefficient as <math>e^{h_1\gamma(1)+\dots+h_N\gamma(N)}</math>.
 
Thus (after having grouped the terms with the same exponent) we see that the set of the exponents form a complete set of conjugates and, if two terms have conjugate exponents, they are multiplied by the same coefficient.
 
So we are in the situation of Lemma A. To reach a contradiction it suffices to see that at least one of the coefficients is non-zero.
 
This is seen by equipping <math>\mathbb{C}</math> with the lexicographic order and by choosing for each factor in the product the term with non-zero coefficient which has maximum exponent according to this ordering: the product of these terms has non-zero coefficient in the expansion and does not get simplified by any other term. This proves Lemma B.
 
===Final step===
We turn now to prove the theorem: Let ''a''(1), ..., ''a''(''n'') be non-zero [[algebraic number]]s, and α(1), ..., α(''n'') distinct algebraic numbers. Then let us assume that:
 
: <math>a(1)e^{\alpha(1)}+\cdots + a(n)e^{\alpha(n)} =  0.</math>
 
We will show that this leads to contradiction and thus prove the theorem.
 
The proof is very similar to that of Lemma B, except that this time the choices are made over the ''a''(''i'')'s:
 
For every ''i'' ∈ {1, ..., ''n''}, ''a''(''i'') is algebraic, so it is a root of a polynomial with integer coefficients, we denote its degree by ''d''(''i''). Let us denote the roots of this polynomial ''a''(''i'')<sub>1</sub>, ..., ''a''(''i'')<sub>''d''(''i'')</sub>, with ''a''(''i'')<sub>1</sub> = ''a''(''i'').
 
Let σ be a function which chooses one element from each of the sequences (1, ..., ''d''(1)), (1, ..., ''d''(2)), ..., (1, ..., ''d''(''n'')), such that for every 1&nbsp;≤&nbsp;''i''&nbsp;≤&nbsp;''n'', σ(''i'') is an integer between 1 and ''d''(''i''). Then according to our assumption:
 
: <math>\prod\nolimits_{\{\sigma\}}\left(a(1)_{\sigma(1)}e^{\alpha(1)}+\cdots+ a(n)_{\sigma(n)} e^{\alpha(n)}\right) = 0</math>
 
where the product is over all possible choices. The product vanishes because one of the choices is just σ(''i'') = 1 for all ''i'', for which the term vanishes according to our assumption above.
 
By expanding this product we get a sum of the form:
 
: <math>b(1)e^{\beta(1)}+ b(2)e^{\beta(2)}+ \cdots + b(N)e^{\beta(N)}= 0.</math>
 
for some non-zero integer ''N'', some distinct algebraic β(1), ..., β(''N'') (these are indeed algebraic because each is a sum of α's which are algebraic themselves), and ''b''(1), ..., ''b''(''N'') are polynomial in ''a''(''i'')<sub>''j''</sub> (''i'' in 1, ..., ''n'' and ''j'' in 1, ..., ''d''(''i'')) with integer coefficients.
 
Since the product is over all possible choices, each of ''b''(1), ..., ''b''(''N'') is symmetric in ''a''(''i'')<sub>1</sub>, ..., ''a''(''i'')<sub>''d''(''i'')</sub> for every ''i''; therefore each of ''b''(1), ..., ''b''(''N'') is a polynomial with integer coefficients in elementary symmetric polynomials of the sets {''a''(''i'')<sub>1</sub>, ..., ''a''(''i'')<sub>''d''(''i'')</sub>} for every&nbsp;''i''. Each of the latter is a rational number (as in the proof of Lemma B).
 
Thus ''b''(1), ..., ''b''(''N'') ∈ '''Q''', and by multiplying the equation with an appropriate integer factor, we get an identical equation except that now ''b''(1), ..., ''b''(''N'') are all integers.
 
Therefore, according to Lemma B, the equality cannot hold, and we are led to a contradiction which completes the proof.
 
Note that Lemma A is sufficient to prove that π is irrational, since otherwise we may write π = ''k''/''n'' (''k'',&nbsp;''n'', integers) and then ±''i''π are the roots of ''x''<sup>2</sup>&nbsp;+&nbsp;''k''<sup>2</sup>/''n''<sup>2</sup>; thus 2&nbsp;+&nbsp;''e''<sup>''i''π</sup>&nbsp;+&nbsp;''e''<sup>−''i''π</sup>&nbsp;≠&nbsp;0; but this is false.
 
Similarly, Lemma B is sufficient to prove that π is transcendental, since otherwise we would have 1&nbsp;+&nbsp;''e''<sup>''i''π</sup>&nbsp;≠&nbsp;0.
 
== References ==
{{Reflist|2}}
 
== Further reading ==
*{{Citation|authorlink=Alan Baker (mathematician)|last=Baker|first=Alan|title=Transcendental Number Theory|publisher=Cambridge University Press|year=1975|isbn=0-521-39791-X}}
 
{{DEFAULTSORT:Lindemann-Weierstrass theorem}}
[[Category:Exponentials]]
[[Category:Number theory]]
[[Category:Pi]]
[[Category:Transcendental numbers]]
[[Category:Articles containing proofs]]
[[Category:Theorems in number theory]]
[[Category:E (mathematical constant)]]

Revision as of 15:15, 9 July 2013

Template:Stack In mathematics, the Lindemann–Weierstrass theorem is a result that is very useful in establishing the transcendence of numbers. It states that if α1, ..., αn are algebraic numbers which are linearly independent over the rational numbers Q, then eα1, ..., eαn are algebraically independent over Q; in other words the extension field Q(eα1, ..., eαn) has transcendence degree n over Q.

An equivalent formulation Template:Harv, is the following: If α1, ..., αn are distinct algebraic numbers, then the exponentials eα1, ..., eαn are linearly independent over the algebraic numbers. This equivalence transforms a linear relation over the algebraic numbers into an algebraic relation over the Q by using the fact that a symmetric polynomial whose arguments are all conjugates of one another gives a rational number.

The theorem is named for Ferdinand von Lindemann and Karl Weierstrass. Lindemann proved in 1882 that eα is transcendental for every non-zero algebraic number α, thereby establishing that π is transcendental (see below). Weierstrass proved the above more general statement in 1885.

The theorem, along with the Gelfond–Schneider theorem, is extended by Baker's theorem, and all of these are further generalized by Schanuel's conjecture.

Naming convention

The theorem is also known variously as the Hermite–Lindemann theorem and the Hermite–Lindemann–Weierstrass theorem. Charles Hermite first proved the simpler theorem where the αi exponents are required to be rational integers and linear independence is only assured over the rational integers,[1] a result sometimes referred to as Hermite's theorem.[2] Although apparently a rather special case of the above theorem, the general result can be reduced to this simpler case. Lindemann was the first to allow algebraic numbers into Hermite's work in 1882.[3] Shortly afterwards Weierstrass obtained the full result,[4] and further simplifications have been made by several mathematicians, most notably by David Hilbert.

Transcendence of e and π

The transcendence of e and π are direct corollaries of this theorem.

Suppose α is a nonzero algebraic number; then α is a linearly independent set over the rationals, and therefore by the first formulation of the theorem {eα} is an algebraically independent set; or in other words eα is transcendental. In particular, e1 = e is transcendental. (A more elementary proof that e is transcendental is outlined in the article on transcendental numbers.)

Alternatively, by the second formulation of the theorem, if α is a nonzero algebraic number, then {0, α} is a set of distinct algebraic numbers, and so the set {e0eα} = {1, eα} is linearly independent over the algebraic numbers and in particular eα cannot be algebraic and so it is transcendental.

The proof that π is transcendental is by contradiction. If π were algebraic, πi would be algebraic as well, and then by the Lindemann–Weierstrass theorem eπi = −1 (see Euler's identity) would be transcendental, a contradiction.

A slight variant on the same proof will show that if α is a nonzero algebraic number then sin(α), cos(α), tan(α) and their hyperbolic counterparts are also transcendental.

p-adic conjecture

p-adic Lindemann–Weierstrass Conjecture. Suppose p is some prime number and α1, ..., αn are p-adic numbers which are algebraic and linearly independent over Q, such that |αi|p < 1/p for all i; then the p-adic exponentials expp1), ..., exppn) are p-adic numbers that are algebraically independent over Q.

Modular conjecture

An analogue of the theorem involving the modular function j was conjectured by Daniel Bertrand in 1997, and remains an open problem.[5] Writing q = eiτ for the nome and j(τ) = J(q), the conjecture is as follows. Let q1, ..., qn be non-zero algebraic numbers in the complex unit disc such that the 3n numbers

{J(q1),J(q1),J(q1),,J(qn),J(qn),J(qn)}

are algebraically dependent over Q. Then there exist two indices 1 ≤ i < j ≤ n such that qi and qj are multiplicatively dependent.

Lindemann–Weierstrass Theorem

Lindemann–Weierstrass Theorem (Baker's Reformulation). If a1, ..., an are non-zero algebraic numbers, and α1, ..., αn are distinct algebraic numbers, then[6]

a1eα1++aneαn0.

Proof

Preliminary Lemmas

Lemma A. Let c(1), ..., c(r) be non-zero integers and, for every k between 1 and r, let {γ(k)i} (i = 1, ..., m(k)) be the roots of a polynomial with integer coefficients Tk(x) = v(k)xm(k) + ... +u(k) (with v(k), u(k) ≠ 0). If γ(k)i≠γ(u)v whenever (k,i)≠(u,v), then

c(1)(eγ(1)1++eγ(1)m(1))++c(r)(eγ(r)1++eγ(r)m(r))0.

Proof of Lemma A. To simplify the notation, let us put n0=0, ni=k=1im(k) (for i=1,,r) and n=nr. Let αni+j=γ(i+1)j (for 0i<nr and 1jm(i)). Let us also put βni+j=c(i+1). The thesis becomes that k=1nβkeαk0.

Let p be a prime number and define the following polynomials:

fi(x)=lnp(xα1)p(xαn)p(xαi),

where l is a non-zero integer such that lα1,,lαn are all algebraic integers, and the integrals:

Ii(s)=0sesxfi(x)dx.

(Up to a factor, this is the same integral appearing in the proof that e is a transcendental number, where β1, ..., βm Buying, selling and renting HDB and personal residential properties in Singapore are simple and transparent transactions. Although you are not required to engage a real property salesperson (generally often known as a "public listed property developers In singapore agent") to complete these property transactions, chances are you'll think about partaking one if you are not accustomed to the processes concerned.

Professional agents are readily available once you need to discover an condominium for hire in singapore In some cases, landlords will take into account you more favourably in case your agent comes to them than for those who tried to method them by yourself. You need to be careful, nevertheless, as you resolve in your agent. Ensure that the agent you are contemplating working with is registered with the IEA – Institute of Estate Brokers. Whereas it might sound a hassle to you, will probably be worth it in the end. The IEA works by an ordinary algorithm and regulations, so you'll protect yourself in opposition to probably going with a rogue agent who prices you more than they should for his or her service in finding you an residence for lease in singapore.

There isn't any deal too small. Property agents who are keen to find time for any deal even if the commission is small are the ones you want on your aspect. Additionally they present humbleness and might relate with the typical Singaporean higher. Relentlessly pursuing any deal, calling prospects even without being prompted. Even if they get rejected a hundred times, they still come again for more. These are the property brokers who will find consumers what they need eventually, and who would be the most successful in what they do. 4. Honesty and Integrity

This feature is suitable for you who need to get the tax deductions out of your PIC scheme to your property agency firm. It's endorsed that you visit the correct site for filling this tax return software. This utility must be submitted at the very least yearly to report your whole tax and tax return that you're going to receive in the current accounting 12 months. There may be an official website for this tax filling procedure. Filling this tax return software shouldn't be a tough thing to do for all business homeowners in Singapore.

A wholly owned subsidiary of SLP Worldwide, SLP Realty houses 900 associates to service SLP's fast rising portfolio of residential tasks. Real estate is a human-centric trade. Apart from offering comprehensive coaching applications for our associates, SLP Realty puts equal emphasis on creating human capabilities and creating sturdy teamwork throughout all ranges of our organisational hierarchy. Worldwide Presence At SLP International, our staff of execs is pushed to make sure our shoppers meet their enterprise and investment targets. Under is an inventory of some notable shoppers from completely different industries and markets, who've entrusted their real estate must the expertise of SLP Worldwide.

If you're looking for a real estate or Singapore property agent online, you merely need to belief your instinct. It is because you don't know which agent is sweet and which agent will not be. Carry out research on a number of brokers by looking out the internet. As soon as if you find yourself certain that a selected agent is dependable and trustworthy, you'll be able to choose to utilize his partnerise find you a house in Singapore. More often than not, a property agent is considered to be good if she or he places the contact data on his web site. This is able to imply that the agent does not thoughts you calling them and asking them any questions regarding properties in Singapore. After chatting with them you too can see them of their office after taking an appointment.

Another method by way of which you could find out whether the agent is sweet is by checking the feedback, of the shoppers, on the website. There are various individuals would publish their comments on the web site of the Singapore property agent. You can take a look at these feedback and the see whether it will be clever to hire that specific Singapore property agent. You may even get in contact with the developer immediately. Many Singapore property brokers know the developers and you may confirm the goodwill of the agent by asking the developer. 1, ..., m. The rest of the proof of the Lemma is analog to that proof.)

It can be shown by integration by parts that

Ii(s)=esj=0np1fi(j)(0)j=0np1fi(j)(s),

(np1 is the degree of fi, and fi(j) is the jth derivative of fi). This also holds for s complex (in this case the integral has to be intended as a contour integral, for example along the straight segment from 0 to s) because esxj=0np1fi(j)(x) is a primitive of esxfi(x).

Let us consider the following sum:

Ji=k=1nβkIi(αk)=k=1n(βkeαkj=0np1fi(j)(0))k=1n(βkj=0np1fi(j)(αk))=(j=0np1fi(j)(0))(k=1nβkeαk)k=1n(βkj=0np1fi(j)(αk))

Suppose now that k=1nβkeαk=0: we will reach a contradiction by estimating |J1Jn| in two different ways.

We obtain Ji=j=0np1k=1nβkfi(j)(αk). Now fi(j)(αk) is an algebraic integer which is divisible by p! for jp and vanishes for j<p unless j=p-1 and k=i, in which case it equals lnp(p1)!ki(αiαk)p.

This is not divisible by p (if p is large enough) because otherwise, putting δi=ki(lαilαk) (which is an algebraic integer) and calling di the product of its conjugates, we would get that p divides lp(p1)!dip (and di is a non-zero integer), so by Fermat's little theorem p would divide l(p1)!di, which is false.

So Ji is a non-zero algebraic integer divisible by (p-1)!. Now

Ji=j=0np1t=0r1c(t+1)(fi(j)(αnt+1)++fi(j)(αnt+1)).

Since each fi(x) is obtained by dividing a fixed polynomial with integer coefficients by (xαi), it is of the form fi(x)=m=0np1gm(αi)xm, where gm is a polynomial (with integer coefficients) independent of i. The same holds for the derivatives fi(j)(x).

Hence, by the fundamental theorem of symmetric polynomials, fi(j)(αnt+1)++fi(j)(αnt+1) is a fixed polynomial with integer coefficients evaluated in αi (this is seen by grouping the same powers of αnt+1,,αnt+1 appearing in the expansion and using the fact that αnt+1,,αnt+1 are a complete set of conjugates). So the same is true of Ji, i.e. it equals G(αi), where G is a polynomial with integer coefficients which is independent of i.

Finally J1Jn=G(α1)G(αn) is an integer number (again by the fundamental theorem of symmetric polynomials), it is non-zero (since the Ji's are) and it is divisible by (p1)!n.

So |J1Jn|(p1)!n, but clearly |Ii(αk)||αk|e|αk|Fi(|αk|), where Fi is the polynomial whose coefficients are the absolute values of those of fi (this follows directly from the definition of Ii(s)).

Thus |Ji|k=1n|βkαk|e|αk|Fi(|αk|) and so by the construction of the fi's we have |J1Jn|Cp for a sufficiently large C independent of p, which contradicts the previous inequality. This proves Lemma A.

Lemma B. If b(1), ..., b(n) are non-zero integers and γ(1), ..., γ(n), are distinct algebraic numbers, then

b(1)eγ(1)++b(n)eγ(n)0.

Proof of Lemma B: Assuming

b(1)eγ(1)++b(n)eγ(n)=0,

we will derive a contradition, thus proving Lemma B.

Let us choose a polynomial with integer coefficients which vanishes on all the γ(k)'s and let γ(1),,γ(n),γ(n+1),,γ(N) be all its distinct roots. Let b(n+1)=...=b(N)=0.

Let us consider the product σSN(b(1)eγ(σ(1))++b(N)eγ(σ(N))). This vanishes by assumption, but by expanding it we obtain a sum of terms of the form eh1γ(1)++hNγ(N) multiplied by integer coefficients.

Since the product is symmetric, we have that, for any τSn, eh1γ(τ(1))++hNγ(τ(N)) has the same coefficient as eh1γ(1)++hNγ(N).

Thus (after having grouped the terms with the same exponent) we see that the set of the exponents form a complete set of conjugates and, if two terms have conjugate exponents, they are multiplied by the same coefficient.

So we are in the situation of Lemma A. To reach a contradiction it suffices to see that at least one of the coefficients is non-zero.

This is seen by equipping with the lexicographic order and by choosing for each factor in the product the term with non-zero coefficient which has maximum exponent according to this ordering: the product of these terms has non-zero coefficient in the expansion and does not get simplified by any other term. This proves Lemma B.

Final step

We turn now to prove the theorem: Let a(1), ..., a(n) be non-zero algebraic numbers, and α(1), ..., α(n) distinct algebraic numbers. Then let us assume that:

a(1)eα(1)++a(n)eα(n)=0.

We will show that this leads to contradiction and thus prove the theorem.

The proof is very similar to that of Lemma B, except that this time the choices are made over the a(i)'s:

For every i ∈ {1, ..., n}, a(i) is algebraic, so it is a root of a polynomial with integer coefficients, we denote its degree by d(i). Let us denote the roots of this polynomial a(i)1, ..., a(i)d(i), with a(i)1 = a(i).

Let σ be a function which chooses one element from each of the sequences (1, ..., d(1)), (1, ..., d(2)), ..., (1, ..., d(n)), such that for every 1 ≤ i ≤ n, σ(i) is an integer between 1 and d(i). Then according to our assumption:

{σ}(a(1)σ(1)eα(1)++a(n)σ(n)eα(n))=0

where the product is over all possible choices. The product vanishes because one of the choices is just σ(i) = 1 for all i, for which the term vanishes according to our assumption above.

By expanding this product we get a sum of the form:

b(1)eβ(1)+b(2)eβ(2)++b(N)eβ(N)=0.

for some non-zero integer N, some distinct algebraic β(1), ..., β(N) (these are indeed algebraic because each is a sum of α's which are algebraic themselves), and b(1), ..., b(N) are polynomial in a(i)j (i in 1, ..., n and j in 1, ..., d(i)) with integer coefficients.

Since the product is over all possible choices, each of b(1), ..., b(N) is symmetric in a(i)1, ..., a(i)d(i) for every i; therefore each of b(1), ..., b(N) is a polynomial with integer coefficients in elementary symmetric polynomials of the sets {a(i)1, ..., a(i)d(i)} for every i. Each of the latter is a rational number (as in the proof of Lemma B).

Thus b(1), ..., b(N) ∈ Q, and by multiplying the equation with an appropriate integer factor, we get an identical equation except that now b(1), ..., b(N) are all integers.

Therefore, according to Lemma B, the equality cannot hold, and we are led to a contradiction which completes the proof.

Note that Lemma A is sufficient to prove that π is irrational, since otherwise we may write π = k/n (kn, integers) and then ±iπ are the roots of x2 + k2/n2; thus 2 + eiπ + eiπ ≠ 0; but this is false.

Similarly, Lemma B is sufficient to prove that π is transcendental, since otherwise we would have 1 + eiπ ≠ 0.

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

Further reading

  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  1. Sur la fonction exponentielle, Comptes Rendus Acad. Sci. Paris, 77, pages 18–24, 1873.
  2. A.O.Gelfond, Transcendental and Algebraic Numbers, translated by Leo F. Boron, Dover Publications, 1960.
  3. Über die Ludolph'sche Zahl, Sitzungsber. Königl. Preuss. Akad. Wissensch. zu Berlin, 2, pages 679–682, 1882.
  4. Zu Hrn. Lindemanns Abhandlung: 'Über die Ludolph'sche Zahl' , Sitzungber. Königl. Preuss. Akad. Wissensch. zu Berlin, 2, pages 1067–1086, 1885
  5. Daniel Bertrand, Theta functions and transcendence, The Ramanujan Journal 1, pages 339–350, 1997.
  6. 34 yrs old Fitter (General ) Anton from Iberville, has several passions including ceramics, property developers in singapore and vehicle racing. Has these days completed a trip to Monasteries of Haghpat and Sanahin.

    Also visit my web site; commercial real estate For SaleProof's Lindemann-Weierstrass (HTML)