前面所讨论的都是在一维实数集R上的数或数集以及在其上的映射、极限、微分和积分等内容下面把相关的内容拓广到多维空间上,我来为大家讲解一下关于大一高等数学求极限的教学?跟着小编一起来看一看吧!

大一高等数学求极限的教学(极限的多维拓广)

大一高等数学求极限的教学

前面所讨论的都是在一维实数集R上的数或数集以及在其上的映射、极限、微分和积分等内容。下面把相关的内容拓广到多维空间上。

首先,将映射和极限作相应的多维拓广。为此,先引入几个概念:

1)笛卡尔积集

设x(1),x(2),...,x(n)是n个实数,将其构成一个n维向量(数组)

(x(1),x(2),...,x(n))

将所有n维向量组成的集合称为n维笛卡尔积集

Rⁿ = R×R×...×R = {(x(1),x(2),...,x(n))|x(i)∈R,i=1,2,...,n}

Rⁿ上的向量也被称为“点”,x(i)(i=1,2,...,n)为相应的坐标。此外,在Rⁿ上还定义了加法和数乘,即对于

A = (a(1),a(2),...,a(n))∈Rⁿ

B = (b(1),b(2),...,b(n))∈Rⁿ

λ∈R

定义

A B ≝ (a(1) b(1),a(2) b(2),...,a(n) b(n))

λA ≝ (λa()1,λa(2),...,λa(n))

2)欧几里得空间

如果在上述的n维笛卡尔积集Rⁿ的基础上,再定义内积如下

A•B = ∑[i=1,n] a(i)b(i)

则此Rⁿ称为n维欧几里得空间。相应空间内的向量自内积的开方(√A•A)被定义为此向量的模(|A|),也称欧几里得范数(‖A‖),即

‖A‖ = |A| = √(∑[i=1,n] a(i)²)

对于欧几里得范数(或模),有如下性质

a)正定性,即|A|≥0,且|A|=0当且仅当A=0=(0,0,...,0)。

b)对称性,即|A|=|-A|。

c)三角不等式,即|A-C|≤|A-B| |B-C|

3)距离

一维实数集是个线性序集,所以其上的“点”(即实数)具备大小关系。但拓广到n维欧几里得空间后,其上的点就不再具有此关系。在此,我们引入距离的概念,即对于两点A和B定义其距离为|A-B|。显然,|A-B|=0当且仅当A=B。

有了这些概念作为基础,下面就可以将映射(函数)和极限拓广到n维的欧几里得空间上去。

一)n元函数

设Rⁿ是n维欧几里得空间,定义如下映射为n元函数

f: Rⁿ→R

或表示为

y = f(x(1),x(2),...,x(n))

其中,y∈R且x(i)∈R(i=1,2,...,n)。

二)n维欧几里得空间下点列的极限

设有点列{X(k)|X(k)∈Rⁿ,k=1,2,...},如果存在定点A∈Rⁿ,满足

∀ε>0,∃N,∀k>N(|X(k)-A|<ε)

则称此点列收敛,A为其收敛极限,表示为

lim[k→∞] X(k) = A,或X(k)→A

Rⁿ上点列极限与其坐标分量数列极限的关系

设{X(k)}是Rⁿ上的点列,A是Rⁿ上的一个定点。点列{X(k)}收敛于A的充分必要条件是{X(k)}的n个坐标数列收敛于A的相应n个坐标。

三)n元函数的n重极限

设有n元函数

y = f(X)

其中,y∈R,X∈Rⁿ。对于定点X0∈Rⁿ,如果存在A∈R满足

∀ε>0,∃δ,∀X(0<|X-X0|<δ(|f(X)-A)|<)ε)

则称n元函数f(X)在X0点上收敛,A为其收敛n重极限(或简称极限),表示为

lim[X→X0] f(X) = A

注意,这里的X→X0表示X可以任何方式逼近定点X0。

四)n元函数的n次极限

设有n元函数

y = f(X)

其中,y∈R,X=(x(1),x(2),...,x(n))∈Rⁿ。对于定点X0=(x0(1),x0(2),...,x0(n))∈Rⁿ,如果存在A∈R满足

lim[x(k1)→x0(k1)]lim[x(k2)→x0(k2)]...lim[x(kn)→x0(kn)] f(X) = A

其中k1,k2,...,kn是1,2,...,n的某一排列,则称n元函数f(X)在次序k1,k2,...,kn下收敛,A为其此次序下收敛的n次极限。

注意,针对不同的次序k1,k2,...,kn(即1,2,...,n的不同排列),相应的n次极限不一定相同。但若n元函数f(X)存在n重极限,则其任意次序下的n次极限都相同,且等于其n重极限。

五)n元函数的连续性

设有n元函数

y = f(X)

其中,y∈R,X∈Rⁿ。对于定点X0∈Rⁿ,如果成立

lim[X→X0] f(X) = f(X0)

则称n元函数f(X)在点X0连续。

六)向量值函数

前面n元函数的值是个实数,即函数值是一维的。如果将m个n元函数组合起来,其组合后的值是m维欧几里得空间上的一点。此n元函数的组合称为向量值函数。

关于极限论其他概念和性质的多维拓广,在此略。

,