![]()
很多人学数学,最怕两个字:抽象。
集合一来,头皮一紧。
关系一来,眼神发直。
函数一来,灵魂出走。
运算一来,直接想下课。
其实它们没那么可怕。
如果把数学拆到底,你会发现一条很清晰的主线:
先有集合,再有选择,再有组合,再从组合里挑出规则。
这就是很多数学结构的底层逻辑。
集合是什么?
集合就是对象池。
比如:
A = {1, 2, 3}
它只是把一些对象装在一起。这个阶段,事情很朴素,像一个篮子,里面放了 3 个球。
幂集是什么?
幂集就是分类池。
它把集合 A 的所有子集都收集起来。
如果 A = {1, 2, 3},那么 P(A) 里面会有空集、单元素子集、双元素子集,以及 A 本身。
所以子集不是凭空冒出来的。
子集是幂集里的元素。
一句话:
B ⊆ A,等价于 B ∈ P(A)。
这就很有意思了。
“是偶数”“是学生”“是红色球”,这些性质,其实都可以对应一个子集。
满足这个性质的对象,被挑出来,组成一类。
所以性质,本质上也是一种选择。
作者:今日头条 结构AI创作笔记
笛卡尔积是什么?
笛卡尔积就是组合池。
A × B 的意思是:
从 A 里选一个,从 B 里选一个,按顺序组成一对。
比如:
颜色 = {红, 蓝}
尺码 = {S, M}
颜色 × 尺码 = {(红,S), (红,M), (蓝,S), (蓝,M)}
这就是所有可能的有序组合。
注意,“有序”很重要。
(红,S) 和 (S,红) 通常不是一回事。
前者像正常商品,后者像尺码突然变成了颜色,衣服都沉默了。
关系是什么?
关系就是从笛卡尔积里挑出来的一部分。
如果 R ⊆ A × A,那么 R 就是 A 上的一个二元关系。
比如 A = {1, 2, 3}。
“小于关系”可以写成:
R = {(1,2), (1,3), (2,3)}
它不是全部配对,只是从所有配对里挑出符合“小于”规则的那一部分。
所以关系并不神秘。
关系就是:
从所有可能组合里,挑出有规则的一部分。
函数是什么?
函数是特殊的关系。
一个函数 f: A → B,可以看成一堆有序对:
(a, f(a))
这些有序对组成函数的图像 Gf,并且:
Gf ⊆ A × B。
但函数比普通关系更严格。
它要求:
每个输入 a,都必须有且只有一个输出 b。
不能一个输入没有结果。
也不能一个输入分身出两个结果。
做人可以纠结,函数不行。
运算是什么?
运算是更特殊的函数。
比如二元运算:
★: A × A → A
它的意思是:
输入两个 A 里的元素,输出一个 A 里的元素。
如果 a ★ b = c,就可以记成三元组:
(a,b,c)
于是这个运算的图像可以看成:
G★ ⊆ A × A × A
也就是:
G★ ⊆ A³。
所以二元运算,本质上可以看成满足唯一输出规则的三元关系。
更一般地,n 元运算 f: Aⁿ → A,可以看成:
Gf ⊆ Aⁿ⁺¹
它输入 n 个元素,输出 1 个元素。
这时你再回头看,会发现主线非常统一:
集合,是对象池。
幂集,是选择池。
笛卡尔积,是组合池。
幂集的笛卡尔积,是关系池。
函数,是有唯一输出的关系。
运算,是输出还落回原集合的函数。
这不是把数学讲复杂,而是把数学讲穿。
很多所谓“抽象概念”,其实都在做同一件事:
先制造可能性,再从可能性里筛出规则。
集合给对象。
幂集给分类。
笛卡尔积给组合。
关系给规则。
函数给唯一对应。
运算给封闭操作。
所以,一切结构并不是凭空出现的。
它往往就是:
在集合、笛卡尔积、幂集的不同层次上,挑出有规则的子集。
记住这句话,很多数学概念会突然变得有路可走:
数学结构,就是有规则的选择。
这句话不一定能让作业自动完成,但至少能让你看到地图。
有了地图,抽象就不再是迷雾,而是路线。
#集合论 #幂集 #笛卡尔积 #子集 #关系 #函数 #运算 #数学结构 #离散数学 #数学思维 #结构化学习 #AI学习笔记
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.