Πρόσθεση

Η πρόσθεση είναι μία μαθηματική πράξη που αντιπροσωπεύει το συνολικό ποσό των αντικειμένων μαζί σε μια συλλογή. Καθορίζεται από το σύμβολο συν (+). Για παράδειγμα, στην εικόνα στα δεξιά, υπάρχουν 3 + 2 μήλα, δηλαδή, τρία μήλα και δύο μήλα μαζί, το οποίο είναι ένα σύνολο από 5 μήλα. Ως εκ τούτου, 3 + 2 = 5. Εκτός από την καταμέτρηση των φρούτων, η πρόσθεση μπορεί επίσης να αντιπροσωπεύει το συνδυασμό άλλων φυσικών και αφηρημένων ποσοτήτων χρησιμοποιώντας διαφορετικά είδη αντικειμένων: αρνητικούς αριθμούς , κλάσματα, άρρητους αριθμούς , Ευκλείδειο διάνυσμα , δεκαδικά ψηφία, λειτουργίες, πίνακες και πολλά άλλα.

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

Η εκτέλεση της πρόσθεσης είναι μία από τις πιο απλές αριθμητικές εργασίες. Η πρόσθεση είναι  προσβάσιμη σε πολύ μικρά παιδιά : η πιο βασική πράξη, 1 + 1, μπορεί να πραγματοποιηθεί από βρέφη ηλικίας μόλις πέντε μηνών και ακόμη και από μερικά ζώα. Στην πρωτοβάθμια εκπαίδευση, οι μαθητές διδάσκονται να προσθέτουν αριθμούς στο δεκαδικό σύστημα, ξεκινώντας με μονά ψήφια και σταδιακά στην αντιμετώπιση πιο δύσκολων προβλημάτων. Τα μηχανικά βοηθήματα κυμαίνονται από την αρχαία άβακα μέχρι τον σύγχρονο υπολογιστή, όπου η έρευνα στις πιο αποτελεσματικές υλοποιήσεις της πρόσθεσης συνεχίζεται μέχρι σήμερα.

 Συμβολισμός και Ορολογία 
Η πρόσθεση γράφεται χρησιμοποιώντας το σύμβολο συν "+" ανάμεσα στους όρους, δηλαδή σε εν θεματικούς συμβολισμούς. Το αποτέλεσμα εκφράζεται με το σύμβολο ισότητας "=". Για παράδειγμα
 (προφορικά, "ένα συν ένα ισούται με δύο")

 ( "προσεταιριστική ιδιότητα")
 ( "πολλαπλασιασμός")

right

Υπάρχουν επίσης περιπτώσεις όπου η προσθήκη είναι "κατανοητή", ακόμη κι αν δεν εμφανίζεται το σύμβολο:
 Μία στήλη των αριθμών, με τον τελευταίο αριθμό στη στήλη υπογραμμίζουν , συνήθως δείχνει ότι οι αριθμοί στη στήλη πρόκειται να προστεθούν, με το ποσό γραμμένο κάτω από τον υπογραμμισμένο αριθμό.
 Ένα ολόκληρο αριθμό που ακολουθείται αμέσως από ένα κλάσμα δηλώνει το άθροισμα των δύο, που ονομάζεται μικτός αριθμός.

Devine et al. p.263 Για παράδειγμα,       
3½ = 3 + ½ = 3.5.  
Αυτή η σημειογραφία μπορεί να προκαλέσει σύγχυση δεδομένου ότι στις περισσότερες άλλες περιπτώσεις παράθεση υποδηλώνει πολλαπλασιασμό αντί αυτού.

Το άθροισμα της Σειράς των σχετικών αριθμών μπορεί να εκφραστεί μέσω της σημειογραφίας "Σ", η οποία υποδηλώνει συμπαγώς επανάληψη. Για παράδειγμα,

Οι αριθμοί ή τα αντικείμενα που προστίθενται στη γενική πρόσθεση  συλλογικά  αναφέρονται ως "όροι" ή "προσθετέοι": αυτή η ορολογία προκύπτει από το άθροισμα πολλών όρων.
Αυτό διακρίνεται από τους συντελεστές οι οποίοι πολλαπλασιάζονται.
Μερικοί συγγραφείς ονομάζουν  τον πρώτο προσθετέο, “προσθέτης (=ένας αριθμός στον οποίο, ο προσθετέος, προστίθεται)  . Στην πραγματικότητα, κατά τη διάρκεια της Αναγέννησης, πολλοί συγγραφείς δεν θεώρησαν τον πρώτο προσθετέο  ως "προσθετέο" καθόλου. Σήμερα, λόγω της αντιμεταθετικής ιδιότητας της πρόσθεσης, ο όρος "προσθέτης" χρησιμοποιείται σπάνια, και οι δύο όροι γενικά ονομάζονται προσθετέοι.Schwartzman p.19

Όλη αυτή η ορολογία προέρχεται από τα Λατινικά. Η πρόσθεση και προσθέτω είναι αγγλικές λέξεις που προέρχονται από το λατινικό ρήμα  addere, το οποίo είναι με τη σειρά του μία γλωσσολογική ένωση του ad να", και dare να δίνεις",  από την  Πρωτο-Ινδο-ευρωπαϊκή ρίζα * deh,  "να δίνεις" , έτσι το να  προσθέτει  είναι να  δίνεις..Schwartzman σελ.19  Χρησιμοποιώντας την  γερουνδιακή κατάληξη -nd καταλήγει κανείς στην λέξη "addend",, που σημαίνει "πράγμα το οποίο προστίθεται" Η λέξη "addend" δεν είναι λατινική λέξη. Στα Λατινικά πρέπει να είναι περαιτέρω συζευγμένη, όπως και και στην λατινική έκφραση  numerus addendus, δηλαδή  "ο αριθμός που προστίθεται". 
Ομοίως, από την λέξη "augere" που σημαίνει "αυξάνομαι", καταλήγει κανείς στην λέξη "augend", δηλαδή "κάτι που αυξάνεται".

Οι λέξεις "άθροισμα (sum) " και "προσθετέος (summand) " προέρχoνται από το λατινικό ουσιαστικό  "summa ", δηλαδή "το υψηλότερο, το κορυφαίο" και του  συνώνυμου  ρήματος "summare". Αυτό είναι κατάλληλο όχι μόνο επειδή το άθροισμα δύο θετικών αριθμών είναι μεγαλύτερο από αυτούς τους δύο, αλλά επειδή κάποτε ήταν γνωστό το να προσθέτεις προς τα πάνω, σε αντίθεση με τη σύγχρονη πρακτική της πρόσθεσης προς τα κάτω, έτσι ώστε ένα άθροισμα να είναι κυριολεκτικά υψηλότερο από τους προσθετέους.Schwartzman (σελ.212)αποδίδει την πράξη της πρόσθεση προς τα πάνω στους Αρχαίους Έλληνες και τους Ρωμαίους, λέγοντας ότι ήταν περίπου τόσο κοινή όσο η πρόσθεση προς τα κάτω. Από την άλλη πλευρά, ο Karpinski (σ. 103) γράφει ότι ο Λεονάρδος της Πίζας  "εισάγει την καινοτομία της γραφής του αθροίσματος πάνω από τον προσθετέο"¨. Είναι ασαφές εάν ο Karpinski ισχυρίζεται αυτή την άποψη ως μια αρχική εφεύρεση ή απλά ως την εισαγωγή της πρακτικής στην Ευρώπη.
Οι λέξεις  "Addere" και "summare" χρονολογούνται τουλάχιστον από την εποχή του Βοήθιου , αν όχι από την εποχή των πρώτων Ρωμαίων συγγραφέων, όπως  ο Βιτρούβιος και  ο  Φροντίνος . Ο Βιτρούβιος χρησιμοποίησε επίσης αρκετούς άλλους όρους για την πράξη της πρόσθεσης.  Οι λεξεις "Addere" και "summare"  που αποτελούσαν όρους  της Αγγλικής γλώσσας από τα τέλη του 12ου μέχρι και 15ου αιώνα διαδόθηκαν από τον  Chaucer.Karpinski σελ.150–153

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

 Συνδυάζοντας σύνολα 
Ενδεχομένως η πιο θεμελιώδης ερμηνεία της πρόσθεσης έγκειται στο συνδυασμό συνόλων:
 Όταν δύο ή περισσότερα ασύνδετα σύνολα συνδυάζονται σε ένα ενιαίο σύνολο, ο αριθμός των αντικειμένων στο ενιαίο σύνολο είναι το άθροισμα του αριθμού των αντικειμένων των αρχικών συνόλων.

Η ερμηνεία αυτή είναι εύκολο να απεικονιστεί, με ένα μικρό κίνδυνο ασάφειας. Είναι επίσης χρήσιμη στα ανώτερα μαθηματικά : για τον ακριβή ορισμό, αυτό δίνει έμπνευση.  Δες  Φυσικούς αριθμούς . Ωστόσο, δεν είναι προφανές το πώς κάποιος μπορεί να επεκτείνει αυτή την εκδοχή της πρόσθεσης των κλασματικών ή αρνητικών αριθμών.Δες Viro 2001 για ένα παράδειγμα της πολυπλοκότητας σχετικά με την προσθήκη συνόλων "κλασματικών  αριθμητικών στοιχείων".

Μια πιθανή λύση είναι να μελετήσει κανείς συλλογές αντικειμένων που μπορούν εύκολα να διαχωριστούν , όπως η "πίτα"στατιστικής ή, ακόμα καλύτερα, ράβδους σε διαστήματα. Με την αναφορά του,   (σελ.73) γίνεται η σύγκριση της πρόσθεσης ράβδων μέτρησης με την πρόσθεση συνόλων από γάτες: Για παράδειγμα, οι ίντσες μπορούν να διαχωριστούν σε κομμάτια, οι οποίες δεν είναι εύκολα διακριτές σε σύνολο, εκτός του ότι είναι μικρότερες : ενώ είναι επώδυνο για τις γάτες να χωριστούν σε κομμάτια αφού είναι κάτι το οποίο αλλάζει σοβαρά τη φύση τους . " Αντί απλά να συνδυάζονται συλλογές τμημάτων,οι ράβδοι μπορούν να ενωθούν από άκρο σε άκρο, το οποίο απεικονίζει μια άλλη αντίληψη της πρόσθεσης: δεν προσθέτονται οι ράβδοι, αλλά τα μήκη των ράβδων.

 Επέκταση μήκους 


Μια δεύτερη ερμηνεία της πρόσθεσης προέρχεται από την επέκταση ενός αρχικού μήκους από ένα δεδομένο μήκος:
 Όταν ένα αρχικό μήκος εκτείνεται από μία δεδομένη ποσότητα, το τελικό μήκος είναι το άθροισμα του αρχικού μήκους και του μήκους της επέκτασης.

Το άθροισμα α + β μπορεί να ερμηνευθεί ως μια δυαδική πράξη η οποία συνδυάζει το "α" και "β", σε μια αλγεβρική έννοια, ή μπορεί να ερμηνευθεί ως η πρόσθεση του "β" περισσότερες μονάδες σε "α". Σύμφωνα με την τελευταία αυτή ερμηνεία, τα μέρη του συνόλου α+β παίζουν ασύμμετρο ρόλο, και η λειτουργία α+β θεωρείται ως η εφαρμογή της μονομελής πράξης  "β" στο "α". Αντί να ονομάζονται τα "α" και "β" προσθετέοι, είναι πιο σωστό σε αυτή την περίπτωση να ονομάζεται το  "α" ως 'προσθετέος', δεδομένου ότι το "α" παίζει παθητικό ρόλο . Η μονομελής θεωρία είναι επίσης χρήσιμη όσον αφορά την αφαίρεση καθώς κάθε μονομελής πρόσθεση έχει μια αντίστροφη μονομελή αφαιρετική πράξη, και αντίστροφα.

 Ιδιότητες 

 Αντιμεταθετική Ιδιότητα 
Η πρόσθεση είναι αντιμεταθετική ιδιότητα, το οποίο σημαίνει πως οι όροι μπορούν να αντιστρέφονται και το αποτέλεσμα να παραμένει το ίδιο. Συμβολικά, εάν το "α" και το "β" αποτελούν δύο οποιουσδήποτε αριθμούς, τότε : α + β = β + α.
Το γεγονός ότι η πρόσθεση είναι αντιμεταθετική, είναι γνωστό ως "ο αντιμεταθετικός νόμος της πρόσθεσης". Αυτή η φράση υποδεικνύει πως υπάρχουν και άλλοι αντιμεταθετικοί νόμοι: για παράδειγμα, υπάρχει ο αντιμεταθετικός νόμος του πολλαπλασιασμού Παρόλα αυτά, πολλές  δυαδικές πράξεις δεν είναι αντιμεταθετικές, όπως η αφαίρεση και η διαίρεση, οπότε είναι παραπλανητικό να μιλάμε για ένα απόλυτο "αντιμεταθετικό νόμο".

 Προσεταιριστική ιδιότητα 
Μία κάπως πιο πολύπλοκη πραξη της πρόσθεσης είναι η  προσεταιριστική ιδιότητα, η οποία εφαρμόζεται στην πρόσθεση πολλών αριθμών. Η πράξη:"'α + 'β + γ"
μπορεί  να γίνει και (α + β) + γ ή α + (β + γ).  Η πρόσθεση αυτή είναι προσεταιριστική  όπου φαίνεται ότι η αλλαγή των παρενθέσεων δεν επηρεάζει το αποτέλεσμα. Για τρεις τυχαίους αριθμούς,  α, β, και γ, ισχύει ότι: (α + β) + γ = α + (β + γ).
Για παράδειγμα, (1 + 2) + 3 = 3 + 3 = 6 = 1 + 5 = 1 + (2 + 3).
Δεν είναι όλες οι πράξεις προσεταιριστικές, οπότε σε άλλες πράξεις όπως η αφαίρεση, είναι σημαντικό να διευκρινίζεται η  προτεραιότητα πράξεων.

 Ουδέτερο στοιχείο 
Όταν προσθέτεις το μηδέν με οποιοδήποτε άλλον αριθμό, το αποτέλεσμα δεν αλλάζει. Το μηδέν είναι ουδέτερο στοιχείο για την πρόσθεση. Συμβολικά για κάθε "α" : α+ 0 = 0 + α = α.
Ο νόμος αυτός εντοπίστηκε για πρώτη φορά από τον Brahmagupta στο έργο του  Brahmasphutasiddhanta το 628 μ.Χ. , παρόλο που τον διατύπωσε σαν τρεις διαφορετικούς νόμους, βασιζόμενος στον εάν το α είναι αρνητικό, θετικό ή μηδενικό χρησιμοποιώντας λόγια και όχι αλγεβρικά σύμβολα.  Αργότερα οι Ινδοί Μαθηματικοί εξέλιξαν την έννοια περίπου το 830, ο Μαθηματικός Mahavira έγραψε, "το μηδέν γίνεται το ίδιο με ότι προστίθεται σε αυτό,  καταλήγωντας στην αντιστοιχία 0 + α = α. Τον 21ο αιώνα, ο  Bhaskara έγραψε, "Στην πρόσθεση ή την αφαίρεση του 
κώδικα cipher, η ποσότητα είτε θετική είτε αρνητική , παραμένει η ίδια, καταλήγωντας στην αντιστοιχία α + 0 = α.Kaplan pp.69–71

 Διαδοχικός 
Στο πλαίσιο των ακεραίων, η πρόσθεση  παίζει επίσης έναν ειδικό ρόλο: για κάθε ακέραιο α, ο ακέραιος (α + 1) είναι κατά ένα μεγαλύτερος, επίσης γνωστό και ως διαδοχικός. Λόγω αυτής της διαδοχής, η πράξη κάποιων a + b μπορεί επίσης να θεωρηθεί ως το  διαδοχικός του a, κάνοντας πρόσθεση επαναλαμβάνεται η διαδοχή.

 Μονάδες  
Για να προσθέσετε αριθμητικές φυσικές ποσότητες με μονάδες, πρέπει πρώτα να εκφράζονται με ίδιες μονάδες. Για παράδειγμα, εάν ένα μέτρο 5 ποδιών παρατείνεται κατά 2 ίντσες, το άθροισμα είναι 62 ίντσες, δεδομένου ότι 60 ίντσες αντιστοιχούν με 5 πόδια. Από την άλλη πλευρά, δεν είναι δυνατόν  να προσθέσετε  3 μέτρα και 4 τετραγωνικά μέτρα, για το λόγο ότι οι μονάδες αυτές είναι ασύγκριτες. Αυτό το είδος της εξέτασης χρησιμοποιείται  για την διαστατική ανάλυση.

 Εκτέλεση πρόσθεσης 

 Έμφυτη Ικανότητα 
Μελέτες που έγιναν σχετικά με την μαθηματική ανάπτυξη και ξεκίνησαν περίπου το 1980, ανακάλυψαν το φαινόμενο της εξοικείωσης: Τα πολύ μικρά παιδιά ανταποκρίνονται άμεσα σε απροσδόκητες καταστάσεις. Ένα σπουδαίο πείραμα  από την Wynn p.5 το οποίο πραγματοποιήθηκε το 1992 με κουκλοθέατρο από χαρακτήρες του Mickey Mouse, έδειξε ότι τα 5-χρόνα παιδιά "θεωρούν" πως 1+1=2, και όταν δημιουργείται υπόνοια μέσω μιας φυσικής κατάστασης πως 1+1 κάνει 1 ή ακόμη και 3, τα παιδιά μένουν έκπληκτα. Από τότε, αυτή η ανακάλυψη έχει επιβεβαιωθεί και από μελέτες πολλών εργαστηρίων με διαφορετικές μεθοδολογίες.Wynn p.15 Το 1992, ένα άλλο πείραμα με λίγο μεγαλύτερα παιδιά, ηλικίας από 18 έως 35 μηνών, αξιοποίησε την κινητική τους ανάπτυξη επιτρέποντάς τους να συλλέγουν μπάλες ping-pong από ένα κουτί; Τα μικρότερα παιδιά ανταποκρίθηκαν καλά στους μικρότερους αριθμούς, ενώ τα μεγαλύτερα παιδιά ήταν σε θέση να υπολογίσουν ποσά μέχρι και το 5.Wynn p.17

Ακόμη και κάποια ζώα δείχνουν μια περιορισμένη ικανότητα στην πρόσθεση, ειδικά οι πίθηκοι. Σε ένα πείραμα το οποίο πραγματοποιήθηκε το 1995 και μιμήθηκε το αποτέλεσμα του πειράματος της Wynn το 1992 (στο οποίο χρησιμοποιήθηκαν μελιτζάνες αντί για κούκλες), 2 είδη πιθήκων, οι rhesus macaque και οι cottontop tamarin, παρουσίασαν παρόμοιες αντιδράσεις με τα μικρά παιδιά. Το εντυπωσιακό αποτέλεσμα του πειράματος αποτέλεσε το γεγονός ότι, αφού διδάχθηκαν τις έννοιες των Αραβικών αριθμών  από το 0 έως το 4, αποδείχθηκε πως ακόμη και ένας χιμπατζής ήταν σε θέση να υπολογίσει το άθροισμα δύο αριθμών χωρίς επιπλέον εκπαίδευση Wynn σελ. 19.

 Ανακαλύπτοντας την πρόσθεση σαν παιδιά 

Τυπικά, τα παιδιά πρώτα μαθαίνουν την μέτρηση. Σε ένα πρόβλημα το οποίο απαιτεί συνδυασμό δύο ή τριών αντικειμένων, τα μικρά παιδιά κάνουν αναπαράσταση του προβλήματος με την χρήση αντικειμένων, με ζωγραφιές ακόμα και με τα δάχτυλά τους, για να μετρήσουν το σύνολο . Αποκτώντας εμπειρία, μαθαίνουν να ανακαλύπτουν την στρατηγική της "μέτρησης": για να βρουν την πράξη του δύο και τρία , τα παιδιά μετρούν από το δύο μετρώντας ακόμη τρεις αριθμούς, λέγοντας τρία, τέσσερα, πέντε (συνήθως χρησιμοποιώντας τα δάχτυλά τους), φτάνοντας στο πέντε. Αυτή η στρατηγική χρησιμοποιείται σχεδόν παγκοσμίως. Τα παιδιά το μαθαίνουν από τους δασκάλους τους.F. Smith p.130 Άλλα το ανακαλύπτουν μόνα τους. Με περισσότερη εξάσκηση, τα παιδιά μαθαίνουν να προσθέτουν πολύ πιο γρήγορα εξερευνώντας την αντιμεταθετική ιδιότητα της πρόσθεσης μετρώντας από τον μεγαλύτερο αριθμό, δηλαδή ξεκινώντας από το τρία και μετρώντας τέσσερα, πέντε.Τελικά τα παιδιά θυμούνται συγκεκριμένους κανόνες της πρόσθεσης, είτε μέσω της εμπειρίας τους, είτε με την απομνημόνευση. Όταν κάποιοι κανόνες αποτυπωθούν στην μνήμη, τα παιδιά βρίσκουν την λύση αγνώστων κανόνων από τους ήδη γνωστούς.  Για παράδειγμα, εάν ένα παιδί κληθεί να προσθέσει τους αριθμούς έξι και εφτά, τότε αφού ξέρει ότι 6+6=12 τότε καταλαβαίνει ότι το άθροισμα του 6+7 είναι ένας αριθμός παραπάνω από το 12, δηλαδή 13. Τέτοιες πράξεις μπορούν να λυθούν πολύ εύκολα, και τα παιδιά του δημοτικού τελικά απομνημονεύουν τους κανόνες ώστε να κάνουν τις πράξεις της πρόσθεσης γρήγορα και χωρίς δυσκολία.

 Πίνακας πρόσθεσης 
Τα παιδιά συχνά καλούνται να απομνημονεύσουν τους δέκα πρώτους αριθμούς με την βοήθεια του πίνακα της πρόσθεσης. Με την γνώση αυτού, μπορούν να κάνουν την πράξη της πρόσθεσης.
+ Πίνακας πρόσθεσης + Πίνακας πρόσθεσης για το  1 1 + 0 = 1 1 + 1 = 2 1 + 2 = 3 1 + 3 = 4 1 + 4 = 5 1 + 5 = 6 1 + 6 = 7 1 + 7 = 8 1 + 8 = 9 1 + 9 = 10 1 + 10 = 11+ Πίνακας πρόσθεσης για το 2 2 + 0 = 2 2 + 1 = 3 2 + 2 = 4 2 + 3 = 5 2 + 4 = 6 2 + 5 = 7 2 + 6 = 8 2 + 7 = 9 2 + 8 = 10 2 + 9 = 11 2 + 10 = 12+ Πίνακας πρόσθεσης για το 3 3 + 0 = 3 3 + 1 = 4 3 + 2 = 5 3 + 3 = 6 3 + 4 = 7 3 + 5 = 8 3 + 6 = 9 3 + 7 = 10 3 + 8 = 11 3 + 9 = 12 3 + 10 = 13+ Πίνακας πρόσθεσης για το 4 4 + 0 = 4 4 + 1 = 5 4 + 2 = 6 4 + 3 = 7 4 + 4 = 8 4 + 5 = 9 4 + 6 = 10 4 + 7 = 11 4 + 8 = 12 4 + 9 = 13 4 + 10 = 14+ Πίνακας πρόσθεσης για το 5 5 + 0 = 5 5 + 1 = 6 5 + 2 = 7 5 + 3 = 8 5 + 4 = 9 5 + 5 = 10 5 + 6 = 11 5 + 7 = 12 5 + 8 = 13 5 + 9 = 14 5 + 10 = 15+ Πίνακας πρόσθεσης για το 6 6 + 0 = 6 6 + 1 = 7 6 + 2 = 8 6 + 3 = 9 6 + 4 = 10 6 + 5 = 11 6 + 6 = 12 6 + 7 = 13 6 + 8 = 14 6 + 9 = 15 6 + 10 = 16+ Πίνακας πρόσθεσης για το 7 7 + 0 = 7 7 + 1 = 8 7 + 2 = 9 7 + 3 = 10 7 + 4 = 11 7 + 5 = 12 7 + 6 = 13 7 + 7 = 14 7 + 8 = 15 7 + 9 = 16 7 + 10 = 17+ Πίνακας πρόσθεσης για το 8 8 + 0 = 8 8 + 1 = 9 8 + 2 = 10 8 + 3 = 11 8 + 4 = 12 8 + 5 = 13 8 + 6 = 14 8 + 7 = 15 8 + 8 = 16 8 + 9 = 17 8 + 10 = 18+ Πίνακας πρόσθεσης για το 9 9 + 0 = 9 9 + 1 = 10 9 + 2 = 11 9 + 3 = 12 9 + 4 = 13 9 + 5 = 14 9 + 6 = 15 9 + 7 = 16 9 + 8 = 17 9 + 9 = 18 9 + 10 = 19+ Πίνακας πρόσθεσης για το 10 10 + 0 = 10 10 + 1 = 11 10 + 2 = 12 10 + 3 = 13 10 + 4 = 14 10 + 5 = 15 10 + 6 = 16 10 + 7 = 17 10 + 8 = 18 10 + 9 = 19 10 + 10 = 20

 Δεκαδικό σύστημα 

Προϋπόθεση για την  πρόσθεση στο δεκαδικό σύστημα είναι η άπταιστη ανάκληση ή η δημιουργία  των  100 μονοψήφιων "προσθετικών πράξεων". Κάποιος θα μπορούσε να απομνημονεύσει όλες τις πράξεις  αυτές  με παπαγαλία, αλλά στρατηγικές βασισμένες στο πρότυπο είναι πιο διαφωτιστικές και, για τους περισσότερους , πιο αποδοτικές:Fosnot and Dolk p. 99Αντιμεταθετική ιδιότητα: Αναφέρθηκε παραπάνω, χρησιμοποιώντας το πρότυπο α + β = β + α μειώνει τον αριθμό των "προσθετικών πράξεων" από  100 σε 55.Ένα ή δύο ακόμα: Προσθέτοντας  το 1 ή το 2 είναι ένα βασικό έργο, αυτό μπορεί να επιτευχθεί μετρώντας προς τα μπροστά ή, βασικά με τη,  διαίσθηση.Μηδενικό: Αφού το μηδέν είναι το ουδέτερο στοιχείο της πρόσθεσης, το να προσθέτεις το μηδέν είναι ασήμαντο. Παρ' όλα αυτά στη διδασκαλία της αριθμητικής, κάποιοι μαθητές μαθαίνουν την πρόσθεση σαν μια διαδικασία που πάντα αυξάνει τους προσθετέους: λεξικά προβλήματα μπορεί να βοηθήσουν να αιτιολογηθεί η  "εξαίρεση" του μηδενικού.Διπλάσια: Το να προσθέτεις έναν αριθμό στον εαυτό του σχετίζεται με τη διπλή μέτρηση και τον  πολλαπλασιασμό. Ο διπλασιασμός σχηματίζει ένα κορμό από σχετιζόμενες πράξεις, και οι μαθητές το βρίσκουν σχετικά εύκολο να το καταλάβουν.Σχεδόν-διπλάσια: Αθροίσματα όπως  6+7=13 μπορούν να υπολογιστούν  από τον διπλασιασμό  6+6=12 προσθέτοντας ένα ακόμη, ή από  7+7=14 όμως αφαιρώντας ένα.Πέντε και δέκα: Αθροίσματα του τύπου 5+x και 10+x συνήθως μαθαίνονται από νωρίς  και μπορούν να χρησιμοποιηθούν  για τον υπολογισμό άλλων πράξεων. Για παράδειγμα, 6+7=13 μπορεί να  υπολογιστεί ως 5+7=12 προσθέτοντας ένα ακόμη.Κάνοντας το δέκα: Μια προηγμένη στρατηγική χρησιμοποιεί το 10 ως ενδιάμεσο για προσθέσεις που περιέχουν το  8 ή το 9 για παράδειγμα, 8 + 6 = 8 + 2 + 4 = 10 + 4 = 14.
Όσο οι μαθητές μεγαλώνουν, βάζουν πιο πολλές πράξεις στη μνήμη τους, και μαθαίνουν να υπολογίζουν άλλες πράξεις γρήγορα και άπταιστα. Πολλοί μαθητές ποτέ δε βάζουν όλες τις πράξεις στη μνήμη τους, αλλά ακόμα μπορούν να υπολογίσουν τις βασικές γρήγορα.

Ο βασικός αλγόριθμος για να προσθέτεις πολυψήφιους αριθμούς είναι να στοιχίσεις τους προσθετέους κάθετα και να προσθέσεις τις στήλες, ξεκινώντας από αυτή που είναι στα δεξιά. Αν μια στήλη υπερβεί το 10, το έξτρα ψηφίο "μεταφέρεται" στην επόμενη στήλη.Η λέξη "μεταφέρω" μπορεί να είναι ακατάλληλη στην εκπαίδευση; Ο Van de Walle (p.211) τη λέει "παρωχημένη και εννοιολογικά παραπλανητική", προτιμώντας τη λέξη "ανταλλαγή". Μια εναλλακτική στρατηγική ξεκινά να προσθέτει από το πιο σημαντικό ψηφίο στα αριστερά; αυτός ο τρόπος κάνει τη μεταφορά λίγο πιο αδέξια, αλλά είναι γρηγορότερος  στο να παίρνεις έναν πρόχειρο υπολογισμό  του αθροίσματος. Υπάρχουν πολλές άλλες εναλλακτικές μέθοδοι.
 Κλάσμα: Πρόσθεση
Επιστημονική σημείωση: Λειτουργίες

 Υπολογιστές 

Οι Αναλογικοί υπολογιστές δουλεύουν απευθείας με φυσικές ποσότητες, έτσι οι προσθετικοί μηχανισμοί εξαρτώνται από τη μορφή των προσθετέων. Ένας μηχανικός αθροιστής μπορεί να αντιπροσωπεύει δύο προσθετέους όπως τις θέσεις των μπλοκ ολισθήσεως, στην οποία περίπτωση μπορούν να προστεθούν με ένα συνηθισμένο μοχλό. Αν οι προσθετέοι είναι οι ταχύτητες περιστροφής δυο άξονες, μπορούν να προστεθούν με ένα διαφορικό. Ένας υδραυλικός αθροιστής  μπορεί να προσθέσει πιέσεις σε δύο θαλάμους με την αξιοποίηση του Δεύτερου νόμου του Νεύτωνα για να εξισορροπήσουν τις δυνάμεις σε μια συνδεσμολογία  πιστονιών. Η πιο συνηθισμένη περίπτωση για έναν γενικού σκοπού αναλογικό υπολογιστή είναι να προσθέτεις δύο τάσεις (που πηγάζουν στο έδαφος); αυτό μπορεί να επιτευχθεί πρόχειρα με μία αντίσταση δίκτυο, αλλά ένα καλύτερο σχέδιο  χρησιμοποιεί έναν λειτουργικό ενισχυτή.Truitt και Rogers pp.1;44–49 και pp.2;77–78

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


Ο Μπλεζ Πασκάλ εφηύρε την μηχανική αριθμομηχανή το 1642,Jean Marguin, p. 48 (1994) ; Quoting René Taton (1963) ήταν η πρώτη επιχειρησιακή αριθμομηχανή. Έκανε χρήση ενός ιδιοφυούς υποβοηθούμενου της βαρύτητας μεταφορικού μηχανισμού. Ήταν η μοναδική επιχειρησιακή μηχανική αριθμομηχανή τον 17ο αιώναΔείτε Ανταγωνιστικά σχέδια στο άρθρο αριθμομηχανής του Πασκαλ και οι πρώτοι αυτόματοι, ψηφιακοί υπολογιστές. Η αριθμομηχανή του Pascal ήταν περιορισμένη από το μεταφορικό της μηχανισμό που ανάγκαζε τους τροχούς της να γυρνάνε μόνο από τη μία μεριά , έτσι μπορούσε να προσθέσει αλλά, για να αφαιρέσει, ο χειριστής έπρεπε να χρησιμοποιήσει τη μέθοδο του συμπληρώματος που απαιτεί τόσα βήματα όσα και η πρόσθεση. Τον Pascal ακολούθησε ο  Giovanni Poleni ο οποίος έφτιαξε τη δεύτερη λειτουργική μηχανική αριθμομηχανή το 1709, ένα υπολογιστικό ρολόι, το οποίο ήταν ξύλινο και μπορούσε, μόλις, να πολλαπλασιάσει δύο αριθμούς αυτόματα.

Οι Αθροιστές εκτελούν πρόσθεση ακεραίων στους ηλεκτρονικούς ψηφιακούς υπολογιστές, συνήθως χρησιμοποιώντας δυαδική αριθμητική. Η απλούστερη αρχιτεκτονική  είναι ο αθροιστής ριπής, που ακολουθεί τον βασικό πολυψήφιο αλγόριθμο. Μια μικρή βελτίωση είναι το σχέδιο παράκαμψης μεταφοράς , ξανά ακολουθούμενο από την ανθρώπινη διαίσθηση; κανείς δε θα εκτελέσει όλες τις μεταφορές στην πληροφορική 999 + 1, αλλά ένας  παρακάμπτει την ομάδα των 9αριών και προχωράει στην απάντηση.Flynn and Overman pp.2, 8

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

Στους σύγχρονους ψηφιακούς υπολογιστές, η πρόσθεση ακεραίων είναι τυπικά η γρηγορότερη  αριθμητική καθοδήγηση, ακόμα έχει τη μεγαλύτερη επίπτωση στην επίδοση, αφού υποστηρίζει όλες τις λειτουργίες κινητής υποδιαστολής  καθώς και τις βασικές εργασίες όπως η παραγωγή διεύθυνσης κατά τη διάρκεια πρόσβασης μνήμης και φέρει εντολές μέσω διακλάδωσης. Για την αύξηση της ταχύτητας, τα σύγχρονα μοντέλα υπολογίζουν ψηφία  παράλληλα και τα συστήματα αυτά παίρνουν τα ονόματα της μεταφοράς που επιλέγουν, μπροστινή μεταφορά, και η ψευδομεταφορά  του Ling . Σχεδόν όλες οι σύγχρονες υλοποιήσεις είναι, στην πραγματικότητα, υβρίδια των τριών αυτών μοντέλων.Flynn και Overman pp.1–9

Σε αντίθεση με την πρόσθεση στο χαρτί, η πρόσθεση σε έναν υπολογιστή συχνά αλλάζει τους προσθετέους. Στον αρχαίο άβακα και στο χαρτί ,οι δύο προσθετέοι καταστρέφονται , αφήνοντας μόνο το άθροισμα. Η επιρροή του άβακα στη μαθηματική σκέψη ήταν αρκετά ισχυρή που πρώιμα Λατινικά κείμενα συχνά ισχυριζόντουσαν ότι στη διαδικασία πρόσθεσης "ενός αριθμού σε έναν άλλο", και οι δύο αριθμοί εξαφανίζονται.Karpinski pp.102–103 Στη σύγχρονη εποχή, η εντολή ΠΡΟΣΘΕΣΗ ενός μικροεπεξεργαστή αντικαθιστά το στοιχείο στο οποίο προσθέτουμε με το άθροισμα αλλά διατηρεί αυτό που προσθέσαμε.Η ταυτότητα αυτού στον οποίο προσθέτουμε και αυτού που προσθέτουμε ποικίλει ανάλογα με την αρχιτεκτονική. Για ΠΡΟΣΘΕΣΗ σε x86 δείτε Horowitz και Hill p.679; για ΠΡΟΣΘΕΣΗ σε 68k δείτε p.767. Σε μια υψηλού επιπέδου γλώσσα προγραμματισμού, η εκτίμηση α + β δεν αλλάζει ούτε το α ούτε το β; αν ο στόχος είναι να αντικατασταθεί το α με το άθροισμα  αυτό πρέπει να ζητηθεί ρητά, τυπικά με τη δήλωση α = α + β.  Κάποιες γλώσσες όπως η C ή η C++ επιτρέπουν αυτό να είναι  σύντομα γραμμένο ως  a += b.

 Πρόσθεση φυσικών και πραγματικών αριθμών 
Για να αποδείξει τις συνήθεις ιδιότητες της πρόσθεσης, κάποιος πρέπει πρώτα να ορίσει την πρόσθεση στο ευρύτερο πλαίσιο του προβλήματος. Η πρόσθεση αρχικά ορίζεται στους φυσικούς αριθμούς. Στη θεωρία συνόλων, η πρόσθεση επεκτείνεται στη συνέχεια σε προοδευτικά μεγαλύτερα σύνολα που περιλαμβάνουν τους φυσικούς αριθμούς: τους ακέραιους, τους ρητούς αριθμούς, και τους πραγματικούς αριθμούς.Enderton κεφάλαια 4 και 5, για παράδειγμα, ακολουθούν αυτήν την εξέλιξη. (Στη μαθηματική διδασκαλία,California standards; δείτε βαθμούς 2 , 3 , και 4 . θετικά κλάσματα προστίθενται πριν ακόμη θεωρηθούν οι αρνητικοί αριθμοί; αυτή είναι και η ιστορική διαδρομή)Ο Baez (p.37) εξηγεί την ιστορική εξέλιξη, σε "έντονη αντίθεση" με την παρουσίαση της θεωρίας συνόλων: "Προφανώς, το μισό ένα μήλο είναι πιο εύκολο να το καταλάβουμε από ένα αρνητικό μήλο!"

 Φυσικοί αριθμοί 

Υπάρχουν δύο γνωστοί τρόποι να ορίσεις το άθροισμα δύο φυσικών αριθμών  α και β. Αν κάποιος ορίσει τους φυσικούς αριθμούς να είναι οι πληθάριθμοι των πεπερασμένων συνόλων, (ο πληθάριθμος ενός συνόλου είναι ο αριθμός των στοιχείων του συνόλου), τότε είναι κατάλληλο να ορίσουμε το άθροισμα ως εξής:
Έστω Ν(Σ)να είναι ο πληθάριθμος ενός συνόλου Σ. Πάρε δύο ξένα σύνολα Α and Β, με Ν(Α) = α και Ν(Β) = β. Τότε α + β ορίζεται ως .Begle p.49, Johnson p.120, Devine et al. p.75
Εδώ, A U B είναι η ένωση των Α και Β. Μία διαφορετική εκδοχή αυτού του ορισμού επιτρέπει τα Α και Β πιθανώς να επικαλύπτονται και παίρνει την  ξένη ένωση, ένας μηχανισμός που επιτρέπει κοινά στοιχεία να διαχωριστούν και ως εκ τούτου να υπολογίζονται δύο φορές.

Ο άλλος γνωστός ορισμός είναι αναδρομικός:

Έστω ν+ να είναι ο διαδοχικός του ν, που είναι ο επόμενος αριθμός του ν στους φυσικούς αριθμούς, έτσι  0+=1, 1+=2.Ορίστε α + 0 = α. Ορίστε το συνολικό άθροισμα αναδρομικά ως α + (β+) = (α + β)+. Ως εκ τούτου 1+1=1+0+=(1+0)+=1+=2.Enderton p.79
Και πάλι, υπάρχουν μικρές παραλλαγές κατά τον ορισμό αυτό στη βιβλιογραφία. Κυριολεκτικά, ο παραπάνω ορισμός είναι μια εφαρμογή του Αναδρομικού θεωρήματος στο μερικώς διατεταγμένο σύνολο N2.Για μια εκδοχή που ισχύει σε κάθε μερικώς διατεταγμένο σύνολο με τη κατάσταση φθίνουσας αλυσίδας, δείτε Bergman p.100. Από την άλλη, κάποιες πηγές προτιμούν  να χρησιμοποιούν ένα περιορισμένο αναδρομικό θεώρημα που εφαρμόζεται μόνο στο σύνολο των φυσικών αριθμών. Κάποιος τότε θεωρεί το α να είναι προσωρινά  "σταθερό", εφαρμόζει αναδρομή στο β για να ορίσει μια συνάρτηση "α + ", και κολλάει αυτές τις μοναδιαίες πράξεις για όλα τα α μαζί για να σχηματίσει την πλήρη δυαδική λειτουργία.Ο Enderton (p.79) παρατηρεί, "Όμως θέλουμε μια δυαδική πράξη +, όχι όλες αυτές τις μικρές συναρτήσεις ενός μέρους."

Αυτή η αναδρομική διατύπωση της πρόσθεσης αναπτύχθηκε από τον Dedekind ήδη από το 1854, και την επέκτεινε τις επόμενες δεκαετίες.Ferreirós p.223 Απόδειξε τις προσεταιριστικές και τις μεταθετικές ιδιότητες, μεταξύ άλλων, μέσω της μαθηματικής επαγωγής; για παραδείγματα τέτοιων επαγωγικών αποδείξεων, δες Πρόσθεση φυσικών αριθμών.

 Ακέραιοι αριθμοί 

Η απλούστερη σύλληψη ενός ακεραίου είναι ότι αποτελείται από μια απόλυτη τιμή (που είναι φυσικός αριθμός) και ένα πρόσημο (γενικά είτε θετικό είτε αρνητικό). Ο ακέραιος αριθμός μηδέν είναι μια ειδική τρίτη περίπτωση, που είναι ούτε θετικός ούτε αρνητικός. Ο αντίστοιχος ορισμός της πρόσθεσης πρέπει να διαχωριστεί σε περιπτώσεις:

Για έναν ακέραιο ν, έστω |ν| να είναι η απόλυτη τιμή του. Έστω α και β ακέραιοι. Αν  το α ή το  β είναι μηδέν, το αντιμετωπίζουμε σαν μια ταυτότητα. Αν α και β είναι και οι δύο θετικοί, ορίζουμε α + β = |α| + |β|. Αν α και β είναι και οι δύο αρνητικοί, ορίζουμε α + β = −(|α|+ |β|). Αν α και β έχουν διαφορετικά πρόσημα, ορίζουμε α + β να είναι η διαφορά μεταξύ |α| και |β|, με το πρόσημο του όρου του οποίου η απόλυτη τιμή είναι μεγαλύτερη.K. Smith p.234, Sparks και Rees p.66
Παρά το γεγονός ότι ο ορισμός αυτός μπορεί να είναι χρήσιμος για συγκεκριμένα προβλήματα, είναι πάρα πολύ περίπλοκος για να παράγει κομψές γενικές αποδείξεις;  υπάρχουν πάρα πολλές περιπτώσεις για να εξεταστούν.

Μια πολύ πιο βολική σύλληψη των ακεραίων είναι η κατασκευή της ομάδας του Grothendieck. Η βασική παρατήρηση είναι ότι κάθε ακέραιος μπορεί να εκφραστεί (όχι μοναδικά) ως η διαφορά δύο φυσικών αριθμών, έτσι ώστε να μπορούμε επίσης να ορίσουμε έναν ακέραιο ως τη διαφορά δύο φυσικών αριθμώνan.Η πρόσθεση ορίζεται τότε να είναι συμβατή με την αφαίρεση:
Δοθέντων δύο ακεραίων α − β και γ − δ, όπου α, β, γ, και δ είναι φυσικοί αριθμοί, ορίζουμε (α − β) + (γ − δ) = (α + γ) − (β + δ).Enderton p.92

 Ρητοί αριθμοί (κλάσματα) 
Η πρόσθεση ρητών αριθμών μπορεί να υπολογιστεί χρησιμοποιώντας τον ελάχιστο κοινό πολλαπλάσιο,αλλά ένας απλούστερος εννοιολογικά ορισμός περιέχει πρόσθεση μόνο ακεραίων και πολλαπλασιασμό:
Ορίζουμε     
Η μεταθετικότητα και η προσεταιριστικότητα  της πρόσθεσης ρητών είναι μια προφανής συνέπεια των νόμων της ακεραίας αριθμητικής .Επαληθεύσεις που πραγματοποιήθηκαν στο Enderton p.104 και σκιαγραφήθηκαν για ένα γενικότερο πλαίσιο κλασμάτων πάνω σε έναν αντιμεταθετικό δακτύλιο στο Dummit και Foote p.263. Για μια πιο αυστηρή και γενική διαπραγμάτευση, δείτε τον τομέα των κλασμάτων.

 Πραγματικοί αριθμοί 
Μια συνήθης κατασκευή του συνόλου των πραγματικών αριθμών είναι η συμπλήρωση του  συνόλου των ρητών αριθμών του Dedekind. Ένας πραγματικός αριθμός ορίζεται να είναι η τομή Ντέντεκιντ ρητών αριθμών: ένα μη- κενό σύνολο ρητών αριθμών που είναι κλειστό προς τα κάτω και δεν έχει μέγιστο στοιχείο. Το άθροισμα πραγματικών αριθμών α και β ορίζεται στοιχείο προς στοιχείο:

Ορίζουμε Enderton p.114
Αυτός ο ορισμός δημοσιεύτηκε για πρώτη φορά, σε μια ελαφρώς τροποποιημένη μορφή, από τον Richard Dedekind το 1872.Ferreirós p.135; δείτε μέρος 6 του Stetigkeit und irrationale Zahlen .
Η μεταθετικότητα και η προσεταιριστικότητα της πρόσθεσης πραγματικών αριθμών είναι άμεση; ορίζοντας τον πραγματικό αριθμό 0 να είναι το σύνολο των αρνητικών ρητών, φαίνεται εύκολα ότι είναι η προσθετική ταυτότητα. Πιθανώς το πιο λεπτό σημείο αυτής της κατασκευής που αφορούν την πρόσθεση είναι ο ορισμός των προσθετικών αντιστρόφων.Η διαισθητική προσέγγιση, αντιστρέφει κάθε στοιχείο της διαμέρισης και παίρνει το συμπλήρωμά του, δουλεύει μόνο για τους άρρητους αριθμούς; δείτε Enderton p.117 για λεπτομέρειες.

Δυστυχώς, η ενασχόληση με τον πολλαπλασιασμό των διαμερίσεων του Dedekind είναι ένας κατά περίπτωση εφιάλτης παρόμοιος με την πρόσθεση ακεραίων με πρόσημο. Μια άλλη προσέγγιση είναι η μετρική συμπλήρωση των ρητών αριθμών. Ένας πραγματικός αριθμός ορίζεται ουσιαστικά να είναι το όριο μιας ακολουθίας Cauchy ρητών αριθμών, lim an. Η πρόσθεση ορίζεται λέξη προς λέξη:
Ορίζουμε Οι κατασκευές εγχειριδίων δεν είναι πάντα τόσο υπεροπτικές με το σύμβολο "lim"; δείτε Burrill (p. 138) για ένα περισσότερο προσεκτική, παρατεταμένη ανάπτυξη της πρόσθεσης με ακολουθίες Cauchy.
Αυτός ο ορισμός δημοσιεύτηκε πρώτα από τον Georg Cantor, επίσης το 1872, παρόλο που ο φορμαλισμός του ήταν ελαφρώς διαφορετικός.Ferreirós p.128
Κάποιος πρέπει να αποδείξει ότι αυτό το εγχείρημα είναι σαφώς καλά ορισμένο, έχοντας να κάνει με συν-ακολουθίες Cauchy.Μόλις γίνει αυτό το έργο, όλες οι ιδιότητες της πρόσθεσης πραγματικών αριθμών ακολουθούν αμέσως μετά τις ιδιότητες των ρητών αριθμών. Επιπλέον, οι άλλες αριθμητικές ιδιότητες, συμπεριλαμβανομένου του πολλαπλασιασμού, έχουν ξεκάθαρα, ανάλογους ορισμούς.Burrill p.140

 Γενικεύσεις 

Υπάρχουν πολλά πράγματα που μπορούν να προστεθούν: αριθμοί, διανύσματα, πίνακες, διαστήματα, σχήματα, σύνολα, συναρτήσεις, εξισώσεις, ακολουθίες, αλυσίδες... —Alexander Bogomolny

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

 Πρόσθεση στην αφηρημένη άλγεβρα 

Στη γραμμική άλγεβρα, ένας διανυσματικός χώρος είναι μια αλγεβρική δομή που επιτρέπει την πρόσθεση δύο οποιονδήποτε διανυσμάτων και τη σύγκριση διανυσμάτων. Ένας οικείος διανυσματικός χώρος είναι το σύνολο όλων των διατεταγμένων ζευγών των πραγματικών αριθμών; το διατεταγμένο ζεύγος (α, β) ερμηνεύεται ως ένα διάνυσμα με αρχή στο Ευκλείδειο επίπεδο στο σημείο (α ,β) του επιπέδου. Το άθροισμα δύο διανυσμάτων βρίσκεται προσθέτοντας τις ατομικές τους συντεταγμένες:
(α,β) + (γ,δ) = (α+γ,β+δ).
Αυτή η προσθετική ιδιότητα είναι κεντρικής σημασίας στην κλασική μηχανική, στην οποία τα διανύσματα ερμηνεύονται ως δυνάμεις.

Στην αριθμητική υπολοίπων, το σύνολο των ακεραίων modulo 12 έχει δώδεκα στοιχεία; κληρονομεί μια λειτουργία της πρόσθεσης των ακεραίων που είναι κεντρικής σημασίας στην θεωρία συνόλων. Το σύνολο των ακεραίων  modulo 2 έχει δύο στοιχεία; η προσθετική λειτουργία που κληρονομεί είναι γνωστή ως Άλγεβρα του Μπουλ ως η συνάρτηση της "αποκλειστικής διάζευξης" . Στη γεωμετρία, το άθροισμα δύο μέτρων γωνιών λαμβάνεται συχνά να είναι το άθροισμα τους ως πραγματικοί αριθμοί modulo 2π. Αυτό ισοδυναμεί με μια λειτουργία πρόσθεσης στον κύκλο, το οποίο με τη σειρά του γενικεύεται σε προσθετικές λειτουργίες σε πολυδιάστατους δακτυλίους.

Η γενική θεωρία της αφηρημένης άλγεβρας επιτρέπει μια "προσθετική" λειτουργία να είναι  και προσεταιριστική και αντιμεταθετική λειτουργία σε ένα σύνολο. Βασικές  αλγεβρικές δομές με μια τέτοια προσθετική λειτουργία περιλαμβάνουν μεταθετικά μονοειδή και αβελιανές ομάδες.

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

Στη θεωρία κατηγοριών, η ξένη ένωση θεωρείται σαν μια ειδική περίπτωση της λειτουργίας του κατηγορηματικού αθροίσματος , και γενικά τα κατηγορηματικά αθροίσματα είναι ίσως τα πιο αφηρημένα από όλες τις γενικεύσεις της πρόσθεσης. Κάποια κατηγορηματικά αθροίσματα, όπως το  Ευθύ άθροισμα και το Wedge sum, ονομάστηκαν επικαλούμενα τη σύνδεσή τους με την πρόσθεση.

 Σχετικές πράξεις 

 Αριθμητική 
Η αφαίρεση μπορεί να θεωρηθεί σαν ένα είδος πρόσθεσης —αυτό είναι, η πρόσθεση ενός  προσθετικού αντιστρόφου. Η αφαίρεση είναι από μόνη της ένα είδος  αντιστρόφου της πρόσθεσης, όπου το να προσθέτεις χ και να αφαιρείς χ είναι αντίστροφες συναρτήσεις.

Δοθέντος ενός συνόλου με μια προσθετική πράξη, κάποιος δε μπορεί πάντα να ορίσει μια αντίστοιχη αφαιρετική πράξη σε αυτό το σύνολο; το σύνολο των φυσικών αριθμών είναι ένα απλό παράδειγμα. Από την άλλη, μια αφαιρετική πράξη προσδιορίζει μοναδικά μια προσθετική πράξη, μια προσθετική αντίστροφη πράξη, και μια προσθετική ταυτότητα; για αυτό το λόγο, μια προσθετική ομάδα μπορεί να περιγραφτεί σαν ένα σύνολο κλειστό ως προς την αφαίρεση.Το σύνολο πρέπει να είναι ακόμα μη κενό.Οι Dummit και Foote (p.48) συζητούν το πολλαπλά γραμμένο κριτήριο.

Ο πολλαπλασιασμός στους φυσικούς αριθμούς μπορεί να θεωρηθεί σαν μια επαναλαμβανόμενη πρόσθεση. Αν ένας όρος χ εμφανίζεται σε ένα άθροισμα ν φορές, τότε το άθροισμα είναι το γινόμενο των ν και χ. Αν το ν δεν είναι φυσικός αριθμός, το γινόμενο μπορεί ακόμα και έχει νόημα; για παράδειγμα, ο πολλαπλασιασμός με −1 παράγει τον προσθετικό αντίστροφο ενός αριθμού.


Στους πραγματικούς και μιγαδικούς αριθμούς, η πρόσθεση και ο πολλαπλασιασμός μπορούν να εναλλάσσονται με την εκθετική συνάρτηση:
eα + β = eα eβ.Rudin p.178
Αυτή η ταυτότητα επιτρέπει στον πολλαπλασιασμό να πραγματοποιείται με τη διαβούλευση ενός πίνακα από λογαρίθμους και υπολογίζει την πρόσθεση με το χέρι; επίσης επιτρέπει τον πολλαπλασιασμό σε έναν λογαριθμικό κανόνα. Ο τύπος εξακολουθεί να είναι μια καλή προσέγγιση πρώτης τάξης στο ευρύτερο πλαίσιο των ομάδων Lie, όπου σχετίζει τον πολλαπλασιασμό των απειροελάχιστων στοιχείων της ομάδας με την πρόσθεση των διανυσμάτων στη σχετική άλγεβρα Lie.Lee p.526, Proposition 20.9

Υπάρχουν ακόμα περισσότερες γενικεύσεις του πολλαπλασιασμού από αυτές τις πρόσθεσης.Ο Linderholm (p.49) παρατηρεί, "Με τον πολλαπλασιασμό, κυριολεκτικά, ένας μαθηματικός μπορεί να εννοεί οτιδήποτε. Με την πρόσθεση μπορεί να εννοεί μια μεγάλη ποικιλία πραγμάτων, όχι όμως τόσο μεγάλη όσο αυτή που θα εννοούσε με τον 'πολλαπλασιασμό'." Γενικότερα, οι πολλαπλασιαστικές πράξεις πάντα επιμερίζονται ως προς την πρόσθεση; αυτό το αξίωμα επισημοποιείται στον ορισμό του δακτυλίου. Σε κάποια σύνολα, όπως είναι οι ακέραιοι αριθμοί, η επιμεριστικότητα της πρόσθεσης και η ύπαρξη μιας πολλαπλασιαστικής ταυτότητας είναι αρκετά για να ορίσουν μοναδικά μια πολλαπλασιαστική πράξη. Η επιμεριστική ιδιότητα παρέχει επίσης πληροφορίες σχετικά με την πρόσθεση; επεκτείνοντας το γινόμενο (1 + 1)(α + β) με δύο τρόπους, κάποιος καταλήγει στο ότι η πρόσθεση αναγκάζεται να είναι επιμεριστική. Γι' αυτό το λόγο, η πρόσθεση δακτυλίων είναι επιμεριστική γενικά.Dummit and Foote p.224. Για να λειτουργήσει αυτό το επιχείρημα, θα πρέπει ακόμα να υποθέσουμε ότι η πρόσθεση είναι μία πράξη της ομάδας και αυτός ο πολλαπλασιασμός έχει μια ταυτότητα.

Η διαίρεση είναι μια αριθμητική πράξη μακρόθεν σχετιζόμενη με την πρόσθεση. Αφού α/β = α(β−1), η διαίρεση είναι δεξιά επιμεριστική ως προς την πρόσθεση: (α + β) / γ = α / γ + β / γ.Για παράδειγμα της αριστερής και δεξιάς επιμεριστικότητας, δες Loday, ειδικά p.15. Όμως, η πρόσθεση δεν είναι αριστερά επιμεριστική ως προς την πρόσθεση; 1/ (2 + 2) δεν είναι το ίδιο με 1/2 + 1/2.

 Διάταξη 
Η πράξη του μεγίστου "max (α, β)" είναι μια δυαδική πράξη όμοια της πρόσθεσης. Στην πραγματικότητα, αν δύο μη-αρνητικοί αριθμοί α και β είναι από διαφορετικές τάξεις μεγέθους, τότε το άθροισμα τους είναι περίπου ίσο με τον μέγιστό τους. Αυτή η προσέγγιση είναι ιδιαίτερα χρήσιμη στις εφαρμογές των μαθηματικών , για παράδειγμα στην περικοπή των σειρών Taylor.Παρ' όλα αυτά, παρουσιάζει μια αιώνια δυσκολία στη θεωρία αριθμών, αφού ουσιαστικά το "max" δεν είναι αντιστρέψιμο. Αν το β είναι πολύ μεγαλύτερο του α, τότε ένας ευθύς υπολογισμός του  (α + β) − β μπορεί να προκαλέσει ένα μη-αποδεκτό σφάλμα στρογγύλευσης, που ίσως ακόμη να τείνει  στο μηδέν. Δείτε επίσης Απώλεια σημαντικότητας.

Η προσέγγιση γίνεται ακριβώς ένα είδος άπειρου ορίου; Αν ή το  α ή το β είναι ένας άπειρος απόλυτος αριθμός, το απόλυτο άθροισμα τους είναι ακριβώς ίσο με τον μεγαλύτερο απ' τους δύο.Ο Enderton ονομάζει αυτήν την κατάσταση  "Νόμο Απορρόφησης της Απόλυτης Αριθμητικής"; εξαρτάται από τη συγκρισιμότητα των απολύτων και ως εκ τούτου στο Αξίωμα της επιλογής. Κατά συνέπεια, δεν υπάρχει καμία αφαιρετική πράξει για τους άπειρους απόλυτους αριθμούς.Enderton p.164

Η μεγιστοποίηση είναι μεταθετική και προσεταιριστική, όπως η πρόσθεση. Ακόμα, αφού η πρόσθεση διατηρεί τη διάταξη των πραγματικών αριθμών, η πρόσθεση επιμερίζεται ως προς το "max" με τον ίδιο τρόπο που επιμερίζεται ο πολλαπλασιασμός ως προς την πρόσθεση:

α + max (β, γ) = max (α + β, α + γ).
Για τους λόγους αυτούς, στην τροπική γεωμετρία κάποιος αντικαθιστά τον πολλαπλασιασμό με την πρόσθεση και την πρόσθεση με τη μεγιστοποίηση. Σε αυτό το πλαίσιο, η πρόσθεση λέγεται "τροπικός πολλαπλασιασμός", η μεγιστοποίηση λέγεται "τροπική πρόσθεση", και η τροπική "προσθετική ταυτότητα" είναι αρνητικό άπειρο.Mikhalkin p.1 Κάποιοι συγγραφείς προτιμούν να αντικαθιστούν την πρόσθεση με την ελαχιστοποίηση; τότε η προσθετική ταυτότητα είναι θετικό άπειρο.Akian et al. p.4

Συνδυάζοντας αυτές τις παρατηρήσεις μαζί,  η τροπική πρόσθεση είναι περίπου σχετιζόμενη με τη συνηθισμένη πρόσθεση μέσω λογαρίθμου:
log (α + β) ≈ max (log α, log β),
που γίνεται περισσότερο ακριβής όσο η βάση του λογαρίθμου αυξάνει.Mikhalkin p.2 Η προσέγγιση μπορεί να γίνει ακριβής θεωρώντας μια σταθερά  η, που ονομάστηκε κα' αναλογία με τη σταθερά του Πλανκ από την κβαντομηχανική,Litvinov et al. p.3 και παίρνοντας το "κλασικό όριο" όταν το h τείνει στο μηδέν:

Υπό την έννοια αυτή, η πράξη του μεγίστου είναι μια παραλλαγμένη εκδοχή της πρόσθεσης.Viro p.4

 Άλλοι τρόποι να προσθέτεις 
Η σταδιακή αύξηση, επίσης γνωστή ως η διαδοχική πράξη, είναι η πρόσθεση του 1 σε έναν αριθμό.

Η άθροιση περιγράφει την πρόσθεση αυθαιρέτως πολλών αριθμών, συνήθως περισσότερων από δύο. Περιλαμβάνει την ιδέα του αθροίσματος ενός μόνο αριθμού, που είναι ο ίδιος ο αριθμός, και το κενό άθροισμα, που είναι μηδέν.Martin p.49 Ένα άπειρο άθροισμα είναι μια λεπτή διαδικασία γνωστή ως σειρά.Stewart p.8

Μετρώνταςένα πεπερασμένο σύνολο είναι ισοδύναμο με το να προσθέτεις  1 στο σύνολο.

Η ολοκλήρωση είναι ένα είδος «άθροισης» πάνω σε ένα συνεχές, η πιο σωστά και γενικά, πάνω σε μια διαφορίσιμη πολλαπλότητα. Ολοκλήρωση πάνω από μια πολλαπλότητα διάστασης μηδέν οδηγεί στην άθροιση.

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

Η συνέλιξη χρησιμοποιείται για να προσθέτει δυο ανεξάρτητες  τυχαίες μεταβλητές ορισμένες από συναρτήσεις κατανομής. Ο ορισμός της συνδυάζει ολοκλήρωση, αφαίρεση, και πολλαπλασιασμό. Γενικότερα, η συνέλιξη είναι χρήσιμη ως ένα είδος πλευρικού πεδίου της πρόσθεσης; σε αντίθεση, η πρόσθεση διανυσμάτων είναι ένα είδος πλευρικού εύρους της πρόσθεσης.

 Στη λογοτεχνία 
Στο κεφάλαιο 9 του Λιούις Κάρολ Μες στον καθρέφτη και τι βρήκε η Αλίκη εκεί, η Λευκή Βασίλισσα ρωτάει την Αλίκη, "Και κάνεις πρόσθεση? ... Πόσο κάνει ένα και ένα και ένα και ένα και ένα και ένα και ένα και ένα και ένα και ένα?" Η Αλίκη παραδέχτηκε ότι έχασε το μέτρημα, και η Κόκκινη Βασίλισσα δήλωσε, "Αυτή δε ξέρει να κάνει πρόσθεση".
Στο Χίλια εννιακόσια ογδόντα τέσσερα του Τζωρτζ Όργουελ  , ζητείται η τιμή του 2 + 2 ; Η πολιτεία υποστηρίζει ότι αν δηλωθεί 2 + 2 = 5, τότε έτσι θα 'ναι. Δες  Δύο και δύο κάνει πέντε για την ιστορία αυτής της ιδέας.

 Υποσημειώσεις 

 Πηγές 
Ιστορία

Στοιχειώδη μαθηματικά

Εκπαίδευση

California State Board of Education mathematics content standards Adopted December 1997, accessed December 2005.

Γνωστική επιστήμη

Mathematical exposition

Advanced mathematics

Mathematical research

Litvinov, Maslov, and Sobolevskii (1999). Idempotent mathematics and interval analysis. Reliable Computing, Kluwer.

Computing

 Περαιτέρω ανάγνωση 






 Εξωτερικοί σύνδεσμοι 

Κατηγορία:Δυαδικές πράξεις
Κατηγορία:Στοιχειώδης αριθμητική
Κατηγορία:Μαθηματικός συμβολισμός