PAUTA CONTROL 2

Problema 1:
a) Usamos induccion en n, probando la afirmaci
k < n. El
caso

on para

todo
P0
1
0
base consiste en n = 1 y k = 0. Se tiene que 0 = 1 = 0 = j=0 11j
0j .
Para el paso inductivo, calculamos:
  
 

n
n1
n1
=
+
k
k
k1

 k1
X n 2 j 
n1
=
+
kj1
k
j=0


 X
k 
n1j
n1
=
+
kj
k
j=1

k 
X
n1j
,
=
kj
j=0
usando en el primer paso la igualdad de Pascal, y en el segundo la hipotesis de
induccion. Alternativamente, uno puede argumentar
con el
triangulo

de Pascal.


Pk
b) Como es una suma telescopica, tenemos que i=1 2( k+1
k+1
) = 2( k+1
i
i+1
1


k+1
k+1 ) = 2k. Calculamos
n
X

2k

k=0

 
 
n
X
n
n
=2
(n (n k))
k
k
k=0


 
n
n
X
X
n
n
=2
n
2
(n k)
k
k
k=0
k=0




n
n
X
X
n
n
= 2n
2
(n k)
nk
k
k=0
k=0


n
X n
= 2n 2n 2
k
,
k
k=0

y entonces vale 2
c)
n
X

k=1

Pn

k=0

n
k

2n2n
2

= n 2n .
n

1X
1
1
1
=

)
(
k(k + 1)(k + 2)
2
k(k + 1) (k + 1)(k + 2)
k=1

1 1
1
= (
)
2 2 (n + 1)(n + 2)
n(n + 3)
=
4(n + 1)(n + 2)

Problema 2:
1

a) Suponga que |F (A)| |A|. Como la funcion que lleva cada elemento a
de A a la funcion constante ca : A A claramente es una inyeccion, podemos
assumir que |F (A)| = |A|. Es decir, existe una funci
on biyectiva f : A F (A).
Construiremos una funci
on g : A A elegiendo para cada a A su imagen
g(a) tal que no es igual a (f (a))(a). (Eso es posible, porque A tiene mas de
un elemento.) Se tiene que g F (A), por lo tanto, como f es biyectiva, existe
un x A tal que f (x) = g. Pero por construcci
on, (f (x))(x) 6= g(x), una
contradiccion.
b) Como B \ {x} es infinito, sabemos que |B \ {x}| |N|. Entonces existe
una funci
on inyectiva f : N B \ {x}. Definimos la funci
on g : B B \ {x}
como

si b = x
f (0),
g(b) = f (n + 1), si b = f (n) para un n N

b,
si b
/ f (N) y b 6= x.
Vemos
f
acilmente que para h : B \ {x} B definido como
x,
si b = f (0)

h(b) = f (n 1), si b = f (n) para un n N+

b,
si b
/ f (N),
se tiene que g h = idB\{x} y h g = idB . Por lo tanto, g es biyectiva.
c) Sea A C. Como

para cada D C se tiene |A D| = k, y A tiene solo
un n
umero finito ( nk para ser exacto) de subconjuntos de tama
no k, hay un
subconjunto infinito C 0 de C tal que cada D C 0 tiene la misma interseccion
con A. (En el caso contrario C sera una union de conjuntos finitos, que es
imposible.) Resumindo, existe un B A, con |B| = k, tal que para cada
elemento D C 0 vale D A = B.
Ahora, sean D, D0 C 0 . Como B D y B D0 tenemos que B D D0 .
Para ver que tambien D D0 B, suponga que existe un x (D D0 ) \ B.
Eso implica que k = |D D0 | |B| + 1 k + 1, una contradiccion.
Problema 3:
a) (i) Sea e el neutro de G. Si x ? H = H tenemos en particular que
x = x ? e H. Para la otra direcci
on, suponga que x H. Como ? es una composicion interna en H, se tiene que x ? H H. Como cada elemento h de H se
puede escribir como h = x?(x1 ?h) y x1 ?h H, tenemos tambien H x?H.
a) (ii) Suponga y ? H H 6= . Entonces existe un x y ? H H. Como
x y ? H, existe un h H tal que x = y ? h. Porque x H y h1 H eso
implica que y = x ? h1 H, una contradiccion.
b) (i) Sean a, b G. Se tiene a ? b = e ? (a ? b) ? e = (b ? b) ? (a ? b) ? (a ? a) =
b ? ((b ? a) ? (b ? a)) ? a = b ? e ? a = b ? a. Entonces, (G, ?) es abeliano.
b) (ii) Como |G| 3, existen x, y G tales que x 6= y y x 6= e 6= y. Como
G es abeliano, x ? y = y ? x. Observamos que x ? y 6= x, porque x es cancelable
y y 6= e. Tambien tenemos que x ? y 6= y, porque y es cancelable y x 6= e. Por
u
ltimo, x ? y 6= e = x ? x porque x es cancelable y x 6= y. En total, el conjunto
H = {e, x, y, x ? y} tiene exactamente 4 elementos.
2

Como H contiene e y cada elemento de G es su proprio inverso, es suficiente

comprobar que ? es una composicion interna en H para saber que (H, ?) forma
un subgrupo de (G, ?). Como cada elemento es su proprio inverso y como ?
es conmutativo, los u
nicos casos interesantes que tenemos que comprobar son:
x ? (x ? y) = y y y ? (x ? y) = x.
Sigue que (H, ?) es un subgrupo de (G, ?). El teorema de Lagrange implica
entonces que 4 = |H| divide |G|.