mathematica.gr

Το ότι στους μιγαδικούς δεν έχουμε διάταξη αποδεικνύεται ή έτσι ορίζεται;

Αποδεικνύεται!
Δίοτι αν ήταν θα έπρεπε να υπάρχει ένα σύνολο που να περιέχει το 1 αλλά και το ή το . Tότε σε κάθε περίπτωση θα περιέχει και το , άτοπο, αφού

Να θυμήσουμε ότι ένα σώμα είναι διατεταγμένο αν υπάρχει σύνολο
τέτοιο ώστε

(i) ,
(ii) (άρα )
(iii) Το άθροισμα και το γινόμενο στοιχείων του ανήκουν στο . (άρα ).

Το σύνολο είναι το σύνολο των "θετικών" στοιχείων του .

Φιλικά,

Αχιλλέας

Μπορεί να αποδειχθεί αν και βέβαια η απόδειξη είναι έξω από τα σχολικά πλαίσια.
'Ομως πρέπει πρώτα να ξεκαθαρίσουμε τι εννοούμε λέγοντας διάταξη. Δεν εννοούμε οποιαδήποτε διάταξη αλλά μία διάταξη που να είναι συμβιβαστή με τις πράξεις του (το σχολικό βιβλίο στη σελίδα 87 λέει απλώς "εν τούτοις η διάταξη αι οι ιδιότητες της δεν μεταφέρονται") δηλαδή μία διάταξη που να κάνει το διατεταγμένο σώμα. Αυτό σημαίνει ότι πρέπε να υπάρχει μια σχέση που να είναι διάταξη (ανακλαστική, μεταβατική και αντισυμμετρική), να είναι γραμμική (ολική) διάταξη (:κάθε δύο στοιχεία να είναι συγκρίσιμα) και τέλος το γινόμενο και το άθροισμα δύο θετικών (ως προς την ) στοιχείων να είναι επίσης θετικό.
Αποδεικνύεται τότε εύκολα ότι αν είναι και ότι αν θα είναι .
Σε αυτό ακριβώς το σημείο αποτυγχάνει το να περάσει τις εξετάσεις για διατεταγμένα σώματα: Το 1 είνα θετικό και οφείλει και το να είναι θετικό.
Αξίζει να σημειωθεί ότι άλλες διατάξεις μπορούμε να έχουμε στο όπως λόγου χάρη την λεξικογραφική. Σε αυτήν το πραγματικό μέρος παίζει το ρόλο του επωνύμου και το φανταστικό του μικρού. Με αυτήν ας την πούμε είναι
ή
Ομως με αυτή την σχέση το διατάσσεται μεν ολικά αλλά όχι ως διατεταγμένο σώμα.
Μαυρογιάννης

ΥΓ 'Εγραφα και δεν είδα την απάντηση του Αχιλλέα. Δεν πειράζει.

Θα μπορούσε να είναι απόδειξη η παρακάτω σκέψη;
Έστω ότι ισχύει η διάταξη στους μιγαδικούς αριθμούς.
Τότε θα είναι ή ή .
- Αν τότε Άτοπο.
- Αν τότε Άτοπο.
- Αν τότε Άτοπο.

christodoulou έγραψε:Το ότι στους μιγαδικούς δεν έχουμε διάταξη αποδεικνύεται ή έτσι ορίζεται;

Σε κάθε σύνολο μπορούμε να βάλουμε διάταξη. Μια τέτοια στο είναι η λεγόμενη "λεξικογραφική": (α, β) < (γ, δ) αν ο μιγαδικός (α, β) γράφεται πριν από τον (γ, δ) σε ένα λεξικό (όπου οι αριθμοί κρατούν τη φυσική τους διάταξη). Εννοώ
(α < γ) ή ( α = γ και β < δ).
Π.χ. (1, 1000) < (2, 1) < (2, 3)

Αυτό που πραγματικά ρωτάμε εδώ είναι αν υπάρχει διάταξη στο η οποία είναι συμβατή με τις πράξεις.

Η απάντηση είναι όχι. Ένας γρήγορος τρόπος να το δούμε (είναι ο ίδιος με του Αχιλλέα, αλλά πιο λιανά διατυπωμένος) είναι ο εξής:

Ισχύει άραγε ; Αν ναι, τότε από την συμβατότητα των πράξεων θα είναι
, άτοπο. Όμοια, αν τότε άρα
, άτοπο. Και στις δύο περιπτώσεις, άτοπο, άρα δεν υπάρχει διάταξη συμβατή με τις πράξεις.

Φιλικά,

Μιχάλης Λάμπρου


Είδα τις απανήσεις των προλαλησάντων μετά που έστειλα το μήνυμα. Περιφέρεται στον ίδιο κύκλο ιδεών. Ας είναι.

christodoulou έγραψε:Θα μπορούσε να είναι απόδειξη η παρακάτω σκέψη;
Έστω ότι ισχύει η διάταξη στους μιγαδικούς αριθμούς.
Τότε θα είναι ή ή .
- Αν τότε Άτοπο.
- Αν τότε Άτοπο.
- Αν τότε Άτοπο.

Από τον νόμο της τριχοτομίας;; Αυτός ο νόμος δεν ισχύει μόνο για πραγματικούς αριθμούς;

christodoulou έγραψε:Θα μπορούσε να είναι απόδειξη η παρακάτω σκέψη;
Έστω ότι ισχύει η διάταξη στους μιγαδικούς αριθμούς.
Τότε θα είναι ή ή .
- Αν τότε Άτοπο.
- Αν τότε Άτοπο.
- Αν τότε Άτοπο.

Και ναι και όχι.
Γιατί ναι: Χρησιμοποιούνται γνωστές ιδιότητες των ανισοτήτων.
Γιατί όχι: Γιατί τα σχολικά βιβλία δεν δίνουν μία σαφή περιγραφή των ιδιοτήτων της διάταξης. Δηλαδή τι είναι τέλος πάντων "η διάταξη αι οι ιδιότητες της". Στο σχολικό βιβλίο 'Αλγεβρας της Α΄ Λυκείου στις σελίδες 29-30 δίνει απλώς (και καλά κάνει) μία περιγραφή μερικών ιδιοτήτων. Αρα πρέπει να προηγηθεί ένας ορισμός του τι εννοούμε διάταξη και μετά να γίνει απόδειξη. Γιαυτό ανέφερα σε προηγούμενο μήνυμα μου ότι η "απόδειξη είναι έξω από τα σχολικά πλαίσια". Δεν είναι δύσκολη αλλά είναι "εκτός"
Ωστόσο η παραπάνω σκέψη δεν παύει να είναι ένα μία συνηγορία του γιατί το δεν διατάσσεται.
Μαυρογιάννης

christodoulou έγραψε:Το ότι στους μιγαδικούς δεν έχουμε διάταξη αποδεικνύεται ή έτσι ορίζεται;

Από το βιβλίο: «ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ», Α. Κυριακόπουλου και Χρυσταλλένης Κυβερνήτου, έκδοση 1986 ( έχει εξαντληθεί), σελίδα 11, παράγραφος
1.8. Παρατηρήσεις.
Το σώμα C των μιγαδικών αριθμών δεν είναι διατεταγμένο. Δηλαδή( βλέπε άσκηση λυμένη 27):
• Δεν υπάρχει μη κενό υποσύνολο Α του C με τις εξής δύο ιδιότητες:
( Ι ). Για κάθε ισχύει μια, και μόνο μια, από τις τρεις σχέσεις: .
( Ι Ι ). Για κάθε, ισχύουν: και.
Έτσι, δεν υπάρχει στο C σχέση ολικής διατάξεως συμβιβαστεί με τους νόμους (ισότητα και πράξεις) του C. Με άλλα λόγια, στο C δεν ορίζονται ανισότητες.
Σχόλιο. Όπως επισημαίνουν και οι Νίκος Μαυρογιάννης και Μιχάλης Λάμπρου, άλλου είδους διατάξεις, που δεν αφορούν άμεσα τα μαθηματικά, μπορούν να ορισθούν στο C, όπως για παράδειγμα η λεξικoγραφική διάταξη.

Μια ενδιαφέρουσα σχετική συζήτηση έχει γίνει κι εδώ