對射

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書
一個對射函數

數學中,一個由集合映射至集合函數,若對每一在內的,存在唯一一個在內的與其對應,且對每一在內的,存在唯一一個在內的與其對應,則此函數為對射函數

換句話說,如果其為兩集合間的一一對應,則是對射的。即,同時為單射滿射

例如,由整數集合的函數,其將每一個整數連結至整數,這是一個對射函數;再看一個例子,函數,其將每一對實數連結至,這也是個對射函數。

一對射函數亦簡稱為對射(英語:bijection)或置換。後者一般較常使用在時。以由的所有對射組成的集合標記為

對射函數在許多數學領域扮演着很基本的角色,如在同構的定義(以及如同胚微分同構等相關概念)、置換群投影映射及許多其他概念的基本上。

複合函數與反函數[編輯]

一函數為對射的當且僅當其逆關係也是個函數。在這情況,也會是對射函數。

兩個對射函數複合函數亦為對射函數。其反函數為

一個複合所得的對射,左側為單射,右側為滿射。

另一方面,若為對射的,可知是單射的且是滿射的,但也僅限於此。

一由的關係為對射函數當且僅當存在另一由的關係,使得上的恆等函數,且上的恆等函數。必然地,此兩個集合會有相同的

對射與勢[編輯]

有限集合,則其存在一兩集合的對射函數當且僅當兩個集合有相同的元素個數。確實,在公理集合論裏,這正是「相同元素個數」的定義,且廣義化至無限集合,並導致了基數的概念,用以分辨無限集合的不同大小。

例子與反例[編輯]

  • 對任一集合,其恆等函數為對射函數。
  • 函數,其形式為,是對射的,因為對任一,存在一唯一使得
  • 指數函數,其形式為,不是對射的:因為不存在一內的使得,故非為對射。但若其對應域改成正實數,則便是對射的了;其反函數為自然對數函數
  • 函數 : ,其形式為,不是對射的:因為,故非為對射。但如果把定義域也改成,則便是對射的了;其反函數為正平方根函數。
  • 不是對射函數,因為都在其定義域裏且都映射至
  • 不是對射函數,因為和2都在其定義域裏且都映射至

性質[編輯]

  • 一由實數的函數是對射的,當且僅當其圖像和任一水平線相交且只相交於一點。
  • 為一集合,則由至其本身的對射函數,加上其複合函數「」的運算,會形成一個,即為對稱群,其標記為
  • 取一定義域的子集及一對應域的子集,則
  • 為具相同有限集合,且,則下列三種說法是等價的:
  1. 為一對射函數。
  2. 為一滿射函數。
  3. 為一單射函數。
  • 一個嚴格的單調函數是對射函數,但對射函數不一定是單調函數(例如)。

對射與範疇論[編輯]

形式上,對射函數恰好是集合範疇內的同構

另見[編輯]

參考文獻[編輯]

  • 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. 

外部連結[編輯]