1変数m値ベクトル値関数とその属性:トピック一覧 |
・定義:ベクトル値関数 ・定義:ベクトル値関数の定義域/像・値/値域/逆像・原像/有界なベクトル値関数 |
※ 関数定義関連ページ:2変数関数/ n変数関数/実数値関数一般/ n変数m値ベクトル値関数/写像一般※1変数ベクトル値関数に関する諸概念の定義:極限/連続性/微分 →総目次 |
定義: 1変数m値ベクトル値関数 |
||
定義 |
1 変数m値ベクトル値関数とは、「実数tに対して、m個の実数の組(y1,y2,…,ym)を対応づける規則」 「実数体Rの区間I(定義域)に属す各点にたいして、 m次元空間Rmに属す点を対応づける規則」 「実数体Rの区間Iから、 m次元空間Rmへの、写像」 のこと。 (y1,y2,…,ym)=f (t) 、 f : I→Rm 、f :R⊃I→Rm などと表す。 |
[ 文献]杉浦『解析入門I』U微分法§1(p.82); |
ベクトル |
m 個の実数の組(y1,y2,…,ym)とは、実m次元数ベクトルのこと、にほかならないから、 1変数m値ベクトル値関数とは、 「実数tにたいして、実m次元数ベクトルy=(y1,y2,…,ym)を対応づける規則」 「実数体Rの区間Iの各元に対して、実m次元数ベクトル空間Rmの元を対応づける規則」 「実数体Rの区間Iから、実m次元数ベクトル空間Rmへの、写像」 などといっても同じ。 y=f (t) 、f: I→Rm 、f :R⊃I →Rm などと表す。 |
|
多変数 への 還元 |
1 変数m値ベクトル値関数(y1,y2,…,ym)=f (t) は、m個の 1変数実数値関数に還元できる。 つまり、 (y1,y2,…,ym)=f (t) とは、 y1=f1 (t) y2=f2 (t) : : ym=fm (t) という 1変数実数値関数f1 ,f2 ,…,fm の組に他ならない。 ここから、ベクトル値関数・多価関数 (y1,y2,…,ym)=f (t)、y=f (t) を、 (f1 (t),f2 (t),…,fm (t))=f (t) などと表すこともある。 |
|
類概念 |
1変数関数/ 2変数関数/ n変数関数/ n変数m値ベクトル値関数/実数値関数一般/写像一般 | |
1変数ベクトル値関数の定義域domain | |||
区間Iのこと。 |
|
||
[ 類概念]1変数関数の定義域/ 2変数関数の定義域/ n変数関数の定義域 / n変数m値ベクトル値関数の定義域/実数関数一般の定義域 |
|||
→ [トピック一覧:1変数ベクトル値関数とその属性]→総目次 |
点の像 |
「 1変数ベクトル値関数f による『t∈R』の像」「実数tにおけるf の値」 f (t) とは、 1変数ベクトル値関数f によって t∈Rに対応付けられた 点P=(y1,y2,…,ym)∈Rm のこと。 |
1変数関数の像・値/ 2変数関数の像・値/ n変数関数の像・値/実数値関数一般の像・値/写像の「像」 [文献] |
集合の |
「 1変数ベクトル値関数fによる『定義域の部分集合A』の像」f (A)とは、『定義域の部分集合A』に属す点のfによる像を、全部集めて出来る集合のこと。 つまり、f :R⊃I→Rm 、A⊂I⊂Rにたいして、 f (A)={ f (a)∈Rm | a∈A } と定義される。 |
range | ||
1変数ベクトル値関数「f :R⊃I→Rm」の値域とは、 f による定義域の像 f (I)={ f (a)∈Rm | a∈I⊂R } のこと。 |
|
|
[ 類概念] 1変数関数の値域/ 2変数関数の値域/ n変数関数の値域/実数値関数一般の値域 |
inverse image | ||
|
1変数ベクトル値関数f『f :R⊃I→Rm』による 点P=(y1,y2,…,ym)∈Rmの逆像である」 t =f −1 (P') とは、 実数tのf による像が、点P'=(y1,y2,…,ym)∈Rmであるということ f (t)=P' をいう。 ※点P'=(y1,y2,…,ym)∈Rmのf による逆像は、R上に複数存在しうる。 |
[ 類概念]1変数関数の逆像 2変数関数の逆像 n変数関数の逆像 実数値関数一般の逆像 写像の「逆像」 [文献] |
集合 |
「 1変数ベクトル値関数『f :R⊃I→Rm』による『Rm上の点集合B』の逆像」f −1 (B) とは、 定義域Iに属す点のうち、その像が『Rm上の点集合B』に属すもの全体の集合のこと。 つまり、f :R⊃I→Rm 、B⊂Rmにたいして、 f -1 (B)={ a∈I⊂R | f (a)∈B⊂Rm} と定義される。 |
|
有界 |
「 1変数ベクトル値関数『f :R⊃I →Rm』が有界である」とは、f の値域がRm上の点集合として有界であるということ、 |
Rudin 『現代解析学』4.13(p.87)距離空間一般上。 杉浦『解析入門I』I§6定義4(p.55); |
点集合 |
「 1変数ベクトル値関数『f :R⊃I →Rm』が点集合Aで有界である」とは、「f による『定義域Iの部分集合A』の像」f (A)がRm上の点集合として有界であるということ。 |