アフィン包

アフィン包についての詳細

数学における「アフィン包」という概念は、アフィン空間論の中心的な要素の一つです。アフィン包は、与えられた集合を包含する最小のアフィン部分空間を示すものであり、その性質や定義を理解することは、アフィン空間の研究において非常に重要です。

アフィン包の定義

まず、アフィン包を理解するためには、基本的な原理を押さえる必要があります。ユークリッド空間
Rn における部分集合 S のアフィン包は、次のように定義されます。アフィン包は、S を含む全てのアフィン部分空間の交わりとも言えます。これは、部分集合 S の元を用いて、アフィン結合を形成することで得られる集合であり、以下の数式で表されます。

$$ ext{aff}(S) = \{\sum_{i=1}^{k} \alpha_{i} x_{i} \mid k \in \mathbb{N}, x_{i} \in S, \alpha_{i} \in \mathbb{R}, \sum_{i=1}^{k} \alpha_{i} = 1\}$$

ここで、$\alpha_{i}$ はリアル数で、$x_{i}$ は集合 S の元を表します。このようにして、アフィン包はアフィン空間内の特定の点を通るすべての直線（または平面、空間など）を表します。

例

アフィン包の具体例を考察すると、相異なる二点の集合から構成されるアフィン包は、その二点を結ぶ直線になります。同一直線上にない三つの点の場合、アフィン包はその三点を通る平面を創出します。さらに、三次元空間 R3 において同一平面上にない四点のアフィン包は、R3 全体を含むことになります。このように、アフィン包は集合の次元を拡張する役割を持っていることが分かります。

アフィン空間の性質

アフィン空間 A における任意の部分集合 M のアフィン包は、特定の特性を持っています。アフィン包は、以下の重要な性質を満たします：
1. 各部分集合のアフィン包は一意的に決定される。
2. アフィン包の次元は -1（空集合の次元）から全体空間の次元までの範囲を持つ。
3. アフィン空間 A が実数体に基づく場合、M のアフィン包はその凸包を含みます。これは、アフィン包と凸包の関連性を際立たせます。

アフィン包の操作

アフィン空間のアフィン包に関する操作は、二項演算を定義します。具体的には、部分空間 U と V のアフィン包の合併は以下のように表現されます。
$$ U \vee V := \text{aff}(U \cup V) $$
この合併は「アフィン和空間」として知られ、U および V の交わりも同様に定義されます。これにより、アフィン空間の集合族において、分配束や特にブール代数としての性質が成り立つことが示されます。

関連概念

アフィン包は他の数学的概念と密接に関連しています。特に、

• - 凸包：アフィン結合の代わりに、各 $\alpha_{i}$ を非負に制約することで形成されます。これは、アフィン包よりも小さくなる特性があります。
• - 錐包：錐結合によるアフィン包の拡張です。
• - 線型包：アフィン結合の制約が外れると得られるもので、アフィン包を含む集合となります。

これらの概念を通じて、アフィン包が数学の多様な領域で重要な役割を果たしていることが理解できます。アフィン包の性質やその他の関連概念を考察することで、より深い数学的理解を得ることができるでしょう。

もう一度検索