n实验室动力装置
定义
给定一个设置 ,的动力装置属于是布景吗所有的子集属于等效地,它是
基础地位
在物质集合论中
人们通常需要在数学基础以确保发电机组的存在。在物质集合论,可以这样表述:
- 如果是一个集合,则存在一个集合这样的话如果.
然后可以使用分离公理(有界分离足以证明可以进行选择,以便是只有的成员; 这个可拓公理证明了这一点是独一无二的。
或者,可以包括功率集结构,基本一元运算符这样,对于所有集,如果适用于所有集合和台,意味着,然后.
在结构集合论中
在结构集合论,我们声明存在一个集合它为的子集编制索引并证明唯一性直到独特的同构.
依赖型理论
在依赖型理论,可以定义塔斯基宇宙 属于纯集合其行为类似于物质集合论塔斯基宇宙的普适类型族由类型族给出. The幂集公理由以下公式给出推理规则以下为:
预测数学的地位
在预测数学幂集的存在(以及其他“非指示性”公理)是不被接受的。然而,我们仍然可以将电源组称为适当等级,有时称为功率等级.
人们可以使用发电机组建造函数集; 反过来也可以使用排中律(或任何其他可以保证真理值集存在的东西)。特别是,幂集存在于任何包含排除中间集和函数集的理论中;因此,包含函数集的谓词理论也必须是建设性的.
与函数集和真值集的关系
幂集的存在等价于函数集和a真值集.
依赖型理论
在依赖型理论,这相当于函数类型和a单价的 所有命题的类型。如果有单价的 所有命题的类型 ,然后给定一个类型,电源组是函数类型 。类型的功率集总是一个集,因为总是由单价; 如果密码子函数类型的是集合,那么函数类型本身就是集合。
发电机组的一个元件是一个谓词.类型
是相应的子类型属于,具有规范嵌入由中定义的第一个投影函数给出消除规则的消极的 相依和类型.
还有一种本地成员关系由定义为所有人和,其中定义在消除规则对于函数类型.
属性
概述
幂集函子
幂集结构产生了两个函子,反变幂集函子和协变幂集函子。第一个发送函数到前映像功能,而第二个发送到形象功能.
上次修订时间:2024年4月29日13:26:22。请参阅历史获取所有贡献的列表。