|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 全 : [ぜん] 1. (n,pref) all 2. whole 3. entire 4. complete 5. overall 6. pan ・ 全単射 : [ぜんたんしゃ] (n) (gen) (math) bijection ・ 単 : [ひとえ, たん] 【名詞】 1. one layer 2. single ・ 単射 : [たんしゃ] 【名詞】 1. (gen) (math) injection 2. monomorphism ・ 射的 : [しゃてき] 【名詞】 1. target practice 2. target practise ・ 的 : [まと, てき] 【名詞】 1. mark 2. target
数学において、全単射(ぜんたんしゃ)あるいは双射(そうしゃ)(bijective function, bijection) とは、写像であって、その写像の終域となる集合の任意の元に対し、その元を写像の像とする元が、写像の定義域となる集合に常にただ一つだけ存在するようなもの、すなわち単射かつ全射であるような写像のことを言う。例としては、群論で扱われる置換が全単射の良い例である。 全単射であることを一対一上への写像 (one-to-one onto mapping)あるいは一対一対応 (one-to-one correspondence) ともいうが、紛らわしいのでここでは使用しない。 写像 ''f'' が全単射のとき、''f''は可逆であるともいう。 ==定義== 写像 ''f'': ''A'' → ''B'' に対し、2つの条件 #全射性: ''f''(''A'') = ''B'' #単射性: 任意の ''A'' の元 ''a'', ''a'' について、''f''(''a'') = ''f''(''a'') ならば ''a'' = ''a'' がともに成り立つとき、写像 ''f'' は全単射 (bijective) であるという。この用語はブルバキによる。 ''f'': ''A'' → ''B'' が全単射であることは、 : が成り立つことと等価である。実際、全射と単射の定義を合わせれば、全射の定義における存在記号 を唯一存在記号 に置き換えればよいことがすぐに分かる。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「全単射」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Bijection 」があります。 スポンサード リンク
|