Funciones simples
Objetivos. Definir la noción de función simple, establecer relaciones entre funciones
simples y funciones medibles.
Requisitos. Imágenes y preimágenes, función caracterı́stica de un conjunto, funciones
medibles.
1. Notación (imagen de una función). Sea f : X → Y una función. Denotamos por
R(f ) o por im(f ) su imagen llamada también el rango y el conjunto de valores:
R(f ) = im(f ) = f [X] = y ∈ Y : ∃x ∈ X f (x) = y .
2. Definición (función simple). Una función f : X → C se llama simple si su imagen
R(f ) es un conjunto finito.
3. Observación. De manera similar se definen funciones reales simples y funciones no
negativas simples. Notemos que en todos estos casos funciones simples no pueden tomar
valor +∞ ni −∞.
4. Definición (partición de un conjunto). Sea X un conjunto y sea P ⊂ 2X . Se dice
que P es una partición de X si se cumplen las siguientes condiciones:
[
1. A = X.
A∈P
2. ∀A, B ∈ P A 6= B =⇒ A ∩ B = ∅.
3. ∀A ∈ P A 6= ∅.
Si no se pide la última condición, entonces decimos que P es una partición generalizada.
5. Definición (lista de conjuntos que forma una partición de un conjunto). Sea
X un conjunto y sea (Y1 , . . . , Ym ) una lista de subconjuntos de X. Decimos que la lista
(Y1 , . . . , Ym ) forma una partición de X si se cumplen las siguientes condiciones:
m
[
1. Yj = X.
j=1
2. ∀j, k ∈ {1, . . . , m} j 6= k =⇒ Yj ∩ Yk = ∅.
3. ∀j ∈ {1, . . . , m} Yj 6= ∅.
Si no se pide la última condición, entonces decimos que la lista (Y1 , . . . , Ym ) forma una
partición generalizada de X.
Funciones simples, página 1 de 3
6. Proposición (representación canónica de una función simple). Sea f : X → C
una función simple. Sean v1 , . . . , vm ∈ C números diferentes tales que
{v1 , . . . , vm } = R(f ).
Definimos Y1 , . . . , Ym de la siguiente manera:
Yj = f −1 [{vj }]. (1)
Entonces la lista (Y1 , . . . , Ym ) forma una partición de X, y además se cumple la siguiente
fórmula: m
X
f= vj χYj . (2)
j=1
7. Proposición (definición de una función simple por medio de una repre-
sentación canónica). Sea X un conjunto, sea (Y1 , . . . , Ym ) una partición de X y sean
v1 , . . . , vm ∈ C algunos números diferentes a pares. Sea f : X → C la función definida
mediante la regla
Xm
f= vj χYj . (3)
j=1
Entonces R(f ) = {v1 , . . . , vm } y
Yj = f −1 [{vj }]. (4)
8. Resumen. Cada función de la forma (2) es simple, y cada función simple se escribe
de manera única en forma (2).
9. Proposición (preimagen de un conjunto respecto a una función simple). Sea
f : X → C una función simple, sean v1 , . . . , vm todos los valores diferentes de f y sea
Ak = f −1 [vk ] para todo k ∈ {1, . . . , m}. Entonces para todo B ⊂ Y ,
[
f −1 [B] = Ak .
k∈{1,...,m} :
vk ∈B
10. Proposición (criterio de la medibilidad de una función simple). Sea (X, F)
un espacio medible, sea f : X → C una función simple de la forma (2). Entonces f es
medible si y sólo si todos los conjuntos Y1 , . . . , Ym son medibles.
Funciones simples, página 2 de 3
11. Proposición (definición de una función simple por medio de una repre-
sentación no canónica). Sea X un conjunto, sean Z1 , . . . , Zp subconjuntos de X tales
que
p
[
Zk = X
k=1
y
∀k, s ∈ {1, . . . , p} k 6= s =⇒ Zk ∩ Zs = ∅ ,
y sean w1 , . . . , wp ∈ C. Notemos que algunos de los números w1 , . . . , wp pueden coincidir,
y algunos de los conjuntos Z1 , . . . , Zp pueden ser vacı́os. Encontramos v1 , . . . , vm ∈ C
diferentes a pares tales que
{v1 , . . . , vm } = {wk : k ∈ {1, . . . , p}, Zk 6= ∅}.
Para todo j ∈ {1, . . . , m} pongamos
[
Yj := Zk .
1≤k≤p
wk =vj
Entonces la función p
X
f := wk χZk
k=1
es simple y tiene una representación canónica
m
X
vk χYj .
j=1
Operaciones aritméticas con funciones simples
12. Producto por escalar de una función simple. Sea f : X → C una función simple
y sea c ∈ C. Entonces la función cf también es simple.
13. Suma de funciones simples. Sean f, g : X → C funciones simples. Entonces f + g
también es una función simple.
14. Producto de funciones simples. Sean f, g : X → C funciones simples. Entonces
f g también es una función simple.
Funciones simples, página 3 de 3