Movatterモバイル変換


[0]ホーム

URL:


Μετάβαση στο περιεχόμενο
ΒικιπαίδειαΗ Ελεύθερη Εγκυκλοπαίδεια
Αναζήτηση

Τανυστής

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Tανυστής τάσεων του Κωσύ, ένας τανυστής 2ης τάξης. Οι συνιστώσες του, σε ένα τρισδιάστατο καρτεσιανό σύστημα συντεταγμένων, σχηματίζουν τον πίνακα
σ=[T(e1)T(e2)T(e3)]=[σ11σ12σ13σ21σ22σ23σ31σ32σ33]{\displaystyle {\begin{aligned}\sigma &={\begin{bmatrix}\mathbf {T} ^{(\mathbf {e} _{1})}\mathbf {T} ^{(\mathbf {e} _{2})}\mathbf {T} ^{(\mathbf {e} _{3})}\\\end{bmatrix}}\\&={\begin{bmatrix}\sigma _{11}&\sigma _{12}&\sigma _{13}\\\sigma _{21}&\sigma _{22}&\sigma _{23}\\\sigma _{31}&\sigma _{32}&\sigma _{33}\end{bmatrix}}\\\end{aligned}}}
του οποίου οι στήλες είναι οι τάσεις (δύναμη ανά μονάδα εμδαδού) που δρουν στις πλευρές του κύβου οι οποίες είναι κάθετες στα αντίστοιχα μοναδιαία διανύσματαe1,e2 καιe3

τανυστές (αγγλ.:tensors) είναι γεωμετρικά αντικείμενα που μπορούν να θεωρηθούν ως γενικευμέναδιανύσματα. Περιγράφουν γραμμικές σχέσεις ανάμεσα σε διανύσματα,βαθμωτά μεγέθη και άλλους τανυστές. Βασικά παραδείγματα τέτοιων σχέσεων περιλαμβάνουν τοεσωτερικό γινόμενο, το εξωτερικό γινόμενο καιγραμμικούς μετασχηματισμούς. Τα διανύσματα και τα βαθμωτά μεγέθη είναι επίσης τανυστές.

Οι τανυστές χρησιμοποιούνται για να αναπαραστήσουν αντιστοιχίες ανάμεσα σε σύνολα γεωμετρικών διανυσμάτων. Για παράδειγμα, οτανυστής τάσεων ΚωσύT παίρνει τη διέυθυνσηv σαν εισερχόμενα δεδομένα (input) και παράγει τις τάσειςT(v) στην επιφάνεια κάθετα σε αυτό το διάνυσμα σαν εξερχόμενα δεδομένα (output), εκφράζοντας έτσι τη σχέση μεταξύ αυτών των δύο ειδών διανυσμάτων, όπως φαίνεται και στο σχήμα (δεξιά).

Ένας τανυστής μπορεί να απεικονιστεί σαν μία πολυδιάστατη διάταξη αριθμητικών τιμών. Ητάξη (ή βαθμός) ενός τανυστή είναι η διαστατικότητα της διάταξης που χρειάζεται για να τον απεικονίσει ή ισοδύναμα, ο αριθμός των δεικτών που χρειάζονται για να ονοματιστεί και να διαχωριστεί ένα στοιχείο αυτής της διάταξης. Για παράδειγμα, ένας γραμμικός μετασχηματισμός μπορεί να απεικονιστεί από ένα μητρώο (πίνακα) - μία δισδιάστατη διάταξη δηλαδή - και επομένως είναι τανυστής 2ης τάξης. Ένα διάνυσμα μπορεί να απεικονιστεί σαν μία μονοδιάστατη διάταξη (μητρώο μίας στήλης) και είναι τανυστής 1ης τάξης. Τα βαθμωτά μεγέθη είναι απλοί αριθμοί και συνεπώς τανυστές μηδενικής τάξης.

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

Οι τανυστές είναι σημαντικοί στηφυσική επειδή παρέχουν ένα συνοπτικό μαθηματικό πλαίσιο για το σχηματισμό και την επίλυση φυσικών προβλημάτων, σε περιοχές όπωςελαστικότητα,ρευστομηχανική καιγενική σχετικότητα. Οι τανυστές εισήχθηκαν για πρώτη φορά από τονΤούλιο Λέβι-Τσιβίτα και τονΓκρεγκόριο Ρίτσι-Κουρμπάστρο, οι οποίοι συνέχισαν το προγενέστερο έργο τουΜπέρναρντ Ρίμαν και τουΈλβιν Μπρούνο Κριστόφελ και υπολοίπων, σαν μέρος τουαπόλυτου διαφορικού λογισμού. Η σύλληψή τους επέτρεψε μια εναλλακτική διαμόρφωση τηςδιαφορικής γεωμετρίας με φυσικές συντεταγμένες σαν πολλαπλότητα στη μορφή τουτανυστή καμπυλότητας Ρίμαν.[1]

Ιστορία

[Επεξεργασία |επεξεργασία κώδικα]

Οι ιδέες για την μεταγενέστερη τανυστική ανάλυση ξεκίνησαν από τη δουλειά τουΚαρλ Φρίντριχ Γκάους στη διαφορική γεωμετρία και ο σχηματισμός τους επηρεάστηκε κατά πολύ από την θεωρία αλγεβρικών μορφών και αναλλοίωτων που αναπτύχθηκε στο μέσο του 19ου αιώνα.[2] Η λέξη "τανυστής" εισήχθηκε το 1846 από τονΟυίλιαμ Ρόουαν Χάμιλτον[3] για να περιγράψει κάτι διαφορετικό από αυτό που σημαίνει τώρα.[Note 1] Η σύγχρονη χρήση ήρθε από τονΒόλντεμαρ Φόιγκτ το 1898.[4]

Ο τανυστικός λογισμός αναπτύχθηκε γύρω στο 1890 από τον Γκρεγκόριο Ρίτσι-Κουρμπάστρο με την ονομασίααπόλυτος διαφορικός λογισμός, και αρχικά παρουσιάστηκε από τον Ρίτσι το 1892.[5] Έγινε προσιτός σε πολλούς μαθηματικούς με την δημοσίευση του Ρίτσι και του Τούλιο Λέβι-Τσιβίτα στο κλασικό κείμενοΜέθοδοι απόλυτου διαφορικού λογισμού και οι εφαρμογές τους.[6]

Στον 20ο αιώνα, το αντικείμενο έγινε γνωστό σαντανυστική ανάλυση και επιτεύχθηκε ευρύτερη αποδοχή με την εισαγωγή τηςγενική σχετικότητας τουΆλμπερτ Αϊνστάιν, γύρω στο 1915. Η γενική σχετικότητα σχηματίστηκε ολοκληρωτικά στη γλώσσα των τανυστών. Ο Αϊνστάιν είχε μάθει γι αυτούς, με μεγάλη δυσκολία, από τον μαθηματικό γεωμετρίαςΜαρσέλ Γκροσμάν.[7] Ο Λέβι-Τσιβίτα ξεκίνησε τότε μια συνεργασία με τον Αϊνστάιν, για να διορθώσει τα λάθη που ο Αϊνστάιν είχε κάνει στη χρήση της τανυστικής του ανάλυσης. Η συνεργασία διήρκησε κατά τα χρόνια 1915–17 και χαρακτηριζόταν από αμοιβαίο σεβασμό:

"Θαυμάζω την κομψότητα της μεθόδου υπολογισμού σου. Πρέπει να είναι ωραίο να διασχίζεις αυτά τα πεδία πάνω στο άλογο των πραγματικών μαθηματικών, ενώ εμείς πρέπει να βγάλουμε το δρόμο κουραστικά με τα πόδια." Άλμπερτ ΑϊνστάινThe Italian Mathematicians of Relativity[8]

Οι τανυστές επίσης φάνηκαν χρήσιμοι σε άλλα πεδία, όπωςμηχανική συνεχούς μέσου (Continuum mechanics). Μερικά πολύ γνωστά παραδείγματα τανυστών στη διαφορική γεωμετρία είναι σε τετραγωνική μορφή, όπως οι μετρικοί τανυστές και ο τανυστής καμπυλότητας Ρίμαν. Η εξωτερική άλγεβρα τουΧέρμαν Γκράσμαν, από τα μέσα του 19ου αιώνα, είναι η ίδια μια τανυστική θεωρία και εξαιρετικά γεωμετρική, αλλά πέρασε κάποιος χρόνος μέχρι να θεωρηθεί μαζί με τη θεωρία των διαφορικών μορφών, σαν φυσικά ενοποιημένη με τον τανυστικό λογισμό. Το έργο τουΕλί Καρτάν έκανε τις διαφορικές μορφές από τα βασικά είδη τανυστών που χρησιμοποιούνται στα μαθηματικά.

Περίπου από το 1920 και μετά, συνειδητοποιήθηκε ότι οι τανυστές παίζουν βασικό ρόλο στην αλγεβρική τοπολογία (για παράδειγμα στο θεώρημαΚύνετ).[εκκρεμεί παραπομπή] Αντίστοιχα υπάρχουν τύποι τανυστών στο έργο πολλών κλάδων τηςαφηρημένηςάλγεβρας, συγκεκριμένα στηνομολογική άλγεβρα καιθεωρία απεικόνισης. Η πολυγραμμική άλγεβρα μπορεί να αναπτυχθεί σε μεγαλύτερη γενικότητα από τα βαθμωτά μεγέθη που προέρχονται από ένα πεδίο, αλλά η θεωρία είναι τότε σίγουρα λιγότερο γεωμετρική και οι υπολογισμοί περισσότερο τεχνικοί και λιγότερο αλγοριθμικοί. Οι τανυστές γενικεύονται μέσα στοθεώρημα κατηγορίας μέσω της έννοιας τηςμονοειδούς κατηγορίας, από τη δεκαετία του 1960.

Ορισμός

[Επεξεργασία |επεξεργασία κώδικα]

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

Ως πολυδιάστατες διατάξεις

[Επεξεργασία |επεξεργασία κώδικα]

Ακριβώς όπως ένα βαθμωτό πεδίο περιγράφεται από έναν μόνο αριθμό και ένα διάνυσμα σε σχέση με μία δεδομένη βάση περιγράφεται από μια μονοδιάστατη σειρά, έτσι και οποιοσδήποτε τανυστής σε σχέση με μία βάση περιγράφεται από μία πολυδιάστατη διάταξη. Τα νούμερα στη διάταξη είναι γνωστά ωςβαθμωτές συνιστώσες του τανυστή ή απλά οισυνιστώσες του. Αυτές υποδηλώνονται από δείκτες που δείχνουν τη θέση τους στη διάταξη, σε άνω και κάτω δείκτες, μετά το συμβολικό όνομα του τανυστή. Ο συνολικός αριθμός των δεικτών που απαιτείται για να επιλογεί ξεχωριστά η κάθε συνιστώσα, είναι ίσος με τη διαστατικότητα της διάταξης και ονομάζεταιτάξη ήβαθμός του τανυστή.[Note 2] Για παράδειγμα, τα στοιχεία που εισάγονται σε ένα τανυστήT 2ης τάξης θα υποδηλώνονται ωςTij, όπου i και j είναι οι δείκτες από 1 μέχρι τη διάσταση του σχετικού διανυσματικού χώρου.[Note 3]

Ακριβώς όπως οι συνιστώσες ενός διανύσματος αλλάζουν όταν αλλάζει η βάση του διανυσματικού χώρου, τα στοιχεία που εισάγονται σε ένα τανυστή θα πρέπει επίσης να αλλάζουν κάτω από ένα τέτοιο μετασχηματισμό. Κάθε τανυστής είναι εφοδιασμένος με ένανόμο μετασχηματισμού που προσδιορίζει επακριβώς πως οι συνιστώσες του τανυστή ανταποκρίνονται σε μία αλλαγή βάσης. Οι συνιστώσες ενός διανύσμαυτος μπορούν να ανταποκρίνονται με δύο χαρακτηριστικούς τρόπους σε μία αλλαγή βάσης (συναλλοίωτος και ανταλλοίωτος διανυσμάτων), όπου τα νέα διανύσματα βάσηςe^i{\displaystyle \mathbf {\hat {e}} _{i}} εκφράζονται σε όρους των παλιών διανυσμάτων βάσηςej{\displaystyle \mathbf {e} _{j}} σαν

e^i=jRijej=Rijej,{\displaystyle \mathbf {\hat {e}} _{i}=\sum _{j}R_{i}^{j}\mathbf {e} _{j}=R_{i}^{j}\mathbf {e} _{j},}

όπουRi j είναι ένας πίνακας μετασχηματισμού, ενώ στη δεύτερη έκφραση το σύμβολο της πρόσθεσης παραλείπεται (μια βολική σύμβαση που εισήχθηκε από τονΑϊνστάιν που θα χρησιμοποιηθεί σε όλο αυτό το άρθρο). Οι συνιστώσες,vi, ενός συνηθισμένου διανύσματος (ή διανύσματος στήλης)v, μετασχηματίζονται με τοναντίστροφο του πίνακαR,

v^i=(R1)jivj,{\displaystyle {\hat {v}}^{i}=(R^{-1})_{j}^{i}v^{j},}

όπου το καπέλο δηλώνει τις συνιστώσες στη νέα βάση, ενώ οι συνιστώσες,wi,ενός συν-διανύσματος(ή διάνυσμα σειράς),w μετασχηματίζεται με τον ίδιο τον πίνακαR,

w^i=Rijwj.{\displaystyle {\hat {w}}_{i}=R_{i}^{j}w_{j}.}

Oι συνιστώσες ενός τανυστή μετασχηματίζονται με παρόμοιο τρόπο με ένα πίνακα μετασχηματισμού για κάθε δείκτη. Αν ένας δείκτης μετασχηματίζεται σαν ένα διάνυσμα με τον αντίστροφο του μετασχηματισμού βάσης, καλείταιανταλλοίωτος και συμβολίζεται παραδοσιακά με ένα πάνω δείκτη, ενώ ο δείκτης που μετασχηματίζεται με τον ίδιο το μετασχηματισμό βάσης καλείταισυναλλοίωτος και συμβολίζεατι με ένα κάτω δείκτη. Ο νόμος μετασχηματισμού για ένα τανυστή τάξηςm μεn ανταλλοίωτους δείκτες καιmn συναλλοίωτους δείκτες, δίνεται συνεπώς σαν,

T^in+1,,imi1,,in=(R1)j1i1(R1)jninRin+1jn+1RimjmTjn+1,,jmj1,,jn.{\displaystyle {\hat {T}}_{i_{n+1},\ldots ,i_{m}}^{i_{1},\ldots ,i_{n}}=(R^{-1})_{j_{1}}^{i_{1}}\cdots (R^{-1})_{j_{n}}^{i_{n}}R_{i_{n+1}}^{j_{n+1}}\cdots R_{i_{m}}^{j_{m}}T_{j_{n+1},\ldots ,j_{m}}^{j_{1},\ldots ,j_{n}}.}

Ένας τέτοιος τανυστής τάξης ή τύπου (n,mn)[Note 4]Αυτή η συζήτηση έχει ως αποτέλεσμα τη δημιουργία του ακόλουθου επίσημου ορισμού:[9]

Ορισμός : Ένας τανυστής τύπου (n,mn) είναι το σύνολο μιας πολυσδιάστατης διάταξης

Tin+1imi1in[f]{\displaystyle T_{i_{n+1}\dots i_{m}}^{i_{1}\dots i_{n}}[\mathbf {f} ]}

σε κάθε βάσηf = (e1,...,eN) τέτοια ώστε, αν εφαρμόσουμε την αλλαγή βάσης

ffR=(R1iei,,RNiei){\displaystyle \mathbf {f} \mapsto \mathbf {f} \cdot R=\left(R_{1}^{i}\mathbf {e} _{i},\dots ,R_{N}^{i}\mathbf {e} _{i}\right)}

τότε η πολυδιάστατη διάταξη υπακούει στο νόμο μετασχηματισμού

Tin+1imi1in[fR]=(R1)j1i1(R1)jninRin+1jn+1RimjmTjn+1,,jmj1,,jn[f].{\displaystyle T_{i_{n+1}\dots i_{m}}^{i_{1}\dots i_{n}}[\mathbf {f} \cdot R]=(R^{-1})_{j_{1}}^{i_{1}}\cdots (R^{-1})_{j_{n}}^{i_{n}}R_{i_{n+1}}^{j_{n+1}}\cdots R_{i_{m}}^{j_{m}}T_{j_{n+1},\ldots ,j_{m}}^{j_{1},\ldots ,j_{n}}[\mathbf {f} ].}

Ο ορισμός ενός τανυστή σαν πολυδιάστατη διάταξη που ικανοποιεί ένα νόμο μετασχηματισμού, βρίκεται στην εργασία του Ricci κατά το παρελθόν. Στις μέρες μας, αυτός ο ορισμός ακόμα χρησιμοποιείται σε μερικά βιβλία φυσικής και μηχανικής.[10][11]

Σημειώσεις

[Επεξεργασία |επεξεργασία κώδικα]
  1. Δηλαδή η κανονική διαδικασία σε ένα συγκεκριμένο τύπο αλγεβρικού συστήματος (γνωστό σήμερα σανάλγεβρα Κλίφορντ).
  2. Aυτό το άρθρο θα χρησιμοποιεί τον όροτάξη (order) επειδή ο όροςβαθμός (rank) έχει διαφορετική σημασία στο σχετικό ευρύτερο πλαίσιο της μητρωικής ανάλυσης.
  3. Τα χωρικά διανύσματα σε αυτό το άρθρο θεωρούνται ότι είναι διαστατικά πεπερασμένα, αν δε σημειώνεται κάτι άλλο.
  4. Υπάρχει μία πληθώρα διαφορετικών τύπων ορολογίας για αυτό γενικά. Οι όροι "τάξη", "τύπος", "βαθμός", "σθένος" χρησιμοποιούνται για να περιγράψουν την ίδια ιδέα. Αυτό το άρθρο χρησιμοποιεί τον όρο "τάξη" ή "συνολική τάξη" για τη συνολική διάσταση της διάταξης (ή τη γενίκευσή της σε άλλους ορισμούς)m στο προηγούμενο παράδειγμα και ο όρος "τύπος" για το ζεύγος που δίνει τον αριθμό ανταλλοίωτων και συναλλοίωτων δεικτών. Ένας τανυστής τύπου (n,mn) θα αναφέρεται επίσης σαν τανυστήςn,mn) για συντομία.

Παραπομπές

[Επεξεργασία |επεξεργασία κώδικα]
  1. Kline, Morris (1972).Mathematical thought from ancient to modern times, Vol. 3. Oxford University Press. σελίδες 11221127.ISBN 0195061373. 
  2. Reich, Karin (1994).Die Entwicklung des Tensorkalküls. Science networks historical studies, v. 11. Birkhäuser.ISBN 978-3-7643-2814-6.OCLC 31468174. 
  3. Hamilton,William Rowan(1854–1855).Wilkins, David R.,επιμ.«On some Extensions of Quaternions».Philosophical Magazine(7–9): 492–499, 125–137, 261–269, 46–51, 280–290.ISSN0302-7597.Αρχειοθετήθηκεαπότο πρωτότυποστις 2012-06-09.https://web.archive.org/web/20120609100929/http://www.emis.de/classics/Hamilton/ExtQuat.pdf.Ανακτήθηκε στις 2013-10-13. 
  4. Voigt, Woldemar (1898).Die fundamentalen physikalischen Eigenschaften der Krystalle in elementarer Darstellung. Leipzig: Von Veit. 
  5. Ricci Curbastro,G.(1892).«Résumé de quelques travaux sur les systèmes variables de fonctions associés à une forme différentielle quadratique».Bulletin des Sciences Mathématiques2(16): 167–189. 
  6. (Ricci& Levi-Civita 1900)
  7. Pais, Abraham (2005).Subtle Is the Lord: The Science and the Life of Albert Einstein. Oxford University Press.ISBN 978-0-19-280672-7. 
  8. Goodstein,Judith R(1982).«The Italian Mathematicians of Relativity».Centaurus26(3): 241–261.doi:10.1111/j.1600-0498.1982.tb00665.x.Bibcode: 1982Cent...26..241G. 
  9. Sharpe, R. W. (1997).Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. Berlin, New York:Springer-Verlag. σελ. 194.ISBN 978-0-387-94732-7. 
  10. Marion, J.B.· Thornton, S.T. (1995).Classical Dynamics of Particles and Systems (4th έκδοση). Saunders College Publishing. σελ. 424.ISBN 978-0-03-098967-4. 
  11. Griffiths, D.J. (1999).Introduction to Electrodynamics (3 έκδοση). Prentice Hall. σελίδες 11–12 and 535–.ISBN 978-0-13-805326-0. 
Καθιερωμένοι όροι
Ανακτήθηκε από "https://el.wikipedia.org/w/index.php?title=Τανυστής&oldid=11250083"
Κατηγορίες:
Κρυμμένες κατηγορίες:

[8]ページ先頭

©2009-2025 Movatter.jp