双射
(重定向自雙射函數)
數學中,一個由集合映射至集合的函數,若對每一在內的,存在唯一一個在內的与其对应,且對每一在內的,存在唯一一個在內的与其对应,則此函數為對射函數。
換句話說,如果其為兩集合間的一一對應,则是雙射的。即,同時為單射和滿射。
例如,由整數集合至的函數,其將每一個整數連結至整數,這是一個雙射函數;再看一個例子,函數,其將每一對實數連結至,這也是個雙射函數。
一雙射函數亦簡稱為雙射(英語:bijection)或置換。後者一般較常使用在時。以由至的所有雙射組成的集合標記為。
雙射函數在許多數學領域扮演著很基本的角色,如在同構的定義(以及如同胚和微分同構等相關概念)、置換群、投影映射及許多其他概念的基本上。
複合函數與反函數编辑
一函數 為雙射的若且唯若其逆關係 也是個函數。在這情況, 也會是雙射函數。
兩個雙射函數 及 的複合函數 亦為雙射函數。其反函數為 。
另一方面,若 為雙射的,可知 是單射的且 是滿射的,但也僅限於此。
一由 至 的關係 為雙射函數若且唯若存在另一由 至 的關係 ,使得 為 上的恆等函數,且 為 上的恆等函數。必然地,此兩個集合會有相同的勢。
雙射與勢编辑
若 和 為有限集合,則其存在一兩集合的雙射函數若且唯若兩個集合有相同的元素個數。確實,在公理集合論裡,這正是「相同元素個數」的定義,且廣義化至無限集合,並導致了基數的概念,用以分辨無限集合的不同大小。
例子與反例编辑
性質编辑
- 一由實數 至 的函數 是雙射的,若且唯若其圖像和任一水平線相交且只相交於一點。
- 設 為一集合,則由 至其本身的雙射函數,加上其複合函數「 」的運算,會形成一個群,即為 的對稱群,其標記為 、 或 。
- 取一定義域的子集 及一陪域的子集 ,則
- 且 。
- 為一雙射函數。
- 為一滿射函數。
- 為一單射函數。
- 一个严格的单调函数是双射函数,但双射函数不一定是单调函数(例如 )。
雙射與範疇論编辑
另見编辑
參考文獻编辑
- Wolf. Proof, Logic and Conjecture: A Mathematician's Toolbox. Freeman. 1998.
- Sundstrom. Mathematical Reasoning: Writing and Proof. Prentice-Hall. 2003.
- Smith; Eggen; St.Andre. A Transition to Advanced Mathematics (6th Ed.). Thomson (Brooks/Cole). 2006.
- Schumacher. Chapter Zero: Fundamental Notions of Abstract Mathematics. Addison-Wesley. 1996.
- O'Leary. The Structure of Proof: With Logic and Set Theory. Prentice-Hall. 2003.
- Morash. Bridge to Abstract Mathematics. Random House.
- Maddox. Mathematical Thinking and Writing. Harcourt/ Academic Press. 2002.
- Lay. Analysis with an introduction to proof. Prentice Hall. 2001.
- Gilbert; Vanstone. An Introduction to Mathematical Thinking. Pearson Prentice-Hall. 2005.
- Fletcher; Patty. Foundations of Higher Mathematics. PWS-Kent. 1992.
- Iglewicz; Stoyle. An Introduction to Mathematical Reasoning. MacMillan.
- Devlin, Keith. Sets, Functions, and Logic: An Introduction to Abstract Mathematics. Chapman & Hall/ CRC Press. 2004.
- D'Angelo; West. Mathematical Thinking: Problem Solving and Proofs. Prentice Hall. 2000.
- Cupillari. The Nuts and Bolts of Proofs. Wadsworth. 1989.
- Bond. Introduction to Abstract Mathematics. Brooks/Cole.
- Barnier; Feldman. Introduction to Advanced Mathematics. Prentice Hall. 2000.
- Ash. A Primer of Abstract Mathematics. MAA. 1998.
外部連結编辑
维基共享资源中相关的多媒体资源:Bijectivity
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命