翻訳と辞書
Words near each other
・ 圏央道
・ 圏央鶴ヶ島IC
・ 圏央鶴ヶ島インターチェンジ
・ 圏点
・ 圏界面
・ 圏論
・ 圏論プログラミング言語
・ 圏論的全射
・ 圏論的単射
・ 圏論的和
圏論的積
・ 圏谷
・ 圏風牌
・ 圐
・ 圑
・ 園
・ 園 (数学)
・ 園01 (東急バス)
・ 園02 (東急バス)
・ 園の墓


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

圏論的積 : ミニ英和和英辞書
圏論的積[けんろん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [けん]
  1. (n,n-suf) sphere 2. circle 3. range
: [ろん]
 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment
: [まと, てき]
 【名詞】 1. mark 2. target 
: [せき]
 【名詞】 1. (gen) (math) product 

圏論的積 ( リダイレクト:積 (圏論) ) : ウィキペディア日本語版
積 (圏論)[せき]
圏論において、圏の2つ(あるいはもっと)の対象の (product) は集合のカルテジアン積群の直積環の直積位相空間の積といった数学の他の分野における構成の背後にある本質を捉えるために考えられた概念である。本質的に対象の族の積は与えられた対象のそれぞれへのをもつ「最も一般的な」対象である。
== 定義 ==
\mathcal C を対象 X_1X_2 をもった圏とする。対象 XX_1X_2 の積であるとは、このとき X_1 \times X_2 と表記されるが、それが以下の普遍性を満たすということである:
: 射 \pi_1 : X \to X_1, \pi_2 : X \to X_2 が存在して、すべての対象 Y と射 f_1 : Y \to X_1, f_2 : Y \to X_2 の対に対して、一意的な射 f : Y \to X が存在して、次の図式が交換する
一意的な射 f f_1f_2 の積 (product of morphisms) と呼ばれ、\langle f_1, f_2 \rangle と表記される。射 \pi_1\pi_2自然な射影 (:en:Projection (mathematics)」は、:ja:射影 とリンク -->" TITLE="canonical projection">canonical projection) あるいは射影射 (projection morphism) と呼ばれる。
上で二項の積 (binary product) を定義した。2 つの対象の代わりに集合 I で添え字づけられた対象の任意のを取ることができる。すると (product) の定義を得る。
対象 X が対象の族 \_i の積であることと次は同値である。射 \pi_i : X \to X_i が存在して、すべての対象 YI で添え字づけられた射 f_i : Y \to X_i の族に対し、一意的な射 f : Y \to X が存在して、次の図式がすべての i \in I に対して交換する:
積は \prod_ X_i と表記される。I = \ であれば、X_1 \times \cdots \times X_n と表記され、射の積は \langle f_1, \ldots, f_n \rangle と表記される。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「積 (圏論)」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.