2024年4月14日日曜日

533: リアル（実）ベクトルたちスペース（空間）上のポイントたちのファイナイト（有限）セット（集合）に対して、もしも、ポイントに対して、ポイントの他のポイントたちからの差たちのセット（集合）がリニア（線形）にインディペンデント（独立）である場合、それは各ポイントに対してそうである

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
リアル（実）ベクトルたちスペース（空間）上のポイントたちのファイナイト（有限）セット（集合）に対して、もしも、ポイントに対して、ポイントの他のポイントたちからの差たちのセット（集合）がリニア（線形）にインディペンデント（独立）である場合、それは各ポイントに対してそうであることの記述/証明

話題


About: ベクトルたちスペース（空間）

この記事の目次

開始コンテキスト

ターゲットコンテキスト



  • 読者は、任意のリアル（実）ベクトルたちスペース（空間）上のポイントたちの任意のファイナイト（有限）セット（集合）に対して、もしも、当該ポイントたちの1つに対して、当該ポイントの他のポイントたちからの差たちのセット（集合）がリニア（線形）にインディペンデント（独立）である場合、それは各ポイントに対してそうであるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。

本体

1: 構造化された記述


ここに'構造化された記述'のルールたちがある。

エンティティ（実体）たち:
V: ∈{ 全てのリアル（実）ベクトルたちスペース（空間）たち }
{p0,...,pn}: ⊆V
//

ステートメントたち:
∃pk({p0−pk,...,pk−pk^,pn−pk} はリニア（線形）にインディペンデント（独立）である )、ここで、ハットマークは、当該コンポーネントは欠けていることを示す
⟹
∀pl({p0−pl,...,pl−pl^,pn−pl} はリニア（線形）にインディペンデント（独立）である )。
//

2: 自然言語記述


任意のリアル（実）ベクトルたちスペース（空間）V、ポイントたちの任意のファイナイト（有限）セット（集合）{p0,...,pn}⊆Vに対して、もしも、あるpkに対して、{p0−pk,...,pj−pk^,pn−pk}がリニア（線形）にインディペンデント（独立）である場合（ここで、ハットマークは当該コンポーネントが欠けていることを示す）、各plに対して、{p0−pl,...,pl−pl^,pn−pl}はリニア（線形）にインディペンデント（独立）である。

3: 証明


{p0−pk,...,pk−pk^,pn−pk}はリニア（線形）にインディペンデント（独立）であると仮定しよう。

lは任意のl∈{0,...,n}でl≠kおよびJl:={0,...,n}∖{l}であるとしよう。

∑j∈Jl(tj(pj−pl))=0としよう。=∑j∈Jl(tj(pj−pk+pk−pl))=∑j∈Jl(tj(pj−pk))−∑j∈Jl(tj(pl−pk))=∑j∈Jl(tj(pj−pk))−(∑j∈Jltj)(pl−pk)。すると、各j≠kに対してtj=0で∑j∈Jltj=0、しかし、∑j∈Jltj=tk=0。したがって、各tjは0、それが意味するのは、{p0−pl,...,pl−pl^,pn−pl}はリニア（線形）にインディペンデント（独立）であるということ。

参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
投稿者 時刻:
ラベル: