ベクトル空間の「演算が定義できる」とは？閉じている条件との違いを高校生向けに解説

ベクトル空間を学び始めると、「和とスカラー倍が定義できる集合」という説明が出てきます。しかし、「定義できる」とは具体的に何を意味するのか、また集合が閉じていることと同じなのか疑問に感じる人も多いです。

この記事では、高校数学で扱うベクトルのイメージを利用しながら、ベクトル空間における「演算が定義されている」という意味と、「閉じている」という条件との関係をわかりやすく説明します。

ベクトル空間とは何を満たす集合なのか

ベクトル空間とは、簡単に言えば「ベクトルとして扱えるものが集まった集合」のことです。

高校数学では、例えば平面上の矢印をベクトルとして考えます。ベクトル同士を足したり、数字（スカラー）を掛けたりできます。このような操作が数学的にきちんと行える集合がベクトル空間です。

ベクトル空間にはいくつかの条件がありますが、その中心になる考え方が「ベクトルの足し算」と「スカラー倍」が決められていることです。

「和が定義できる」とは、集合の中の2つの要素を選んだとき、その2つを足す方法が決まっているという意味です。

例えば、平面ベクトルでは、(1,2)と(3,4)という2つのベクトルがあれば、次のように足し算できます。

(1,2)+(3,4)=(4,6)

つまり、「どのように足すのか」というルールが存在している状態が、和が定義されているということです。

スカラー倍とは、ベクトルに数字を掛ける操作です。高校数学でいう「ベクトルを2倍する」「逆向きにする」といった操作に近いものです。

例えば、ベクトル(1,3)に2を掛ける場合は、

2(1,3)=(2,6)

となります。このように、数字とベクトルを組み合わせた計算方法が決まっていることを「スカラー倍が定義されている」と言います。

「定義できる」と「閉じている」は似ていますが、意味は少し違います。

閉じているとは、集合の中の要素を使って演算した結果が、必ず同じ集合の中に戻ってくることを意味します。

例えば、実数全体の集合では、2つの実数を足しても必ず実数になります。

3+5=8

このように結果が集合の外に出ないため、実数は足し算について閉じています。

一方で「定義されている」というのは、そもそもその計算方法やルールが決まっていることを指します。

集合が閉じていることはベクトル空間の重要な条件の一つですが、それだけでは十分ではありません。

例えば、ある集合で足し算の結果が必ず集合内に入ったとしても、その足し算のルールが普通の足し算と違ったり、交換法則や結合法則などが成り立たなければベクトル空間とは言えません。

ベクトル空間では、演算方法が決まっていて、さらにその演算がベクトル空間の性質を満たしている必要があります。

高校数学で扱うベクトルでは、基本的に矢印や座標として考えるため、足し算や数字倍が自然にできます。

例えば、平面上のすべてのベクトルの集合では、どんな2つのベクトルを選んでも足し算できます。また、どんな実数を掛けても同じ種類のベクトルになります。

そのため、高校で扱う普通のベクトルはベクトル空間の代表的な例になっています。

ベクトル空間でいう「和やスカラー倍が定義できる」とは、その集合の要素同士をどのように足したり、数字を掛けたりするかという計算ルールが決まっているという意味です。

一方、「閉じている」とは、その計算をした結果が集合の外に出ないという性質を表します。

つまり、演算が定義されていることと閉じていることは別の概念ですが、ベクトル空間を作るためには両方が重要になります。高校数学のベクトルの延長として考えると、「決められた計算ができて、その結果も仲間の中に戻る集合」と理解すると分かりやすくなります。