Gaußklammer

Gaußklammerfunktion oder Abrundungsfunktion

Die Gauß-Klammer (auch Entier-Klammer) wird auch als Ganzzahl-Funktion oder Abrundungsfunktion bezeichnet (engl. floor function). Die Notation wurde nach Carl Friedrich Gauß benannt, der das Symbol $\left[ x \right]$ 1808 eingeführt hat.^[1]. Ende des 20. Jahrhunderts verbreitete sich auch die von Kenneth E. Iverson eingeführte Bezeichnung $\operatorname{floor}(x)$ oder $\lfloor x \rfloor$ .^[2]

Sie ist folgendermaßen definiert:

Für eine reelle Zahl

x

ist $\lfloor x \rfloor$ die größte ganze Zahl, die kleiner oder gleich

x

ist.

$\lfloor x \rfloor:=\max_{k\in\Z, k\leq x}(k)$

Beispiele

$\lfloor 2{,}8 \rfloor = 2$
$\lfloor -2{,}8 \rfloor = -3$

Das Ergebnis ist nicht, wie vielleicht vermutet,

- 2

, da definitionsgemäß gelten muss: $\lfloor a \rfloor \le a$ und

- 2

dieser Definition nicht gerecht wird.

$\lfloor 2 \rfloor = 2$

Es gilt immer

$\lfloor x \rfloor \le x < \lfloor x \rfloor+1$

Dabei ist $\lfloor x \rfloor = x$ genau dann, wenn $x$ eine ganze Zahl ist. Für jede ganze Zahl $k$ und jede reelle Zahl $x$ gilt

$\lfloor x+k \rfloor = \lfloor x \rfloor + k$

Die Ganzzahl-Funktion ist nicht stetig, aber oberhalbstetig.

Aufrundungsfunktion

Eine eng verwandte Funktion ist die Aufrundungsfunktion (engl. ceiling function), deren Schreibweise als $\operatorname{ceil}(x)$ oder $\lceil x \rceil$ ebenfalls auf Iverson zurückgeht.^[2] Sie ist so definiert:

Für eine reelle Zahl

x

ist $\lceil x \rceil$ die kleinste ganze Zahl, die größer oder gleich

x

ist.

$\lceil x \rceil:=\min_{k\in\Z, k\ge x}(k)$

Beispiele

$\lceil 2{,}8 \rceil = 3$
$\lceil -2{,}8 \rceil = -2$
$\lceil 2 \rceil = 2$

Sonstige Eigenschaften

Es ist stets

$\lceil x \rceil + \lfloor -x \rfloor = 0$

Sind $m$ und $n$ teilerfremde natürliche Zahlen, dann gilt

$\sum_{j=1}^{n-1} \left \lfloor \frac{jm}{n} \right \rfloor = \frac{(m-1)(n-1)}{2}$

Gewöhnliche Rundung

Die gewöhnliche Rundung auf die nächstliegende ganze Zahl erreicht man mit $\lfloor x + 0{,}5\rfloor$ .

Einzelnachweise

↑ Earliest Uses of Function Symbols, 21. Juni 2007: Until recently [x] has been the standard symbol for the greatest integer function. According to Grinstein (1970), "The use of the bracket notation, which has led some authors to term this the bracket function, stems back to the work of Gauss (1808) in number theory. The function is also referred to by Legendre who used the now obsolete notation E(x)." The Gauss reference is to Theorematis arithmetici demonstratio nova. Werke Volume: Bd. 2 p. 5.
↑ ^a ^b Earliest Known Uses of Some of the Words of Mathematics (C), 21. Juni 2007: The terms CEILING FUNCTION and FLOOR FUNCTION appear in Kenneth E. Iverson's A Programming Language (1962, p. 12): "Two functions are defined: 1. the floor of x (or integral part of x) denoted by $\lfloor x \rfloor$ and defined as the largest integer not exceeding x, 2. the ceiling of x denoted by $\lceil x \rceil$ and defined as the smallest integer not exceeded by x." This was the first appearance of the terms and symbols, according to R. L. Graham, D. E. Knuth & O. Patashnik Concrete Mathematics: A Foundation for Computer Science (1989, p. 67).