Determining the number of subsets of a set with a specific property

Click For Summary
SUMMARY

The discussion focuses on determining the maximum number of subsets of a set with a specific property, particularly ensuring that none are pairwise disjoint. For a set with n elements, the user explores the selection of subsets, specifically choosing all sets of n - 1 elements and the full set, resulting in n + 1 subsets. However, the goal is to achieve 2^(n - 1) subsets. The user references the binomial coefficient identity, which states that the sum of binomial coefficients equals 2^n, as a foundational concept in their exploration.

PREREQUISITES
  • Understanding of binomial coefficients, specifically \binom{n}{k}
  • Familiarity with set theory and properties of subsets
  • Knowledge of combinatorial identities, particularly the identity involving sums of binomial coefficients
  • Basic proof techniques in combinatorics
NEXT STEPS
  • Research the application of the binomial theorem in combinatorial proofs
  • Explore the concept of pairwise disjoint sets in set theory
  • Learn about advanced combinatorial techniques for counting subsets
  • Investigate the properties of set complements in relation to subset selection
USEFUL FOR

This discussion is beneficial for mathematicians, particularly those specializing in combinatorics, educators teaching set theory concepts, and students preparing for advanced mathematics competitions.

jdinatale
Messages
153
Reaction score
0
I found an example like the problem asks, but I'm still trying to show the first part. You want the maximum number of subsets such that you can guarantee none are pairwise disjoint.

I'm trying to apply my specific case to the whole problem. For a set with 3 elements, I chose all of the sets with 2 elements, [itex]\binom{3}{2}[/itex] and all of the sets with 3 elements, [itex]\binom{3}{3}[/itex], which is 4 sets.

In general, for an set with n elements, would I want to choose all sets of with n - 1 elements, which would be [itex]\binom{n}{n - 1} = n[/itex] of them and the set with n elements which there is [itex]\binom{3}{3} = 1[/itex] of them.

But that's only n + 1 sets, when I want 2^{n - 1} sets.

I know that [itex]\binom{n}{0} + \binom{n}{1} + \binom{n}{2} + ... + \binom{n}{n} = 2^n[/itex], which is really close to what I want to show.

http://i3.photobucket.com/albums/y89/jdinatale/Joseph-5.png
 
Last edited by a moderator:
Physics news on Phys.org
For an example where equality holds for general n, consider this: how many subsets of {1,2,...,n} contain 1?

To prove the inequality, consider this: if the collection contains a set A, can it also contain the complement of A?
 

Similar threads

Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K