数学抽象度分析法解析.ppt

数学抽象物 数学中确立的各种概念、公理、定理、模型、推理规则、证明方法等都可以叫做数学抽象物或者抽象物。 假设给定一个数学抽象物P，则所有在逻辑上与P等价的抽象物构成一个等价类，属于同一个等价类的抽象物，视为同一个抽象物。 抽象 抽象有两种含义，一个是指从许多事物中舍弃个别的非本质的属性，抽出共同的本质属性；另一个是指那种偏离具体经验较远，因而不太容易理解的对象。 扩张式抽象(弱抽象)，即从原型A中选取某一特征（侧面）加以抽象，从而获得比原结构更广的结构B，使原结构A成为新结构B的特例。称为A弱抽象于B，或者B比A抽象。 强化结构式抽象(强抽象)，即通过引入新特征强化原结构A来完成抽象，获得新结构B是原结构A的特例。称为A强抽象于B，或者B比A抽象。 除上述抽象外，还可以有各种意义下的抽象。如若定义概念B时用到概念A，或者证明定理B时用到定理A，我们就可以说B比A抽象，记作 。这种就可以称之为广义抽象。 例子： 抽象 在同一个数学分支中，B比A抽象，C比B抽象，那么C比A抽象。 对于任意两个抽象物A与B，要么A比B抽象，要么B比A抽象，要么无法确定A与B哪个更抽象，这三种情况必有一种且只有一种情况出现。 抽象链 如果抽象物A与B属于M，并且有 ，则称 为链，A叫做链的始点，B叫做链的末点。 如果有链 与 ，那么可以连接成 ， 它叫做前两个链的扩张链。 对于给定的链 ，若能找到另一个链 ，使 或 ，则称 是可扩张的。若一个链中间不能添加新的抽象物，则称该链是完全的。 一个链即不可扩张又是完全的，则称为完全不可扩张链。 例子： 抽象度 若P与Q同属于一个抽象物集合，并且位于同一个链中，则称P与Q相联。 设P与Q是抽象物集合M中的任意一对相联元素，如果在M中有一条完全链 ，则称该链的长度r为Q关于P的相对抽象度。记为 deg(Q︱P)=r 。 如果连接P与Q之间的链有S条，且长度分别是 ，定义deg(Q︱P)=max{ },其相应的链叫做该抽象度的“典型链”。如果典型链有许多条，取其一即可。 例子： deg(C︱N)= 4，deg(R︱Z)= 2 例子： 把现实生活中出现的具体数量（如3个人，15本书等）记为 ，并规定其抽象度为0，于是各个自然数的抽象度便是1，从个别自然数过度到一般自然数n又是一次抽象，因此有：deg（n∣ ）=2, deg（Z∣ ）=3， deg（ ∣ ）=4，deg（ ∣ ）=5，deg（ ∣ ）=6。其中前两次抽象与后几次抽象在难度上显然不同，后者要难得多。 抽象度 在典型链上，抽象度具有可加性： deg(Q︱P)= deg(Q︱S)+ deg(S︱P) 如果S不在典型链上，通常有： deg(Q︱P)≥ deg(Q︱S)+ deg(S︱P) 交汇点与分叉点 若P是至少两个抽象链的末点，称P是“交汇点”。特别，我们把完全不可扩张链的始点叫做零级交汇点，于是可以定义一般交汇点的级。假如从一个交汇点P出发，按反序方向走到零级交汇点，在所有可能的途径中至少有一条途径上交汇点个数最多，就把这个链上交汇点的个数k（包括P点本身但不包括始点-----零级交汇点）叫做交汇点P的级。 若P是至少两个抽象链的始点，称P是“分叉点”。 从分叉点X引出的链的条数叫做该点的“出度”，记为 ；在交汇点X处汇聚的链的条数叫做该点的“入度”，记为 。 三元指标 给定一个抽象物集合所成的偏序集（M， ），取定M中的一个元素S作为始点，考虑由S出发引出的一切链，记这个链系统为∑，设X为∑中某链上元素，则可以计算相对抽象度 deg（X∣S），简记为 deg(X).在∑系统中还可计算X的入度 和出度 ，于是关于X的三元数组{ deg(X)， ， }便叫做概念X的三元指标，记为： Ind（X∣S）=（deg(X)， ， ） 抽象度分析法 给定某一个数学分支的全部或部分数学抽象物集合M，如果要对M中的元素进行全面的抽象度分析，则需要采取下列诸步骤： 给定“抽象”的意义，将M中元素排成偏序，使其中每一条链都表现为不可扩张的完全链。 将M中抽象物画成有向图，标明每一步的抽象意义（强、弱、广义），必要时再标明各步采用的抽象法则或原则。 将偏序集中各个极小点作为始点计算各条链上的各个点的一组相对抽象度。 计算图中每一个点的入度和出度，于是每一个点X都可以获