この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "空和"
数学における空和(くうわ、英: empty sum)または零項和 (nullary sum) は、(被加数の)項数が零であるような和を言う。規約として、「数からなる任意の空和は(和をとる際のいかなる条件が空に退化したものであっても)0 に等しい」と取り決める。例えば、 ∑ 1 ≤ n ≤ 0 n = 0 , ∑ 1 ≤ i < j ≤ 1 2 i 3 j = 0 {\displaystyle \sum _{1\leq n\leq 0}n=0,\quad \sum _{1\leq i<j\leq 1}2^{i}3^{j}=0}
である。
数列 a1, a2, a3, … に対して、最初の m-項の和を s m = ∑ i = 1 m a i = a 1 + ⋯ + a m {\displaystyle s_{m}=\sum _{i=1}^{m}a_{i}=a_{1}+\dotsb +a_{m}}
と書く。このとき s m = a m + s m − 1 {\displaystyle s_{m}=a_{m}+s_{m-1}}
が全ての m = 1, 2, … に対し成り立つものとするには、s1 = a1 および s0 = 0 という規約を設ける必要がある。これはつまり、ただひとつの項からなる "和" s1 の値はその項の値であり、項を持たない "和" s0 の値は 0 と考えるのである。このようなひとつだけあるいは 0 個の項の "和" を許すことで、多くの数学的な公式において考慮すべき場合の数を減らすことができる。また、そのような "和" は数学的帰納法やアルゴリズムの起点として自然に現れる。これらの理由のため、「空和の値は 0 であるものと約束する」ことは数学やコンピュータプログラミングにおいて標準的な慣習である。(同様の理由で、空積は乗法単位元である 1 に等しいと約束する。)
項が数以外のもの(例えばベクトル、行列、多項式など)の場合に定義された和に対して、一般には項が何らかのアーベル群や加法的に書かれる可換モノイドに値を取る場合に、空和の値はその群の零元に等しいものと扱われる。 空和の概念は、数 0 や空集合が有用なのと同じ理由で有用である。全く面白くない概念を表しているように見えるが、その存在によって多くの主題のはるかに短い数学的表示が可能になるのである。
空和を定義することの妥当性
例 (空線型和)
例えば、線型代数学においてベクトル空間 V の基底とは、V の線型独立な元からなる部分集合 B であって、V の任意の元が B の元の線型結合として表されるものを言うのであった。ここで空和の規約を用いれば、零次元ベクトル空間 V = {0} は基底を持つ、すなわち空集合がその基底であるということができる。
関連項目
空積
空虚な真
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・\a0 ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" |\a0 ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" -\a0 ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" /\a0 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")\a0 ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}