🔄 Όταν το παραλληλόγραμμο δεν κλείνει
Όταν δύο διανυσματικά πεδία δεν μετατίθενται (δεν «commute»), το γεωμετρικό παραλληλόγραμμο που θα σχηματιζόταν ακολουθώντας τα δύο πεδία με τη σειρά, και μετά αντίστροφα, δεν κλείνει. Η αγκύλη Lie [X, Y] = dY·X − dX·Y είναι ακριβώς το υπόλοιπο δεύτερης τάξης που απομένει αφού «ρεύσετε» κατά μήκος του X, μετά του Y, μετά του −X, και τέλος του −Y — δηλαδή πόσο μακριά καταλήγετε από το σημείο εκκίνησης.
Αν αυτό το υπόλοιπο βρίσκεται εκτός του γραμμικού ανοίγματος (span) των X και Y, ο περιορισμός λέγεται μη ολονομικός (nonholonomic): οι απειροστές κινήσεις δεν μπορούν να παράξουν κάθε κοντινή διαμόρφωση χρησιμοποιώντας μόνο τις δύο αρχικές κατευθύνσεις.
🚙 Το αυτοκίνητο που δεν κινείται ποτέ πλάγια
Αυτός είναι ο λόγος για τον οποίο ένα αυτοκίνητο δεν μπορεί να ολισθήσει πλάγια, και όμως μπορεί να παραλληλοπαρκάρει: οι δύο βασικές κινήσεις που διαθέτει —«μπροστά/πίσω» και «στροφή του τιμονιού»— δεν παράγουν από μόνες τους πλάγια μετατόπιση. Όμως η αγκύλη Lie αυτών των δύο κινήσεων παράγει ακριβώς μια νέα, ανεξάρτητη κατεύθυνση κίνησης — την πλάγια μετατόπιση — μέσα από τον κατάλληλο συνδυασμό εμπρός, στροφής, πίσω και αντίστροφης στροφής, όπως ακριβώς κάνει κάθε οδηγός όταν παρκάρει.
Στη ρομποτική, αυτό το όχημα ονομάζεται μοντέλο Reeds-Shepp, και η αγκύλη Lie των δύο βασικών του κινήσεων υπολογίζεται ρητά ώστε να αποδειχθεί ότι πράγματι υπάρχει διαθέσιμη «κρυφή» πλάγια κατεύθυνση κίνησης, αν και το όχημα δεν μπορεί να κινηθεί άμεσα προς αυτήν.
🤖 Από τη θεωρία στη ρομποτική και την τεχνητή νοημοσύνη
Η μαθηματική εγγύηση πίσω από αυτή την ιδέα ονομάζεται Θεώρημα Chow-Rashevskii (1938-1939): αν οι επαναληπτικές αγκύλες Lie ενός συνόλου διανυσματικών πεδίων «παράγουν» (span) ολόκληρο τον εφαπτόμενο χώρο σε κάθε σημείο —μια ιδιότητα γνωστή ως bracket-generating— τότε το σύστημα είναι πλήρως ελέγξιμο (controllable): μπορεί κανείς να φτάσει από οποιαδήποτε διαμόρφωση σε οποιαδήποτε άλλη, χρησιμοποιώντας μόνο τις αρχικές, περιορισμένες κινήσεις.
Αυτή η αρχή είναι κεντρική στον σχεδιασμό κίνησης υποενεργοποιημένων ρομπότ (underactuated robots) — ρομπότ με λιγότερους ενεργοποιητές από βαθμούς ελευθερίας— και σε αλγορίθμους σχεδιασμού κίνησης στην τεχνητή νοημοσύνη, οι οποίοι πρέπει να εκμεταλλευτούν αγκύλες Lie ανώτερης τάξης για να φτάσουν σε καταστάσεις που φαίνονται, με την πρώτη ματιά, απρόσιτες.
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου