Let X be a finite set f : X → X a function. Prove that f is injective if and only if f is surjective

Proof:

Suppose f is injective. Then we assume that f is not surjective
and find a contradiction. Let x ∈ X be such that f(y) 6= x for any y ∈ X.
However, since each x ∈ X must go to an element of X, we must have two
elements in X mapping to the same element. (Note that it is importantlli’s
X be finite for this to work!) This contradicts the injectivity. Thus if f is
injective, it must be surjective.
Now suppose that f is surjective but not injective. Let x, y ∈ X so that
f(x) = f(y) but x 6= y. This means that there are not enough elements
left to map to each element of X since we have essentially used two of them
to map to one element. Thus f cannot be surjective. Both of these are
examples of the pigeonhole principle. It states if you have N “pigeonholes”
and M > N pigeons, some pigeons must go into the same box

Let X be a finite set f : X → X a function. Prove that f is injective if and only if f is surjective相关推荐

设函数f(x)与g(x)在点x0连续，证明函数φ(x)=max{f(x),g(x)},ψ(x)=min{f(x),g(x)}在x0也连续
微积分提纲+公式整理（大一下）
各位西交利物浦的同学们大家好啊!期末在即,为了不挂科,我费了好大力气,尽自己所能的整理了这些提纲.内容粗浅,如果大家能看到,并且为大家的学习提供了一点点的帮助,那真的再好不过了.哦还有 ...
肉丝姐js逆向课程保姆级笔记
文章目录肉丝姐课程序言 JS0601课时①环境的搭建与js简介 JS0603课时②:基本数据类型(上) JS0607课时③基本数据类型(下) JS0608课时②:JS对象特性详解与Hook 肉丝姐课 ...
PHP——通过下拉列表选择时间（转）
实现效果: 主页代码: <script type="text/javascript" src="jquery.min.js"></script ...
Exchange Log Collector Script
A while ago I created the "CollectLogsScript" (see my old A better way to collect logs fro ...
Jquery--遮罩弹窗特效
/*! jQuery v1.7.2 jquery.com | jquery.org/license*/(function(a,b){function cy(a){return f.isWindow(a ...
【废弃】【WIP】JavaScript 函数
创建: 2017/10/09 更新: 2017/11/03 加上[wip] 废弃: 2019/02/19 重构此篇.原文归入废弃增加[废弃中]标签与总体任务结束: 2019/03/12 完成废弃 ...
spring mvc学习（55）：简单异常处理二
引入jar包 pom.xml <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http: ...
spring mvc学习（54）：简单异常处理
引入jar包 pom.xml <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http: ...
spring mvc学习（52）：json数据类型提交
引入jar包 pom.xml <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http: ...

Let X be a finite set f : X → X a function. Prove that f is injective if and only if f is surjective

Proof:

Let X be a finite set f : X → X a function. Prove that f is injective if and only if f is surjective相关推荐

最新文章

热门文章