綫性與非綫性泛函分析與應用_1.例題(下)-半母本

第1章 實分析與函數論:快速回顧(下)

五、基數;有限集和無限集相關例題

例題1:集合基數的判斷

判斷集合A=\{1,2,3,4,5\}和集合B=\{a,b,c,d,e\}的基數關係。

解析:

可以構造一個雙射f:A\rightarrow B,例如f(1)=af(2)=bf(3)=cf(4)=df(5)=e

所以\text{card}(A)=\text{card}(B)=5,兩個集合具有相同的基數。

例題2:可數集的證明

證明整數集\mathbb{Z}是可數集。

解析:

構造映射f:\mathbb{Z}\to\mathbb{N}f(n)=\begin{cases}2n, & n\geq0\\ - 2n - 1, & n<0\end{cases}

- 證明f是單射:

n_1\neq n_2,分情況討論。

n_1,n_2\geq0時,若n_1\neq n_2,則2n_1\neq2n_2,即f(n_1)\neq f(n_2)

n_1,n_2<0時,若n_1\neq n_2,則-2n_1 - 1\neq - 2n_2 - 1,即f(n_1)\neq f(n_2)

n_1\geq0n_2<0時,2n_1\geq0-2n_2 - 1>02n_1是偶數,-2n_2 - 1是奇數,所以f(n_1)\neq f(n_2)

所以f是單射。

- 證明f是滿射:

任取m\in\mathbb{N},若m是偶數,設m = 2kk\in\mathbb{N}),則n = k時,f(n)=2k=m

m是奇數,設m = 2k + 1k\in\mathbb{N}\cup\{0\}),則金k\in\mathbb{N}\cup\{0\}時,

f(n)=-2(-(k + 1))-1=2k + 1=m

所以f是滿射。

由於存在雙射f:\mathbb{Z}\to\mathbb{N},所以\text{card}(\mathbb{Z})=\text{card}(\mathbb{N})=\aleph_0,即\mathbb{Z}是可數集。

例題3:不可數集的證明

證明實數集\mathbb{R}是不可數集。

解析:

採用康托爾的對角線法。假設\mathbb{R}是可數集,則\mathbb{R}中的實數可以排成一個序列x_1,x_2,x_3,\cdots

將每個實數x_n表示成無限小數形式(例如x_1 = 0.a_{11}a_{12}a_{13}\cdotsx_2 = 0.a_{21}a_{22}a_{23}\cdots)。

構造一個新的實數y = 0.b_1b_2b_3\cdots,其中b_i\neq a_{ii}(例如當a_{ii}=1時,b_i = 2;當a_{ii}\neq1時,b_i = 1)。

這樣y與序列中的每一個實數x_n都不同,這與\mathbb{R}中的實數可以排成序列矛盾。

所以\mathbb{R}是不可數集。

例題4:集合基數大小的比較

證明\text{card}(\mathbb{N})<\text{card}(\mathbb{R})

解析:

已知\text{card}(\mathbb{N})=\aleph_0,且已證明\mathbb{R}是不可數集,其基數\text{card}(\mathbb{R})=\mathfrak{c}

又因為存在單射f:\mathbb{N}\to\mathbb{R},例如f(n)=n,但不存在雙射g:\mathbb{N}\to\mathbb{R}(由例題3中\mathbb{R}不可數證明可知)。

根據基數大小比較的定義,若存在從集合A到集合B的單射,但不存在雙射,則\text{card}(A)<\text{card}(B),所以\text{card}(\mathbb{N})<\text{card}(\mathbb{R})

例題5:無限集與可數子集的關係

已知集合A=\{x\in\mathbb{R}:x>0\},找出A的一個可數子集。

解析:

考慮集合B = \{1,2,3,\cdots\},B\subseteq A。

因為B與自然數集\mathbb{N}具有相同的基數(可構造雙射f:\mathbb{N}\to Bf(n)=n),所以B是可數集,即BA的一個可數子集。

例題6:基數運算

已知集合A的基數\text{card}(A)=\aleph_0,集合B的基數\text{card}(B)=3,求\text{card}(A\times B)

解析:

\text{card}(A)=\aleph_0\text{card}(B)=nn為有限基數),則\text{card}(A\times B)=\text{card}(A)\times\text{card}(B)

所以\text{card}(A\times B)=\aleph_0\times3=\aleph_0

這是因為可將A\times B的元素排列成如下形式:

假設A = \{a_1,a_2,a_3,\cdots\}B=\{b_1,b_2,b_3\}

A\times B=\{(a_1,b_1),(a_1,b_2),(a_1,b_3),(a_2,b_1),(a_2,b_2),(a_2,b_3),\cdots\}

可按照先固定第一個元素的第一個位置,依次遍歷第二個元素的所有可能,再移動第一個元素的位置的方式,構造出A\times B\mathbb{N}的一一對應,故其基數為\aleph_0
 


例題7:證明集合基數的等式


證明若AB是不相交的可數集,即A\cap B=\varnothing,且\text{card}(A)=\text{card}(B)=\aleph_0,則\text{card}(A\cup B)=\aleph_0
解析:
因為AB是可數集,所以存在雙射f:\mathbb{N}\to Ag:\mathbb{N}\to B
定義映射h:\mathbb{N}\to A\cup B如下:(CSDN的LaTex輸出不了奇數、偶數的中文文本,故用k代替)
h(n)=\begin{cases}f\left(\frac{n + 1}{2}\right),&n\text{ =2k+1}\\g\left(\frac{n}{2}\right),&n\text{ =2k}\end{cases}
首先證明h是單射:
n_1\neq n_2

n_1,n_2都是奇數時,n_1 = 2k_1 - 1n_2 = 2k_2 - 1,若h(n_1)=h(n_2),則f(k_1)=f(k_2),因為f是雙射,所以k_1 = k_2,進而n_1 = n_2,矛盾。


n_1,n_2都是偶數時,n_1 = 2k_1 - 1n_2 = 2k_2 - 1,若h(n_1)=h(n_2),則g(k_1)=g(k_2),因為g是雙射,所以k_1 = k_2,進而n_1 = n_2,矛盾。

n_1為奇數,n_2為偶數時,h(n_1)\in Ah(n_2)\in B,而A\cap B=\varnothing,所以h(n_1)\neq h(n_2)
所以h是單射。


再證明h是滿射:
任取x\in A\cup B,若

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/975607.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

MQTT实现智能家居------3、源码分析(超详细)

一、连接服务器 1、初始化&#xff1a; mqtt_log_init();是一个空函数&#xff0c;自己定义宏 client mqtt_lease();//创建一个client结构体&#xff0c;从此以后client代表客户端 platform_memory_alloc();//是一个分配内存的总函数&#xff0c;可以适用于Linux、FreeRTos…

Qt常用控件之日历QCalendarWidget

日历QCalendarWidget QCalendarWidget 是一个日历控件。 QCalendarWidget属性 属性说明selectDate当前选中日期。minimumDate最小日期。maximumDate最大日期。firstDayOfWeek设置每周的第一天是周几&#xff08;影响日历的第一列是周几&#xff09;。gridVisible是否显示日历…

智慧废品回收小程序php+uniapp

废品回收小程序&#xff1a;数字化赋能环保&#xff0c;开启资源循环新时代 城市垃圾治理难题&#xff0c;废品回收小程序成破局关键 随着城市化进程加速与消费水平提升&#xff0c;我国生活垃圾总量逐年攀升&#xff0c;年均增速达5%-8%&#xff0c;其中超30%为可回收物。然…

SkyWalking集成Kafka实现日志异步采集经验总结

SkyWalking日志异步采集架构 【重点知识】 1、【Agent】kafka-reporter-plugin-x.x.x.jar包放plugins目录后必走kafka&#xff08;kafka没有正确配置就会报错&#xff09; 2、【Agent】异步如不开启数据压缩&#xff0c;日志数据较大&#xff0c;pod多、业务大时容易造成网络…

C++第十六讲:红黑树

C第十六讲&#xff1a;红黑树 1.什么是红黑树1.1红黑树的特点 2.MyRBTree实现2.1红黑树的结构2.2红黑树的插入2.2.1插入的总体逻辑2.2.2情况一&#xff1a;变色2.2.3情况二&#xff1a;单旋 变色2.2.4情况三&#xff1a;双旋 变色2.2.4插入代码总结 2.3红黑树的检查2.4完整代…

KubeKey一键安装部署k8s集群和KubeSphere详细教程

目录 一、KubeKey简介 二、k8s集群KubeSphere安装 集群规划 硬件要求 Kubernetes支持版本 操作系统要求 SSH免密登录 配置集群时钟 所有节点安装依赖 安装docker DNS要求 存储要求 下载 KubeKey 验证KubeKey 配置集群文件 安装集群 验证命令 登录页面 一、Ku…

Java 值传递

1 形参&实参 方法的定义可能会用到参数&#xff0c;参数在程序语言中分为&#xff1a; 实参&#xff1a;用于传递给函数/方法的参数&#xff0c;必须有确定的值。 形参&#xff1a;用于定义函数/方法&#xff0c;接收实参&#xff0c;不需要有确定的值。 String hello …

开源一款I2C电机驱动扩展板-FreakStudio多米诺系列

总线直流电机扩展板 原文链接&#xff1a; FreakStudio的博客 摘要 设计了一个I2C电机驱动板&#xff0c;通过I2C接口控制多个电机的转速和方向&#xff0c;支持刹车和减速功能。可连接16个扩展板&#xff0c;具有PWM输出、过流过热保护和可更换电机驱动芯片。支持按键控制…

论文笔记(七十二)Reward Centering(三)

Reward Centering&#xff08;三&#xff09; 文章概括摘要3 基于值的奖励中心化4 案例研究&#xff1a; 以奖励为中心的 Q-learning5 讨论、局限性与未来工作致谢 文章概括 引用&#xff1a; article{naik2024reward,title{Reward Centering},author{Naik, Abhishek and Wan…

内部知识库的核心模块是什么?

内容概要 现代企业内部知识库的架构设计遵循系统性、可扩展性与安全性三重原则&#xff0c;其核心模块的协同运作构成完整的知识资产运营体系。在知识存储层&#xff0c;基于结构化分类的存储管理采用多级目录架构&#xff08;如客户服务库、培训学习库&#xff09;&#xff0…

kafka基本知识

什么是 Kafka&#xff1f; Apache Kafka 是一个开源的分布式流处理平台&#xff0c;最初由 LinkedIn 开发&#xff0c;后来成为 Apache 软件基金会的一部分。Kafka 主要用于构建实时数据管道和流处理应用程序。它能够高效地处理大量的数据流&#xff0c;广泛应用于日志收集、数…

P8716 [蓝桥杯 2020 省 AB2] 回文日期

1 题目说明 2 题目分析 暴力不会超时&#xff0c;O(n)的时间复杂度&#xff0c; < 1 0 8 <10^8 <108。分析见代码&#xff1a; #include<iostream> #include<string> using namespace std;int m[13]{0,31,28,31,30,31,30,31,31,30,31,30,31};// 判断日期…

手机时钟精确到秒

这里以小米手机 MIUI 系统 举例 进入开发者模式 设置 - 我的设备 - 全部参数与信息 快速连续多次点击 MIUI 版本选框&#xff0c;即可进入开发者模式&#xff1b; 打开时间悬浮窗 设置 - 更多设置 - 开发者选项&#xff1b; 滑动至 输入 模块&#xff0c;开启时间悬浮窗&a…

京东广告基于 Apache Doris 的冷热数据分层实践

一、背景介绍 京东广告围绕Apache Doris建设广告数据存储服务&#xff0c;为广告主提供实时广告效果报表和多维数据分析服务。历经多年发展&#xff0c;积累了海量的广告数据&#xff0c;目前系统总数据容量接近1PB&#xff0c;数据行数达到18万亿行&#xff0c;日查询请求量8…

ubuntu新系统使用指南

1. 更新源 2. 配置rime 输入法 sudo apt install ibus-rimeibus-setup #打开配置界面添加雾凇拼音 cd ~/Documents/Tool/input_source/plumgit clone --depth 1 https://github.com/rime/plum plum #没有梯子就劝退cd plum/bash rime-install iDvel/rime-ice:others/recipe…

给小米/红米手机root(工具基本为官方工具)——KernelSU篇

目录 前言准备工作下载刷机包xiaomirom下载刷机包【适用于MIUI和hyperOS】“hyper更新”微信小程序【只适用于hyperOS】 下载KernelSU刷机所需程序和驱动文件 开始刷机设置手机第一种刷机方式【KMI】推荐提取boot或init_boot分区 第二种刷机方式【GKI】不推荐 结语 前言 刷机需…

Liunx(CentOS-6-x86_64)系统安装MySql(5.6.50)

一&#xff1a;安装Liunx&#xff08;CentOS-6-x86_64&#xff09; 安装Liunx&#xff08;CentOS-6-x86_64&#xff09; 二&#xff1a;下载MySql&#xff08;5.6.50&#xff09; MySql下载官网 二&#xff1a;安装MySql 2.1 将mysql上传到Liunx 文件地址 /usr/local/ 2…

2025版-Github账号注册详细过程

目录 1.访问GitHub官网 2. 点击“Sign up”按钮 3. 填写注册信息 4. 验证机器人 5. 点击“Create account”按钮 6. 验证邮箱 7. 完成注册 8. 初始设置&#xff08;可选&#xff09; 9. 开始使用 注意事项 1.访问GitHub官网 打开浏览器&#xff0c;访问 GitHub官网。 …

基于CentOS7安装kubesphere和Kubernetes并接入外部ES收集日志

一、修改所有节点主机名 主节点就修改成master hostnamectl set-hostname master 然后输入bash刷新当前主机名 工作节点1就修改成node1 hostnamectl set-hostname node1 然后输入bash刷新当前主机名 二、全部节点安装依赖并同步时间 yum -y install socat conntrack ebta…

halcon 条形码、二维码识别、opencv识别

一、条形码 函数介绍 create_bar_code_model * 1.创建条码读取器的模板 * 参数一&#xff1a;通用参数的名称&#xff0c;针对条形码模型进行调整。默认值为空 * 参数二&#xff1a;针对条形码模型进行调整 * 参数三&#xff1a;条形码模型的句柄。 create_bar_code_model (…