EL MÁXIMO ENTERO DE UN REAL:

En el sistema de los números reales se define el máximo entero de un número real x,

a la expresión denotada por [[x]] = n, donde n es el mayor entero, menor o igual a x,
esto es, en símbolos:
[[x]] = n [[x]] = max{n ϵ Z|n ≤ x}
TEOREMAS SOBRE PROPIEDADES DEL MÁXIMO ENTERO:

 [[x]] € Z, ∀ x ϵ R
En efecto, por definición: [[x]] = max{n ϵ Z|n ≤ x} = n ϵ Z
Luego: [[x]] € Z, ∀ x ϵ R

 Si [[x]] = x xϵR
En efecto:
(1) [[x]] ϵ Z
Luego si: [[x]] € Z x€Z
(2) Si x ϵ Z [[x]] = max{n ϵ Z|n ≤ x}
[[x]] = x

 [[x]] ≤ x < [[x]] + 1, ∀ x ϵ R

En efecto:
Por definición sabemos que:[[x]] = n ϵ Z
Entonces: n ≤ x [[x]] ≤ x…………………………….. (1)
Además: x < n + 1 x < [[x]] + 1…………………….. (2)
Luego, de (1) y (2): [[x]] ≤ x < [[x]] + 1

 Si [[x]] = n n ≤ x < n + 1, n ϵ Z
En efecto:
(1) Si [[x]] = n nϵ Z
[[x]] ≤ x < x + 1
n≤x<n+1
(2) Si n ϵ Z y n ≤ x < n + 1 n = [[x]]

 Si y ϵ Z, [[x]] ≥ y x≥y
En efecto:
(1) Si y ϵ Z ∧[[x]] > y y ≤ [[x]] ≤ x
Y≤x<y x<y
(2) Si x ≥ y e y ϵ Z, entonces por definición:
max{∀y ϵ Z|y ≤ x} = [[x]]
y ≤ x ≤ [[x]] y ≤ [[x]] [[x]] ≥ y

 Si [[x]] < y x < y, ∀y ϵ Z

En efecto:
(1) Si [[x]] < y, donde [[x]] ϵ Z, y ϵ Z [[x]] ≤ y – 1
y - 1 ≤ x < (y-1) + 1
y-1≤x<y x<y
(2) [[x]] ≤ x < [[x]] + 1
Entonces si x < y ∧[[x]] < x, por transitividad:
[[x]] < y
 Si y ϵ Z | [[x]] ≤ y x<y+1
En efecto:
(1) Si [[x]] ≤ y ([[x]] = y v [[x]] < y)
 Si [[x]] = y, tal que y ϵ Z y≤x<y+1
x<y+1
 Si [[x]] < y x<y
Luego se tiene:
[[x]] ≤ y x<y+1
(2) [[x]] ≤ x
Si x < y + 1 [[x]] < x < y + 1 [[x]] < y + 1
Si y ϵ Z (y + 1)ϵ Z; como [[x]] y ϵ Z [[x]] = y, y - 1, y - 2,
[[x]] ≤ y

 Si m ϵ Z [[x + m]] = [[x]] + m

En efecto:
[[x]] = n n≤x<n+1
Sumando m a cada extremo se tiene:
n+m≤x+m<n+1+m
Si m ϵ Z, entonces: (m + n)ϵ Z
n + m ≤ x + m < (n + m) + 1
Luego, por definición: [[x + m]] = n + m
Pero n = [[x]], por lo tanto: [[x + m]] = [[x]] + m, m ϵ Z

 ∀ x, y ϵ R,[[x]] + [[y]] < [[x + y]]

En efecto:
Si n ≤ x < n + 1 [[x]] = n
m≤y<m+1 [[y]] = m
Sumando: n + m ≤ x + y < (n + 1) + (m + 1)
n + m ≤ x + y < (n + m + 1) + 1
Como m ϵ Z y n ϵ Z (m + n) ϵ Z, luego:
[[x + y]] ≥ n + m n + m ∉[[x + y]]
[[x]] + [[y]] ≤ [[x + y]]

0, si x ϵ Z
 ∀ x ϵ R: [[x]] + [[-x]] =
1, si x ϵ (R - Z)
En efecto:
(1) Si x ϵ Z [[x]] = x
Si x ϵ Z ∃ - x ϵ Z | [[x]] = - x
Sumando ambas operaciones: [[x]] + [[-x]] = x – x = 0
(2) Si x ϵ (R - Z), entonces: x = [[x]] + n……………………(α)
Dónde: 0 ≤ n < 1 [[n]] = 0
Multiplicando (α) por (-1): - x = - [[x]] + (-n)
[[-x]] = [[- [[x]] + (-n)]]
[[-x]] = [[- [[x]]]] + [[-n]]…….(β)
Como [[x]]ϵ Z - [[x]]ϵ Z, luego [[- [[x]]]] = - [[x]]
Además: 0 <α< 1 -1 < -n < 0 [[-n]] = -1
Luego en (β): [[-x]] = - [[x]] – 1 [[-x]] + [[x]] = -1, ∀ x ϵ(R - Z)
 ∀ x ϵ R, x – 1 <[[x]] ≤ x
En efecto:
Si xϵ R x = [[x]] + n, donde: 0 ≤ n < 1
[[x]] = x - n…………………………(α)
Si 0 ≤ n < 1 -1 < -n ≤ 0
Sumando x a cada extremo, se tiene:
x-1<x-n≤x
Luego, según (α): x - 1 < [[x]] ≤ x
 ∀ x ϵ Z ∧x ϵ R, si y > x y ≥ [[x]] + 1 <[[x]]
 ∀ x, y ϵ R, si x ≤ y [[x]] ≤ [[y]]
 Si n = 1 - [[x]] 0≤n<1
 Si x ϵ R | x = y + n, 0 ≤ n < 1 y = [[x]]