A Course on Borel Sets Exercise 1.3.3

  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/3827510.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值