在这篇文章中,一个图是分配给任何概率测度<我nl在e-formula>
图的两个顶点之间的距离是边的数量在一个最短路径连接它们。图的直径图的两个顶点之间的最长路径。
集团是一个子集的无向图的顶点,这样它的诱导子图完成;也就是说,每两个截然不同的小团体的顶点相邻。集团的一个图表<我nl在e-formula>
一组<我nl在e-formula>
一个独立设置或稳定集是一组顶点的图,没有被相邻的其中两个。最大独立集是一个独立的最大可能大小对于一个给定的图<我nl在e-formula>
很多图都由代数对象(如半群([
给定一个测度空间<我nl在e-formula>
让<我nl在e-formula>
我们说<我nl在e-formula>
两个原子措施相互奇异当且仅当相应的原子没有常见的元素集。
年代t一个tement>约翰逊在[
如果<我nl在e-formula>
对于一个给定的测量<我nl在e-formula>
让<我nl在e-formula>
我们定义了一个图<我nl在e-formula>
让<我nl在e-formula>
让<我nl在e-formula>
让<我nl在e-formula>
下面的例子的确是前面的例子的概括,提出了图对应于一个有限原子测量。
<年代t一个tement id="ex2.4">让<我nl在e-formula>
在本文的其余部分,通过原子测量,我们的意思是一个有限原子测量与有限数目的原子。在本节中,我们研究了图对应原子措施和状态的一些属性。原子的措施的情况下的特殊利益团体,因为相应的图是有限的,可以可视化和枚举。
下面的定理满足原子的措施。
<年代t一个tement id="thm3.1">一个原子的措施<我nl在e-formula>
(1)持有一部分,因为每个元素的支持<我nl在e-formula>
(2)证明部分,让<我nl在e-formula>
这样的顶点的数量
一个原子的措施<我nl在e-formula>
(<我nl在e-formula>
因为所有的元素<我nl在e-formula>
最后,由于<我nl在e-formula>
现在假设<我nl在e-formula>
现在定义<我nl在e-formula>
(<我nl在e-formula>
下面的定理决定了自同构群<我nl在e-formula>
对于任何原子测量<我nl在e-formula>
让<我nl在e-formula>
要做到这一点,让<我nl在e-formula>
让<我nl在e-formula>
在前面的讨论结果
让<我nl在e-formula>
为<我nl在e-formula>
观察到<我nl在e-formula>
现在假设<我nl在e-formula>
为不同的<我nl在e-formula>
在前一节中,我们讨论了图分配到原子的措施。在本节中,我们研究一般情况下。
<年代t一个tement id="thm4.1">对于一个给定的测量<我nl在e-formula>
作者宣称没有利益冲突。
年代ec>