空和
空和（くうわ、英語: empty sum）または零項和（れいこうわ、英語: nullary sum）とは、項数が0個であるような和（加法）をいう。数学では規約として、数の空和は 0 に等しい（より一般には、和を定義している対象の零元に等しい）と約束することが標準的である。[1][2]
定義
[編集]添字集合が空になる和、あるいは条件が常に偽となって加える項が一つも存在しない和を空和という。例えば や は、いずれも条件を満たす項が存在しないため空和である。[1]
数の場合、空和の値は
と定めるのが一般的である。[2]
一般化
[編集]和が数に限らず、ベクトル・行列・多項式など（加法が定義された対象）に値をとる場合にも空和は定義できる。一般に、加法が定義された対象では空和はその加法単位元（零元）に等しいものとして扱う。[1]
空和を定義する理由
[編集]空和を 0（あるいは零元）と定める主な理由は、既存の公式・再帰関係・アルゴリズムが「端点」でも自然に成立し、場合分けが減ることにある。[1]
数列の部分和（再帰式の整合性）
[編集]数列 の最初の 項の和を とおくと、通常 が成り立つ。これを の場合にも同じ形で成立させるには、 を空和として と置くのが自然である。[1]
帰納法・アルゴリズムの起点
[編集]線型代数における例（空線型結合）
[編集]線型代数学では、線型結合を有限和として定義するが、規約として「空線型結合（0項の線型結合）は零ベクトルに等しい」とする。これにより が零部分空間になるなど、定義や命題を統一的に述べられる。[3]
関連項目
[編集]脚注
[編集]- 1 2 3 4 5 6 Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren (1994). Concrete Mathematics: A Foundation for Computer Science (2 ed.). Addison-Wesley. pp. 24 2026年3月6日閲覧。
- 1 2 Nathanson, Melvyn B.. “Elementary Methods in Number Theory”. blngcc.wordpress.com. pp. Notation and Conventions, p.9. 2026年3月6日閲覧。
- ↑ Penneys, David. “Linear Algebra (lecture notes)”. people.math.osu.edu. pp. Definition 2.2.1–Examples 2.2.3 (p.23). 2026年3月6日閲覧。
参考文献
[編集]- Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren (1994). Concrete Mathematics: A Foundation for Computer Science (2 ed.). Addison-Wesley. pp. 24 2026年3月6日閲覧。
- Nathanson, Melvyn B.. “Elementary Methods in Number Theory”. blngcc.wordpress.com. pp. Notation and Conventions, p.9. 2026年3月6日閲覧。
- Penneys, David. “Linear Algebra (lecture notes)”. people.math.osu.edu. pp. Definition 2.2.1–Examples 2.2.3 (p.23). 2026年3月6日閲覧。