یک تابع با ارزش بردار است ، ثابت کنید که
در باز بودن فاصله قابل تغییر است
اگر و فقط اگر برای تمام
داشته های ما باشد
اثبات اول ، فرض در قابل تغییر است
. سپس ، با تعریف تفاوت برای توابع ارزش بردار ما
و هر یک از آنها وجود دارد. بنابراین با تعریف معمول مشتق که داریم
برعکس ، فرض کنید که
سپس ، حد
برای هر یک وجود دارد . بنابراین ،
برای هر یک وجود دارد
. بنابراین ،
وجود دارد
ویژگی محدودیت توابع با ارزش بردار را ثابت کنید
ثابت کنیم که
اثبات اجازه دهید
سپس،
این اگر و فقط در صورت وجود دارد
از حد معمول این درست است و فقط اگر
این در صورتی است که فقط اگر باشد
G ute را محاسبه کنید اگر G = FF ′ x F ′
بگذارید ضرب سه گانه اسکالر باشد . ثابت کنیم که .
اثبات ما محاسبه می کنیم ،
G ′ را محاسبه کنید اگر G = F x F
اجازه دهید . محاسبه
از نظر
و
.
با استفاده از قانون ضرب برای ضرب متقابل ما محاسبه می کنیم ،
از آنجا که یک بردار که با خودش تلاقی می کند 0 است.
ثابت کنید که (F ′ ′ (t همان جهت( F (t معین را دارد
اجازه بدهید می شود غیر صفر بردار و
ثابت کنید که همان جهت را دارد .
اثبات نشان می دهد که و دارای جهت یکسان باید نشان دهیم که وجود دارد که ثابت وجود دارد
به طوری که . بنابراین ، ما محاسبه می کنیم ،
ثابت کنید که (F ”(t در شرایط معین نسبت به (F '(t متعامد است
بگذارید یک بردار غیر صفر باشد و
یک تابع با بردار با ارزش
برای همه داشته باشد
، به گونه ای که زاویه بین
و
ثابت باشد. ثابت کنید و
متعامد هستند.
اثبات از آنجا که ما
برای برخی از ثابت است
. از آنجا که زاویه بین
و
ثابت است ، داریم
برای برخی ثابت است . بنابراین ،
ثابت است. از این رو ،
ثابت است ، می گویند
. بنابراین ، ما داریم
ضرب نقطه ای یک بردار و یک انتگرال با ارزش را محاسبه کنید
بگذار و بگذار
ضرب نقطه را محاسبه کنید .
ابتدا ، انتگرال را با ارزش ارزیابی می کنیم ،
بنابراین ، ضرب نقطه است
محاسبه یک انتگرال با ارزش بردار
محاسبه بردار با ارزش انتگرال
ما محاسبه می کنیم