Αλγεβρική ανεξαρτησία

Στην αφηρημένη άλγεβρα, ένα υποσύνολο S ενός σώματος L είναι **αλγεβρική ανεξάρτησία** πάνω από ένα υποσώμα K αν τα στοιχεία του S δεν ικανοποιούν καμία μη τετριμμένη πολυωνυμική εξίσωση με συντελεστές στο K.

Ειδικότερα, ένα σύνολο ενός στοιχείου \{\alpha\} είναι **αλγεβρική ανεξάρτησία** πάνω στο K αν και μόνο αν \alpha είναι υπερβατικό πάνω στο K. Γενικά, όλα τα στοιχεία ενός αλγεβρικά ανεξάρτητου συνόλου S πάνω στο K είναι αναγκαστικά υπερβατικά πάνω στο K και πάνω σε όλες τις επεκτάσεις σώματος πάνω στο K που δημιουργούνται από τα υπόλοιπα στοιχεία του S.

## Παράδειγμα

Οι πραγματικοί αριθμοί \sqrt{\pi} και 2\pi+1 είναι υπερβατικοί αριθμοί: δεν είναι ρίζες κανενός μη τετριμμένου πολυωνύμου του οποίου οι συντελεστές είναι ρητοί αριθμοί. Έτσι, τα σύνολα \{\sqrt{\pi}\} και \{2\pi+1\} είναι και τα δύο αλγεβρικά ανεξάρτητα πάνω στους ρητούς αριθμούς.

Ωστόσο, το σύνολο \{ \sqrt{\pi}, 2\pi+1 \} δεν είναι αλγεβρικά ανεξάρτητο πάνω στους ρητούς αριθμούς \mathbb{Q}, επειδή το μη τετριμμένο πολυώνυμο
:P(x,y)=2x^2-y+1
είναι μηδέν όταν x=\sqrt{\pi} και y=2\pi+1.

## Αλγεβρική ανεξαρτησία γνωστών σταθερών

Αν και το  και το  είναι υπερβατικά, δεν είναι γνωστό αν το \{ \pi , e \} είναι αλγεβρικά ανεξάρτητο πάνω στο \mathbb{Q}. Στην πραγματικότητα, δεν είναι καν γνωστό αν το \pi+e είναι άρρητο.  Ο Νεστερένκο απέδειξε το 1996 ότι:
* Οι αριθμοί \pi, e^\pi και \Gamma(1/4), όπου \Gamma είναι η συνάρτηση γάμμα, είναι αλγεβρικά ανεξάρτητοι πάνω στο \mathbb{Q}. 
* οι αριθμοί  e^{\pi\sqrt{3}} και \Gamma(1/3) είναι αλγεβρικά ανεξάρτητοι πάνω στο \mathbb{Q}
* για όλους τους θετικούς ακέραιους αριθμούς n, ο αριθμός e^{\pi\sqrt{n}} είναι αλγεβρικά ανεξάρτητος πάνω στο \mathbb{Q}.

## Αποτελέσματα και ανοικτά προβλήματα

Το θεώρημα Λίντεμαν-Βάιερστρας μπορεί συχνά να χρησιμοποιηθεί για να αποδείξει ότι ορισμένα σύνολα είναι αλγεβρικά ανεξάρτητα πάνω από  \mathbb{Q}. Αναφέρει ότι όποτε \alpha_1,\ldots,\alpha_n είναι αλγεβρικοί αριθμοί που είναι γραμμικά ανεξάρτητοι πάνω από \mathbb{Q}, τότε e^{\alpha_1},\ldots,e^{\alpha_n}  είναι επίσης αλγεβρικά ανεξάρτητοι πάνω από  \mathbb{Q}.

Η εικασία του Σάνουελ θα αποδείκνυε την **αλγεβρική ανεξαρτησία** πολλών αριθμών, συμπεριλαμβανομένων των **' και '','' αλλά παραμένει αναπόδεικτη:

:Έστω  <math>\{z_1,...,z_n\}</math> οποιοδήποτε σύνολο <math>n</math> [[Μιγαδικός αριθμός|μιγαδικών αριθμών]] που είναι γραμμικά ανεξάρτητοι πάνω στο <math>\mathbb Q</math>. Η [[επέκταση σώματος]] <math>\mathbb Q (z_1,...,z_n,e^{z_1},...,e^{z_n})</math> έχει βαθμό υπερβατικότητας τουλάχιστον <math>n</math> πάνω στο <math>\mathbb Q</math>.

==Αλγεβρικά μητροειδής==

Σε μια [[επέκταση σώματος]] <math>L/K</math> που δεν είναι αλγεβρική, το [[λήμμα του Τσορν]] μπορεί να χρησιμοποιηθεί για να δείξει ότι υπάρχει πάντα ένα μέγιστο αλγεβρικά ανεξάρτητο [[υποσύνολο]] του <math>L</math> πάνω στο <math>K</math>. Επιπλέον, όλα τα μέγιστα αλγεβρικά ανεξάρτητα [[Υποσύνολο|υποσύνολα]] έχουν την ίδια [[πληθικότητα]], γνωστή ως βαθμός υπερβατικότητας της επέκτασης.

Για κάθε [[πεπερασμένο σύνολο]] <math>S</math> στοιχείων του <math>L</math>, τα αλγεβρικά ανεξάρτητα υποσύνολα του <math>S</math> ικανοποιούν τα αξιώματα που ορίζουν τα ανεξάρτητα σύνολα μιας ματροειδούς. Σε αυτή τη μητροειδή ή πινακοειδή , ο βαθμός ενός συνόλου στοιχείων είναι ο βαθμός υπερβατικότητας του, και η επίπεδη που δημιουργείται από ένα σύνολο <math>T</math> στοιχείων είναι η τομή του <math>L</math> με το [[Σώμα (άλγεβρα)|σώμα]] <math>K[T]</math>. Μία μητροειδής που μπορεί να δημιουργηθεί με αυτόν τον τρόπο ονομάζεται **αλγεβρικά μητροειδής*'. Δεν είναι γνωστός κανένας καλός χαρακτηρισμός των αλγεβρικών μητροειδών, αλλά ορισμένες μητροειδείς είναι γνωστό ότι δεν είναι αλγεβρικές. Η μικρότερη είναι η μητροειδής Βάμος (Vámos).

Πολλές πεπερασμένες μητροειδείς μπορούν να αναπαρασταθούν από έναν [[Πίνακας (μαθηματικά)|πίνακα]] πάνω σε ένα [[Σώμα (άλγεβρα)|σώμα]] <math>K</math>, στον οποίο τα στοιχεία της μητροειδούς αντιστοιχούν σε στήλες του πίνακα, και ένα σύνολο στοιχείων είναι ανεξάρτητο αν το αντίστοιχο σύνολο στηλών είναι γραμμικά ανεξάρτητο. Κάθε μητροειδής με γραμμική αναπαράσταση αυτού του τύπου μπορεί επίσης να αναπαρασταθεί ως αλγεβρική μητροειδής, επιλέγοντας ένα ακαθόριστο για κάθε σειρά του [[Πίνακας (μαθηματικά)|πίνακα]] και χρησιμοποιώντας τους συντελεστές του [[Πίνακας (μαθηματικά)|πίνακα]]  σε κάθε στήλη για να αντιστοιχίσετε σε κάθε στοιχείο της μητροειδούς έναν γραμμικό συνδυασμό αυτών των υπερβατικών. Το αντίστροφο δεν ισχύει: δεν έχει κάθε αλγεβρική μητροειδής γραμμική αναπαράσταση.

== Εξωτερικοί σύνδεσμοι ==
*[https://www.itia.ntua.gr/en/docinfo/1318/ English - Greek Dictionary of Pure and Applied Mathematics] Εθνικό Μετσόβιο Πολυτεχνείο
*[https://www.mas.ucy.ac.cy/georgios/bookfiles/dict1.pdf Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου]
*[https://mathbooksgr.wordpress.com/wp-content/uploads/2012/02/mlexiko2012.pdf ΑΓΓΛΟΕΛΛΗΝΙΚΟ. ΛΕΞΙΚΟ. ΜΑΘΗΜΑΤΙΚΩΝ. ΟΡΩΝ] Αριάδνη Καλογερόπουλου. Μίλτος Γκίκας — Δ. Καραπαννακης — Μ. Λάμπρου. 
* [https://mtzoumas.mysch.gr/mtz/docs_and_apps/Didaskalia/bibl_kath_geom.pdf Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο]
* [https://www.didaktorika.gr/eadd/handle/10442/20405 Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών]
* [https://repository.kallipos.gr/bitstream/11419/107/5/NumberTheory30Sep.pdf Θεωρία Αριθμών και Εφαρμογές]
* [https://repository.kallipos.gr/handle/11419/1045 Υπολογιστική Θεωρία Αριθμών]
* [https://thesis.ekt.gr/thesisBookReader/id/15362?lang=el#page/1/mode/2up Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες] Εθνικό Αρχείο Διδακτορικών Διατριβών
* [https://www.didaktorika.gr/eadd/handle/10442/58427 Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας] Εθνικό Αρχείο Διδακτορικών Διατριβών
* [http://users.uoi.gr/brapt/stat/notes_chap_1.pdf  Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή]
* [http://www.wolframalpha.com/calculators/integral-calculator/ Wolfram Mathematica Online Integrator]
* [https://nvlpubs.nist.gov/nistpubs/jres/73B/jresv73Bn1p1_A1b.pdf  A Table of Integrals of the Error Functions]

== Δείτε επίσης ==
* [[Απαγορευτική αρχή του Πάουλι]]
* [[Μορφοκλασματική διάσταση]]
* [[Ομοπαραλληλική γεωμετρία]]
* [[Αλγεβρική θεωρία αριθμών]]
* [[Άρθουρ Στάνλεϋ Έντινγκτον]]
* [[Μοναδιαία βηματική συνάρτηση]]
* [[Σουμπραμανιάν Τσαντρασεκάρ]]
* [[Ευκλείδειος χώρος]]
* [[Αρχιμήδεια ιδιότητα]]
* [[Βαθμός (γραμμική άλγεβρα)]]
* [[Εφαρμοσμένα μαθηματικά]]
* [[Υπολογιστική ρευστοδυναμική]]
* [[Καμπυλότητα Γκάους]]
* [[Καρτεσιανό σύστημα συντεταγμένων]]
* [[Θεμελιώδες θεώρημα αριθμητικής]]
* [[Αλγεβρική γεωμετρία]]
* [[Σώμα διασπάσεως]]
* [[Συνήθης διαφορική εξίσωση]]
* [[Γραμμική απεικόνιση]]
* [[Νοεροί υπολογισμοί]]

== Βιβλιογραφία==
* </
* 
* 
* 
* 
* 
* 
* 
* 
* 

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

<references group="lower-greek"/>

*
*
*
*
*
*
*
*
*
*
*
*
*
*
*

== Πηγές ==
* 
* 
* 
* 
*
*
*
*
* Wendelin Degen, Lothar Profke: *Grundlagen der affinen und euklidischen Geometrie.* Teubner, Stuttgart 1976, ISBN 3-519-02751-8.
* [[:en:Hans Freudenthal|Hans Freudenthal]]: *Mathematik als pädagogische Aufgabe.* Band 1. Klett, Stuttgart 1973, ISBN 3-12-983220-3.
* Thomas W. Hungerford: *Algebra* (= *Graduate Texts in Mathematics.'' Bd. 73). 5th printing. Springer, New York NY u. a. 1989, ISBN 0-387-90518-9.

Κατηγορία:Θεωρία σωμάτων 
Κατηγορία:Αλγεβρική θεωρία αριθμών
Κατηγορία:Θεωρία δακτυλίων
Κατηγορία:Αφηρημένη άλγεβρα