4 votos

Combinaciones polinómicas en F[x]F[x]

Supuesto f(x),g(x)F[x]f(x),g(x)F[x] para algún campo FF son polinomios de grados m,nm,n respectivamente. Además, supongamos que son relativamente primos. Mediante el algoritmo euclídeo puedo hallar a(x),b(x) tal que a(x)f(x)+b(x)g(x)=1 y, por tanto, para cualquier p(x) Puedo encontrar a(x),b(x) tal que a(x)f(x)+b(x)g(x)=p(x) Mi pregunta es qué pasa si se restringe el grado de p(x) sea inferior a d . Entonces puedo encontrar a(x),b(x) de grados dm,dn respectivamente que satisfagan la ecuación anterior?

0 votos

Sí, esto es una consecuencia del algoritmo extendido de Euclides *

0 votos

En realidad este es el El enunciado del teorema No tengo tiempo para dar una prueba ahora, pero tal vez alguien más podría proporcionarla

0 votos

Creo que me estoy perdiendo algo. Veo que esto se aplica para el gcd de f y g (en este caso 1), pero no para un polinomio general.

1voto

jwarzech Puntos 2769

Sea f(x)=x2 y g(x)=x2+1 de modo que f(x)+g(x)=1 . Tenga en cuenta que m=n=2 .

Sea p(x)=x por lo que el grado de p(x) es inferior a d=2 . Sin embargo no existen coeficientes a(x),b(x) de grado cero (constantes) tales que:

a(x)f(x)+b(x)g(x)=p(x)

ya que cualquier combinación lineal sería un polinomio en x2 (y p(x)=x no lo es).

0 votos

Gracias por el contraejemplo. Sin embargo, me interesaba más el caso en que dn+m en cuyo caso la respuesta de Luis demuestra lo que quiero.

0voto

Ataulfo Puntos 3108

En un anillo principal A, como F[x], todo par de elementos f, g tienen m.c.d. y l.c.m. Los franceses llaman "Identité de Bezout" a la propiedad: si d = (f, g) entonces existen a, b en A tales que af + bg = d. Cuando d = 1 tenemos para todo p, apf + bpg = p. Por otro lado miramos la ecuación fX + gY = p y como tenemos una solución ap, bp podemos hacer que X = ap + hg e Y = bp - hf con el parámetro h en F[x] porque (X - ap)f + (Y - bp)g = 0. Lo que hay que ver ahora es la cuestión de los grados a considerar.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X