01Από τις δυνατότητες στην οργάνωσή τους
Στο προηγούμενο κεφάλαιο εξετάσαμε πώς οι δηλωμένες συνθήκες ορίζουν ένα επιτρεπτό σύνολο. Τώρα προσθέτουμε ένα ερώτημα: πώς διακρίνουμε διαφορετικούς τρόπους οργάνωσης μέσα στην περιγραφή ενός συστήματος και τι θα χρειαζόταν για να μιλήσουμε για μετάβαση μεταξύ τους;
Το Manifest τοποθετεί τα μηχανικά καθεστώτα και τις δομικές μεταβάσεις στη θεωρητική ανάπτυξη της FBM. Στη μαθηματική μονογραφία τοποθετεί τις διαμερίσεις καθεστώτων, τους γράφους μεταβάσεων και την ευστάθεια. Πρόκειται για συνδεδεμένα αντικείμενα με διαφορετικό ρόλο στην ανάλυση.
Εδώ προετοιμάζουμε αυτή τη διαδρομή με ένα μικρό παράδειγμα ιδανικής επαφής. Οι τρεις κατηγορίες του ορίζονται ειδικά για το παράδειγμα. Οι πλήρεις ορισμοί των καθεστώτων της FBM ανήκουν στις αντίστοιχες μονογραφίες.
Σύνδεση με το corpus: Corpus Manifest v1.0, §§3.1–3.2, σ. 2–3 ↗
02Ποια αλλαγή περιγράφουμε;
Η φράση «το σύστημα άλλαξε» χρειάζεται συμπλήρωση. Μπορεί να αφορά μια τιμή που παρατηρούμε, μια συνθήκη που μεταβάλλουμε ή μια διάκριση που εφαρμόζουμε στην περιγραφή μας.
| Ερώτημα | Τι χρειάζεται να δηλωθεί |
|---|---|
| Άλλαξε μια τιμή; | Ποιο μέγεθος συγκρίνουμε και σε ποιες συνθήκες. Δύο διαφορετικές τιμές μπορεί να ανήκουν στην ίδια κατηγορία. |
| Άλλαξε μια παράμετρος ή συνθήκη; | Ποιο στοιχείο της περιγραφής μεταβλήθηκε και πώς επηρεάζει τις επιτρεπτές δυνατότητες. |
| Άλλαξε η ταξινόμηση; | Ποιο συγκεκριμένο κριτήριο διακρίνει τις κατηγορίες και ποια στοιχεία δείχνουν ότι πληρούται διαφορετικά. |
Ο πίνακας οργανώνει την ανάγνωση. Στο γεωμετρικό παράδειγμα του προηγούμενου κεφαλαίου αλλάζαμε μια παράμετρο και εξετάζαμε το σύνολο που απέμενε. Για να ερμηνεύσουμε μια αλλαγή ως μηχανική μετάβαση χρειάζεται επιπλέον να συνδέσουμε το κριτήριο με το συγκεκριμένο σύστημα και την εξέλιξή του.
Πρωτότυπο βοήθημα ανάγνωσης, σε συνέχεια του κεφαλαίου για το πλαίσιο, τους περιορισμούς και την επιτρεπτότητα.
03Ένα μικρό μοντέλο ιδανικής επαφής
Θεωρούμε ιδανική άκαμπτη επαφή χωρίς τριβή ή πρόσφυση. Το g είναι το διάκενο κατά την κάθετη διεύθυνση, με θετική τιμή όταν τα σώματα χωρίζονται. Το N είναι το μέτρο της θλιπτικής κάθετης αντίδρασης επαφής: δύναμη, με μονάδα το newton.
g ≥ 0 · N ≥ 0 · gN = 0
Η μη διείσδυση δίνει g ≥ 0. Η απουσία ελκτικής αντίδρασης δίνει N ≥ 0. Η συμπληρωματικότητα gN = 0 αποκλείει θετική αντίδραση όταν υπάρχει θετικό διάκενο. Η σχέση αυτή παρουσιάζεται με διαφορετική σημειογραφία στην εξωτερική πηγή παρακάτω.
04Τρεις κατηγορίες, με ρητό κριτήριο
Από τις δηλωμένες σχέσεις κατασκευάζουμε τρεις τοπικές κατηγορίες ζευγών (g, N). Το ζεύγος είναι μια μερική περιγραφή: δεν περιλαμβάνει, για παράδειγμα, ταχύτητες ή τις υπόλοιπες δυνάμεις.
| Κατηγορία | Κριτήριο | Ανάγνωση του ζεύγους |
|---|---|---|
| S | g > 0, N = 0 | Θετικό διάκενο, μηδενική κάθετη αντίδραση επαφής. |
| C | g = 0, N > 0 | Τα σώματα εφάπτονται και η κάθετη αντίδραση είναι θετική. |
| Z | g = 0, N = 0 | Τα σώματα εφάπτονται με μηδενική κάθετη αντίδραση. |
Η Z αξίζει ξεχωριστή προσοχή: μηδενική αντίδραση επαφής δεν σημαίνει ότι απουσιάζουν όλες οι εξωτερικές δυνάμεις. Το κριτήριο αφορά αποκλειστικά τα δύο μεγέθη που επιλέξαμε.
Πρωτότυπη ανάπτυξη για το παρόν παράδειγμα, με τοπικές κατηγορίες και σημειογραφία. Δεν παρατίθενται εμπειρικά δεδομένα ή τυπικοί ορισμοί καθεστώτων της FBM.
05Ίδια κατηγορία, διαφορετικές τιμές
Ας συγκρίνουμε υποθετικά ζεύγη που ικανοποιούν το μοντέλο. Οι παρακάτω συγκρίσεις δεν προϋποθέτουν ότι τα ζεύγη είναι διαδοχικές στιγμές της ίδιας κίνησης.
| Ζεύγη που συγκρίνουμε | Αποτέλεσμα |
|---|---|
| (2 mm, 0 N) και (1 mm, 0 N) | Διαφορετικό διάκενο, ίδια κατηγορία S. |
| (0 mm, 2 N) και (0 mm, 5 N) | Διαφορετική αντίδραση, ίδια κατηγορία C. |
| (0 mm, 2 N) και (0 mm, 0 N) | Ίδιο διάκενο, διαφορετικές κατηγορίες C και Z. |
Η τρίτη σύγκριση επιστρέφει στο ερώτημα του ίχνους. Μια παρατήρηση μόνο του διακένου καταγράφει την τιμή μηδέν και στις δύο περιπτώσεις. Ακόμη και ακριβέστερη μέτρηση του ίδιου μεγέθους δεν θα ξεχώριζε αυτά τα ιδανικά ζεύγη: η διαφορά βρίσκεται στην αντίδραση επαφής.
Η διαμέριση και η επιλεγμένη παρατήρηση
Με τοπική σημειογραφία ορίζουμε το σύνολο των ζευγών που ικανοποιούν τις σχέσεις:
M = { (g, N) : g ≥ 0, N ≥ 0, gN = 0 }
S = { (g, 0) : g > 0 }
C = { (0, N) : N > 0 }
Z = { (0, 0) }
Κάθε στοιχείο του M ανήκει σε ακριβώς μία από τις S, C, Z. Επομένως αυτές σχηματίζουν διαμέριση: M = S ∪ C ∪ Z, με ανά δύο κενές τομές.
Αν παρατηρούμε μόνο το διάκενο, ορίζουμε πg(g, N) = g. Όλα τα ζεύγη της C και το μοναδικό ζεύγος της Z έχουν την ίδια εικόνα, μηδέν. Η παρατήρηση αυτή δεν διακρίνει τις δύο κατηγορίες. Η προσθήκη του N επιτρέπει τη διάκριση μέσα σε αυτό το ιδανικό μοντέλο.
Η διαμέριση είναι αποτέλεσμα των παραπάνω ορισμών. Για να προσδιοριστεί πώς εξελίσσεται ένα φυσικό σύστημα, απαιτούνται επιπλέον σχέσεις και δεδομένα.
Πρωτότυπη ανάπτυξη για το παρόν παράδειγμα, με τοπικές κατηγορίες και σημειογραφία. Δεν παρατίθενται εμπειρικά δεδομένα ή τυπικοί ορισμοί καθεστώτων της FBM.
06Πότε έχουμε στοιχεία για μετάβαση;
Το ζεύγος (0, 0) περιγράφει μηδενικό διάκενο και μηδενική κάθετη αντίδραση. Από μόνο του δεν μας λέει αν τα σώματα πρόκειται να απομακρυνθούν, αν μόλις συναντήθηκαν ή αν αυτή η κατάσταση θα διατηρηθεί. Η θέση στο σχήμα δεν περιέχει αυτή τη χρονική πληροφορία.
Για να τεκμηριώσουμε αλλαγή κατηγορίας σε μια πραγματική εξέλιξη, χρειάζεται να γνωρίζουμε ποια ζεύγη ανήκουν στην ίδια παρακολουθούμενη διαδικασία και να εφαρμόσουμε το ίδιο κριτήριο στις στιγμές που συγκρίνουμε. Για τη μηχανική ερμηνεία χρειάζονται επίσης οι κατάλληλες εξισώσεις κίνησης, οι ταχύτητες και, όπου απαιτείται, νόμοι επαφής ή κρούσης.
Οι τρεις αλγεβρικές σχέσεις δεν καθορίζουν από μόνες τους την αντίδραση, την ισορροπία ή την εξέλιξη. Δεν αποτελούν μοντέλο κρούσης· το N εδώ δηλώνει δύναμη, όχι ώση.
Μια μετάβαση χρειάζεται δηλωμένο κριτήριο ταξινόμησης και τεκμηρίωση της αλλαγής κατηγορίας στο εξεταζόμενο σύστημα.
Για την ανάγνωση ενός σχετικού ισχυρισμού, βοηθούν τέσσερα ερωτήματα:
- Ποιο σύστημα και ποιες συνθήκες παραμένουν κοινά στη σύγκριση;
- Ποιο κριτήριο ξεχωρίζει τα καθεστώτα που αναφέρονται;
- Ποια δεδομένα δείχνουν την αλλαγή και τι ακριβώς μετρά κάθε καταγραφή;
- Ποιες πρόσθετες σχέσεις συνδέουν την παρατηρούμενη αλλαγή με τη μηχανική ερμηνεία;
Τα ερωτήματα αποτελούν οδηγό ανάγνωσης. Στην εφαρμογή χρειάζεται να εξετάζεται και η αβεβαιότητα των μετρήσεων: η μαθηματική ισότητα με το μηδέν είναι ιδιότητα του ιδανικού παραδείγματος.
Σύνδεση με το corpus: Corpus Manifest v1.0, §10, σ. 6 · §§12–13, σ. 7 ↗
07Η συνέχεια μέσα στη θεωρία, τα μαθηματικά και το Atlas
Στη θεωρητική διαδρομή, το ενδιαφέρον στρέφεται στην οργάνωση των περιορισμών, στην κυριαρχία και στα καθεστώτα. Το κρίσιμο ερώτημα είναι ποια δομική διάκριση στηρίζει την ερμηνεία που προτείνεται.
Στη μαθηματική διαδρομή, οι διαμερίσεις και οι γράφοι μεταβάσεων δίνουν αντικείμενα με τα οποία μπορεί να διατυπωθεί μια τέτοια οργάνωση. Η απλή διαμέριση του παραδείγματος προετοιμάζει την ιδέα της ρητής ταξινόμησης· η ανάπτυξη της FBM βρίσκεται στη μαθηματική μονογραφία.
Στη διαδρομή του Atlas, το Manifest τοποθετεί την εμπειρική μελέτη αρθρωτήρων, τη συνέχεια επαφής, την τριβή και την κατανομή κυριαρχίας. Το ιδανικό μοντέλο αυτής της σελίδας προσφέρει μια άσκηση ανάγνωσης πριν περάσουμε σε συγκεκριμένες, τεκμηριωμένες περιπτώσεις. Οι κατηγορίες του δεν παρουσιάζονται ως ταξινόμηση του Atlas.
Σύνδεση με το corpus: Corpus Manifest v1.0, §§3.1–3.3, σ. 2–3 ↗
08Πηγές και συνέχεια της μελέτης
Το κεφάλαιο είναι νέα εισαγωγική σύνθεση. Οι αναφορές στη θέση των εννοιών μέσα στην FBM και στα όρια των ισχυρισμών βασίζονται στο δημόσιο Corpus Manifest v1.0· οι αριθμοί ενοτήτων και σελίδων αφορούν αυτό το κείμενο. Η εξωτερική πηγή τεκμηριώνει τη συνήθη σχέση ιδανικής κάθετης επαφής. Η ταξινόμηση S/C/Z, οι συγκρίσεις και το διάγραμμα αναπτύχθηκαν για αυτή τη σελίδα. Η εξωτερική βιβλιογραφία δεν αποτελεί επικύρωση της FBM.