推翻百年集论的真扩集定理

推翻百年集论的真扩集定理

黄小宁

杨振宁发现宇称不守恒黄小宁发现百年无穷集论不成立。

数集{(1,2),(3,4),5}由两对数和一个"单身"数5组成。设集u={x}表u是元为x的集,u各元均由x代表。设集A={x=j、x≠j}表A中有部分元均由x=j代表,其余元均由x≠j代表, "数集B={(x,y)}"表示B是由数对(x,y)组成的数集;数集K={(x,y)、z}表示K由数对(x,y)和"单身"数z组成。其余类推。

真扩集定理:若无穷数(点)集A有真扩集K则K的元必多于A的元从而使K不能~A⊂K。

证:数集中相等的一对数是数集的一个元。数集A={x=j}={(x=j,y=x=j)}中的一数对(x,y=x)是A的一个元。A={(x,y=x)}中各数x(y)都有"配偶"y(x)而没有"单身"数。A={(x,y=x)}增元y≠j变为A的增扩集K={(x=j,y=x=j)、y≠j}中各y≠j都是单身数,其余数都有配偶;规定各y≠j与y=j都只能与K中有序数对(x,y)中左边的数x配对,于是一单身的y≠j要变为非单身而与一x配对就必使x的原配偶y变为一新单身数y,这是一对一的;K中一非单身x与原配偶"离婚"改与另一非单身y配成一新数对,新"夫妻"各自的原配偶就成一对可配对的单身。所以K={(x=j,y=x=j)、y≠j}中各数x与y无论怎样重新配对都不能使K中的单身数y有任何减少,不能改变K中各x都可有配偶y而各y中总有部分y是单身而不能有配偶x(不能有"重婚")这一格局(这是小学生都能明白的配对常识)------说明K中的x与y不可一一配对,原因显然是K中的y比x=y=j多。j的全体是A={j},上述说明A增元y≠j变为的K={j、y≠j}的元j、y必多于A的元j从而使A不可~K。A各元可是点的坐标,若A是点集同样有:...。证毕。

详论见图片中的长文(在"个人图书馆")内。

相关推荐
学究天人8 天前
数学公理体系大全:第十四章 向量空间与模:线性代数的公理化与推广
线性代数·算法·矩阵·动态规划·抽象代数
学究天人8 天前
数学公理体系大全:第七章 连续统假设与力迫法简介
人工智能·算法·机器学习·数学建模·动态规划·图论·抽象代数
学究天人10 天前
数学公理体系大全:第一章 命题逻辑:真值之舞
人工智能·算法·机器学习·数学建模·动态规划·图论·抽象代数
学究天人10 天前
数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(补充卷9)
人工智能·线性代数·算法·数学建模·动态规划·原型模式·抽象代数
学究天人10 天前
数学公理体系大全:第二章 一阶谓词演算:进入“所有”与“存在”
网络·算法·数学建模·动态规划·图论·抽象代数·拓扑学
学究天人10 天前
数学公理体系大全:第四章 ZFC公理的形式化与构造演算
线性代数·数学建模·矩阵·动态规划·图论·抽象代数·拓扑学
学究天人11 天前
数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷7)
线性代数·矩阵·动态规划·概率论·图论·抽象代数·拓扑学
学究天人11 天前
数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷8)
线性代数·算法·机器学习·数学建模·动态规划·图论·抽象代数
学究天人12 天前
数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷2)
算法·数学建模·动态规划·图论·抽象代数·拓扑学
学究天人12 天前
数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷3.2)
线性代数·算法·机器学习·数学建模·动态规划·抽象代数·拓扑学