IV CIEMAC

F. Nez

PROBLEMAS DE CONTEO: POR QU SON TAN DIFCILES?

BASADO EN LAS IDEAS DE ANDR ANTIB
Flix Nez Vanegas1

Resumen:
El siguiente trabajo plantea la necesidad de resolver los problemas de conteo de una forma ms rigurosa
que la intuitiva. Aqu se expone la solucin a un problema especfico de conteo de dos formas: la usual, la
que se hace en una clase; y una forma rigurosa, la que se exige en otros dominios de la matemtica.
Los problemas de conteo se caracterizan a menudo por ser difciles y adems porque a menudo no se
tiene la certeza de que la solucin dada es la correcta. Por lo general plantean grandes interrogantes y
resulta difcil en muchas ocasiones hacerle notar a un estudiante, con razonamientos que de verdad lo que
convenzan, el error en una solucin dada por l (en el caso en que as sea). Lo anterior obedece a que las
soluciones a estos problemas son ms o menos intuitivas, cortas y sin el rigor matemtico que se exige en
otros dominios de esta disciplina. La regla del producto o de la suma no son reglas fciles de utilizar
adecuadamente, incluso la aplicacin misma de algunos teoremas como por ejemplo el nmero de
aplicaciones de un conjunto finito A en un conjunto finito B que es

no es tan sencilla. Puede suceder,

en caso de que se logre ver que en efecto tal teorema es utilizable, que se equivoque el conjunto de partida
con el de llegada. As por ejemplo, cuando se pide determinar el nmero de maneras de contestar un
2

cuestionario de 10 preguntas utilizando los vocablos si o no, podra darse una respuesta errada ( 10 )
si se equivoca el dominio.
El profesor Antib plante a 20 profesores de superior y 35 de liceo y tambin a 37 estudiantes, en
Francia, el siguiente problema:
Test: Cul es el nmero de aplicaciones sobreyectivas de un conjunto que tiene n+1 elementos en uno
que contiene n elementos?
De los profesores, un total de 16% respondi correctamente (3 de superior y 6 de liceo), mientras que el
resto, no respondi o la solucin dada fue incorrecta. Adems, de los estudiantes, tan slo un 11% respondi
acertadamente. Lo anterior, aunque se trate de un problema especfico y de una muestra pequea de
profesores y estudiantes, no deja de ser alarmante.
A continuacin, se resolver el ejercicio propuesto en el test de dos maneras: La que se hara usualmente
en un curso, es decir la manera intuitiva y corta, y la solucin rigurosa, usando resultados de la teora de
conjuntos, justificando matemticamente cada igualdad y cada implicacin. Es decir se har con todo
detalle, para que resulten difanos al lector.

Problema:
Determine el nmero de aplicaciones sobreyectivas de un conjunto E que tiene n+1
elementos en un conjunto F que contiene n elementos.
Solucin Usual
Se har por etapas y luego se usar la regla del producto:

Instituto Tecnolgico de Costa Rica, Costa Rica. fnunez@itcr.ac.cr

Problemas de conteos Por qu son tan difciles?

Recordemos que la regla del producto dice as: Si una operacin se puede ejecutar en
n1 formas, y si para cada una de stas se puede llevar a cabo una segunda operacin en n2
formas, y para cada una de las primeras dos se puede realizar una tercera operacin en
n3 formas, y as sucesivamente, entonces la serie de k operaciones se puede realizar en
n1n2 n3 K nk formas.

Sea E = {a1 ,K , an , an +1} y F = {b1 ,K , bn } . Bajo estas condiciones, una funcin de E en F es

sobreyectiva si y solamente si un elemento de F y slo uno admite dos preimgenes y si
todos los dems admiten slo uno. Este resultado ser demostrado ms adelante.
I Etapa. Seleccin del elemento de F que admite dos preimgenes, digamos bs : Como en F
hay n elementos, entonces hay n posibilidades de escogerlo.
II Etapa. Seleccin de los dos elementos de E que sern preimgenes del elemento de F,
n + 1
digamos ak y al : Como en E hay n + 1 elementos, entonces hay
posibilidades de
2
escogerlos. Esto es
n + 1
( n + 1)! = ( n + 1)( n )( n 1)! = n(n + 1) .

=
2 ( n 1) !
2
2 2 ( n + 1 2 )!

III Etapa. En E quedan sin asignar n 1 elementos y en F tambin. De esta forma,

Elementos de
E {ak , al }

Posiblidades en F- {bs }

a1

n 1

a2

n2

an +1

Por lo tanto, por la regla del producto, el nmero de maneras de definir una biyeccin
de un conjunto que tiene n 1 elementos en otro que tiene la misma cantidad de elementos
es ( n 1) ! .

IV CIEMAC

F. Nez

As, todo el proceso se puede llevar a cabo, de acuerdo con la regla del producto de

n (n + 1) n ( n 1) ! n (n + 1) !
n(n + 1)
( n 1) ! =
=
maneras. Es decir, el nmero de
2
2
2

aplicaciones sobreyectivas de E en F es

n (n + 1) !
.
2

Solucin Rigurosa

Lo que se va a hacer es redactar una solucin para nada escueta como la anterior, sino que
ms bien, se har con todo el rigor que el exigido en otros dominios de la matemtica. Por
tanto, la solucin no se llevar tan slo unas lneas, sino que ms bien, necesita algunas
pginas.
Se necesitan dos resultados:
1. Dos conjuntos finitos en biyeccin tienen la misma cardinalidad.
2. Si ( Ei )i I es una particin de un conjunto finito E , entonces
Card ( E ) = Card ( Ei )
iI

Recurdese que una particin de un conjunto E es un conjunto de conjuntos no vacos,

disjuntos dos a dos y tal que su unin es E. As por ejemplo, si E = {1, 2,3, 4} , entonces

{{1} ,{2,3} ,{4}} es una particin de E.

Ntese

que

Card ( E ) = 4 =

i{1,2,3}

Card ( Ei ) =Card ( E1 ) + Card ( E2 ) + Card ( E3 ) = 1 + 2 + 1

donde E1 = {1} , E2 = {2,3} y E3 = {1} . Se ve la importancia de que los conjuntos

E1 , E2 , E3 , sean disjuntos dos a dos, de lo contrario se estaran contando algunos elementos
de E dos veces o ms.
Sean E = {a1 ,K , an , an +1} , F = {b1 ,K, bn } y S = { f : E F / f es sobreyectiva} . Se
trata de calcular Card ( S ) . Para ello se va a buscar una particin de S, y luego tal particin
se har ms fina, para luego usar el resultado dos.

Problemas de conteos Por qu son tan difciles?

4
Teorema 1:

Para toda aplicacin f de E en F ,

{ f {b } : i = 1, 2,K , n} es una particin de

1

E , donde

f 1 {bi } es el conjunto de preimgenes de cada bi . En efecto, dada una aplicacin f de E

en F :
a. Cada f 1 {bi } ya que f es aplicacin.
n

b. Es claro que

U f {b } = E
1

i =1

c.

f 1 {bi } f 1 {b j } = i j

Prueba de c: Supngase por contradiccin que existen bi y b j i j elementos en

F tales que

f 1 {bi } f 1 {b j }
ak E tq f (ak ) = bi f (ak ) = b j , pero esto no puede ser dado que

es

aplicacin.
Luego, { f 1 {bi } : i = 1, 2,K , n} es una particin de E .
Teorema 2:

Una aplicacin f de E en F es sobreyectiva si y solamente si un elemento de F y slo uno

admite dos preimgenes y si todos los dems admiten slo uno.
Demostracin:
Como para cada aplicacin f de E en F , el conjunto

{ f {b } : i = 1, 2,K , n} es una
1

particin de E, entonces por el resultado 1, Card ( E ) = Card ( f 1 {bi })

iI

n + 1 = Card ( f 1 {bi }) . De esta manera, es claro que f es sobreyectiva para

iI

todo i {1, 2,K , n} , Card( f 1 {bi } ) 1 . Esto dice que cada bi F debe tener al menos una,
pero adems se vio que

Card ( f {b }) = n + 1 , de donde se concluye que una condicin

1

iI

IV CIEMAC

F. Nez

necesaria y suficiente para que f sea sobreyectiva es que alguno de los f 1 {bi } tenga
cardinalidad 2 (puesto que en F hay tan slo n elementos) y que los dems tengan
cardinalidad uno. Veamos algunas posibilidades

n +1 =

Si cada f 1 {bi } es uno, entonces n + 1 =

Si cada f 1 {bi } es dos, entonces n + 1 =
Si hay dos f 1 {bi } tales que

i{1,2,,K, n}

Card ( f 1 {bi }) = n

Card ( f 1 {bi }) = 2n

i{1,2,,K, n}

i{1,2,,K, n}

f 1 {bi } iguales a 2, y los dems uno, entonces

Card ( f 1 {bi }) = 4 + n 2 = n + 2

Por lo que la nica posibilidad para que f sea sobreyectiva es que alguno de los

f 1 {bi } tenga cardinalidad 2 y que los dems tengan cardinalidad igual a uno. En tal caso,
se cumplira que n + 1 =

i{1,2,,K, n}

Ahora

para

Card ( f 1 {bi }) = 2 + n 1 = n + 1 .

cada

j = 1, 2,K , n ,

denotamos

el

conjunto

S j = {s S : b j tiene dos antecedentes} . Es decir, S j es el conjunto de todas las funciones de

E en F que son sobreyectivas y que adems le asignan a cada b j de F dos preimgenes en

E. As por ejemplo, S 2 es el conjunto de todas las funciones sobreyectivas de E en F en las
que b2 admite dos preimgenes.
Teorema 3:

El conjunto {S j : j = 1, 2,K , n} es una particin de S .

Demostracin:
a.

Es claro que cada S j por el teorema anterior.

Problemas de conteos Por qu son tan difciles?

b.

j =1

j =1

U S j = S . En efecto, si s U S j s S j0 s S . Por otro lado, si s S s es

sobreyectiva un elemento b j admite nicamente dos preimgenes bajo s y los dems

n

elementos de F admiten slo uno (Teorema 2). Por lo tanto s S j , de donde s U S j .

j =1

c.

S j Sk = , j k .

Prueba: Supngase por contradiccin que existen

j y k , con

j k tales que

S j Sk
s S j S k
s S j s Sk

s es sobreyectiva y adems el elemento b j y el bk admiten dos preimgenes con la

aplicacin s . Pero esto, por el teorema 2, se vio que no puede ser
Definicin:

Sea P2 el conjunto de subconjuntos de E que tienen dos elementos. Para cada {k , l} P2 ,

definimos el conjunto S kj , l = {s S j : s ( ak ) = s ( al )} . Es decir, S kj , l es el conjunto de todas
las funciones sobreyectivas que asignan a ak y al a b j .
Teorema 4:

Para cada j = 1, 2,K , n , el conjunto {S kj , l : {k , l} P2 } es una particin de S j .

Demostracin:
a.

Es claro que cada S kj , l (teorema 1)

n

b.

{k ,l}P2

S kj , l = S j

IV CIEMAC

F. Nez

Prueba: Sea s

{k ,l}P2

( ) ( )

S kj , l s ak0 = s al0 = b j para algn {k0 , l0 } P2 y la funcin s

sobreyectiva s S j . Por el otro lado, si s S j b j admite dos preimgenes en E bajo

n

la funcin s s

{k ,l}P2

{k , l} {k ' , l '} S kj ,l S kj ,l
'

Si

c.

S kj , l .
'

=.

Se puede razonar por reduccin al absurdo. Supngase que

{k , l } {k ' , l ' }

S kj , l S kj , l
'

'

{k , l} {k ' , l ' } y existe s S kj , l S kj , l

'

{k , l } {k ' , l ' }

'

( ) ( )

s ( ak ) = s ( al ) = s ak ' = s al ' = b j

sobreyectiva. Ahora, como

{k , l} {k ' , l ' } entonces

donde la funcin

es

al menos un elemento de uno no es

elemento del otro, digamos por ejemplo que k k ' y k l ' , se ve entonces que b j admite
tres preimgenes distintos, lo que contradice el teorema 1. Por lo tanto, si

{k , l} {k ' , l '} S kj ,l S kj ,l
'

'

Denotemos ahora con B al conjunto de biyecciones del conjunto E sin los elementos
ak

al

en

el

conjunto

sin

B = b : E {ak , al } F {b j } / b es biyectiva .
Teorema 4:
Card ( S kj , l ) = Card ( B ) .

Demostracin: Considrese la aplicacin

: B S kj , l
b(ai ) si i k , i l
b (b) = s (ai ) =
b j si i = k , i = l
Ntese que
1.

s:E F

el

elemento

bj .

Es

decir,

Problemas de conteos Por qu son tan difciles?

8
2.

s es sobreyectiva porque la aplicacin b tiene como mbito todo F salvo b j (pues

b es biyectiva) y claramente el mbito de s es F {b j } {b j } = F .

3.

s ( ak ) = s ( al ) = b j

As se tiene que s S kj , l .
Mostremos ahora que es una biyeccin. En efecto,
a. es inyectiva:
Sean b y b ' en B tales que

(b) = (b' ) . Como el dominio de b y b ' es el conjunto E {ak , al } , se tiene que

(b)(ai ) = (b ' )(ai ) i l i k
s (ai ) = s ' (ai ) i l i k
b(ai ) = b' (ai ) i l i k
b = b'
b. es sobreyectiva. Hay que demostrar que s S kj , l b B tq (b) = s
Sea s S kj , l tmese b = s

E {ak , al }

. La funcin s restringida al conjunto E {ak , al } es

biyectiva, pues es sobreyectiva de un conjunto que tiene n 1 elementos en otro que tiene
igual nmero de elementos, de este modo b B
Por otro lado, (b) = s ya que i k i l (b)(ai ) = s(ai )
Por el resultado 2, Card ( S kj , l ) = Card ( B) .
Ahora bien, se sabe que Card ( B ) = ( n 1)! Card ( S kj , l ) = (n 1) ! .
As ya se puede calcular la cardinalidad de cada S j . En efecto,
Card ( S j ) =

{k ,l}P2

Card ( S kj , l ) =

( n 1)!

{k ,l}P2

IV CIEMAC

F. Nez

Pero el nmero de subconjuntos de dos elementos de un conjunto que tiene n + 1

n + 1
elementos es
por lo que
2
Card ( S j ) =

n + 1
( n + 1)! (n 1)! = ( n + 1)! .
(n 1)! =
2 ( n 1) !
2
2

( n 1)! =

{k ,l}P2

De esta forma estamos en capacidad de calcular la cardinalidad del conjunto S:

n

j =1

j =1

Card ( S ) = Card ( S j ) =

( n + 1)! = n ( n + 1)! .
2

Conclusin

Si todos los problemas de conteo se realizaran con todo detalle como en este caso, de
seguro la solucin no sera tan escueta, sino ms bien prolija por la rigurosidad matemtica
con que se trabajaran. Por otro lado, la incertidumbre que se tiene cuando se da una
solucin a un problema de este tipo en unas pocas lneas, disminuira con esta manera de
proceder, ya que se tiene ms control en cada etapa de la solucin dada.
La solucin propuesta para este ejercicio necesita muchas etapas y por lo general no se
hace as. Se ve entonces que no es fcil atinarle al error que tiene una solucin dada en el
caso de que lo tenga. Es muy frecuente que en casos como ste se d un conteo doble. De
hecho, el profesor Antib descubre en la solucin que da un profesor, un error, que sin
haber planteado primero la solucin que l propuso, hubiera sido muy difcil lograr
identificarlo.
La solucin errada considera el conjunto S A = {s S : s / A s biyeccin de A sobre F }
donde el conjunto A es subconjunto de E con n elementos. En alguna parte de su solucin
establece la igualdad:
Card ( S ) = Card ( S A ) , pero esto es falso, puesto que las S A no constituyen una

particin de S. En efecto, si esto fuera cierto, para cada s S existira un nico elemento
b j de F que admite dos preimgenes, digamos ak y al . Ahora, considrese los conjuntos

A1 = E {ak } y A2 = E {al } . As, la funcin s es una funcin sobreyectiva que tiene

como dominio A1 el cual tiene n elementos y como mbito F que tambin tiene n

Problemas de conteos Por qu son tan difciles?

10

elementos. Por tanto, s S A1 s S A2 , por lo que al hacer la suma de los cardinales de los
S A , hay un conteo doble.
Se observa entonces que el requisito de ser particin del conjunto S es muy fuerte.

10

IV CIEMAC

F. Nez

11

Bibliografa

Antib, Andr.

2000.

Mtodos de resolucin de problemas.

Segunda Edicin.

Universidad de Costa Rica. San Jos, Costa Rica.

Artigue, Michle; Douady, Rgine; y otros. 1995. Ingeniera didctica en educacin
matemtica, Grupo Editorial Iberoamrica, Colombia.
Ayres, Frank. 1991. lgebra moderna. McGraw Hill. Mxico, D.F.
Banach, Stefan 1967. Clculo diferencial e integral. Segunda Edicin. Unin
Tipogrfica Editorial Hispano-Americana. Mxico, D.F.
Brousseau, Guy. 1986. Fundamentos y mtodos de la didctica de las matemticas.
Caldern, Silvia; Morales Mario. 1988. Anlisis Combinatorio. Editorial Tecnolgica
de Costa Rica, Cartago.
Chevallard, Yves. 1998. La transposicin didctica. Del saber sabio al saber enseado.
Kudriavtsev, L.D.1988. Curso de Anlisis matemtico. Segunda edicin. Editorial MIR,
Mosc.
Lipschuts, Seymour. 1976.Teora y Problemas de Teora de Conjuntos y temas afines.
McGraw Hill. Mxico, D.F.
Piza, Eduardo. Introduccin al Anlisis real en una variable. 2003. Primera Edicin.
Editorial de la Universidad de Costa Rica. Costa Rica.
Polya, G. 1966. Matemtica y razonamiento plausible. Editorial Tecnos S.A. Madrid,
Espaa.
Rudin, Walter. 1979. Anlisis real y complejo. Alhambra. Madrid, Espaa.
Vergnaud, Grard. La teora de los campos conceptuales.