M=13 case of FUNC: Difference between revisions
Tomtom2357 (talk | contribs) Created the page, set up the four main cases to consider |
Tomtom2357 (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
On this page, we attempt a proof of the m=13 case of Frankl's conjecture. This will probably end up being a long case analysis, with the cases being tackled out of order, so bear with me while the page is in progress. In all results below, we will try to prove that the set <math>\mathcal{A} is Frankl's (satisfies the conjecture), but will assume the opposite. We will also assume the results and use the terminology in the article [[find set configurations that imply FUNC]] | On this page, we attempt a proof of the m=13 case of Frankl's conjecture. This will probably end up being a long case analysis, with the cases being tackled out of order, so bear with me while the page is in progress. In all results below, we will try to prove that the set <math>\mathcal{A}</math> is Frankl's (satisfies the conjecture), but will assume the opposite. We will also assume the results and use the terminology in the article [[find set configurations that imply FUNC]] | ||
The smallest size of a non-empty set must be 3, 4, 5, or 6, as if there were a set of size 1 or 2 in <math>\mathcal{A}, it would be Frankl's. Also, if all the nonempty sets have size 7 or larger, then the average set size is greater than 13/2=6.5, so <math>\mathcal{A} is Frankl's (to prove this more rigorously, use the uniform weight function over all the elements in X (the ground set). | The smallest size of a non-empty set must be 3, 4, 5, or 6, as if there were a set of size 1 or 2 in <math>\mathcal{A}, it would be Frankl's. Also, if all the nonempty sets have size 7 or larger, then the average set size is greater than 13/2=6.5, so <math>\mathcal{A} is Frankl's (to prove this more rigorously, use the uniform weight function over all the elements in X (the ground set). | ||
Revision as of 03:33, 27 October 2016
On this page, we attempt a proof of the m=13 case of Frankl's conjecture. This will probably end up being a long case analysis, with the cases being tackled out of order, so bear with me while the page is in progress. In all results below, we will try to prove that the set [math]\displaystyle{ \mathcal{A} }[/math] is Frankl's (satisfies the conjecture), but will assume the opposite. We will also assume the results and use the terminology in the article find set configurations that imply FUNC
The smallest size of a non-empty set must be 3, 4, 5, or 6, as if there were a set of size 1 or 2 in <math>\mathcal{A}, it would be Frankl's. Also, if all the nonempty sets have size 7 or larger, then the average set size is greater than 13/2=6.5, so <math>\mathcal{A} is Frankl's (to prove this more rigorously, use the uniform weight function over all the elements in X (the ground set).
