Mathematische Notation
# Mathematische Notation

Als mathematische Notation bezeichnet man in Mathematik, Logik und Informatik die Darstellung von Formeln und anderen mathematischen Objekten mittels mathematischer Symbole. Die mathematische Notation entspricht einer Sprache, die formaler ist als viele natürliche Sprachen und dennoch einige Uneindeutigkeiten enthält, wie sie für natürliche Sprachen charakteristisch sind.

## Bestandteile

Die mathematische Notation bedient sich spezieller Symbole

* wie $+,\sin ,2,x$ für mathematische Objekte, etwa Funktionen oder Zahlen,
* Klammern für Zuordnungszwecke
* und für den Aufbau von Schablonen.

Bei den Bezeichnungen für mathematische Objekte unterscheidet man

* Konstanten (fixierte Werte), also allgemeingültige Bezeichnungen für häufig gebrauchte Objekte wie $e,\pi ,0,$ und
* Variablen (veränderliche Werte), also zum Beispiel Bezeichnungen für Objekte, die erst noch gefunden werden müssen oder über die man etwas allgemein aussagen möchte.

## Mathematische Zeichen

### Variablennamen

In der Mathematik werden in der Regel Buchstaben als Zeichen verwendet, wenn es sich um veränderliche Objekte handelt. Für den Textsatz wird meist eine Serifenschrift verwendet.

Beispiele zu Regelfällen des verwendeten Alphabets und des Textsatzes:

* Skalare: in kursiver Schrift: $a=7.$
* Vektoren: teilweise wie Skalare, teilweise mit übergesetztem Pfeil oder halbfett (DIN 1303): ${\vec {F}}\equiv {\boldsymbol {F}}=m\cdot {\boldsymbol {a}}.$ Früher auch Buchstaben in Frakturschrift: ${\mathfrak {F}}$ oder ${\mathfrak {x}}=\left(0\ 2\ 1\right).$
* Komplexe Größen: wie reelle Skalare, in den Ingenieurwissenschaften häufig durch waagerechten Strich unter dem Zeichen (DIN 1304 und DIN 5483): ${\underline {z}}.$
* Mengen: gewöhnliche Großbuchstaben oder bei Zahlenmengen mit Doppelstrich: $\mathbb {N} ,A\cap B.$
* Matrizen: vorzugsweise Großbuchstaben, gelegentlich halbfett (DIN 1303): $\det(M)=4$. Früher auch Großbuchstaben in Frakturschrift: ${\mathfrak {E}}:={\begin{pmatrix}1&\cdots &0\\\vdots &\ddots &\vdots \\0&\cdots &1\end{pmatrix}}.$

Da die Zahl der Buchstaben nicht ausreicht, werden sie oft durch Indizes (kleine, tiefgestellte Ziffern, Buchstaben oder Symbole) ergänzt: $\mathbb {N} _{0},{\vec {F}}_{\text{G}},E_{\perp }.$

### Weitere Zeichen

Andere Zeichen, die z. B. Anweisungen enthalten, bekommen spezielle mathematische Symbole zugewiesen, die nur zum Teil (ursprünglich) aus Alphabeten stammen.

Beispiele:

| Zeichen | Bedeutung | Anwendungsbeispiel |
| - | - | - |
| = | Gleichheitszeichen | $3^{2}=9$ |
| < | Vergleichszeichen „kleiner als“ | $a<7$ |
| + | Pluszeichen | $a+4=7$ |
| $\sum$ | Summenzeichen | $a=\sum _{i=1}^{n}a_{i}$ |
| $\operatorname {Re}$ | Realteil einer komplexen Zahl | $\operatorname {Re} z$ |
| ( ) | Klammern zur Änderung der Auswertungsreihenfolge | $3a+7\neq 3(a+7)$ |
| $\pi$ | Mathematische Konstante | $\pi \approx 3{,}14159$ |
| $\aleph _{0}$ | Mächtigkeit der Menge der natürlichen Zahlen | $\aleph _{0}:=|\mathbb {N} |$ |

## Operatornotation

Neben der Festlegung, welche Zeichen für die einzelnen Operatoren verwendet werden (z. B. $+$ für die Addition), ist die Festlegung der Reihenfolge von Operatoren und ihren Operanden wichtig. In der heute üblichen mathematischen Notation sind viele Varianten gemischt:

| Name | Beschreibung | Beispiele |
| - | - | - |
| Präfixnotation | Operator vor Operanden | $\sin$ (Sinus), $\cos$ (Kosinus), $\ln$ (natürlicher Logarithmus), $f(x)$ (Funktion von x) |
| Postfixnotation | Operator nach Operanden | $!$ (Fakultät), $'$ (Ableitung) |
| Infixnotation | Operator zwischen Operanden | $=$ (Gleichheit), $+$ (Addition), $-$ (Subtraktion), $\cdot$ (Multiplikation), $:$ (Division), $\circ$ (Verkettung), $*$ (Faltung), $\in$ (Element aus), $<,>$ (Vergleich), $\lor$ (Disjunktion), $\land$ (Konjunktion) |
| | Symbol über Operanden | ${\bar {z}}$ (Komplexe Konjugation), ${\widehat {f}}$ (Fourier-Symbol), ${\dot {x}}$ (Ableitung) |
| | Klammerung des Operanden | $\lfloor \cdot \rfloor$ (Gaußklammer für Abrunden), $\lceil \cdot \rceil$ (Aufrunden), $|\cdot |$ (Betrag), $\|\cdot \|$ (Norm), $\langle \cdot ,\cdot \rangle$ (Skalarprodukt), ${\sqrt {\ \ }}$ (Wurzel) |
| | Operatoranwendung ohne Symbole | $ab$ (Multiplikation), $a^{b}$ (Potenz) |
| | Andere | ${\frac {a}{b}}$ (Bruch), $n \choose k$ (Binomialkoeffizient) |

### Infixnotation

In der Arithmetik am gebräuchlichsten ist die Infixnotation, bei der der Operator zwischen die Operanden gesetzt wird. Bei ihr wird die Rechenreihenfolge durch die Wertigkeit der Operationen („Punktrechnung vor Strichrechnung“) bestimmt. Durch das Setzen von Klammern kann man Teilausdrücke festlegen, die zuerst berechnet werden müssen. Beispiel:

    $(3+4+5)\cdot 6\cdot 7+8$

Ein weiteres Beispiel für eine Infixnotation ist die in der Logik verwendete Peano-Russell-Notation:

    $(p\rightarrow q)\vee (q\rightarrow p)$

### Präfixnotation

Ausdrücke in Infixnotation können schnell unübersichtlich werden. In den 1920er Jahren entwickelte deshalb der polnische Logiker und Philosoph Jan Łukasiewicz die polnische Notation, eine Präfixnotation, die ohne Klammern auskommt. Die Operatoren werden dabei mit Großbuchstaben bezeichnet, z. B. $C$ für die materiale Implikation (hinreichende Bedingung) und $A$ für die Disjunktion (Alternative). In polnischer Notation schreibt man den vorgenannten logischen Term so:

    $ACpqCqp$

### Postfixnotation

Bei der Postfix-Notation schreibt man den Operator nach den zu verknüpfenden Argumenten; sie wird daher auch umgekehrte polnische Notation (UPN) genannt. Gelegentlich dem australischen Philosophen Charles Hamblin zugeschrieben, war sie mit hoher Wahrscheinlichkeit ebenfalls bereits Łukasiewicz bekannt. In der Logik wurde die UPN nie verwendet, sie erlangte jedoch durch Arbeiten von Hamblin einige Bedeutung in der frühen Informatik und im frühen Compilerbau, weil sich Ausdrücke in UPN besonders leicht maschinell abarbeiten lassen. Aus demselben Grund übernahm sie die Firma Hewlett-Packard in den 60er Jahren für ihre wissenschaftlichen Taschenrechner.

### Andere Varianten

Andere klammerfreie Notationen sind die Begriffsschriftnotation von Gottlob Frege, die Schreibweise des ersten prädikatenlogischen Systems überhaupt, sowie die Existential Graphs von Charles S. Peirce. Beide weichen zudem stark von den heute gebräuchlichen Notationen ab, weil es sich um graphische, zweidimensionale Schreibweisen handelt.

## Untersuchung mathematischer Notation

Mathematische Notation ist Untersuchungsgegenstand unter anderem in folgenden Bereichen:

* Semiotik
* Geschichte der Mathematik
* Standardisierung (DIN, ISO)
* Computeralgebra
* Programmiersprachen
* Künstliche Intelligenz
* Formale Begriffsanalyse und Verbandstheorie
* Mathematikdidaktik
