Teorema de Lindemann-WeierstrassEn matemàtiques, el teorema de Lindemann-Weierstrass és un resultat molt útil per establir la transcendència d'un nombre. Afirma que si són nombres algebraics linealment independents sobre el cos dels nombres racionals , llavors són algebraicament independents sobre ℚ; és a dir, el grau de transcendència de l'extensió del cos sobre ℚ és n. Rep aquest nom en honor dels matemàtics alemanys Karl Weierstrass i Ferdinand von Lindemann. D'una banda Lindemann va demostrar el 1882 que és transcendent per tot algebraic no nul,[1] i així va establir que π és transcendent. Posteriorment, el 1885, Weierstrass va demostrar la forma més general d'aquest teorema.[2] Aquest teorema, juntament amb el teorema de Gelfond-Schneider, està generalitzat per la conjectura de Schanuel. Conveni de nomEl teorema també és conegut amb el nom de teorema de Hermite-Lindemann o teorema de Hermite-Lindemann-Weierstrass. Charles Hermite, matemàtic francès, va ser el primer a demostrar el cas particular del teorema en què els exponents són nombres enters i la independència linear només és assegurada en el cos dels enters.[3] Un resultat que sovint és designat com teorema de Hermite.[4] Després que Lindemann i Weierstrass formulessin el teorema en el cas general d'α, altres matemàtics van fer aportacions en la simplificació del teorema, les més notables van ser obra del matemàtic alemany David Hilbert. Corol·larisNombre eUna conclusió immediata que es desprèn del teorema és la transcendència de e. Si s'agafa un algebraic no nul, es té que {} és un conjunt linealment independent sobre els racionals, i per tant, {} és un conjunt algebraicament independent. En altres paraules, és transcendent. En particular, si , es té que és transcendent. Nombre piEs considera ara la transcendència de π. Si fos algebraic, també ho seria (ja que 2i és algebraic), i per tant, segons el teorema de Lindemann-Weierstrass és transcendent. Com que 1 no és transcendent, és necessàriament transcendent. Aquest resultat completa la demostració de la irresolubilitat de la quadratura del cercle. Vegeu tambéEnllaços externsReferències
|
Portal di Ensiklopedia Dunia