PRUEBA UN POCO MS DETALLADA DE LOS LEMAS 1.

1 Y
1.2 DE STEINSHAKARCHI

Sea d entero positivo fijado. Un conjunto R Rd es llamado un rectngulo 1 si

existen reales a1 < b1 , a2 < b2 , . . . , ad < bd tales que
R = [a1 , b1 ] [a2 , b2 ] [ad , bd ] .
Las i-coordenadas de R son los nmeros ai , bi . El volumen de R es definido como:
|R| := (b1 a1 )(b2 a2 ) (bd ad ) .
Una familia finita de rectngulos R1 , . . . , Rn es llamada casi-disjunta si los interiores son disjuntos, es decir,
i 6= j int(Ri ) int(Ri ) = .
Lema S1. Si R1 , R2 , . . . , Rk es una familia casi-disjunta de rectngulos s cuya
n
unin k=1 Rk es un rectngulo R entonces
|R| =

n
X

|Rk | .

k=1

Lema 2. Si R1 , R2 , . . . , Rk es una familia de rectngulos s cuya unin

contiene un rectngulo R entonces
|R|

n
X

Sn

k=1

Rk

|Rk | .

k=1

Para probar estos lemas introducimos un concepto auxiliar. Dados nmeros:

a1 (0) < a1 (1) < < a1 (n1 ),

(llamados las 1-coordenadas)

a2 (0) < a2 (1) < < a2 (n2 ),

(llamados las 2-coordenadas)

...
ad (0) < ad (1) < < ad (nd )

(llamados las d-coordenadas)

la red determinada por ellos es la familia formada por los n1 n2 . . . nd rectngulos

de la forma
[a1 (j1 1), a1 (j1 )] [a2 (j2 1), a2 (j2 )] [ad (jd 1), ad (jd )] .
La red es una familia casi-disjunta de rectngulos cuya unin es el rectngulo
[a1 (0), a1 (n1 )] [a2 (0), a2 (n2 )] [ad (0), ad (nd )] .
Sigue de la propiedad distributiva de la aritmtica que el Lema 1 es cierto para
redes.
1En esta nota solo consideraremos rectngulos cerrados.
1

2 PRUEBA UN POCO MS DETALLADA DE LOS LEMAS 1.1 Y 1.2 DE STEINSHAKARCHI

Prueba del Lema 1 (caso general). Sean rectngulos casi-disjuntos R1 , R2 , . . . , Rk

cuya unin es un rectngulo R. Consideremos la red cuyas i-coordenadas son las
i-coordenadas de todos
Sm los Rk . Indexemos los rectngulos de la red como S1 , . . . ,
Sm ; entonces R = j=1 Sj . Adems, cada uno de los Rk se puede tambin escribir
como una unin de los rectngulos de la red:
[
Rk =
Sj ,
jJk

donde Jk es un subconjunto apropiado del conjunto {1, . . . , m}. Como los Rk son
casi-disjuntos, sigue que los Jk son disjuntos, y como la unin de los Rk es R, sigue
que la unin de los Jk es {1, . . . , m}. Por lo tanto:
m
X
|R| =
|Sj |
(Lema 1 para redes)
j=1

n X
X

|Sj | (cambiando el orden de la suma)

k=1 jJk
n
X

|Rk |

(Lema 1 para redes),

k=1

como queramos demostrar.

Prueba del Lema 2. Dados los rectngulos R1 , R2 , . . . , Rk y R, consideremos la

red cuyas i-coordenadas son las i-coordenadas de los rectngulos. Indexemos los
rectngulos de la red como S1 , . . . , Sm . Cada uno de los rectngulos se puede
escribir como una unin de rectngulos de la red:
[
[
Rk =
Sj ,
R=
Sj
jJk

jJ

donde
apropiados del conjunto {1, . . . , m}. El hecho
1 , . . . , Jk , J son subconjuntos
SJ
Sn
n
R k=1 Rk implica J k=1 Jk . Por lo tanto:
X
|R| =
|Sj |
(Lema 1)
jJ

n X
X
k=1 jJk
n
X

|Rk |

|Sj | (quizs agregando trminos)

(Lema 1),

k=1

como queramos demostrar.