Es folgt eine Liste von mathematischen Symbolen, die in diesem Buch Verwendung finden. Wenn dir also mal ein Symbol nicht geläufig ist, so schau hier vorbei. Eine vollständige Liste mathematischer Symbole findest du im Wikipedia-Artikel Mathematische Symbole . Eine Liste von mathematischen Konstanten findest du im Artikel Mathematische Konstante .
Symbol
Bedeutung/Übersetzung
A
:
B
{\displaystyle A:B}
A
{\displaystyle A}
ist definiert durch
B
{\displaystyle B}
A
:=
B
{\displaystyle A:=B}
A
{\displaystyle A}
ist per Definition gleich
B
{\displaystyle B}
A
=:
B
{\displaystyle A=:B}
B
{\displaystyle B}
ist per Definition gleich
A
{\displaystyle A}
A
:⇔
B
{\displaystyle A:\Leftrightarrow B}
A
{\displaystyle A}
ist per Definition gleichwertig mit
B
{\displaystyle B}
A
⇔:
B
{\displaystyle A\Leftrightarrow :B}
B
{\displaystyle B}
ist per Definition gleichwertig mit
A
{\displaystyle A}
Symbol
Bedeutung/Übersetzung
Erklärung
¬
A
{\displaystyle \neg A}
nicht
A
{\displaystyle A}
;
A
{\displaystyle A}
ist falsch
Negation
A
∧
B
{\displaystyle A\land B}
A
{\displaystyle A}
und
B
{\displaystyle B}
(sind wahr)
Konjunktion
A
∨
B
{\displaystyle A\lor B}
A
{\displaystyle A}
oder
B
{\displaystyle B}
(sind wahr)
Disjunktion
A
⇒
B
{\displaystyle A\Rightarrow B}
B
{\displaystyle B}
folgt aus
A
{\displaystyle A}
;
A
{\displaystyle A}
impliziert
B
{\displaystyle B}
; wenn
A
{\displaystyle A}
gilt, gilt auch
B
{\displaystyle B}
Implikation
A
⇔
B
{\displaystyle A\Leftrightarrow B}
A
{\displaystyle A}
ist gleichwertig/äquivalent mit
B
{\displaystyle B}
; aus
A
{\displaystyle A}
folgt
B
{\displaystyle B}
und aus
B
{\displaystyle B}
folgt
A
{\displaystyle A}
Äquivalenz
∀
x
:
A
(
x
)
{\displaystyle \forall x:\,A(x)}
Für alle
x
{\displaystyle x}
gilt
A
(
x
)
{\displaystyle A(x)}
.
Allquantor
⋀
x
A
(
x
)
{\displaystyle \bigwedge _{x}A(x)}
∃
x
:
A
(
x
)
{\displaystyle \exists x:\,A(x)}
Es existiert mindestens ein
x
{\displaystyle x}
, sodass
A
(
x
)
{\displaystyle A(x)}
gilt.
Existenzquantor
⋁
x
A
(
x
)
{\displaystyle \bigvee _{x}A(x)}
∃
!
x
:
A
(
x
)
{\displaystyle \exists !x:\,A(x)}
Es existiert genau ein
x
{\displaystyle x}
, sodass
A
(
x
)
{\displaystyle A(x)}
gilt.
Eindeutiger Existenzquantor
Symbol
Bedeutung/Übersetzung
x
∈
M
{\displaystyle x\in M}
x
{\displaystyle x}
ist ein Element der Menge
M
{\displaystyle M}
x
∉
M
{\displaystyle x\notin M}
x
{\displaystyle x}
ist kein Element der Menge
M
{\displaystyle M}
A
⊆
B
{\displaystyle A\subseteq B}
A
{\displaystyle A}
ist eine Teilmenge von
B
{\displaystyle B}
A
⊈
B
{\displaystyle A\nsubseteq B}
A
{\displaystyle A}
ist keine Teilmenge von
B
{\displaystyle B}
A
⊊
B
{\displaystyle A\subsetneq B}
A
{\displaystyle A}
ist eine echte Teilmenge von
B
{\displaystyle B}
∅
{\displaystyle \emptyset }
die leere Menge
{
}
{\displaystyle \{\}}
P
(
M
)
{\displaystyle {\mathcal {P}}(M)}
die Potenzmenge von
M
{\displaystyle M}
A
∩
B
{\displaystyle A\cap B}
Durchschnitt von
A
{\displaystyle A}
und
B
{\displaystyle B}
A
∪
B
{\displaystyle A\cup B}
Vereinigung von
A
{\displaystyle A}
und
B
{\displaystyle B}
A
∪
˙
B
{\displaystyle A\;\;\!\!{\dot {\cup }}\;\;\!\!B}
disjunkte Vereinigung von
A
{\displaystyle A}
und
B
{\displaystyle B}
A
∖
B
{\displaystyle A\setminus B}
Differenz zwischen
A
{\displaystyle A}
und
B
{\displaystyle B}
; „
A
{\displaystyle A}
ohne
B
{\displaystyle B}
”
A
△
B
{\displaystyle A\bigtriangleup B}
symmetrische Differenz zwischen
A
{\displaystyle A}
und
B
{\displaystyle B}
A
C
{\displaystyle A^{\rm {C}}}
Komplement zu
A
{\displaystyle A}
(
x
,
y
)
{\displaystyle (x,y)}
geordnetes Paar der Objekte
x
{\displaystyle x}
und
y
{\displaystyle y}
(
x
1
,
x
2
,
…
,
x
n
)
{\displaystyle (x_{1},x_{2},\dots ,x_{n})}
Tupel der Objekte
x
1
{\displaystyle x_{1}}
bis
x
n
{\displaystyle x_{n}}
A
×
B
{\displaystyle A\times B}
kartesisches Produkt von
A
{\displaystyle A}
und
B
{\displaystyle B}
Symbol
mathematisches Objekt
(
a
n
)
n
∈
N
{\displaystyle \left(a_{n}\right)_{n\in \mathbb {N} }}
oder
(
a
n
)
{\displaystyle \left(a_{n}\right)}
die Folge „a n“
(
n
k
)
{\displaystyle {\binom {n}{k}}}
der Binomialkoeffizient „n über k“
x
R
y
{\displaystyle xRy}
x
{\displaystyle x}
steht in Relation zu
y
{\displaystyle y}
f
:
X
→
Y
{\displaystyle f:X\rightarrow Y}
die Abbildung „f von X nach Y“
f
∘
g
{\displaystyle f\circ g}
die Komposition der Abbildungen
f
{\displaystyle f}
mit
g
{\displaystyle g}
x
∘
y
{\displaystyle x\circ y}
die Verknüpfung der Objekte
x
{\displaystyle x}
und
y
{\displaystyle y}
∑
k
=
n
m
a
(
k
)
{\displaystyle \sum _{k=n}^{m}a(k)}
die Summe von
a
(
k
)
{\displaystyle a(k)}
für
k
=
n
{\displaystyle k=n}
bis
m
{\displaystyle m}
.
∏
k
=
n
m
a
(
k
)
{\displaystyle \prod _{k=n}^{m}a(k)}
das Produkt von
a
(
k
)
{\displaystyle a(k)}
für
k
=
n
{\displaystyle k=n}
bis
m
{\displaystyle m}
.
n
!
{\displaystyle n!}
„n Fakultät “