Μηδέν με πρόσημο

Το μηδέν με πρόσημο είναι ο αριθμός του μηδενός (0) μαζί με το θετικό (+) ή αρνητικό (-) πρόσημο. Στην συνήθη αριθμητική ο αριθμός μηδέν δεν διαθέτει πρόσημο, έτσι το +0 ή -0 είναι το ίδιο με το 0. Ωστόσο στην επιστήμη υπολογιστών, κάποιες αναπαραστάσεις αριθμών επιτρέπουν την ύπαρξη δύο τύπων μηδενικών, του αρνητικού μηδενός (-0) και του θετικού μηδενός (+0) τα οποία ως αριθμητικές ποσότητες είναι ίσες αλλά επιφέρουν διαφορετικά αποτελέσματα σε συγκεκριμένους υπολογισμούς στα πρόσημα και μεγέθη στο συμπλήρωμα ως προς 1 σε σχέση με τις αριθμητικές αναπαραστάσεις με πρόσημο για τους ακεραίους, και στις περισσότερες αναπαραστάσεις της αριθμητικής κινητής υποδιαστολής. Στις περιπτώσεις αυτές ο κοινός αριθμός 0 συνήθως αναπαρίσταται ως προεπιλογή με θετικό πρόσημο (+0).
Το πρότυπο IEEE 754 για τις πράξεις κινητής υποδιαστολής -το οποίο ακολουθείται από τους περισσότερους υπολογιστές και γλώσσες προγραμματισμού- απαιτεί την ύπαρξη και του +0 και του −0. Η πραγματική αριθμητική με χρήση μηδενός με πρόσημο αποτελεί εκδοχή της εκτεταμένης γραμμής πραγματικών αριθμών τέτοιας ώστε 1/−0 = −∞ και 1/+0 = +∞, ενώ η διαίρεση δεν είναι ορισμένη για τις πράξεις ±0/±0 and ±∞/±∞.
Τα μηδενικά με αρνητικό πρόσημο αντιστοιχούν στην έννοια της μαθηματικής ανάλυσης όπου το 0 προσεγγίζεται από κάτω ως μονόπλευρο όριο, το οποίο αναπαριστάται ως x → 0⁻, x → 0−, ή x → ↑0.  Η σημειολογία "−0" χρησιμοποιείται επίσης ανεπίσημα υποδηλώνοντας έναν μικρό αρνητικό αριθμό ο οποίος έχει στρογγυλοποιηθεί στο μηδέν. Η έννοια του αρνητικού μηδενός έχει επίσης κάποιες θεωρητικές εφαρμογές στην στατιστική μηχανική και άλλα συναφή πεδία.
Έχει υποστηριχτεί πως η συμπερίληψη του μηδέν με πρόσημο στο πρότυπο IEEE 754 κάνει ευκολότερη την επίτευξη αριθμητικής ακρίβειας σε κάποια κρίσιμα προβλήματα, συγκεκριμένα όταν γίνονται υπολογισμοί με συναρτήσεις μιγαδικών αριθμών.

Αναπαραστάσεις

Στην κωδικοποίηση του συμπληρώματος ως προς 2 δεν επιτρέπεται η χρήση αρνητικού μηδενός. Στην αναπαράσταση αριθμών με πρόσημο για ακεραίους αριθμούς ως δυαδικό ψηφίο της μορφής 1+7, το αρνητικό μηδέν αναπαριστάται με την ακολουθία δυαδικών ψηφίων 10000000. Στο συμπλήρωμα ως προς 1 8 δυαδικών ψηφίων,  το αρνητικό μηδέν αναπαριστάται με την δυαδική ακολουθία 11111111. Σε όλες τις τρεις κωδικοποιήσεις, το θετικό μηδέν αναπαριστάται ως 00000000.
Στους δυαδικούς αριθμούς κινητής υποδιαστολής του προτύπου IEEE 754, οι μηδενικές τιμές συμβολίζονται μέσω χρήσης του προκατελλημένου εκθέτη και της μαντίσας (σταθερό μέρος του αριθμού κιν.υποδ.) ως μηδέν. Το αρνητικό μηδέν δεν έχει ορισμένο το ψηφίο προσήμου, ωστόσο αυτό μπορεί να εξαχθεί μέσω άλλων υπολογισμών όπως π.χ. το αποτέλεσμα που προκύπτει από την αριθμητική υποχείλιση (arithmetic underflow) σε αρνητικό αριθμό, ή ως −1.0×0.0, ή απλώς ως −0.0.
Στις δεκαδικές πράξεις κινητής υποδιαστολής IEEE 754 το αρνητικό μηδέν εκφράζεται με τον εκθέτη να διαθέτει την οποιαδήποτε δυνατή τιμή εντός του εύρους της κωδικοποίησης, με την μαντίσα να είναι είναι 0, και το δυαδικό ψηφίο προσήμου 1.

Σημειολογία

Για τα συστήματα τα οποία υποστηρίζουν και τους δύο τύπους μηδενός, χρησιμοποιείται η σημειολογία και  για την διάκριση του προσήμου.

Επιστημονικές χρήσεις

Ανεπίσημα, το μηδέν με αρνητικό πρόσημο "−0" μερικές φορές χρησιμοποιείται για να υποδηλωθεί πως μια μικρή αρνητική τιμή έχει στρογγυλοποιηθεί στο μηδέν. Για παράδειγμα κατά την παράθεση θερμοκρασιών Κελσίου, το αρνητικό πρόσημο στο μηδέν σημαίνει πως η θερμοκρασία είναι κάτω από το σημείο όπου το νερό γίνεται πάγος.
Στην στατιστική μηχανική, μερικές φορές χρησιμοποιούνται αρνητικές θερμοκρασίες για την περιγραφή συστημάτων με αντιστροφή πληθυσμού, η οποία μπορεί να θεωρηθεί πως διαθέτει θερμοκρασία μεγαλύτερη από την θετική απειρότητα, καθώς ο συντελεστής της ενέργειας στην συνάρτηση της κατανομής πληθυσμού είναι −1/Θερμοκρασία. Στο πλαίσιο αυτό, η θερμοκρασία −0 αποτελεί θεωρητική θερμοκρασία η οποία είναι μεγαλύτερη από την οποιαδήποτε άλλη αρνητική θερμοκρασία, αντιστοιχεί στο θεωρητικό μέγιστο της αντιστροφής πληθυσμού,  και είναι το αντίστροφο του +0.