Scribd
Cargar
407 vistas3 páginas

El Máximo Entero de Un Real Figueroa

Este documento presenta propiedades del máximo entero de un número real. Define el máximo entero de un número real x, denotado por [[x]], como el mayor entero n que es menor o igual que x. Luego enlista once teoremas sobre propiedades de [[x]], como que [[x]] siempre es un entero, [[x]] ≤ x < [[x]] + 1, y si se suma un entero m a x, el máximo entero de la suma es la suma del máximo entero de x y m.

Cargado por

Yesser Yenerson VILLANUEVA QUIPSE
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
407 vistas3 páginas

El Máximo Entero de Un Real Figueroa

Este documento presenta propiedades del máximo entero de un número real. Define el máximo entero de un número real x, denotado por [[x]], como el mayor entero n que es menor o igual que x. Luego enlista once teoremas sobre propiedades de [[x]], como que [[x]] siempre es un entero, [[x]] ≤ x < [[x]] + 1, y si se suma un entero m a x, el máximo entero de la suma es la suma del máximo entero de x y m.

Cargado por

Yesser Yenerson VILLANUEVA QUIPSE
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

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]]

También podría gustarte