Vizualizare sursă pentru „Monom”

În [[matematică]], un '''monom''' este, practic, un [[polinom]] care are un singur [[adunare |termen]]. Pot fi întâlnite două definiții ale unui monom:

# Un monom este un '''produs de puteri''' ale [[Variabilă |variabilelor]] cu exponenți [[număr întreg |întregi]] nenegativi, sau, cu alte cuvinte, un produs de variabile, eventual cu repetări. De exemplu, <math>x^2yz^3=xxyzzz</math> este un monom. Constanta <math>1</math> este un monom, fiind egală cu un produs vid cu <math>x^0,</math> unde <math>x</math> este o variabilă oarecare. Dacă există o singură variabilă, <math>x,</math> atunci monomul este <math>1</math> sau o putere <math>x^n</math> a lui <math>x,</math> cu <math>n</math> un întreg pozitiv. Dacă sunt mai multe variabile, de exemplu <math>x, y, z,</math> atunci fiecare are un exponent, astfel că monomul este de forma <math>x^a y^b z^c</math> cu <math>a, b, c</math> întregi nenegativi (de notat că orice exponent <math>0</math> transformă factorul respectiv în <math>1</math>).

# Un monom este un monom în primul sens înmulțit cu o constantă diferită de zero, numită [[coeficient]]ul monomului.<ref>[[Constantin Năstăsescu]], Constantin Niță, Ștefan Popa, ''Matematică: Manual pentru clasa a X-a, Algebră'', București: Ed. Didactică și Pedagogică, 1980, p.&nbsp;112</ref> Un monom în primul sens este un caz special al unui monom din al doilea sens, unde coeficientul este <math>1</math>. De exemplu, în această interpretare <math>-7x^5</math> și <math>(3-4i)x^4yz^{13}</math> sunt monoame (în al doilea exemplu, variabilele sunt <math>x, y, z,</math> iar coeficientul este un [[număr complex]]).

În contextul [[Polinom Laurent|polinoamelor Laurent]] și {{ill-wd|Q425432||seriilor Laurent}}, exponenții dintr-un monom pot fi negativi, iar în contextul {{ill-wd|Q401319||seriilor Puiseux}} exponenții pot fi [[număr rațional |numere raționale]].

== Compararea celor două definiții ==
Cu oricare dintre definiții, [[mulțime]]a monoamelor este o submulțime a polinoamelor care este o [[mulțime închisă multiplicativ |mulțime închisă față de înmulțire]].

Ambele definiții ale acestei noțiuni pot fi găsite și, în multe cazuri, deosebirea dintre ele este ignorată, a se vedea, de exemplu, exemple pentru prima<ref>{{en icon}} {{cite book | last = Cox | first = David |author2=John Little |author3=Donal O'Shea  | title = Using Algebraic Geometry | publisher = Springer Verlag | year = 1998 | pages = [https://archive.org/details/springer_10.1007-978-1-4757-6911-1/page/n2 1] | url =https://archive.org/details/springer_10.1007-978-1-4757-6911-1| isbn = 0-387-98487-9 }}</ref> și a doua.<ref>{{en icon}} {{Springer|id=M/m064760|title=Monomial}}</ref> În discuțiile neformale, deosebirea este rareori importantă, iar tendința este spre al doilea sens, mai larg. Totuși, atunci când se studiază structura polinoamelor adesea este nevoie de o noțiune având primul sens. Acesta este, de exemplu, cazul când se ia în considerare o {{ill-wd|Q6901742}} a {{ill-wd|Q1455652||inelului polinoamelor}}, sau o {{ill-wd|Q934509}} a acestei baze. Un argument în favoarea primului sens este și că nu este disponibilă o altă noțiune evidentă pentru a desemna aceste valori, în timp ce noțiunea de polinom coincide fără echivoc cu al doilea sens al monomului.

În continuare, articolul se bazează pe primul sens al monomului.

== Bază monomială ==
Faptul cel mai evident legat de prima definiție a monoamelor este că orice polinom este o {{ill-wd|Q27628}} a acestora, deci formează o [[bază (algebră liniară) |bază]] a [[spațiu vectorial |spațiului vectorial]] al polinoamelor, numită ''baza monomială''&nbsp;— utilizată constant implicit în matematică.

== Număr ==
Numărul monoamelor de grad <math>d</math> în <math>n</math> variabile este numărul combinațiilor a <math>d</math> elemente alese dintre variabilele <math>n</math> (o variabilă poate fi aleasă de mai multe ori, dar ordinea nu contează), care este dată de [[coeficient binomial |coeficienții binomiali]] <math display="inline">\left(\!\!\binom{n}{d}\!\!\right)</math>:
:<math>\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\times2\times\cdots\times(n-1)}
= \frac{1}{(n-1)!}(d+1)^{\overline{n-1}}.</math>

Această formă este deosebit de utilă când se fixează numărul de variabile și se lasă gradul să varieze. Din aceste expresii se vede că pentru ''n'' fix, numărul de monoame de grad ''d'' este o expresie polinomială în <math>d</math> de gradul <math>n-1</math> cu coeficientul <math display="inline">\frac{1}{(n-1)!}</math>.

De exemplu, numărul monoamelor în trei variabile (<math>n=3</math>) de gradul ''d'' este <math display="inline">\frac{1}{2}(d+1)^{\overline2} = \frac{1}{2}(d+1)(d+2)</math>; aceste numere formează șirul 1, 3, 6, 10, 15, ... al [[număr triunghiular |numerelor triunghiulare]].

{{ill-wd|Q5761236||Seriile Hilbert}} sunt un mod compact de a exprima numărul de monoame de un anumit grad: numărul de monoame de grad <math>d</math> în <math>n</math> variabile este coeficientul de gradul <math>d</math> din dezvoltarea [[serie formală |seriilor formale]]
:<math> \frac{1}{(1-t)^n}.</math>

Numărul monoamelor de grad cel mult {{math|''d''}} în {{math|''n''}} variabile este <math display="inline">\binom{n+d}{n} = \binom{n+d}{d}</math>. Acest lucru rezultă din corespondența unu-la-unu dintre monoamele de gradul <math>d</math> în <math>n+1</math> variabile și monoamele de gradul cel mult <math>d</math> în <math>n</math> variabile, care constă în înlocuirea cu 1 a variabilei suplimentare.

== Notație ==
Notația monoamelor este necesară frecvent în domenii precum [[Ecuație cu derivate parțiale |ecuațiile cu derivate parțiale]]. Dacă variabilele folosite formează o familie indexată ca <math>x_1</math>, <math>x_2</math>, <math>x_3</math>, ..., atunci se poate folosi {{ill-wd|Q780239||notația cu indici multipli}}. Pentru o exprimare compactă, pentru <math>\alpha = (a, b, c)</math> se poate defini 
:<math>x^{\alpha} = x_1^a\, x_2^b\, x_3^c.</math>

== Grad ==
Gradul unui monom este definit drept suma tuturor exponenților variabilelor, inclusiv exponenții impliciți ai lui 1 pentru variabilele care apar fără exponent; de exemplu, în exemplul secțiunii anterioare, gradul este <math>a+b+c</math>. Gradul lui <math>x y z^2</math> este 1+1+2=4. Gradul unei constante diferite de zero este 0. De exemplu, gradul lui −7 este 0.

Uneori gradul unui monom este numit ''ordin'', mai ales în contextul seriilor. Se mai numește ''grad total'' atunci când este necesar de a-l deosebi de gradul uneia dintre variabile.

Gradul unui monom este fundamental pentru teoria polinoamelor în una sau mai multe variabile. Explicit, este utilizat pentru a defini [[gradul unui polinom]] și noțiunea de [[polinom omogen]], precum și pentru ordonările monomiale utilizate în formularea și calculul {{ill-wd|Q1551631||bazelor Gröbner}}. Implicit, este folosit în gruparea termenilor unei [[serie Taylor |serii Taylor]] în mai multe variabile.

== Geometrie ==
În [[geometrie algebrică |geometria algebrică]] varietățile definite prin ecuații monomiale <math>x^{\alpha} = 0</math> pentru un anumit set de α au proprietăți speciale de omogenitate. Acest lucru poate fi formulat în limbajul [[grup algebric |grupurilor algebrice]] în termenii existenței unei {{ill-wd|Q288465||acțiuni de grup}} al unui {{ill-wd|Q4724022}} (echivalent cu un grup multiplicativ de [[matrice diagonală |matrici diagonale]]). Acest domeniu este studiat sub numele de ''{{ill-wd|Q1528306||varietăți torice}}''.

== Note ==
<references responsive/>

{{Portal|Matematică}}
{{Polinoame}}

[[Categorie:Algebră]]
[[Categorie:Polinoame]]