数学抽象度分析法.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叫做链的末点。 如果有链 与 ，那么可以连接成