Let be a finite set of elements. What is the number of -tuples of sets , such that
Note : the may be empty. Bonus : generalize. Part 1? -> klick here ;) <-
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
If T has a elements, the number of b -tuples is ( 2 b − 1 − 1 ) a . Here, this is 6 3 5 = 9 9 2 4 3 6 5 4 3 .
To see this in general, let P ′ = P ( { 1 , … , b − 1 } ) − { ∅ } be the set of all nonempty subsets of { 1 , … , b − 1 } . Then I claim that there is a bijection between such b -tuples and functions f : T → P ′ . This bijection identifies a b -tuple with the function f ( t ) = { i ∈ { 1 , … , b − 1 } : t ∈ T i } .
Since P ′ has 2 b − 1 − 1 elements, the number of functions f : T → P ′ is ( 2 b − 1 − 1 ) a .
(A more down-to-earth way of stating this proof is: if T = { t 1 , … , t 5 } , there are 6 3 choices for which sets t 1 belongs to, 6 3 choices for which sets t 2 belongs to, and so on. So there are 6 3 5 total possibilities.)