Factorización: Diferenzas entre revisións

Contido eliminado Contido engadido
Etiqueta: edición de código 2017
mSen resumo de edición
Liña 527:
: <math>9=3\cdot 3 = (2+\sqrt{-5})(2-\sqrt{-5}),</math>
 
E todos estes factores son irreducívelirredutíbel.
 
Isto carece de único factorización é unha dificultade importante para solucionar Diophantine ecuacións. Por exemplo, moitos probas incorrectas de Fermat Último teorema (probabelmente incluíndo [[Pierre de Fermat|Fermat é]] "verdadeiramente marvelousmaravelosa proba disto, o cal esta marxe é demasiado estreita de conter") foi baseado na suposición implícita de único factorización.
 
Esta dificultade foi resolta por Dedekind, quen probou que os aneis de alxébrico enteiros ten único factorización de ideais: nestes aneis, cada ideal é un produto de ideais primos, e este factorización é único enriba do encargo dos factores. Os dominios integrais que teñen este único factorización a propiedade é agora chamado Dedekind dominios. Teñen moitos propiedades agradábeis que fanlles fundamental en alxébrico teoría de número.
Liña 537:
Os aneis de matrices son non conmutativos e non teñen unha única factorización: hai, en xeral, moitos xeitos de escribir unha [[Matriz (matemáticas)|matriz]] como produto de matrices. Así, o problema da factorización muda a consistir no problema de atopar factores de certas formas específicas. Por exemplo, a [[descomposición LU]] factoriza unha matriz como o produto dunha [[matriz triangular inferior]] e mais unha [[matriz triangular superior]]. As veces non é sempre posíbel, polo que se considera a "descomposición LUP" tendo unha [[matriz permutación]] como o terceiro factor.
 
Unha [[matriz lóxica]] representa un [[relación binaria]], e multiplicación de matrices corresponde á [[composición de relacións]]. A descomposición dunha relación factorizándoa serve para percibir mellor a natureza da relación, como no caso dunha [[Relación heteroxénea|relación difuncional]]
 
== Véxase tamén ==