Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > University Math Help > Discrete Mathematics, Set Theory and Logic
Reply
 
Thread Tools Display Modes
  #1  
Old November 21st, 2009, 11:12 AM
Junior Member
 
Join Date: Nov 2008
Posts: 46
Country:
Thanks: 4
Thanked 18 Times in 18 Posts
r0r0trog is on a distinguished road
Default Combinatorics & Partitions proof

I'm totally lost on this one... Any hints or solutions are welcome! Thanks in advance.

For n 0, let Bn be the number of partitions of a set of size n. For example, B1 = 1, B2 = 2, B3 = 5, B4 = 15. By convention, B0 = 1. Now, let Dn be the number of partitions of a set of size n into subsets of size at least two. Show that <attachment>
Attached Thumbnails
combinatorics-partitions-proof-proof.bmp  
Reply With Quote
Advertisement
 
  #2  
Old November 21st, 2009, 05:32 PM
Member
 
Join Date: Nov 2009
Posts: 231
Country:
Thanks: 9
Thanked 77 Times in 73 Posts
qmech will become famous soon enoughqmech will become famous soon enough
Default Confusion over problem

If by 'partition' you mean an unordered way to write a number n as a sum of positive integers, the first few partitions are:

P(1) = 1, as
1 can only be written as 1.

P(2) = 2, as
2 can be written as 2 or 1+1.

P(3) = 3, as
3 can be written as 3 or 2+1 or 1+1+1.

P(4) = 5, as
4 can be written as 4 or 3+1 or 2+2, 2+1+1, 1+1+1+1.

which don't match your problem description.

Please clarify your problem.
Reply With Quote
  #3  
Old November 22nd, 2009, 02:10 AM
Junior Member
 
Join Date: Nov 2008
Posts: 46
Country:
Thanks: 4
Thanked 18 Times in 18 Posts
r0r0trog is on a distinguished road
Default

Well, Bi is the i:th Bell number.
Bell number - Wikipedia, the free encyclopedia
Reply With Quote
  #4  
Old November 22nd, 2009, 02:37 AM
Newbie
 
Join Date: Nov 2009
Posts: 5
Country:
Thanks: 2
Thanked 0 Times in 0 Posts
hfcriske is on a distinguished road
Default Partitions

He's indeed referring to the Bell numbers, which are the number of partitions of a set (of n integers) into subsets, and not partitions of an integer.

Dn is simply the number of partitions of a set of integers, such that no partition has less than 2 elements (also known as singleton-free partitions, or 2-restricted Bell numbers, see integer sequence A000296).

While I can't prove the entire thing at the moment, I can say that Bi = Di + D(i+1), since if you take away all the singleton-free partitions of Bi, the remaining Bi - Di partitions will (obviously) all have at least one singleton. Group all these singletons together (partitionwise) and add the element i+1, now you have all the D(i+1) partitions.

The proof is very likely to have something to do with the sieve principle. Also, Dn are partition analogues of derangements, if that's any help.
Reply With Quote
  #5  
Old November 22nd, 2009, 07:04 AM
Super Member
 
Join Date: Mar 2008
Posts: 525
Country:
Thanks: 23
Thanked 239 Times in 203 Posts
awkward is just really niceawkward is just really niceawkward is just really niceawkward is just really niceawkward is just really nice
Default

Quote:
Originally Posted by r0r0trog View Post
I'm totally lost on this one... Any hints or solutions are welcome! Thanks in advance.

For n 0, let Bn be the number of partitions of a set of size n. For example, B1 = 1, B2 = 2, B3 = 5, B4 = 15. By convention, B0 = 1. Now, let Dn be the number of partitions of a set of size n into subsets of size at least two. Show that <attachment>
Hint:

D_n is the number of set partitions that do not include any singleton subsets.

Let's say the original set is \{x_1, x_2, \dots , x_n\}. Say that a set partition has property i if one of the subsets in the partition is \{x_i\}. Now apply the Principle of Inclusion/Exclusion, also known as the Sieve Principle, to find the number of partitions which has none of the properties 1,2, ..., n.
Reply With Quote
The following users thank awkward for this useful post:
Donate to MHF
Reply

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 06:24 AM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2010, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2009 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.