2022年3月27日日曜日

49: ノルム付きベクトルたちスペース(空間)たちマップ(写像)のリミット(極値)条件は等号付き条件たちで置き換えることができる

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

ノルム付きベクトルたちスペース(空間)たちマップ(写像)のリミット(極値)条件は等号付き条件たちで置き換えることができることの記述/証明

話題


About: ベクトルたちスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、ノルム付きベクトルたちスペース(空間)たちマップ(写像)のリミット(極値)δϵ条件は等号付き条件たちで置き換えることができるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
V1: { 全てのノルム付きベクトルたちスペースたち }
V2: { 全てのノルム付きベクトルたちスペースたち }
f: :V1V2
//

ステートメント(言明)たち:
limvv0f(v)=l

ϵR で以下を満たすもの、つまり、 0<ϵ(δR で以下を満たすもの、つまり、 0<δ(vV1 で以下を満たすもの、つまり、 vv0<δ(f(v)l<ϵ))) (通常の条件)

ϵR で以下を満たすもの、つまり、 0<ϵ(δR で以下を満たすもの、つまり、 0<δ(vV1 で以下を満たすもの、つまり、 vv0δ(f(v)l<ϵ))) (第2条件)

ϵR で以下を満たすもの、つまり、 0<ϵ(δR で以下を満たすもの、つまり、 0<δ(vV1 で以下を満たすもの、つまり、 vv0<δ(f(v)lϵ))) (第3条件)

ϵR で以下を満たすもの、つまり、 0<ϵ(δR で以下を満たすもの、つまり、 0<δ(vV1 で以下を満たすもの、つまり、 vv0δ(f(v)lϵ))) (第4条件)
//


2: 自然言語記述


任意のノルム付きベクトルたちスペースたちV1,V2、任意のマップ(写像)f:V1V2、任意のリミットlimvv0f(v)=l、通常のδϵ条件'各0<ϵに対して、以下を満たすある0<δがある、つまり、以下を満たす各v、つまり、vv0<δに対して、f(v)l<ϵ'に対して、"vv0<δ"部分はvv0δで置き換えることができる(第2条件とここでは呼ばれる); または、"f(v)l<ϵ"部分はf(v)lϵで置き換えることができる(第3条件とここでは呼ばれる); または、両部分を置き換えることができる(第4条件とここでは呼ばれる)。


3: 証明


通常の条件を仮定し、第2条件が満たされることを見よう。

0<ϵは任意としよう。

以下を満たすある0<δがある、つまり、以下を満たす各v、つまり、vv0<δ、に対して、f(v)l<ϵ

任意の0<δ<δを選ぼう。

すると、以下を満たす各v、つまり、vv0δ、に対して、vv0δ<δ、したがって、f(v)l<ϵ

したがって、第2条件が満たされる。

第2条件を仮定し、通常の条件が満たされることを見よう。

0<ϵは任意としよう。

以下を満たすある0<δがある、つまり、以下を満たす各v、つまり、vv0δ、に対して、f(v)l<ϵ

すると、以下を満たす各v、つまり、vv0<δ、に対して、vv0<δδ、したがって、f(v)l<ϵ

したがって、通常の条件が満たされる。

通常の条件を仮定し、第3条件が満たされることを見よう。

0<ϵは任意としよう。

以下を満たすある0<δがある、つまり、以下を満たす各v、つまり、vv0<δ、に対して、f(v)l<ϵ

すると、f(v)l<ϵϵ

したがって、第3条件が満たされる。

第3条件を仮定し、通常の条件が満たされることを見よう。

0<ϵは任意としよう。

任意の0<ϵ<ϵを選ぼう。

以下を満たすある0<δがある、つまり、以下を満たす各v、つまり、vv0<δ、に対して、f(v)lϵ

すると、f(v)lϵ<ϵ

したがって、通常の条件が満たされる。

第2条件を仮定し、第4条件が満たされることを見よう。

0<ϵは任意としよう。

以下を満たすある0<δがある、つまり、以下を満たす各v、つまり、vv0δ、に対して、f(v)l<ϵ

すると、f(v)l<ϵϵ

したがって、、第4条件が満たされる。

第4条件を仮定し、第2条件が満たされることを見よう。

0<ϵは任意としよう。

任意の0<ϵ<ϵを選ぼう。

以下を満たすある0<δがある、つまり、以下を満たす各v、つまり、vv0δ、に対して、f(v)lϵ

すると、f(v)lϵ<ϵ

したがって、第2条件が満たされる。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>