Monomio

Polinomio con un solo término

En matemáticas , un monomio es, en términos generales, un polinomio que tiene un solo término . Se pueden encontrar dos definiciones de monomio:

1. Un monomio, también llamado producto de potencias , es un producto de potencias de variables con exponentes enteros no negativos o, en otras palabras, un producto de variables, posiblemente con repeticiones. Por ejemplo, es un monomio. La constante es un monomio, siendo igual al producto vacío y a para cualquier variable . Si solo se considera una variable , esto significa que un monomio es o una potencia de , con un número entero positivo. Si se consideran varias variables, digamos, entonces a cada una se le puede dar un exponente, de modo que cualquier monomio tenga la forma con números enteros no negativos (teniendo en cuenta que cualquier exponente hace que el factor correspondiente sea igual a ). ${\displaystyle x^{2}yz^{3}=xxyzzz}$ ${\displaystyle 1}$ ${\displaystyle x^{0}}$ ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle 1}$ ${\displaystyle x^{n}}$ ${\displaystyle x}$ ${\displaystyle n}$ ${\displaystyle x,y,z,}$ ${\displaystyle x^{a}y^{b}z^{c}}$ ${\displaystyle a,b,c}$ ${\displaystyle 0}$ ${\displaystyle 1}$
2. Un monomio es un monomio en el primer sentido multiplicado por una constante distinta de cero, llamada coeficiente del monomio. Un monomio en el primer sentido es un caso especial de un monomio en el segundo sentido, donde el coeficiente es . Por ejemplo, en esta interpretación y son monomios (en el segundo ejemplo, las variables son y el coeficiente es un número complejo ). ${\displaystyle 1}$ ${\displaystyle -7x^{5}}$ ${\displaystyle (3-4i)x^{4}yz^{13}}$ ${\displaystyle x,y,z,}$

En el contexto de los polinomios de Laurent y las series de Laurent , los exponentes de un monomio pueden ser negativos, y en el contexto de las series de Puiseux , los exponentes pueden ser números racionales .

Dado que la palabra "monomio", así como la palabra "polinomio", provienen de la palabra latina tardía "binomium" (binomial), cambiando el prefijo "bi-" (dos en latín), teóricamente un monomio debería llamarse "mononomio". "Monomio" es un síncope por haplología de "mononomio". ^[1]

Comparación de las dos definiciones.

Con cualquier definición, el conjunto de monomios es un subconjunto de todos los polinomios que está cerrado bajo la multiplicación.

Se pueden encontrar ambos usos de esta noción y, en muchos casos, la distinción simplemente se ignora; véanse, por ejemplo, ejemplos del primer ^[2] y segundo ^[3] significado. En las discusiones informales la distinción rara vez es importante y la tendencia es hacia un segundo significado más amplio. Sin embargo, cuando se estudia la estructura de polinomios, a menudo se necesita definitivamente una noción con el primer significado. Este es, por ejemplo, el caso cuando se considera la base monomial de un anillo polinómico , o el ordenamiento monomial de esa base. Un argumento a favor del primer significado es también que no existe otra noción obvia disponible para designar estos valores (el término producto de potencia está en uso, en particular cuando monomio se usa con el primer significado, pero no elimina la ausencia de constantes). claro tampoco), mientras que la noción de término de polinomio coincide inequívocamente con el segundo significado de monomio.

El resto de este artículo asume el primer significado de "monomio".

base monomial

El hecho más obvio acerca de los monomios (primer significado) es que cualquier polinomio es una combinación lineal de ellos, por lo que forman una base del espacio vectorial de todos los polinomios, llamada base monomial , un hecho de uso implícito constante en matemáticas.

Número

El número de monomios de grado en variables es el número de multicombinaciones de elementos elegidos entre las variables (una variable se puede elegir más de una vez, pero el orden no importa), que viene dado por el coeficiente multiconjunto . Esta expresión también se puede dar en forma de coeficiente binomial , como expresión polinómica en , o usando una potencia factorial creciente de : ${\displaystyle d}$ ${\displaystyle n}$ ${\displaystyle d}$ ${\displaystyle n}$ ${\textstyle \left(\!\!{\binom {n}{d}}\!\!\right)}$ ${\displaystyle d}$ ${\displaystyle d+1}$

${\displaystyle \left(\!\!{\binom {n}{d}}\!\!\right)={\binom {n+d-1}{d}}={\binom {d+(n-1)}{n-1}}={\frac {(d+1)\times (d+2)\times \cdots \times (d+n-1)}{1\times 2\times \cdots \times (n-1)}}={\frac {1}{(n-1)!}}(d+1)^{\overline {n-1}}.}$

Las últimas formas son particularmente útiles cuando se fija el número de variables y se deja variar el grado. De estas expresiones se ve que para n fijo , el número de monomios de grado d es una expresión polinómica de grado con coeficiente principal . ${\displaystyle d}$ ${\displaystyle n-1}$ ${\textstyle {\frac {1}{(n-1)!}}}$

Por ejemplo, el número de monomios en tres variables ( ) de grado d es ; estos números forman la secuencia 1, 3, 6, 10, 15,... de números triangulares . ${\displaystyle n=3}$ ${\textstyle {\frac {1}{2}}(d+1)^{\overline {2}}={\frac {1}{2}}(d+1)(d+2)}$

La serie de Hilbert es una forma compacta de expresar el número de monomios de un grado dado: el número de monomios de grado en variables es el coeficiente de grado de la expansión formal en serie de potencias de ${\displaystyle d}$ ${\displaystyle n}$ ${\displaystyle d}$

${\displaystyle {\frac {1}{(1-t)^{n}}}.}$

El número de monomios de grado como máximo d en n variables es . Esto se desprende de la correspondencia uno a uno entre los monomios de grado en variables y los monomios de grado como máximo en variables, que consiste en sustituir por 1 la variable extra. ${\textstyle {\binom {n+d}{n}}={\binom {n+d}{d}}}$ ${\displaystyle d}$ ${\displaystyle n+1}$ ${\displaystyle d}$ ${\displaystyle n}$

Notación multiíndice

La notación multiíndice suele ser útil para tener una notación compacta, especialmente cuando hay más de dos o tres variables. Si las variables que se utilizan forman una familia indexada como la que se puede establecer ${\displaystyle x_{1},x_{2},x_{3},\ldots ,}$

${\displaystyle x=(x_{1},x_{2},x_{3},\ldots ),}$

y

${\displaystyle \alpha =(a,b,c,\ldots ).}$

Entonces el monomio

${\displaystyle x_{1}^{a}x_{2}^{b}x_{3}^{c}\cdots }$

se puede escribir de forma compacta como

${\displaystyle x^{\alpha }.}$

Con esta notación, el producto de dos monomios se expresa simplemente mediante la suma de vectores exponentes:

${\displaystyle x^{\alpha }x^{\beta }=x^{\alpha +\beta }.}$

Grado

El grado de un monomio se define como la suma de todos los exponentes de las variables, incluidos los exponentes implícitos de 1 para las variables que aparecen sin exponente; por ejemplo, en el ejemplo de la sección anterior, el título es . El grado de es 1+1+2=4. El grado de una constante distinta de cero es 0. Por ejemplo, el grado de −7 es 0. ${\displaystyle a+b+c}$ ${\displaystyle xyz^{2}}$

El grado de un monomio a veces se denomina orden, principalmente en el contexto de series. También se llama grado total cuando es necesario distinguirlo del grado en una de las variables.

El grado de monomio es fundamental para la teoría de polinomios univariados y multivariados. Explícitamente, se utiliza para definir el grado de un polinomio y la noción de polinomio homogéneo , así como para el ordenamiento gradual de monomios utilizado en la formulación y cálculo de bases de Gröbner . Implícitamente, se utiliza para agrupar los términos de una serie de Taylor en varias variables .

Geometría

En geometría algebraica, las variedades definidas por ecuaciones monomiales para algún conjunto de α tienen propiedades especiales de homogeneidad. Esto puede expresarse en el lenguaje de los grupos algebraicos , en términos de la existencia de una acción grupal de un toro algebraico (equivalentemente por un grupo multiplicativo de matrices diagonales ). Esta área se estudia bajo el nombre de incrustaciones de torus . ${\displaystyle x^{\alpha }=0}$

Ver también

• Representación monomial
• matriz monomio
• Polinomio homogéneo
• Función homogénea
• Forma multilineal
• Gráfico log-log
• Ley de potencia
• Polinomio escaso

Referencias

1. Diccionario de la herencia americana de la lengua inglesa , 1969.
2. Cox, David; Juan pequeño; Donal O'Shea (1998). Usando geometría algebraica. Springer Verlag. págs.1. ISBN 0-387-98487-9.
3. "Monomio", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]