|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 空 : [そら] 【名詞】 1. sky 2. the heavens ・ 積 : [せき] 【名詞】 1. (gen) (math) product
数学における空積(くうせき、)あるいは零項積 (nullary product) は、 個の因子を掛けた結果である。(考えている乗法演算に単位元が存在する場合に限り)「空積の値は単位元 1 に等しい」という規約を設ける〔Page 9 of 〕。このことは、空和(すなわち0個の数を足した結果)が零元 0 に等しいと約束することと同様である。 用語 "空積" は算術的演算を議論するときに上の意味で使われることが多い。しかしながら、この用語は集合論の共通部分、圏論の積、コンピュータプログラミングにおける積に対しても使われる。これらは以下で議論される。 == 零項算術積 == === 正当化 === を数の列とし、 : をこの列の最初の -項の積とする。このとき : がすべての に対して成り立つというためには、 および とするという規約が必要である。これはつまり、ただ一つの因子からなる "積" の値はその因子自身であり、全く因子を持たない "積" の値は とするということである。一つだけあるいは零個の因子の "積" を許すことで、多くの数学的な公式において考慮すべき場合の数を減らすことができるようになる。そのような "積" は数学的帰納法やアルゴリズムにおける起点として自然に現れる。これらの理由のため「空積の値は であるものと約束する」ことは数学やコンピュータプログラミングにおいて常識である。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「空積」の詳細全文を読む スポンサード リンク
|