博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
A Course on Borel Sets Exercise 1.3.3
阅读量:7117 次
发布时间:2019-06-28

本文共 669 字,大约阅读时间需要 2 分钟。

  Exercise 1.3.3 Let $X,Y$ be sets such that there is a map from X onto Y . Show that $Y\leq_c X$.

  Proof:Let this onto map from $X$ to $Y$ be $f$.For any fixed $y\in Y$,Let $y^{set}$ be
  \begin{align*}
    y^{set}:\{x\in X|f(x)=y\}
  \end{align*}
It is easy to verify that for $y_1,y_2\in Y$,$y_1\neq y_2$,
\begin{equation}\label{eq:1}
  y_1^{set}\bigcap y_2^{set}=\emptyset
\end{equation}
And
\begin{align*}
 \bigcup y^{set}_{y\in Y}=X
\end{align*}
Then by the axiom of choice,there is a choice function from $Y$ to $\bigcup y_{y\in Y}^{set}$.And according to \ref{eq:1},this choice function is one-to-one.Done.

转载于:https://www.cnblogs.com/yeluqing/archive/2013/01/25/3827846.html

你可能感兴趣的文章
学习笔记:App-V测试错误代码4505CD-1690150A-20000194
查看>>
分布式实时分析数据库citus数据插入性能优化
查看>>
比较好玩的动态添加网页元素
查看>>
关于bacula网络备份软件的安装以及配置1
查看>>
对adapter的封装优化
查看>>
efs解密-Advanced EFS Data Recovery2.1-含注册KEY
查看>>
java运行环境(JRE)
查看>>
安装System Center 2012 R2 数据库
查看>>
iOS 分组索引和索引分区
查看>>
Apache+php 在windows下的配置
查看>>
求二叉树的深度
查看>>
PostFix邮件网关无法向公网投递邮件问题分析
查看>>
可替代的C语言开发环境
查看>>
无任何网络提供程序接受指定的网络路径解决方法
查看>>
XenDesktop 5之痛---Database Transaction Log速增
查看>>
DB2计划三招“破甲” IBM在华能否得偿所愿
查看>>
高可用集群原理概念详述
查看>>
mount NTFS harddisk on slackware ver13.37
查看>>
Liferay Dynamic CSS Filter方法的研究 - 总体过程
查看>>
看完性能简报,想不优化好都难!
查看>>