集合论
文章平均质量分 68
集合论相关的与理解。
KeithTsui
编译器工程师
展开
-
集合论(ZFC)之共尾值(Cofinality)
共尾值(Cofinality)的概念,是用于描述极限序数尾段的形态。此处定义的共尾,只针对极限序数(limit ordinal),后续会将共尾的概念扩展到所有偏序集合。原创 2024-10-20 09:10:33 · 341 阅读 · 0 评论 -
集合论(ZFC)之序型(Order Type)
序型(Order Type)的概念,用以描述了集合的结构是否相同。相同结构意味着,对比的两集合,其元素个数,及元素间的关系,都一样。原创 2024-10-19 09:28:00 · 222 阅读 · 0 评论 -
集合论(ZFC)之基数(Cardinality)浅析
集合的基数(Cardinality)可以简单看作为集合的大小(size),但是,对于无限集合与超限集合,需要通过一一映射的关系进行定义。本文从一一映射的概念,定义集合的大小,即集合的基数(Cardinality)。原创 2024-10-17 08:57:56 · 1687 阅读 · 0 评论 -
集合论(ZFC)之 无限集公理(Axiom of Infinity)浅析
集合论(ZFC)之 无限集公理(Axiom of Infinity)定义了无限集的存在,简单来说是,存在含有无限个元素的集合。原创 2024-10-16 08:42:30 · 276 阅读 · 0 评论 -
集合论(ZFC)之良创关系(Well-Founded Relation)
定义在集合S中的一个二元关系(Binary Relation)记,原创 2024-10-16 08:41:32 · 286 阅读 · 0 评论 -
集合论(ZFC)之序数算术(Ordinal Arithmetic)
序数算术(Ordinal Arithmetic)包括三种运算,分别是加法元算、乘法运算、指数运算。原创 2024-10-15 08:41:14 · 950 阅读 · 0 评论 -
集合论(ZFC)之 阿列夫数(Alephs)
阿列夫数(Alephs)主要是为了衡量良序(well-ordered)的无限集(infinite set)与超限集(transfinite set)的大小(无限集中含有无限个元素,而超限集包含无限个元素,且其中有无限集作为其元素),例如自然数集合大小为第一个阿列夫数,记,aleph zero,ℵ₀。原创 2024-10-18 08:49:06 · 237 阅读 · 0 评论 -
集合论(ZFC)之序列极限(the limit of sequence)
序列极限(the limit of sequence)原创 2024-10-14 08:45:02 · 137 阅读 · 0 评论 -
集合论(ZFC)之 递归(Recursion)与超限递归(Transfinite Recursion)
归(Recursion)与超限递归(Transfinite Recursion)与《归纳与超限归纳》类似,都是分别定义在自然数与序数上。简单来说,递归需要应用《序列》的概念。在序列中,其元素一一排列起来,那么递归在那序列上,后一元素对应的生成值,可通过所有前元素及所有前元素的生成值来产生。而超限递归是指递归应用在超限序列(transfinite sequence)上。原创 2024-10-13 11:49:38 · 413 阅读 · 0 评论 -
集合论(ZFC)之 序列(Sequence)
在集合论(ZFC)中,序列由函数 s 来表达,该函数 s 的定义域( Dom(s) ),决定了该序列的长度(length),其值域( Ran(s) )决定了该序列中的每个值。原创 2024-10-12 08:35:55 · 460 阅读 · 0 评论 -
集合论(ZFC)之 归纳(Induction)与超限归纳(Transfinite Induction)
简言而至,归纳一般指的是定义在自然数上的归纳,而超限归纳是定义在序数上的归纳。原创 2024-10-11 08:34:31 · 247 阅读 · 0 评论 -
集合论(ZFC)之 极限序数(Limit Ordinal)
序数(ordinal)与极限序数(limit ordinal)的解析。原创 2024-10-10 08:37:49 · 1639 阅读 · 0 评论 -
集合论(ZFC)之 自然数(Natural Number)
集合论(ZFC)中对自然数的定义。原创 2024-10-09 08:37:05 · 422 阅读 · 0 评论 -
集合论(ZFC)之 序数与良序同构(isomorphic)
序数(Ordinals)与良序集(Well Ordered Sets)同构(isomorphic)。原创 2024-10-08 14:26:01 · 689 阅读 · 0 评论 -
集合论(ZFC)之 序数(Ordinals) 注解
两个同构(isomorphic)的良序集(Well-Ordered Set),拥有同样的序型(Order-Type),那么序数(Ordinal)就是指良序集的序型(Order-Type)。原创 2024-09-30 08:53:41 · 713 阅读 · 0 评论 -
集合论(ZFC)之 良序(Well Order) 注解
集合论(ZFC)之 良序(Well Order)及其属性。原创 2024-09-30 08:52:22 · 821 阅读 · 0 评论 -
集合论(ZFC)之 函数(Function)注解
在《幂集公理(Axiom of Power Set)注解》中,给出了函数的定义,是对应二元关系(Binary Relation)的子集,而关系(Relation)是对应积集(Product Set)的子集,积集(Product Set)是对应联集(Union Set)的幂集(Power Set)的子集。原创 2024-09-29 08:42:06 · 951 阅读 · 0 评论 -
集合论(ZFC)之 幂集公理(Axiom of Power Set)注解
集合论(ZFC)之 幂集公理(Axiom of Power Set)定义了给定一个集合X,存在一个集合Y为该集合X的幂集,记 Y = P(X),其包含了集合X的所有子集(Subset)。原创 2024-09-28 09:57:26 · 764 阅读 · 0 评论 -
集合论(ZFC)之 联合公理(Axiom of Union)注解
集合论(ZFC)之 联合公理(Axiom of Union)定义了集合的联合(Union)操作,其符号为⋃,同时该联集(Union Set)是唯一的。原创 2024-09-27 08:42:03 · 347 阅读 · 0 评论 -
集合论(ZFC)之 划分图式公理(Axiom Schema of Separation)注解
集合论(ZFC)之 划分图式公理(Axiom Schema of Separation)的作用在于,可以基于该公理来定义出,交集(Intersection, ∩)、差集(Difference, - ),以及空集(Empty Set, ∅),等。原创 2024-09-26 08:49:21 · 800 阅读 · 0 评论 -
集合论(ZFC)之 配对公理(Axiom of Paring)注解
集合论(ZFC)之 配对公理(Axiom of Paring)是,对于任意的两个对象 a 和 b,存在一个集合 C,C = {a, b},只包含对象 a 和 b。该配对集合C 具有唯一性。原创 2024-09-25 08:40:58 · 863 阅读 · 0 评论 -
集合论(ZFC)之 外延性(Extensionality)注解
外延性(Extensionality)是指,两对象(object)如果有相同的外部属性(external properties),那么这两对象相等。在ZFC的语境下,是,对于两个集合,如果其包含相同的元素(Elements),那么这两集合行等。原创 2024-09-24 08:46:04 · 688 阅读 · 0 评论 -
集合论(ZFC)浅介
ZFC,全称,Zermelo-Fraenkel Set thoery with axiom of choice,是一种标准的公理化集合论(Axiomatic Set thoery),作为最广泛的数学基础(Foundation of Mathematics),即作为数学的逻辑框架(Logical and MathematicalFramework),使得在这框架(Framework)里做的数学理论间不会产生矛盾,包括各理论的一直性(Consistence)。原创 2024-09-23 12:00:57 · 780 阅读 · 0 评论