Μετάβαση στο περιεχόμενο

Χρήστης:Valiavl/πρόχειρο

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Η ισότητα modulo 2 του μηδενός


Οι δίσκοι αυτής της ζυγαριάς περιέχουν μηδέν αντικείμενα μοιρασμένα σε 2 ίσες ομάδες

Το Μηδέν είναι ένας άρτιος αριθμός. Με άλλα λόγια, η Ισότητα modulo 2 -η ιδιότητα ενός ακεραίου να είναι άρτιος ή περιττός- είναι άρτια. Ο πιο απλός τρόπος να αποδείξουμε ότι το μηδέν είναι άρτιος είναι να ελέγξουμε εάν ανταποκρίνεται στον ορισμό του "άρτιου" αριθμού: να είναι δηλαδή ακέραιο πολλαπλάσιο του 2, όπου συγκεκριμένα εδώ έχουμε 0 × 2. Συμπερασματικά, το μηδέν έχει όλες τις ιδιότητες που χαρακτηρίζουν τους άρτιους αριθμούς: το 0 διαιρείται από το 2, βρίσκεται ανάμεσα σε δύο περιττούς αριθμούς, είναι το άθροισμα ενός ακεραίου (0) με τον εαυτό του, και ένα σύνολο 0 αντικειμένων μπορεί να μοιραστεί σε δύο ίσα σύνολα.

Επιπλέον, το μηδέν ταιριάζει και στα μοτίβα που σχηματίζονται από άλλους άρτιους αριθμούς. Οι κανόνες ισότητας modulo 2 της αριθμητικής, όπως άρτιος-άρτιος=άρτιος , απαιτούν το 0 να είναι άρτιο. Το μηδέν είναι το πρόσθετο ταυτοτικό στοιχείο του συνόλου των άρτιων ακεραίων, και είναι η βάση πάνω στην οποία άλλοι άρτιοι φυσικοί αριθμοί είναι αναδρομικά ορισμένοι. Εφαρμογές αυτής της αναδρομής από την θεωρία γραφημάτων στην υπολογιστική γεωμετρία βασίζονται στην αρτιότητα του μηδενός. Το μηδέν δεν διαιρείται μόνο από το 2, αλλά και από κάθε άλλο θετικό ακέραιο. Στο δυαδικό αριθμητικό σύστημα που χρησιμοποιείται από τους υπολογιστές, είναι ιδιαίτερα σημαντικό ότι το 0 διαιρείται από οποιαδήποτε δύναμη του 2, καθώς από αυτήν την άποψη το 0 είναι ο "πιο άρτιος" αριθμός.

Στο ευρύ κοινό η ισότητα modulo 2 του μηδενός μπορεί εύκολα να γίνει αιτία σύγχυσης. Σε πειράματα που αφορούν τον χρόνο αντίδρασης, η πλειοψηφία αργεί να ταυτοποιήσει το 0 σαν άρτιο αριθμό περισσότερο από ότι το 2,4,6,8. Μερικοί σπουδαστές των Μαθηματικών -και κάποιοι καθηγητές- νομίζουν ότι το 0 είναι περιττός, ή ακόμα, ότι είναι και άρτιος και περιττός, ή και κανένα από τα 2. Μελετητές της μαθηματικής διδασκαλίας υποστηρίζουν ότι αυτές οι παρανοήσεις μπορούν να αποτελέσουν ευκαιρίες μάθησης. Μελετώντας εξισώσεις όπως 0 × 2 = 0 μπορεί να διεγείρει τις αμφιβολίες των μαθητών σχετικά με το αν το 0 είναι αριθμός και την χρήση του και συμπεριφορά του στην αριθμητική. Οι συζητήσεις στην τάξη μπορούν να συντελέσουν ώστε οι μαθητές να εκτιμήσουν τις βασικές αρχές του μαθηματικού συλλογισμού, όπως την σημασία των ορισμών. Η αξιολόγηση της ισότητας modulo 2 αυτού του εντυπωσιακού αριθμού είναι ένα πρώιμο παράδειγμα από ένα αχανές πεδίο των μαθηματικών: η αφαίρεση μίας γνωστής έννοιας με αποτέλεσμα μία άγνωστη σύνθεση.


Γιατί το μηδέν είναι άρτιος


Μπορούμε να χρησιμοποιήσουμε τον καθιερωμένο ορισμό του "άρτιου αριθμού" ώστε εύκολα να αποδείξουμε ότι το μηδέν είναι άρτιος. Ένας αριθμός ονομάζεται "άρτιος" εάν πρόκειται για ακέραιο πολλαπλάσιο του 2. Για παράδειγμα, ο λόγος που το 10 είναι άρτιος αριθμός είναι γιατί ισούται με 5 × 2. Με τον ίδιο τρόπο, το μηδέν είναι ακέραιο πολλαπλάσιο του 2, αφού 0 × 2, άρα το μηδέν είναι άρτιος.[1]

Είναι, επίσης, εφικτό να εξηγήσουμε γιατί το μηδέν είναι άρτιος χωρίς να αναφερθούμε σε καθιερωμένους ορισμούς.[2] Η παρακάτω εξήγηση δείχνει ότι το μηδέν είναι άρτιος βασισμένη σε θεμελιώδεις αριθμητικές έννοιες. Με αυτή την αρχή, ο αριθμός 1 μας παρέχει κάποια στοιχεία για τον ορισμό του -και για τις εφαρμογές του ως προς το μηδέν.

Θεμελιώδεις εξηγήσεις


On the left, boxes with 0, 2, and 4 white objects in pairs; on the right, 1, 3, and 5 objects, with the unpaired object in red
Το κουτί με 0 αντικείμενα δεν περιέχει κόκκινα αντικείμενα.[3]

Το μηδέν είναι ένας αριθμός, και οι αριθμοί χρησιμοποιούνται για την αρίθμηση. Όταν μας δίνεται ένα σύνολο αντικειμένων χρησιμοποιούμε ένας αριθμό για να περιγράψουμε πόσα αντικείμενα αποτελούν το σύνολο. Το μηδέν είναι ο τρόπος αρίθμησης της μη-ύπαρξης αντικειμένων, ή, με πιο επίσημους όρους, περιγράφει τον αριθμό των αντικειμένων που βρίσκονται στο κενό σύνολο. Η έννοια της ισότητας modulo 2 χρησιμοποιείται για να σχηματίσουμε ομάδες 2 αντικειμένων. Εάν τα αντικείμενα ενός συνόλου μπορούν να χωριστούν σε ίσες ομάδες των 2 αντικειμένων,χωρίς να περισσεύει κανένα, τότε ο αριθμός των αντικειμένων είναι άρτιος. Εάν ένα αντικείμενο περισσεύει, τότε ο αριθμός των αντικειμένων είναι περιττός. Το κενό σύνολο περιέχει 0 ομάδες των δύο αντικειμένων, και κανένα δεν περισσεύει άρα το μηδέν είναι άρτιος.[4]

Αυτές οι ιδέες μπορούν να αποσαφηνιστούν σχεδιάζοντας αντικείμενα σε ζευγάρια. Είναι δύσκολο να απεικονίσουμε μηδέν ομάδες των δύο, ή να τονίσουμε την μη-ύπαρξη περίσσιου αντικειμένου, οπότε και βολεύει να σχεδιάσουμε άλλη ομαδοποίηση και να την συγκρίνουμε με το μηδέν. Για παράδειγμα, σε μία ομάδα 5 αντικειμένων υπάρχουν 2 ζευγάρια. Το πιο σημαντικό όμως είναι ότι υπάρχει και ένα αντικείμενο που δεν έχει ζευγάρι, άρα το 5 είναι περιττός αριθμός. Ενώ σε μία ομάδα τεσσάρων αντικειμένων δεν υπάρχει αντικείμενο που να περισσεύει άρα το 4 είναι άρτιος. Σε μία ομάδα ενός μόνο αντικειμένου δεν υπάρχουν ζευγάρια, άρα υπάρχει ένα αντικείμενο που περισσεύει, συνεπώς το 1 είναι περιττος αριθμός. Τέλος, σε μία ομάδα 0 αντικειμένων απομένει κανένα αντικείμενο χωρίς ζευγάρι, άρα το 0 είναι άρτιος αριθμός.[5]

Υπάρχει άλλος ένας συγκεκριμένος ορισμός της αρτιότητας: εάν τα αντικείμενα ενός συνόλου μπορούν να μοιραστούν σε δύο ίσες ομάδες, τότε ο αριθμός είναι άρτιος. Αυτός ο αριθμός είναι ισοδύναμος με τον πρώτο. Και πάλι, το μηδέν είναι άρτιος γιατί το κενό σύνολο μπορεί να μοιραστεί σε δύο ομάδες με 0 αντικείμενα η κάθε μία.[6]

Οι αριθμοί μπορούν να οπτικοποιηθούν και σαν σημεία πάνω στην γραμμή των πραγματικών αριθμών. Όταν οι άρτιοι και οι περιττοί διακρίνονται, το μοτίβο τους γίνεται προφανές, ειδικά αν στην γραμμή περιέχονται και οι αρνητικοί αριθμοί.

Οι άρτιοι και οι περιττοί εναλλάσσονται ανά ένα. Ξεκινώντας από οποιονδήποτε άρτιο αριθμό και μετρώντας ανά δύο, είτε αυξάνοντας είτε μειώνοντας, θα έχουμε μετρήσει όλους τους άρτιους, και δεν υπάρχει λόγος να μην μετρήσουμε και το μηδέν ανάμεσα σε αυτούς.[7]


Με την εισαγωγή του πολλαπλασιασμού, μπορούμε να προσεγγίσουμε την ισότητα modulo 2 με πιο επιστημονικό τρόπο χρησιμοποιώντας και αριθμητικές εκφράσεις. Κάθε ακέραιος είναι είτε της μορφής (2 × ▢) + 0 είτε (2 × ▢) + 1,όπου οι πρώτοι είναι άρτιοι και οι δεύτεροι περιττοί. Παραδείγματος χάρη, το 1 είναι περιττός επειδή 1 = (2 × 0) + 1, και το 0 είναι άρτιος γιατί 0 = (2 × 0) + 0. Κάνοντας έναν πίνακα με τα παραπάνω, βλέπουμε πως ενισχύεται η απεικόνιση της εικόνας με την γραμμή των πραγματικών.[8]


Ορίζοντας την ισότητα modulo 2

Ο ακριβής ορισμός μίας μαθηματικής έννοιας, όπως η έννοια της "αρτιότητας" που πρόκειται για "ακέραιο αριθμό πολλαπλάσιο του 2", έχει γίνει τελευταία μία σύμβαση. Σε αντίθεση με την "αρτιότητα", κάποιες μαθηματικές έννοιες είναι σκόπιμα ορισμένες με τρόπο ώστε να μην αφήνουν περιθώρια για ασήμαντες ή και εκφυλισμένες περιπτώσεις. Οι πρώτοι αριθμοί είναι ένα γνωστό παράδειγμα. Πριν από τον 20ο αιώνα, οι ορισμοί που σχετίζονταν με το αν οι αριθμοί είναι πρώτοι ή όχι ήταν ελλιπείς και σημαντικοί μαθηματικοί όπως ο Goldbach, Lambert, Legendre, Cayley, και Kronecker υποστήριξαν ότι ο 1 είναι πρώτος αριθμός.[9] Σύμφωνα με τον σύγχρονο, όμως, ορισμό των πρώτων αριθμών, ότι είναι δηλαδή "ένας θετικός ακέραιος με ακριβώς 2 συντελεστές", το 1 δεν είναι πρώτος αριθμός. Αυτός ο ορισμός μπορεί να μας φανεί πιο ορθός, παρατηρώντας ότι ταιριάζει περισσότερο στα μαθηματικά θεωρήματα των πρώτων αριθμών. Για παράδειγμα, το θεμελιώδες θεώρημα της αριθμητικής είναι πιο εύκολο να εκφραστεί μη θεωρώντας τον 1 "πρώτο αριθμό".[10]

Ομοίως, θα ήταν δυνατό να επαναπροσδιορίσουμε την έννοια "άρτιος" με τρόπο ώστε να μην περιλαμβάνεται το 0 στον ορισμό μας. Ωστόσο, σε αυτή την περίπτωση ο νέος ορισμός θα δυσκόλευε την έκφραση/θεμελίωση θεωρημάτων που αφορούν τους άρτιους αριθμούς. Ήδη οι επιπτώσεις μπορούν να φανούν στους αλγεβρικούς κανόνες που διέπουν τους άρτιους και περιττούς αριθμούς.[11] Από τους πιο αξιοσημείωτους κανόνες είναι αυτοί της πρόσθεσης, της αφαίρεσης και του πολλαπλασιασμού.

άρτιος ± άρτιος = άρτιος
περιττός ± περιττός = άρτιος
άρτιος × ακέραιος = άρτιος

Αντικαθιστώντας με τις κατάλληλες τιμές στο αριστερό μέρος των εξισώσεων μπορούμε εύκολα να πάρουμε το 0 στο δεξιό μέρος:

2 − 2 = 0 −3 + 3 = 0 4 × 0 = 0

Οι προαναφερθέντες κανόνες θα ήταν λάθος εάν δεν θεωρούσαμε το μηδέν άρτιο αριθμό.[11] Στην καλύτερη περίπτωση θα έπρεπε να παραλλαχθούν . Για παράδειγμα, μία μελέτη ισχυρίζεται ότι οι άρτιοι αριθμοί χαρακτηρίζονται ως ακέραια πολλαπλάσια του δύο, αλλά το μηδέν "δεν είναι ούτε άρτιος, ούτε περιττός". [12]Επομένως, οι κανόνες αυτής της μελέτης περιέχουν κάποιες εξαιρέσεις.

άρτιος ± άρτιος = άρτιος (ή μηδέν)
περιττός ± περιττός = άρτιος (ή μηδέν)
άρτιος × μη-μηδενικός ακέραιος = άρτιος[12]

Το να έχουμε μία εξαίρεση για το μηδέν στον ορισμό της αρτιότητας μας επιτάσσει να δημιουργούμε τέτοιες εξαιρέσεις στους κανόνες για τους άρτιους αριθμούς. Από την άλλη όμως, το να ακολουθούμε τους κανόνες όταν πρόκειται για θετικούς άρτιους αριθμούς και, παράλληλα, να απαιτούμε να συνεχίσουν να ισχύουν και για τους ακεραίους γενικότερα, πιέζει τον συνήθη ορισμό και την αρτιότητα του μηδενός.[11]


Μαθηματικά συμφραζόμενα

Αναρίθμητα αποτελέσματα στην θεωρία των αριθμών επικαλούνται το θεμελιώδες θεώρημα της αριθμητικής και τις αλγεβρικές ιδιότητες των άρτιων αριθμών, με αποτέλεσμα οι παραπάνω επιλογές να έχουν πολλές μακροπρόθεσμες συνέπειες. Για παράδειγμα, το γεγονός ότι οι θετικοί αριθμοί έχουν μοναδική παραγοντοποίηση σημαίνει ότι μπορούμε να προσδιορίσουμε πότε ένας αριθμός έχει άρτιο ή περιττό πλήθος διακριτών πρωταρχικών παραγόντων. Αφού το 1 δεν είναι πρώτος, και ούτε έχει πρώτους παράγοντες, είναι ένα γινόμενο 0 πρώτων παραγόντων, και αφού το 0 είναι άρτιος αριθμός τότε και το 1 έχει έναν άρτιο αριθμό διακριτών πρωταρχικών παραγόντων. Αυτό έχει ως επακόλουθο η συνάρτηση Möbius να παίρνει την τιμή μ(1) = 1, η οποία είναι απαραίτητη για να είναι μια πολλαπλασιαστική συνάρτηση και για να "δουλέψει" η συνάρτηση Möbius.[13]



Το να μην είναι περιττός

Ένας αριθμός n είναι περιττός αν υπάρχει ένας ακέραιος k τέτοιος ώστε n= 2k + 1. Ένας τρόπος να δείξουμε ότι το μηδέν δεν είναι περιττός είναι με εις άτοπο επαγωγή: αν 0 = 2k + 1 τότε k = −1/2, που δεν είναι ακέραιος οπότε και έχουμε άτοπο.[14] Αφότου το μηδέν δεν είναι περιττός, στην περίπτωση που ένας άγνωστος αριθμός αποδεικνύεται περιττός, τότε αυτός δεν μπορεί να είναι το 0. Αυτή η φαινομενικά ασήμαντη παρατήρηση μπορεί να μας παρέχει μία πολύ "βολική" και αποκαλυπτική απόδειξη εξηγώντας γιατί ένας αριθμός είναι μη μηδενικός.

Ένα σύνηθες αποτέλεσμα από την θεωρία γραφημάτων είναι ότι η γραφική παράσταση μιας περιττής διάταξης θα έχει πάντα τουλάχιστον μία άρτια κορυφή. (Ήδη αυτή η πρόταση απαιτεί το μηδέν να είναι άρτιος: μία κενή γραφική παράσταση έχει μία άρτια διάταξη, και μια απομονωμένη κορυφή είναι άρτια). [15] Προκειμένου να αποδείξουμε αυτήν την πρόταση, είναι βασικά ευκολότερο να καταλήξουμε σε ένα ισχυρότερο συμπέρασμα: οποιαδήποτε περιττής διάταξης γραφική παράσταση έχει περιττό αριθμό κορυφών. Η εμφάνιση αυτού του περιττού αριθμού εξηγείται από ένα ακόμα γενικότερο συμπέρασμα, γνωστό σαν handshaking lemma: οποιαδήποτε γραφική παράσταση έχει έναν άρτιο αριθμό κορυφών περιττού βαθμού.[16] Εν τέλει, ο άρτιος αριθμός περιττών κορυφών εξηγείται εύκολα από τον τύπο αθροίσματος βαθμού (degree sum formula).

Το λήμμα του Sperner είναι μία πιο προχωρημένη εφαρμογή της ίδιας στρατηγικής. Το λήμμα αναφέρει ότι ένα συγκεκριμένο είδος χρωματισμού σε έναν τριγωνισμό ενός κλειστού πλέγματος έχει ένα υπο-πλέγμα που περιέχει κάθε χρώμα. Αντί να κατασκευάσουμε κατευθείαν ένα τέτοιο υπο-πλέγμα, είναι πιο βολικό να αποδείξουμε ότι υπάρχει ένας περιττός αριθμός τέτοιων πλεγμάτων μέσω της επαγωγής.[17] Μία ακόμα πιο ισχυρή πρόταση του λήμματος εξηγεί, τότε, γιατί αυτός ο αριθμός είναι περιττός: εξ' ορισμού μπορεί να διαμοιραστεί σε (n + 1) + n, αν λάβουμε υπόψιν τους δύο πιθανούς προσανατολισμούς ενός πλέγματος.[18]


Η εναλλαγή άρτιος-περιττός

Αναδρομικός ορισμός της ισότητας modulo 2 των φυσικών αριθμών

Το γεγονός ότι το μηδέν είναι άρτιος, μαζί με το γεγονός ότι άρτιοι και περιττοί εναλλάσσονται, είναι αρκετό ώστε να καθορίσει την ισότητα modulo 2 κάθε άλλου φυσικού αριθμού. Αυτή η υπόθεση μπορεί να διατυπωθεί καλύτερα ως ένας αναδρομικός ορισμός του συνόλου των άρτιων φυσικών αριθμών:

  • 0 είναι άρτιος
  • (n + 1) είναι άρτιος αν και μόνο αν ο n δεν είναι άρτιος

Αυτός ο ορισμός έχει το εννοιολογικό πλεονέκτημα του να βασίζεται μόνο στα λίγα θεμέλια των φυσικών αριθμών: την ύπαρξη του μηδενός και των επομένων αριθμών. Έτσι λοιπόν, παρίσταται χρήσιμο για τα λογισμικά των υπολογιστών όπως το LF και το Isabelle theorem prover.[19] Με αυτό τον ορισμό η αρτιότητα του μηδενός δεν είναι απλά ένα θεώρημα, αλλά ένα αξίωμα. Όντως, ότι "το μηδέν είναι άρτιος αριθμός" θα μπορούσε να θεωρηθεί ένα από τα αξιώματα του Peano, για τα οποία οι άρτιοι φυσικοί αριθμοί αποτελούν πρότυπο.[20] Μία παρόμοια "κατασκευή" επεκτείνει τον ορισμό της ισότητας modulo 2 στους υπερπεπερασμένους διατακτικούς αριθμούς: κάθε διατακτικό όριο είναι άρτιο, συμπεριλαμβανομένου και του μηδενός, και τα προσεχή των άρτιων διατακτικών είναι περιττά.[21]

Σημεία σε τεστ πολυγώνου

Το κλασσικό τεστ σημείου στο πολύγωνο από την υπολογιστική γεωμετρία θέτει σε εφαρμογή τις παραπάνω ιδέες. Για να διαπιστώσουμε εάν ένα σημείο βρίσκεται μέσα σε ένα πολύγωνο, φέρουμε μία ακτίνα από το άπειρο στο σημείο και μετράμε τις φορές που η ακτίνα τέμνει κάποια ακμή του πολυγώνου. Ο αριθμός των τομών είναι θετικός αν και μόνο αν το σημείο βρίσκεται εκτός του πολυγώνου. Αυτός ο αλγόριθμος δουλεύει γιατί αν η ακτίνα δεν τέμνει ποτέ καμία ακμή τότε ο αριθμός των τομών είναι 0, το οποίο είναι θετικό, οπότε το σημείο είναι εκτός του πολυγώνου. Κάθε φορά που η ακτίνα όντως τέμνει κάποια ακμή, ο αριθμός των τομών εναλλάσσεται από άρτιο σε περιττό, και το σημείο με την σειρά του ανάμεσα σε εσωτερικό και εξωτερικό του πολυγώνου.[22]

A graph with 9 vertices, alternating colors, labeled by distance from the vertex on the left
Κατασκευάζοντας μία διαμέριση

Στην θεωρία γραφημάτων,ένα διμερές γράφημα είναι ένα γράφημα του οποίου οι κορυφές χωρίζονται σε δύο χρώματα, έτσι ώστε γειτονικές κορυφές να έχουν διαφορετικά. Εάν ένα συνδεδεμένο γράφημα δεν έχει περιττές περιόδους, τότε μία διαμέρηση μπορεί να κατασκευαστεί επιλέγοντας ως βάση μία κορυφή v και χρωματίζοντας κάθε κορυφή μαύρη ή άσπρη, ανάλογα με το αν η απόσταση από την v είναι άρτια ή περιττή. Και αφότου η απόσταση του v από τον εαυτό του είναι 0, και το 0 είναι άρτιος, η κορυφή της βάσης χρωματίζεται διαφορετικά από τις γειτονικές της που απέχουν απόσταση ίση με 1. [23]

Αλγεβρικά πρότυπα.

Integers −4 through +4 arranged in a corkscrew, with a straight line running through the evens
2Z (μπλε) ως υποομάδα του Z

Στην αφηρημένη άλγεβρα, οι άρτιοι ακέραιοι σχηματίζουν διάφορες αλγεβρικές δομές που απαιτούν την ενσωμάτωση του μηδενός. Το γεγονός ότι η προσθετική ταυτότητα (μηδέν)είναι άρτια, μαζί με την ομαλότητα των ποσών και τωνπροσθετικών αντιστροφών των άρτιων αριθμών και της συσχέτισης της προσθήκης, σημαίνει ότι οι άρτιοι ακέραιοι σχηματίζουν μία ομάδα. Επιπλέον, η ομάδα των άρτιων ακεραίων υπό προσθήκη είναι μια υποομάδα της ομάδας όλων των ακεραίων;αυτό είναι ένα στοιχειώδες παράδειγμα της έννοιας υποομάδας.[15] Η προηγούμενη παρατήρηση, ότι ο κανόνας"άρτιος − άρτιος = άρτιος" αναγκάζει το 0 να είναι άρτιος, είναι μέρος ενός γενικού μοτίβου: κάθε μη κενό υποσύνολο μιας προσθετικής ομάδας που είναι κλειστό ως προς την αφαίρεση πρέπει να είναι μια υποομάδα, και ειδικότερα, πρέπει να περιέχει την ταυτότητα.[24]

Δεδομένου ότι οι άρτιοι ακέραιοι αποτελούν υποομάδα των ακεραίων, διαιρούν τους ακεραίους σε ομοσύνολα. Αυτά τα ομοσύνολα μπορούν να χαρακτηριστούν ως οι κλάσεις ισοδυναμίας της παρακάτω σχέσεως ισοδυναμίας: x ~ y αν (x − y) άρτιος. Εδώ, η αρτιότητα του μηδενός εκδηλώνεται άμεσα ως ανακλαστικότητα της δυαδικής σχέσης. [25]Υπάρχουν μόνο δύο ομοσύνολα αυτής της υποομάδας-οι ζυγοί και οι μονοί αριθμοί-οπότε έχει δείκτη 2.

Κατ 'αναλογία, η εναλλάσσουσα ομάδα είναι μια υποομάδα του δείκτη 2 στη συμμετρική ομάδα με n γράμματα. Τα στοιχεία της εναλλάσσουσας ομάδας, που ονομάζονται άρτιες μεταθέσεις, είναι τα γινόμενα των άρτιων αριθμών των μεταθέσεων. Η ταυτοτική απεικόνιση, ένα κενό γινόμενο καμιάς μετάθεσης, είναι μια άρτια μετάθεση καθώς το μηδέν ειναι άρτιος· είναι το ταυτοτικό στοιχείο της ομάδας.[26]


Ο κανόνας "άρτιος × ακέραιος = άρτιος" σημαίνει πως οι άρτιοι αριθμοί αποτελούν ένα ιδανικό στον δακτύλιο των ακεραίων, και η παραπάνω σχέση ισοδυναμίας μπορεί να χαρακτηριστεί ως ισοδυναμία modulo το ιδανικό. Ειδικότερα, οι άρτιοι ακέραιοι είναι ακριβώς εκείνοι οι ακέραιοι κ, όπου κ≡0(mod2). Αυτή η διατύπωση είναι χρήσιμη για την εύρεση των ακέραιων ριζών των πολυωνύμων.[27]

Δυαδική τάξη.

Υπάρχει μια εντύπωση κατά την οποία κάποια πολλαπλάσια το 2 είναι "περισσότερο άρτια" από άλλα. Τα πολλαπλάσια του 4 καλούνται διπλά άρτια, καθώς μπορούν να διαιρεθούν με το 2 δύο φορές. Το μηδέν όχι μόνο διαιρείται με το 4, αλλά έχει τη μοναδική ιδιότητα να διαιρείται με κάθε δύναμη του 2, οπότε ξεπερνά όλους τους άλλους αριθμούς στην "αρτιότητα".[28]


Μια συνέπεια αυτού του γεγονότος εμφανίζεται στις διπλά αντιστρέψιμες διατάξεις των ακέραιων δεδομένων τύπων που χρησιμοποιούνται από κάποιους αλγορίθμους υπολογιστών, όπως αυτός του Cooley-Tukey για γρήγορο Fourier μετασχηματισμό. Αυτή η διάταξη έχει την ιδιότητα ότι όσο πιο μακρυά, προς τα αριστερά, εμφανίζεται το πρώτο 1 στη δυαδική επέκταση ενός αριθμού, ή τις περισσότερες φορές ο αριθμός διαιρείται με το 2, τόσο πιο γρήγορα φαίνεται. Η διπλή αντιστροφή του μηδενός είναι πάλι μηδέν; μπορεί να διαιρεθεί με το 2 όσες φορές και να βάλουμε, και η δυαδική επέκτασή του δεν περιέχει κανένα 1s, οπότε έρχεται πάντα πρώτο.[29]

Αν και το μηδέν διαιρείται περισσότερες φορές με το 2 απ'ότι όλοι οι άλλοι αριθμοί, δεν είναι εύκολο να ποσοτικοποιηθούν με ακρίβεια πόσες φορές είναι αυτές. Για κάθε μη μηδενικό ακέραιο n, μπορεί κανείς να καθορίσει τη δυαδική τάξη του n να είναι ο αριθμός των φορών που το n διαιρείται με το 2. Αυτή η υπόθεση δεν ισχύει για το μηδέν· ανεξάρτητα από το πόσες φορές έχει διαιρεθεί με το 2, μπορεί πάντα να διαιρεθεί με 2 ξανά. Αντίθετα, η συνήθης σύμβαση ορίζει την διπλή τάξη του 0 να είναι απειρία ως μια ειδική περίπτωση.[30] Η σύμβαση αυτή δεν χαρακτηρίζει μόνο την διπλή τάξη; αποτελεί ένα από τα αξιώματα της προσθετικής εκτίμησης στην τριτοβάθμια άλγεβρα.[31]

Οι δυνάμεις του δύο-1, 2, 4, 8,...-σχηματίζουν μια απλή ακολουθία αριθμών της αύξησης της δεύτερης τάξης. Στους δυαδικούς αριθμούς, τέτοιες ακολουθίες πράγματι συγκλίνουν στο μηδέν.[32]

Εκπαίδευση.


Bar chart; see description in body text
Ποσοστό απαντήσεων σε σχέση με τον χρόνο[33]

Το θέμα της ισοτιμίας του μηδέν διαπραγματεύεται συχνά στα πρώτα δύο ή τρία χρόνια της πρωτοβάθμιας εκπαίδευσης, δεδομένου ότι η έννοια των άρτιων και μονών αριθμών έχει εισαχθεί και αναπτυχθεί.[34]


Γνώσεις των μαθητών.

Το διάγραμμα στα δεξιά[33] απεικονίζει τις πεποιθήσεις των παιδιών για την ισοτιμία του μηδενός, καθώς προχωρούν από το πρώτο έτος έως το έκτο έτος του αγγλικού εκπαιδευτικού συστήματος. Τα στοιχεία προέρχονται από τον Len Frobisher, ο οποίος πραγματοποίησε κάποιες έρευνες σχετικά με τους μαθητές των σχολείων της Αγγλίας. Ο Frobisher εντυπωσιάστηκε από το πώς η γνώση για τη μονοψήφια ισοτιμία μεταφράζεται σε γνώση για τις πολυψήφια ισοτιμία, και το μηδέν μορφοποιείται ευκρινώς στα αποτελέσματα.[35]

Σε μια προκαταρκτική έρευνα με περίπου 400 εφτάχρονα, το 45% επέλεξε τους άρτιους παρά τους μονούς όταν ρωτήθηκε για την ισοτιμία του μηδενός.[36] Μια ακόλουθη έρευνα παρείχε περισσότερες επιλογές: κανένα από τα δύο, και τα δύο, δεν ξέρω. Αυτή την φορά, ο αριθμός των παιδιών στην ίδια ηλικία, που καθόρισε τον προσδιορισμό του μηδέν ως άρτιο, έπεσε στο 32%.[37] Η επιτυχία στην απόφαση ότι το μηδέν είναι αρχικά άρτιος μειώνεται, και στη συνέχεια τα επίπεδα πέφτουν γύρω στο 50% στο τρίτο με έκτο έτος.[38] Συγκριτικά, το πιο εύκολο έργο, το να προσδιορίσεις την ισοτιμία ενός μονοψήφιου αριθμού, μειώνεται κατά 85% σε επιτυχία.[39]

Σε συνεντεύξεις, O Frobisher απέσπασε το σκεπτικό των μαθητών. Ένα πεντάχρονο αποφάσισε ότι το 0 είναι άρτιος επειδή βρέθηκε στο χρονοδιάγραμμα δυο φορές. Δυο τετράχρονα συνειδητοποίησαν ότι το μηδέν μπορεί να χωριστεί σε ίσα μέρη. Ένα άλλο τετράχρονο αιτιολόγησε" το 1 είναι μονός άρα αν πας ένα κάτω είναι άρτιος."[40] Οι συνεντεύξεις αποκάλυψαν, επίσης, τις παρερμηνείες πίσω από τις λανθασμένες απαντήσεις. Ένα παιδί δεύτερου έτους ήταν "απολύτως πεπεισμένος" ότι το μηδέν ήταν μονός, με το σκεπτικό ότι "είναι ο πρώτος αριθμός που μετράς".[41] Ένα τετράχρονο ανέφερε το μηδέν ως "τίποτα" και σκέφτηκε ότι δεν ήταν ούτε μονός ούτε άρτιος, αφού "δεν είναι ένας αριθμός".[42] Σε μια άλλη μελέτη, η Annie Keith παρατήρησε μια τάξη 15 μαθητών δεύτερης τάξης στην οποία έπεισε ο ένας τον άλλον ότι το μηδέν ήταν ένας ζυγός αριθμός, βασισμένος στην εναλλαγή άρτιου με μονού και στη δυνατότητα της διάσπασης μιας ομάδας μηδενικών πραγμάτων σε δύο ίσες ομάδες.[43]


Περισσότερες σε βάθος έρευνες διεξήχθησαν από Esther Levenson, Pessia Tsamir, και η Dina Tirosh, που πήρε συνέντευξη από δύο μαθητές έκτης τάξης,οι οποίοι ήταν αποδοτικοί σε μεγάλο βαθμό στη τάξη των μαθηματικών. Ένας μαθητής προτίμησε επαγωγικές εξηγήσεις των μαθηματικών αξιώσεων, ενώ ο άλλος προτίμησαν πρακτικά παραδείγματα. Και οι δυο μαθητές πίστευαν αρχικά ότι το 0 δεν ήταν ούτε άρτιος ούτε μονός, για διαφορετικούς λόγους. Ο Levenson et al. απέδειξε πώς η επιχειρηματολογία των παιδιών αντικατόπτριζε τις αντιλήψεις τους για το μηδέν και τη διαίρεση.[44]

Ισχυρισμοί που διατυπώνονται από τους μαθητές[45]
Το μηδέν δεν είναι άρτιος ή περιττός.
Το μηδέν θα μπορούσε να ήταν άρτιος.
Το μηδέν δεν είναι μονός.
Το μηδέν πρέπει να είναι ένας άρτιος.
Το μηδέν δεν είναι ένας άρτιος αριθμός.
Το μηδέν πρόκειται να είναι πάντα ένας άρτιος αριθμός.
Το μηδέν δεν πρόκειται να είναι πάντα ένας άρτιος αριθμός.
Το μηδέν είναι άρτιος.
Το μηδέν είναι ιδιαίτερο.

Deborah Loewenberg Ball ανέλυσε τις ιδέες των μαθητών τρίτης τάξης για τους άρτιους και μονούς αριθμούς και το μηδέν, που μόλις είχε συζήτηση με μια ομάδα της τετάρτης τάξης. Οι μαθητές συζήτησαν την ισοτιμία του μηδενός, τους κανόνες για τους άρτιους αριθμούς, και πώς έγιναν τα μαθηματικά. Οι ισχυρισμοί σχετικά με μηδέν πήραν πολλές μορφές, όπως φαίνεται στον πίνακα στα δεξιά.[45] Η Ball και οι συνεργάτες της υποστηρίζουν ότι η έρευνα έδειξε πώς οι μαθητές μπορούν να "κάνουν τα μαθηματικά στο σχολείο», σε αντίθεση με την συνήθη μείωση της πειθαρχίας στη μηχανική λύση των ασκήσεων.[46]

Ένα από τα θέματα στην ερευνητική βιβλιογραφία είναι η ένταση μεταξύ των εικόνων αντίληψης των μαθητών για την ισοτιμία και τους ορισμούς. [47] Οι μαθητές έκτης τάξης του Levenson et al. όρισαν, και οι δυο, τους άρτιους αριθμούς ως πολλαπλάσια του 2, ή αριθμοί που διαιρούνται με το 2, αλλά αρχικά δεν μπορούσαν να εφαρμόσουν αυτόν τον ορισμό για το μηδέν, επειδή δεν ήταν σίγουροι πως να πολλαπλασιάσουν ή να διαιρέσουν το μηδέν με το 2. Ο ερευνητής τελικά τους οδήγησε στο συμπέρασμα ότι το μηδέν ήταν άρτιος· οι μαθητές ακολούθησαν διαφορετικές τρόπους για να φτάσουν σε αυτό το συμπέρασμα, με βάση ένα συνδυασμό εικόνων, ορισμών, πρακτικών εξηγήσεων και θεωρητικών εξηγήσεων. Σε μια άλλη μελέτη, ο David Dickerson και Damien Pitman εξέτασαν τη χρήση των ορισμών από πέντε τελειόφοιτους ανώτερων μαθηματικών. Διαπίστωσαν ότι οι φοιτητές ήταν σε μεγάλο βαθμό ικανοί να εφαρμόσουν τον ορισμό της "άρτιου" στο μηδέν, αλλά και πάλι δεν είχαν πειστεί από αυτήν την επιχειρηματολογία, αφού ερχόταν σε σύγκρουση με την εικόνα αντίληψής τους.[48]

Γνώσεις των εκπαιδευτικών.

Οι ερευνητές της μαθηματικής εκπαίδευσης στο Πανεπιστήμιο του Michigan έχουν συμπεριλάβει το σωστό-ή-λάθος μήνυμα "0 είναι άρτιος αριθμός" σε μια βάση δεδομένων πάνω από 250 ερωτήσεις που έχουν σχεδιαστεί για τη μέτρηση της γνώσης του περιεχομένου των εκπαιδευτικών. Γι'αυτούς, το ερώτημα αποτελεί χαρακτηριστικό παράδειγμα "κοινή γνώση ... ότι κάθε μορφωμένος ενήλικος πρέπει να έχει", και είναι "ιδεολογικά ουδέτερη" στο ότι η απάντηση δεν διαφέρει μεταξύ των παραδοσιακών και των ανασχηματισμένων μαθηματικών. Σε μια μελέτη του 2000-2004, 700 εκπαιδευτικοί της πρωτοβάθμιας εκπαίδευσης στις Ηνωμένες Πολιτείες, η συνολική απόδοση σε αυτά τα ερωτήματα έχει προβλέψει σημαντικά βελτιώσεις στα αποτελέσματα των τυποποιημένα τεστ των μαθητών, μετά την ανάθεση των τάξεων σε δασκάλους.[49] Σε μια περισσότερο σε βάθος μελέτη του 2008, οι ερευνητές βρήκαν ένα σχολείο όπου όλοι οι εκπαιδευτικοί πίστευαν ότι το μηδέν δεν είναι ούτε μονός ούτε άρτιος, συμπεριλαμβανομένου ενός καθηγητή, ο οποίος αποτελούσε υπόδειγμα όσον αφορά όλες τις άλλες απόψεις. Η παρανόηση είχε εξαπλωθεί από έναν καθηγητή μαθηματικών στο κτίριό τους.[50]


Είναι αβέβαιο πόσοι εκπαιδευτικοί έχουν παρανοήσεις σχετικά με το μηδέν. Οι μελέτες του Michigan δεν δημοσίευσε τα στοιχεία για τις ατομικές ερωτήσεις. Η Betty Lichtenberg, μια αναπληρώτρια καθηγήτρια της μαθηματικής εκπαίδευσης στο Πανεπιστήμιο της Νότιας Φλόριντα, σε μια μελέτη του 1972 ανέφερε ότι όταν μια ομάδα μελλοντικών εκπαιδευτικών σε δημοτικό σχολείο δόθηκε μια σωστό ή λάθος δοκιμή, συμπεριλαμβανομένου του στοιχείου "Το μηδέν είναι ένας άρτιος αριθμός", διαπίστωσαν ότι πρόκειται για ένα "δύσκολο θέμα", με περίπου τα δύο τρίτα απάντηση "Λάθος".[51]

Συνέπειες για την διδασκαλία

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

Από μαθηματική άποψη,αποδεικνύοντας ότι το μηδέν είναι ένα απλό θέμα της εφαρμογής του ορισμού, αλλά περισσότερη επεξήγηση απαιτείται στο πλαίσιο της εκπαίδευσης. Ένα θέμα αφορά τα θεμέλια της απόδειξης: ο ορισμός του "ακόμα και" ως "ακέραιο πολλαπλάσιο του 2" δεν είναι πάντα κατάλληλος. Ένας μαθητής κατά τα πρώτα έτη της πρωτοβάθμιας εκπαίδευσης έιναι πιθανόν να μην γνωρίζει ακόμα τι σημαίνει "ακέραιος" ή "πολλαπλάσιο" πόσο μάλλον πώς να πολλαπλασιάζει με το 0.[52]. Επιπρόσθετα, δηλώνοντας έναν ορισμό της ισότητας για όλους τους ακεραίους μπορεί να φαίνεται σαν μια αυθαίρετη εννοιολογική συντόμευση αν οι μόνοι άρτιοι αριθμοί που έχουν ερευνηθεί μέχρι στιγμής είναι θετικοί. Μπορεί να βοηθήσει να αναγνωρίσουμε ότι η έννοια αριθμός επεκτείνεται από θετικούς ακεραίους αριθμούς για να συμπεριλάβει το μηδέν και τους αρνητικούς ακεραίους αριθμούς, τις ιδιότητες των αριθμών, όπως η ισοτιμία επεκτείνονται επίσης με έναν μη τετριμμένο τρόπο.[53]

Αριθμητική γνώση

Numbers 0–8, repeated twice, in a complex arrangement; the 0s are on top, separated by a dotted line
Στατιστική ανάλυση των πειραματικών δεδομένων, που δείχνει το διαχωρισμό του 0.Σε αυτό τον ελάχιστο χώρο ανάλυσης, μόνο η ομαδοποίηση των δεδομένων έχει νόημα: οι άξονες είναι αυθαίρετοι.[54]

Οι ενήλικες που πιστεύουν ότι το μηδέν είναι άρτιος μπορεί παρ'όλα αυτά να μην είναι εξοικειωμένοι με τη σκέψη του ως άρτιο, αρκετά ώστε μετρήσιμα να τους επιβραδύνει σε ένα πείραμα χρόνου αντίδρασης. Ο Stanislas Dehaene, πρωτοπόρος στον τομέα της ψηφιακής γνώσης, ηγήθηκε μια σειρά από τέτοια πειράματα στις αρχές του 1990. Ένας αριθμός ή μία αριθμητική λέξη προβάλλονται σε μια οθόνη, και ένας υπολογιστής μετρά τον χρόνο που χρειάζεται το άτομο που υποβάλλεται στο πείραμα για να πατήσει ένα από τα δύο πλήκτρα για να προσδιορίσει τον αριθμό ως περιττό ή άρτιο. Τα αποτελέσματα έδειξαν ότι η επεξεργασία του 0 ήταν βραδύτερη απ'ότι των υπολοίπων άρτιων αριθμών. Ορισμένες παραλλαγές του πειράματος διαπίστωσαν καθυστερήσεις έως και 60 χιλιοστά του δευτερολέπτου ή περίπου 10% του μέσου χρόνου αντίδρασης- μια μικρή, αλλά σημαντική διαφορά.[55]

Τα πειράματα του Dehaene δεν ήταν ειδικά σχεδιασμένα για να διερευνήσουν το 0, αλλά για να συγκρίνουν ανταγωνιστικά μοντέλα για το πώς μια πληροφορία ισοτιμίας επεξεργάζεται και εξάγεται. Το πιο συγκεκριμένο μοντέλο, η υπόθεση του νοητικού υπολογισμού, υποδηλώνει ότι οι αντιδράσεις σε 0 πρέπει να είναι γρήγορες: το 0 είναι ένας μικρός αριθμός και είναι εύκολο να υπολογιστεί 0 × 2 = 0. ( Τα άτομα είναι γνωστό ότι υπολογίζουν και δηλώνουν το αποτέλεσμα του πολλαπλασιασμού με το 0 γρηγορότερα από τον πολλαπλασιασμό με έναν μη μηδενικό αριθμό, παρ'όλο που είναι πιο αργά στο να επαληθεύουν προτεινόμενα αποτελέσματα όπως 2 × 0 = 0.) Τα αποτελέσματα των πειραμάτων υποδήλωσαν ότι κάτι σχετικά διαφορετικό συνέβαινε: πληροφορία για την ισοτιμία ανακαλέστηκε προφανώς από την μνήμη, μαζί με ένα σύμπλεγμα από συσχετισμένες ιδιότητες, όπως να είναι πρώτος ή δύναμη του δύο. Τόσο η ακολουθία των δυνάμεων του δύο όσο και η ακολουθία των θετικών πρώτων αριθμών 2,4,6,8... είναι καλά επιφανείς νοητικές κατηγορίες των οποίων τα μέλη είναι πρώτοι βάσει πρωτοτύπου. Το μηδέν δεν ανήκει σε καμία από τις δύο λίστες, έτσι απαντάνε όσοι καθυστερούν.[56]

Επαναλαμβανόμενες πειράματα έχουν δείξει μια καθυστέρηση στο μηδέν για άτομα με μια ποικιλία από ηλικίες και εθνικών και γλωσσικών υπόβαθρων, αντιμέτωποι με έναν αριθμό ονομάτων σε αριθμητική μορφή, διατυπώνονται και γράφονται βάσει προτύπου. Η ομάδα του Dehaene βρήκε έναν παράγοντα διαφοροποίησης: μαθηματικές γνώσεις. Σε ένα από τα πειράματά τους οι μαθητές του École Normale Supérieure χωρίστηκαν σε δύο ομάδες: εκείνους των λογοτεχνικών σπουδών κι εκείνους που σπουδάζουν μαθηματικά, φυσική ή βιολογία. Η καθυστέρηση στο 0 "ουσιαστικά βρέθηκε στην [λογοτεχνική ομάδα]", και στην πραγματικότητα, "πριν από κάθε πείραμα, κάποια άτομα της ομάδας αυτής δεν ήταν σίγουρα αν το 0 ήταν περιττός ή άρτιος και έπρεπε να θυμούνται τον μαθηματικό ορισμό".[57]

Αυτή η ισχυρή εξάρτηση από την εξοικείωση υπονομεύει εκ νέου την υπόθεση του νοητικού υπολογισμού.[58] Το αποτέλεσμα δείχνει επίσης ότι είναι ακατάλληλο να περιληφθεί το μηδέν σε πειράματα όπου άρτιοι και περιττοί αριθμοί συγκρίνονται σαν ομάδα. Όπως το τοποθετεί μια ομάδα: "Οι περισσότεροι ερευνητές δείχνουν να συμφωνούν ότι το μηδέν δεν είναι ένας τυπικός άρτιος αριθμός και δεν πρέπει να διερευνηθεί ως μέρος της νοητικής αριθμητικής γραμμής." [59]

Καθημερινά πλαίσια

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

Μερικά από τα πλαίσια, όπου εμφανίζεται η ισοτιμία του μηδενός είναι καθαρά ρητορικά. Το θέμα παρέχει υλικό για διαδικτυακούς πίνακες μηνυμάτων και ιστοσελίδες όπου μπορείς να απευθυνθείς σε ειδικούς.[60] Ο γλωσσολόγος Joseph Grimes αναλογίζεται ότι ρωτώντας "Είναι το μηδέν άρτιος αριθμός;" σε παντρεμένα ζευγάρια είναι ένας καλός τρόπος να τους κάνεις να διαφωνήσουν.[61] Οι άνθρωποι που πιστεύουν ότι το μηδέν δεν είναι ούτε άρτιος ούτε περιττός ίσως χρησιμοποιούν την ισοτιμία του μηδενός ως απόδειξη ότι κάθε κανόνας έχει ένα αντιπαράδειγμα,[62] ή ως παράδειγμα μιας ερώτησης-παγίδα.[63]

Γύρω στο έτος 2000, τα μέσα μαζικής ενημέρωσης σημείωσαν ένα ζεύγος από ασυνήθιστα ορόσημα: "11.19.1999" ήταν η τελευταία μέρα του ημερολογίου που αποτελούνταν από όλους τους περιττούς που θα μπορούσαν να σημειωθούν για ένα πολύ μεγάλο χρονικό διάστημα, και ότι "02.02.2000" ήταν η τελευταία μέρα που σημειώθηκαν όλοι οι άρτιοι για μεγάλο χρονικό διάστημα.[64] Από τότε που αυτά τα αποτελέσματα χρησιμοποιούσαν το 0 ως άρτιο, μερικοί αναγνώστες διαφώνησαν με την ιδέα.[65]


Σε τυποποιημένα τεστ, αν μια ερώτηση ρωτά για τη συμπεριφορά των άρτιων αριθμών, τότε ίσως είναι απαραίτητο να κρατήσουμε στο νου ότι το μηδέν είναι άρτιος.[66] Επίσημες δημοσιεύσεις σχετικά με δοκιμές των GMAT και GRE δηλώνουν εξίσου ότι είναι το 0 είναι άρτιος.[67]

Η ισοτιμία του μηδενός είναι συναφή με την κατανομή άρτιου-περιττού, βάσει την οποία τα αυτοκίνητα μπορούν να οδηγούν ή να προμηθεύονται βενζίνη σε εναλλασσόμενες μέρες, σύμφωνα με την ισοτιμία του τελευταίου ψηφίου στις πινακίδες τους. Το ήμισυ των αριθμών σε μια δεδομένη σειρά κατέληγε σε 0, 2, 4, 6, 8 και το άλλο μισό σε 1, 3, 5, 7, 9, οπότε είναι λογικό να περιλαμβάνεται το 0 με τους άλλους άρτιους αριθμούς. Ωστόσο, το 1977, ένα σύστημα καταμέτρησης στο Παρίσι οδήγησε σε σύγχυση: σε μια μέρα των περιττών αριθμών, η αστυνομία απέφυγε την επιβολή προστίμων στους οδηγούς των οποίων οι πινακίδες τελείωναν σε 0, διότι δεν γνώριζαν αν το 0 ήταν άρτιος.[68] Για την αποφυγή αυτής της σύγχυσης, η σχετική νομοθεσία ορίζει ότι μερικές το 0 είναι άρτιος: οι εν λόγω νόμοι έχουν περάσει στη Νέα Νότια Ουαλία[69] και το Μέριλαντ.[70]

Στα σκάφη του Ναυτικού των ΗΠΑ, τα άρτια αριθμημένα διαμερίσματα βρίσκονται στην αριστερή πλευρά, αλλά το μηδέν προορίζεται για τα διαμερίσματα που τέμνουν την κεντρική γραμμή. Δηλαδή, οι αριθμοί διαβάζονται 6-4-2-0-1-3-5 από το λιμάνι προς τα δεξιά.[71] Στο παιχνίδι της ρουλέτας, ο αριθμός 0 δεν μετρά ως περιττός ή άρτιος, δίνοντας το πλεονέκτημα στο καζίνο σε τέτοια στοιχήματα.[72] Ομοίως, η ισοτιμία του μηδενός μπορεί να επηρεάsei τις επιδόσεις σε στοιχήματα πρακτορείου όταν η έκβαση εξαρτάται από το αν κάποιος τυχαίος αριθμός είναι περιττός ή άρτιος, και καταλήγει να είναι μηδέν.[73]

Το παιχνίδι "μονά-ζυγά" επηρεάζεται επίσης: αν και οι δύο παίκτες ρίξουν μηδέν δάχτυλα, ο συνολικός αριθμός των δακτύλων είναι μηδέν, οπότε κερδίζει ο παίκτης που είχε επιλέξει "ζυγά".[74] Ένα εγχειρίδιο εκπαιδευτικών προτείνει αυτό το παιχνίδι ως ένα τρόπο να εισάγουν τα παιδιά στην έννοια ότι το 0 διαιρείται με το 2.[75]

  1. Penner 1999, σελ. 34: Lemma B.2.2, The integer 0 is even and is not odd. Penner uses the mathematical symbol ∃, the existential quantifier, to state the proof: "To see that 0 is even, we must prove that k (0 = 2k), and this follows from the equality 0 = 2 ⋅ 0."
  2. Ball, Lewis & Thames (2008, p. 15) discuss this challenge for the elementary-grades teacher, who wants to give mathematical reasons for mathematical facts, but whose students neither use the same definition, nor would understand it if it were introduced.
  3. Compare Lichtenberg (1972, p. 535) Fig. 1
  4. Lichtenberg 1972, σελίδες 535–536 "...numbers answer the question How many? for the set of objects ... zero is the number property of the empty set ... If the elements of each set are marked off in groups of two ... then the number of that set is an even number."
  5. Lichtenberg 1972, σελίδες 535–536 "Zero groups of two stars are circled. No stars are left. Therefore, zero is an even number."
  6. Dickerson & Pitman 2012, σελ. 191.
  7. Lichtenberg 1972, σελ. 537; compare her Fig. 3. "If the even numbers are identified in some special way ... there is no reason at all to omit zero from the pattern."
  8. Lichtenberg 1972, σελίδες 537–538 "At a more advanced level ... numbers expressed as (2 × ▢) + 0 are even numbers ... zero fits nicely into this pattern."
  9. Caldwell & Xiong 2012, σελίδες 5–6.
  10. Gowers 2002, σελ. 118 "The seemingly arbitrary exclusion of 1 from the definition of a prime … does not express some deep fact about numbers: it just happens to be a useful convention, adopted so there is only one way of factorizing any given number into primes." For a more detailed discussion, see Caldwell & Xiong (2012).
  11. 11,0 11,1 11,2 Partee 1978, σελ. xxi
  12. 12,0 12,1 Stewart 2001, σελ. 54 These rules are given, but they are not quoted verbatim.
  13. Devlin 1985, σελίδες 30–33
  14. Penner 1999, σελ. 34.
  15. 15,0 15,1 Berlinghoff, Grant & Skrien 2001 For isolated vertices see p. 149; for groups see p. 311.
  16. Lovász, Pelikán & Vesztergombi 2003, σελίδες 127–128
  17. Starr 1997, σελίδες 58–62
  18. Border 1985, σελίδες 23–25
  19. Lorentz 1994, σελίδες 5–6; Lovas & Pfenning 2008, σελ. 115; Nipkow, Paulson & Wenzel 2002, σελ. 127
  20. Bunch 1982, σελ. 165
  21. Salzmann και άλλοι 2007, σελ. 168
  22. Wise 2002, σελίδες 66–67
  23. Anderson 2001, σελ. 53; Hartsfield & Ringel 2003, σελ. 28
  24. Dummit & Foote 1999, σελ. 48
  25. Andrews 1990, σελ. 100
  26. Tabachnikova & Smith 2000, σελ. 99; Anderson & Feil 2005, σελίδες 437–438
  27. Barbeau 2003, σελ. 98
  28. Arnold 1919, σελ. 21 "By the same test zero surpasses all numbers in 'evenness.'"; Wong 1997, σελ. 479 "Thus, the integer b000⋯000 = 0 is the most 'even.'
  29. Wong 1997, σελ. 479
  30. Gouvêa 1997, σελ. 25 Of a general prime p: "The reasoning here is that we can certainly divide 0 by p, and the answer is 0, which we can divide by p, and the answer is 0, which we can divide by p…" (ellipsis in original)
  31. Krantz 2001, σελ. 4
  32. Salzmann και άλλοι 2007, σελ. 224
  33. 33,0 33,1 Frobisher 1999, σελ. 41
  34. This is the timeframe in United States, Canada, Great Britain, Australia, and Israel; see Levenson, Tsamir & Tirosh (2007, p. 85).
  35. Frobisher 1999, σελίδες 31 (Introduction); 40–41 (The number zero); 48 (Implications for teaching)
  36. Frobisher 1999, σελίδες 37, 40, 42; results are from the survey conducted in the mid-summer term of 1992.
  37. Frobisher 1999, σελ. 41 "The percentage of Year 2 children deciding that zero is an even number is much lower than in the previous study, 32 per cent as opposed to 45 per cent"
  38. Frobisher 1999, σελ. 41 "The success in deciding that zero is an even number did not continue to rise with age, with approximately one in two children in each of Years 2 to 6 putting a tick in the 'evens' box ..."
  39. Frobisher 1999, σελίδες 40–42, 47; these results are from the February 1999 study, including 481 children, from three schools at a variety of attainment levels.
  40. Frobisher 1999, σελ. 41, attributed to "Jonathan"
  41. Frobisher 1999, σελ. 41, attributed to "Joseph"
  42. Frobisher 1999, σελ. 41, attributed to "Richard"
  43. Keith 2006, σελίδες 35–68 "There was little disagreement on the idea of zero being an even number. The students convinced the few who were not sure with two arguments. The first argument was that numbers go in a pattern ...odd, even, odd, even, odd, even... and since two is even and one is odd then the number before one, that is not a fraction, would be zero. So zero would need to be even. The second argument was that if a person has zero things and they put them into two equal groups then there would be zero in each group. The two groups would have the same amount, zero"
  44. Levenson, Tsamir & Tirosh 2007, σελίδες 83–95
  45. 45,0 45,1 Ball, Lewis & Thames 2008, σελ. 27, Figure 1.5 "Mathematical claims about zero."
  46. Ball, Lewis & Thames 2008, σελ. 16.
  47. Levenson, Tsamir & Tirosh 2007; Dickerson & Pitman 2012
  48. Dickerson & Pitman 2012.
  49. Ball, Hill & Bass 2005, σελίδες 14–16
  50. Hill και άλλοι 2008, σελίδες 446–447.
  51. Lichtenberg 1972, σελ. 535
  52. Ball, Lewis & Thames 2008, σελ. 15
  53. As concluded by Levenson, Tsamir & Tirosh (2007, p. 93), referencing Freudenthal (1983, p. 460)
  54. Nuerk, Iversen & Willmes (2004, p. 851): "It can also be seen that zero strongly differs from all other numbers regardless of whether it is responded to with the left or the right hand. (See the line that separates zero from the other numbers.)"
  55. See data throughout Dehaene, Bossini & Giraux (1993), and summary by Nuerk, Iversen & Willmes (2004, p. 837).
  56. Dehaene, Bossini & Giraux 1993, σελίδες 374–376
  57. Dehaene, Bossini & Giraux 1993, σελίδες 376–377
  58. Dehaene, Bossini & Giraux 1993, σελ. 376
  59. Nuerk, Iversen & Willmes 2004, σελίδες 838, 860–861
  60. The Math Forum participants 2000; Straight Dope Science Advisory Board 1999; Doctor Rick 2001
  61. Grimes 1975, σελ. 156 "...one can pose the following questions to married couples of his acquaintance: (1) Is zero an even number? ... Many couples disagree..."
  62. Wilden & Hammer 1987, σελ. 104
  63. Snow 2001; Morgan 2001
  64. Steinberg 1999; Siegel 1999; Stingl 2006
  65. Sones & Sones 2002 "It follows that zero is even, and that 2/20/2000 nicely cracks the puzzle. Yet it's always surprising how much people are bothered by calling zero even..."; Column 8 readers 2006a "'...according to mathematicians, the number zero, along with negative numbers and fractions, is neither even nor odd,' writes Etan..."; Column 8 readers 2006b "'I agree that zero is even, but is Professor Bunder wise to 'prove' it by stating that 0 = 2 x 0? By that logic (from a PhD in mathematical logic, no less), as 0 = 1 x 0, it's also odd!' The prof will dispute this and, logically, he has a sound basis for doing so, but we may be wearing this topic a little thin ..."
  66. Kaplan Staff 2004, σελ. 227
  67. Graduate Management Admission Council 2005, σελίδες 108, 295–297; Educational Testing Service 2009, σελ. 1
  68. Arsham 2002; The quote is attributed to the heute broadcast of October 1, 1977. Arsham's account is repeated by Crumpacker (2007, p. 165).
  69. Sones & Sones 2002 "Penn State mathematician George Andrews, who recalls a time of gas rationing in Australia ... Then someone in the New South Wales parliament asserted this meant plates ending in zero could never get gas, because 'zero is neither odd nor even. So the New South Wales parliament ruled that for purposes of gas rationing, zero is an even number!'"
  70. A 1980 Maryland law specifies, "(a) On even numbered calendar dates gasoline shall only be purchased by operators of vehicles bearing personalized registration plates containing no numbers and registration plates with the last digit ending in an even number. This shall not include ham radio operator plates. Zero is an even number; (b) On odd numbered calendar dates ..." Partial quotation taken from Department of Legislative Reference (1974), Laws of the State of Maryland, Volume 2, σελ. 3236, http://books.google.com/books?q=%22ham+radio+operator+plates.+Zero+is+an+even+number%22, ανακτήθηκε στις 2 June 2013 
  71. Cutler 2008, σελίδες 237–238
  72. Brisman 2004, σελ. 153
  73. Smock 2006; Hohmann 2007; Turner 1996
  74. Diagram Group 1983, σελ. 213
  75. Baroody & Coslick 1998, σελ. 1.33

Εξωτερικές συνδέσεις

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

{{Featured article}} {{DEFAULTSORT:Parity Of Zero}} [[Category:Elementary arithmetic]] [[Category:Parity]] [[Category:Zero]]