[原创]是无知还是在故意制造混乱

zhaolu48

[watermark]　　　　　　　　       是无知还是在故意制造混乱
　　在"证明Cantor无最大基数定理"时有如下一段：
　　"用反证法，设存在一一映射f :A→P(A),x→f(x)=A(x)∈P(A),同时A(x)是A的一个子集．
　　令A*={x∈A:x不属于A(x)}                　　      (1)"
　　在A*={x∈A:x不属于A(x)}中的三个x，前两个代表的意义是A*中的任意一个同一的元素。而A(x)中的x代表的是A(x)在A中的原象，与前两个x的意义是不同的，即与前两个x代表的一般不会是同一个元素。不同的元素在同一表达式中却用相同的字母表示，这不是在故意制造混乱吗？！
　　A*定义的正确表述应当是：
　　A*={y∈A:y不属于A(x)},
　　再由f是一一映射，不同的x的象A(x)也不同；由A(x)的不同，确定的A*也不同，因此A*也应用A*(x)替换，即
　　A*(x)={y∈A:y不属于A(x)}.
　　因此说，若不是证明者故意制作混乱，就是证明者无知。
[/watermark]

wangyangkee

俞根强，俞家的根强不强，就看你闹蠢货响亮不响亮哟，，，