test

标签：

皮亚诺公理

  • 归纳公理：数学归纳法

自然数集的定义

  • n'为下一个自然数
  • ①表明了起点时空集属于N
  • ②证明了两个相邻自然数n与n'之间的关系

比较集合的大小

有限集合

  • 对于两个有限集合而言，比较二者的大小只需要看集合的基数

无限集合

等势

  • 由等势定义可以看出，如果 A = B，那么 A ∼ B，反之却不成立

可数集合

虽然N->P没有直接的函数关系，但是可以通过N确定唯一的P存在，则P是可数集合

根据p/q图以及N可以得到Q也存在一一对应的关系，比如

[5]->-2

[10]->2

[11]->3

  • 从有限到无限，不仅仅是简单数量上的变化 (量变)，而引起了本质的改变 (质变)。
    • 两个无限集合的"大小"已经不能单纯使用集合中的元素个数来衡量。ℵ0 表示一切可数集合的基数，是一种抽象的表达。
    • 表面上个数完全不相等的两个集合之间仍可能存在等势关系，如集合与其真子集之间，这体现了有限集合和无限集合的根本差别

不可数集合

  • 上图中的1/4（开区间）——>0（闭区间），用开区间1/4对应闭区间0，以下一样

 

文章来源：https://www.cnblogs.com/huz-han/p/15789580.html
版权声明：本文为YES开发框架网发布内容,转载请附上原文出处连接
CSharp 管理员
上一篇：使用.NET 6开发TodoList应用(26)——实现Configuration和Option的强类型绑定
下一篇：记一次 .NET 某药品仓储管理系统 卡死分析
评论列表
发表评论
评论内容
昵称：
关联文章
test
C# SQLServer数据库连接
C# 利用 SharpZipLib 对多个文本字符串进行多文件打包为RAR或ZIP并进行下载
CodeMirror 格式化内容和内容选择
简单制作一个NPM包并发布到www.npmjs.com
nginx配置指南
Javascript JS日期格式化显示
使用队列(ConcurrentQueue)时获取队列运行报错
Electron调用C#类库dll
Yarp 让系统内调度更灵活
GZDBHelper中ExecuteNonQuery方法，返回受影响行数
TinyMCE 代码高亮 Prism.js 对 C# language-csharp 没做处理
C#从文件夹中随机获取一个文件
什么是好的编程字体：等宽字体
GZDBHelper连接SQLite数据库
CSS RGB函数 LESS问题
SAP hana 接口API使用Postman请求时签名处理，自动签名脚本
Python数组List检索 三种方法从数组List中检索出符合要求的元素
JocPlanTask 编写第一个计划任务
python抓包 ChromeDriver下载地址
站长推荐
YES-CMS内容管理系统
winformC/S开发框架
热门标签
.NET Core .NET Reactor ag-grid api安全 ASP.NET Core C#DLL加密 C#播放声音 C#代码混淆 C#代码加密 ChromeDriver DateTime DBeaver devexpress devTool DLL混淆 edge.js EF EFCore Electron element-ui el-form el-table excel FastReport FileStream FolderBrowerDialog FolderSelectDialog form提交 git gridcontrol gridview input javascript json字符串 JS转换对象JSON jwt JWT授权 linq log Math mitmproxy MVC MySQL Navicat nginx node_modules NSwag Nuget Nuget镜像 number pyinstaller python pythoncom python爬虫 python抓包 pywin32 redis Requests-html RestSharp Selenium sql SQL Server Swagger Visual Studio VSCode vue VueRouter vue路由 VUE页面通讯 Webpack Windows服务 winform wmi xlrd yaml YESWEB开发框架 白象 表单提交 播放声音 打开URL 代码混淆 弹窗提醒 对象转换 分布式 公共字典 机器码 静态资源 开发指南 路由参数 密钥 配置文件 权限 人工智能 任务 任务调度 日期间隔 日志 日志记录 省市区 授权验证 数据库 四舍五入 文案 文件读取 文件夹选择 文件目录选择 问题排查 行政区域数据 页面通讯 中间件
联系我们
联系电话：15090125178(微信同号)
电子邮箱：garson_zhang@163.com
在线客服
站长微信二维码
微信二维码