让逻辑关系破缺的最小空间尺寸

分类两条直线y=0和y=x*tanθ，

想象一个显示器这个显示器只有4个像素，用这个显示器显示一条直线。这条直线的方程是y=x*tanθ，很容易理解这个显示器将把直线分成三类，

1:0<=θ<=26.56

2: 26.56<=θ<=63.43

3: 63.43<=θ<=90

比如,如果θ=0或θ=20都是第一排的两个格子亮，从这个意义说对于一个2*2的空间来讲逻辑关系y=x*tan(0)和y=x*tan(20)是没有区别的。也就是这两个逻辑关系在2*2空间内是对称的。

想要区分y=x*tan(0)和y=x*tan(20)这组逻辑关系，空间大小至少为3*3

在3*3的空间当中角度被分成5类

1:0<=θ<=18.43

2: 18.43<=θ<=33.69

3: 33.69<=θ<=56.31

4: 56.31<=θ<=71.56

5: 71.56<=θ<=90

在3*3的空间里y=x*tan(0)对应第一排的三个点(0,0),(1,0),(2,0)三个点，而y=x*tan(20)对应第一排两个点(0,0),(1,0),和第二排的点(2,1)。因此逻辑关系y=x*tan(0)和y=x*tan(20)在3*3的空间当中被破缺。

这个实验表明让逻辑关系破缺不止有空间维数限制，对空间的大小也有限制。比如在2*2的空间当中

1:0<=θ<=26.56

2: 26.56<=θ<=63.43

3: 63.43<=θ<=90

这三类都可以被2*2空间特征的展示，实现分类。可以想象2*2空间里可以展示的差别特征是有限的，如果2*2空间里所能展示的所有差别特征放在一起就像是用一根线穿起来，比如叫分类等位线。

比如相对于y=x*tan(0)，0<=θ<=26.56位于第2分类等位线，而0<=θ<=18.43位于第3分类等位线，可以将位于第2分类等位线的逻辑关系放到3*3的空间去分类，但是如果将位于第3分类等位线的逻辑关系0<=θ<=18.43放到2*2的空间里，就可能无法实现对称性的破缺。

 

所以要想分类两个逻辑关系，也就是让两个逻辑关系实现破缺，首先要确定表达这组逻辑关系的点有多少属性，也就是确定分类等位面。然后确定要展现这组逻辑关系的所有特征需要一个多大的空间，也就是去确定分类等位线。

分类等位面		空间形状与分类等位线
1	x	N
2	x,y	n*n
3	x,y,z	n*n*n
4	x,y,x,t	n*n*n*n

比如表达某一组逻辑关系的点仅有两个属性，也就位于第2分类等位面，与之对应的空间形状就是n*n，而n的大小就是分类等位线。

从无限远处观察y=x*tan(45)，这条线段变成一个点，就相当于用1*1的空间去分类位于第2分类等位线的对象，当然这种对称关系不能被破缺。展现一种逻辑关系的最小尺寸应该千差万别，用一个尺寸去展现所有逻辑关系注定将导致大量的信息简并和分类误差。