翻訳と辞書
Words near each other
・ 普通養子縁組
・ 普通高校
・ 普速完
・ 普連土学園
・ 普連土学園中学校
・ 普連土学園中学校・高等学校
・ 普連土学園高等学校
・ 普遍
・ 普遍クラス
・ 普遍主義
普遍代数
・ 普遍代数学
・ 普遍例化
・ 普遍係数定理
・ 普遍包絡代数
・ 普遍包絡環
・ 普遍医薬
・ 普遍原理
・ 普遍史
・ 普遍妥当


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

普遍代数 : ミニ英和和英辞書
普遍代数[ふへん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [ふ]
 【名詞】 1. widely 2. generally 
普遍 : [ふへん]
  1. (adj-na,n) universality 2. ubiquity 3. omnipresence 
: [よ, しろ]
 【名詞】 1. world 2. society 3. age 4. generation 
代数 : [だいすう]
 (n) algebra
: [すう, かず]
  1. (n,n-suf) number 2. figure 

普遍代数 ( リダイレクト:普遍代数学 ) : ウィキペディア日本語版
普遍代数学[ふへんだいすうがく]
数学の一分野としての普遍代数学(ふへんだいすうがく、)あるいは一般代数学(いっぱんだいすうがく、)は、構造の「モデル」となる例についてではなく代数的構造そのものについて研究する分野である。例えば、その研究対象として個々のを考えるのではなく群論そのものをその研究対象とするのである。
== 基本的な考え方 ==
普遍代数学でいう代数 (''algebra'')(代数系)あるいは代数的構造 (''algebraic structure'') とは、集合 ''A'' に ''A'' 上の演算(算法)を合わせて考えたものを言う。''A'' 上の ''n''-演算とは、''A'' の ''n'' 個の元を引数に取り、''A'' の一つの元を返す写像である。従って零項演算は単に ''A'' の元のこと、あるいは定数を意味することになる(これはしばしば ''a'' などのラテン小文字で表される)。単項演算は単に ''A'' から ''A'' への写像のことであり、これはその引数のまえに ~''x'' のように記号を置くことでしばしば表される。二項演算はしばしば中置記法に従って ''x'' 
* ''y'' のように引数の間に記号を置く。多変数(項数は不特定でもいい)の場合には、通常の写像の記法に従って、引数をコンマで区切ってパーレンで括った ''f''(''x'',''y'',''z'') や ''f''(''x''1,...,''x''''n'') のような書き方をする。特定の場面では、が意味を持つ場合もあり、適当な無限添字集合 ''J'' を用いて \textstyle\bigwedge_ x_\alpha のような記法が用いられることもある(完備束の代数理論など)。代数について言及する一つの方法は、であるかを明示することである。ここで Ω はその代数の演算のアリティ(項数)を表す自然数の順序組である。'n''-演算とは、''A'' の ''n'' 個の元を引数に取り、''A'' の一つの元を返す写像である。従って零項演算は単に ''A'' の元のこと、あるいは定数を意味することになる(これはしばしば ''a'' などのラテン小文字で表される)。単項演算は単に ''A'' から ''A'' への写像のことであり、これはその引数のまえに ~''x'' のように記号を置くことでしばしば表される。二項演算はしばしば中置記法に従って ''x'' 
* ''y'' のように引数の間に記号を置く。多変数(項数は不特定でもいい)の場合には、通常の写像の記法に従って、引数をコンマで区切ってパーレンで括った ''f''(''x'',''y'',''z'') や ''f''(''x''1,...,''x''''n'') のような書き方をする。特定の場面では、が意味を持つ場合もあり、適当な無限添字集合 ''J'' を用いて \textstyle\bigwedge_ x_\alpha のような記法が用いられることもある(完備束の代数理論など)。代数について言及する一つの方法は、であるかを明示することである。ここで Ω はその代数の演算のアリティ(項数)を表す自然数の順序組である。
零項演算は単に ''A'' の元のこと、あるいは定数を意味することになる(これはしばしば ''a'' などのラテン小文字で表される)。単項演算は単に ''A'' から ''A'' への写像のことであり、これはその引数のまえに ~''x'' のように記号を置くことでしばしば表される。二項演算はしばしば中置記法に従って ''x'' 
* ''y'' のように引数の間に記号を置く。多変数(項数は不特定でもいい)の場合には、通常の写像の記法に従って、引数をコンマで区切ってパーレンで括った ''f''(''x'',''y'',''z'') や ''f''(''x''1,...,''x''''n'') のような書き方をする。特定の場面では、が意味を持つ場合もあり、適当な無限添字集合 ''J'' を用いて \textstyle\bigwedge_ x_\alpha のような記法が用いられることもある(完備束の代数理論など)。代数について言及する一つの方法は、であるかを明示することである。ここで Ω はその代数の演算のアリティ(項数)を表す自然数の順序組である。

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

英語版ウィキペディアに対照対訳語「 Universal algebra 」があります。




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

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