相交系和Snevily猜想的开题报告.docxVIP

相交系和Snevily猜想的开题报告

一、相交系的概念

在数学的许多分支领域中，尤其是在集合论、拓扑学等领域，相交系是一种非常基础的概念。

首先，我们给出相交系的定义：

设M是一个集合类，即M是由一些集合组成的集合，如果对于M中的任何元素A，都有一个元素x，使得x属于所有的A，则称集合M为一个相交系，简称相系。

举几个例子来说明一下相交系的概念。

1.若M={{1,2},{2,3},{2,4}}，则M是一个相交系，因为x=2，属于所有A属于M。

2.若M={{1,2},{3,4},{5,6}}，则M不是一个相交系，因为M中的任意两个元素没有交集。

3.若M={{x|x0,x1},{x|x1,x2},{x|x2,x3}}，则M是一个相交系，因为对于任意的A属于M，都可以取x=(1+2+3)/3=2，使得x属于所有的A。

二、Snevily猜想的概念

Snevily猜想是关于相交系的一个著名问题，其内容如下：

设M是一个最小的相交系，即M中的任意两个元素都不相同且它们没有交集，则M中最多只有n个元素，其中n是一个正整数。

Snevily猜想是由美国数学家Snevily在20世纪60年代提出的，至今仍未得到证明或推翻。

三、相交系与Snevily猜想的研究意义

相交系及其相关问题在数学中具有广泛的应用背景，涉及概率论