Ομογενές πολυώνυμο

Στα μαθηματικά, ένα **ομογενές πολυώνυμο**, μερικές φορές αποκαλούμενο κβαντικό πολυώνυμο σε παλαιότερα κείμενα, είναι ένα πολυώνυμο του οποίου όλοι οι μη μηδενικοί όροι έχουν τον ίδιο βαθμό.
Παραδείγματος χάριν, το x^5 + 2 x^3 y^2 + 9 x y^4 είναι ένα ομογενές πολυώνυμο βαθμού 5, σε δύο μεταβλητές- το άθροισμα των εκθετών σε κάθε όρο είναι πάντα 5. Το πολυώνυμο x^3 + 3 x^2 y + z^7 δεν είναι ομογενές, επειδή το άθροισμα των εκθετών δεν ταιριάζει από όρο σε όρο. Η συνάρτηση που ορίζεται από ένα ομογενές πολυώνυμο είναι πάντα μια ομογενής συνάρτηση.

Μια αλγεβρική μορφή, ή απλώς μορφή, είναι μια συνάρτηση που ορίζεται από ένα ομογενές πολυώνυμο. Μια δυαδική μορφή είναι μια μορφή με δύο μεταβλητές. Μια μορφή είναι επίσης μια συνάρτηση που ορίζεται σε έναν διανυσματικό χώρο, η οποία μπορεί να εκφραστεί ως ομογενής συνάρτηση των συντεταγμένων πάνω σε οποιαδήποτε βάση.

Ένα πολυώνυμο βαθμού 0 είναι πάντα ομογενές- είναι απλώς ένα στοιχείο του πεδίου ή του δακτυλίου των συντελεστών, που συνήθως ονομάζεται σταθερά ή βαθμωτό. Μια μορφή βαθμού 1 είναι μια γραμμική μορφή.  Μια μορφή βαθμού 2 είναι μια τετραγωνική μορφή. Στη γεωμετρία, η ευκλείδεια απόσταση είναι η τετραγωνική ρίζα μιας τετραγωνικής μορφής.

Τα ομογενή πολυώνυμα είναι πανταχού παρόντα στα μαθηματικά και τη φυσική. Παίζουν θεμελιώδη ρόλο στην αλγεβρική γεωμετρία, καθώς μια προβολική αλγεβρική ποικιλία ορίζεται ως το σύνολο των κοινών μηδενικών ενός συνόλου ομογενών πολυωνύμων.

## Ιδιότητες
Ένα ομογενές πολυώνυμο ορίζει μια ομογενή συνάρτηση. Επομένως, αν ένα πολυμεταβλητό πολυώνυμο *P* είναι ομογενές βαθμού *d*, τότε

:P(\lambda x_1, \ldots, \lambda x_n)=\lambda^d\,P(x_1,\ldots,x_n)\,,

για κάθε \lambda σε οποιοδήποτε πεδίο που περιέχει τους συντελεστές του *P*. Αντίστροφα, αν η παραπάνω σχέση ισχύει για άπειρα πολλά  \lambda τότε το πολυώνυμο είναι ομογενές βαθμού *d*.

Ειδικότερα, αν το *P* είναι ομογενές τότε

:P(x_1,\ldots,x_n)=0 \quad\Rightarrow\quad P(\lambda x_1, \ldots, \lambda x_n)=0,

για κάθε \lambda. Αυτή η ιδιότητα είναι θεμελιώδης στον ορισμό μιας προβολικής ποικιλίας.

Κάθε μη μηδενικό πολυώνυμο μπορεί να αναλυθεί, με μοναδικό τρόπο, ως άθροισμα ομογενών πολυωνύμων διαφορετικού βαθμού, τα οποία ονομάζονται *ομογενείς συνιστώσες* του πολυωνύμου.

Λαμβάνοντας υπόψιν έναν πολυωνυμικό δακτύλιο R=K[x_1, \ldots,x_n] πάνω από ένα πεδίο (ή, γενικότερα, έναν δακτύλιο) *K*, τα ομογενή πολυώνυμα βαθμού *d* σχηματίζουν έναν διανυσματικό χώρο (ή μια ενότητα), που συνήθως συμβολίζεται με  R_d.. Η παραπάνω μοναδική διάσπαση σημαίνει ότι ο  R είναι το άμεσο άθροισμα τωνR_d (άθροισμα επί όλων των μη αρνητικών ακεραίων αριθμών).

Η διάσταση του διανυσματικού χώρου (ή της ελεύθερης μονάδας) R_d είναι ο αριθμός των διαφορετικών μονώνυμων βαθμού *d* σε *n* μεταβλητές (δηλαδή ο μέγιστος αριθμός μη μηδενικών όρων σε ένα ομογενές πολυώνυμο βαθμού *d* σε *n* μεταβλητές). Είναι ίσος με τον διωνυμικό συντελεστή

:\binom{d+n-1}{n-1}=\binom{d+n-1}{d}=\frac{(d+n-1)!}{d!(n-1)!}.

Τα ομογενή πολυώνυμα ικανοποιούν την ταυτότητα του Όιλερ για τις ομογενείς συναρτήσεις. Δηλαδή, αν το  είναι ένα ομογενές πολυώνυμο βαθμού  στα απροσδιόριστα x_1, \ldots, x_n, έχουμε, όποιος είναι ο αντιμεταθετικός δακτύλιος των συντελεστών,

:dP=\sum_{i=1}^n x_i\frac{\partial P}{\partial x_i},

όπου \textstyle \frac{\partial P}{\partial x_i} δηλώνει την τυπική μερική παράγωγο του  ως προς x_i.

 σε σχέση με x_i.

## Ομογενοποίηση

Ένα μη ομογενές πολυώνυμο *P*(*x*1,...,*x**n*) μπορεί να ομογενοποιηθεί εισάγοντας μια πρόσθετη μεταβλητή *x*0 και ορίζοντας το ομογενές πολυώνυμο που μερικές φορές συμβολίζεται ως *h**P*:

:{^h\!P}(x_0,x_1,\dots, x_n) = x_0^d P \left (\frac{x_1}{x_0},\dots, \frac{x_n}{x_0} \right ),

όπου *d* είναι ο βαθμός του *P*. Παραδείγματος χάριν, εάν

:P(x_1,x_2,x_3)=x_3^3 + x_1 x_2+7,

τότε

:^h\!P(x_0,x_1,x_2,x_3)=x_3^3 + x_0 x_1x_2 + 7 x_0^3.

Ένα ομογενοποιημένο πολυώνυμο μπορεί να αποδομηθεί θέτοντας την πρόσθετη μεταβλητή *x*0 = 1. Δηλαδή

:P(x_1,\dots, x_n)={^h\!P}(1,x_1,\dots, x_n).

## Χρήση στην αλγεβρική γεωμετρία

Ακριβώς όπως μια αφινική αλγεβρική ποικιλία πάνω από το *Κ* είναι ο τόπος ακύρωσης, σε έναν αφινικό χώρο *K<sup>n</sup>*, μιας οικογένειας πολυωνύμων με n μεταβλητές και συντελεστές στο *Κ*, μια προβολική ποικιλία πάνω από το Κ είναι ο τόπος ακύρωσης, σε έναν προβολικό χώρο  P*n*(*K*), μιας οικογένειας ομογενών πολυωνύμων με *n* + 1 μεταβλητές και συντελεστές στο *Κ*.

Παραδείγματος χάριν, μια αφινική αλγεβρική καμπύλη στον *K*2 μπορεί να οριστεί ως το σημείο μηδενισμού ενός πολυωνύμου με δύο μεταβλητές και συντελεστές στον *K*. Αν θέλουμε να ορίσουμε μια αλγεβρική καμπύλη στο προβολικό επίπεδο P2(*K*), μπορούμε να την ορίσουμε ως σημείο μηδενισμού ενός πολυωνύμου *P* σε τρεις μεταβλητές. Αλλά στο προβολικό επίπεδο, (λ*x *: λ*y *: λ*z*) = (*x *: *y *: *z*), για όλα τα λ ≠ 0. Επομένως, θέλουμε αναγκαστικά *P*(*x*, *y*, *z*) = 0 ⇔ *P*(λ*x*, λ*y*, λ*z*) = 0, έτσι ώστε το σημείο μηδενισμού να μην εξαρτάται από το επιλεγμένο λ. Γι' αυτό ζητάμε το πολυώνυμο *P* να είναι ομογενές.

## Βιβλιογραφία

*Homogeneous Polynomial Forms for Robustness Analysis of Uncertain Systems
*Expansions in Series of Homogeneous Polynomial Solutions 
*On Bezout Inequalities for non-homogeneous Polynomial Ideals
*The F-pure threshold of quasi-homogeneous polynomials

## Δείτε επίσης
*Commutative algebra

## Εξωτερικοί σύνδεσμοι
*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
* https://stacks.math.columbia.edu/tag/04ZC Topological definition of (local) constructibility
* https://stacks.math.columbia.edu/tag/054H Constructibility properties of morphisms of schemes (incl. Chevalley's theorem)

## Παραπομπές


 

Κατηγορία:Αλγεβρική γεωμετρία
Κατηγορία:Πολυώνυμα
Κατηγορία:Γραμμική άλγεβρα