《数学啄木鸟专栏》分享 http://blog.sciencenet.cn/u/wenqinghui 对错误的数学论点发表评论

博文

Zmn-0574 薛问天: 关系是笛卡尔乘积的子集。评一阳生先生的《0571》

已有 891 次阅读 2021-6-9 17:58 |个人分类:数学啄木鸟|系统分类:论文交流

Zmn-0574 薛问天: 关系是笛卡尔乘积的子集。评一阳生先生的《0571》

【编者按。下面是薛问天先生的文章。是对一阳生先生的《0571》文章的评论。现在发布如下,供网友们共享。请大家关注并积极评论。另外本《专栏》重申,这里纯属学术讨论,所有发布的各种意见仅代表作者本人,不代表本《专栏》编辑部的意见。】

 

关系是笛卡尔乘积的子集。

评一阳生先生的《0571》

薛问天

xuewentian2006@sina.cn

 

xwt.jpg非常感谢一阳生先生对我的《0102》文章的关注。一阳生先生对「关系」表述的质疑,主要是对如何将「关系」定义为「笛卡尔乘积的子集」的细节还缺乏了解。当他了解了具体的细节后,一定会完全消除这些疑虑。

一阳生先生的疑点主要是【如果把“关系”替换为“集合”,则集合R(x,y)成立。集合是存在,我们通常会考虑其是否存在。而不会确认集合是否成立或者真假。

我们把Ⅹ和Y间的一个关系R(x,y),定义为ⅩxY这个笛卡尔乘积中的一个子集R时:。当我们考虑R(x,y)是否成立,是看〈x,y〉是否属于R。並不是考察集合R是否存在。即R(x,y)的成立当且仅当〈x,y)∈R的成立。所以这里并无【不恰当】的问题。

例如当我们把x+y=z的关系定义为NxNxN中的一个子集合R时。则R={〈x,y,z〉丨x+y=z }。

说关系1+1=2成立,即〈1,1,2〉∈R。关系1+1=3不成立,即〈1,1,3〉∉R。这都很合适。

同理【两个集合之间的关系:X∈Y】也可以这样定义:。例如自然数可以看作是自然数的集合,自然数之间可以考虑属于关系。可以把它们间的属于关系定义为NxN的子集R。

R={〈X,Y〉丨X∈Y }。于是X∈Y当且仅当〈X,Y〉∈R

这个属于关系等价于小于关系。因为m<n当且仅当mn={0,1,2,…n-1 }

 

为了帮助一阳生先生的理解,特介绍北师大的《基础集合论》教材中有关「关系」的内容附录如后。

Untitled-1.jpg

Untitled-2.jpg

Untitled-3.jpg

Untitled-4.jpg

Untitled-5.jpg

 

返转到

   zmn-000文清慧:发扬啄木鸟精神-《数学啄木鸟专栏》开场白及目录

       






 




https://blog.sciencenet.cn/blog-755313-1290458.html

上一篇:Zmn-0573 师教民: 评薛问天先生的文章0569
下一篇:Zmn-0575 黄汝广: 浅谈无穷与一一对应

0

该博文允许注册用户评论 请点击登录 评论 (3 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2022-5-22 16:31

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部