第6章 三维空间的观察

1．什么是线性空间?答:设V 是一个非空集合,P 是一个数域,在V 中定义了一个加法运算,在P 和V 的元素之间定义了一个数量乘法运算.如果上述两种运算满足以下规则,那么就称V 为P 上的一个线性空间(或称向量空间).1).+=+αββα；2).++=++αβγαβγ（）（）； 3).V 中有一个元素0，V α∀∈都有+0=αα，0称为V 的零元素； 4).V α∀∈，存在V β∈，使得+=0αβ，β称为α的负元素； 5).1=αα； 6).()()k l kl αα=； 7).()k l k l ααα+=+； 8).(+)=+k k k αβαβ；其中α，β，γ表示V 中的任意元素；k ，l 表示P 中的任意数．2．非空集合Ｖ在定义了加法和数乘运算之后成为P 上的一个线性空间，V 能否再定义另外的加法和数乘运算成为P 上的另一个线性空间？ 答：有可能．例如，全体二元实数列构成的集合{(,)|,}V a b a b R =∈．1).定义(,)(,)(,),(,)(,)a b c d a c b d k a b ka kb ⊕=++=，则V 成为R 上的一个线性空间 2).定义2(1)(,)(,)(,),(,)(,)k k a b c d a c b d ac k a b ka kb a z+⊕=+++=+，则V 成为R 上的另一个线性空间.3．线性空间V 有哪些简单性质与结论？ 答：1）零元素是唯一的；2）α的负元素是唯一的；3）000k k αα=⇔==或； 4）=αα--（）； 5）=k k k ααα-=--（）（）（）； 6）()k a b ka kb -=-；7）,V αβ∀∈，存在唯一的V γ∈，使得=αγβ+.证明：容易验证1）—3）， 4）因为+=0αα-（），所以α为（α-）的负元，即=αα--（）.5）()(()0,()()k k k k k k ααααα+-=+-=∴-=-.另一式子可类似证明.6）()(())()=()=k k k k k k k k αβαβαβαβαβ-=+-=+-+--. 7）(),+=αβαβγβααχβ+-=∴=-是方程的解.又若1γ也是+=αχβ的解，则1+=+αγαγ.两边左加α-，有1=γγ.所以方程+=αχβ在V 中有唯一解.4．判断一个非空集合M 不是线性空间有哪些基本方法？ 答：1）M 是至少含两个元的有限集；2）M 关于定义的某一运算不封闭； 3）M 不满足8条规则中的任一条.5．线性空间的例子.答：1）数域P 按照数的加法和乘法构成自身上的一个线性空间.特别的，实数域R 和复数域 C 按照数的加法和乘法都是自身上的线性空间.2）已知数域⊆P 数域P ，按照数的加法和乘法，P 构成P 上的线性空间.3）三维空间中与已知向量的全体再添加零向量，对于向量的加法与数乘运算构成一个 实线性空间.4）分量属于数域P 的全体n 元数组，对于n 元数组的加法与数乘构成P 上的一个线性 空间，记作nP .5）无穷实数列的全体：12={()|1,2}i I x x x i ∞∈=，，R ，，对于121211221212()()()=(),x x y y x y x y k x x kx x k R +=++∈，，，，，，，（，，），k ，构成一个实线性空间.6）n 元齐次线性方程组0x =A 的解向量的全体，对于n 维向量的加法和数乘构成P 上的线性空间（为nP 的子空间）.7）元素属于数域P 的m n ⨯矩阵的全体，对于矩阵的加法与数乘构成P 上的线性空间.8）数域P 上全体n 阶对称（反对称，上三角）矩阵对于矩阵的加法与数乘构成P 上的线性空间.9）设m n ⨯∈A P，则全体与A 可交换的矩阵的集合，对于矩阵的加法与数乘构成m n⨯P的一个线性空间.10）数域P 上全体满足条件trA=0（trA 表示A 的迹，即A 的主对角线元素之和）的n 阶矩阵的集合，对于矩阵的加法和数乘构成P 上的一个线性空间.11）数域P 上全体一元多项式的集合，对于多项式的加法和数与多项式的乘法构成P 上的线性空间，记作x P[].12）次数小于n 的一元多项式及零多项式的集合，对于多项式的加法和数与多项式的乘法构成P 上的线性空间，记作n x P[].13）集合W={()|()(1)0}n f x f x x f ∈=R[]且对于多项式的加法和数与多项式的乘法构成R 上的线性空间.14）数域P 上形如352113521n n a x a x a x a x ++++++的多项式的全体，对于多项式的加法和数与多项式的乘法构成P 上的线性空间.15）数域P 上多项式()g x 的倍式的全体：W={()|()|()}f x g x f x ，对于多项式的加法和数与多项式的乘法构成P 上的线性空间. 16）由0及数域P 上的m 元n 次多项式121211212(,)()m m m k k k m k k k m k k nf x x x a x xx k ++==∑，，为正整数的全体，对于多项式的加法及数与多项式的乘法构成P 上的线性空间，其中12mk k k a P ∈.17）对于在区间[,]a b 上的实函数的全体，对于函数的和及数与函数的积，构成R 上的线性空间.[,]a b 上的连续实函数全体为其子空间，记作[,]C a b .18）全体形如1122sin cos sin 2cos 2sin cos 2n n a a t b t a t b t a nt b nt +++++++的实函数，对于函数的和及数与函数的积，构成R 上的线性空间.6．下列集合关于指定运算均不构成线性空间：1）起点在原点，终点在不经过原点的直线上的空间向量的全体，按向量的加法与数乘运算；2）非齐次线性方程组AX=b(b ≠0)的解向量的全体，按向量的加法与数乘运算； 3）数域P 上次数不低于定数n 的多项式的全体并添上零多项式，按多项式的加法与数乘运算；4）有理数域定义运算：,;2k k βαβ∂∂⊕=+∂= 5）设P 为有理数域，对整数集定义运算：1,k βαβ∂⊕=+-∂=∂.证：1）集合不含零向量，所以不是线性空间.2）如果集合是空集，则不是线性空间. 如果集合非空，则由于不含零向量，所以也 不是线性空间.3）因两个次数不低于n 的多项式之和的次数可能低于n ，即关于多项式的加法不封闭，所以不是线性空间.4）因1(0)2∂∂=≠∂∂≠不满足线性空间定义中的规则5），所以不是自身上的线性空间.5）取3,1,k l ∂===则()3,k l +∂=而5k l ∂⊕∂=.故()k l +∂≠（k l ∂⊕∂），不满足线性空间定义中的规则7），所以集合不是线性空间.7.什么叫做向量的线性相关和线性无关？ 答:设V 是数域P 上的线性空间,且()1,,,1i a V i s s ∈=≥，如果存在一组不全为零的数()1,,i k P i s ∈=，使得()11220s s k a k a k a +++=， （1）那么称向量组1,,s a a 是线性相关的，否则，称它们是线性无关的.注 ○1一个向量不是线性相关,就一定是线性无关,两者必居其一且仅居其一. ○21,,s a a 线性无关 ⇔（1）式仅当10s k k ===成立.8.设1,,n αα线性相关,是否对任意一组不全为零的1,,n k k 都有110n n k k αα++=？答:不一定，比如0α=是线性相关的，它对一切非零数k 都有0k α=.而()()1,0,2,0βγ==就不可能对一切非零数12,k k 使得120k k βγ+=.9.什么叫线性表出？什么叫做两个向量等阶？ 答：设12,,,,m αααβ都是数域P 上的n 维向量，如果有P 中的m 个数1,,m k k ，使1122m m k k k βααα=+++，那么称β是12,,,m ααα的线性组合，或称β可以由12,,,m ααα线性表出（线性表示）.如果向量组12,,,r ααα中每个向量都可以由向量组12,,,s βββ线性表出，且12,,,s βββ中的每个向量都可以由12,,,r ααα线性表出，那么称向量组12,,,r ααα与向量组12,,,s βββ是等价的.10.向量组之间的等价是不是一种等价关系？ 答：是的.不难证明以下三条成立：1） 反身性：每一个向量组都与自身等价. 2） 对称性：如果12,,,r ααα与12,,,s βββ等价，那么12,,,s βββ也与12,,,r ααα等价.3） 传递性：如果12,,,r ααα与12,,,s βββ等价，而12,,,s βββ与12,,,t γγγ等价，那么12,,,r ααα与12,,,t γγγ等价.11.向量的线性相关性有哪些主要性质？ 答：容易证明的有：1） 零向量是线性相关的.含零向量的向量组也是线性相关的 2） 单个非零向量是线性无关的. 3） 设向量组()12,,,2m m ααα≥，则它们线性相关⇔至少存在一个向量，它可以由其余向量线性表出.4） 向量组()I 中如果有部分向量线性相关，则()I 一定线性相关. 5） 向量组()I 线性无关，则()I 的任意一个部分组必线性无关. 6） 向量组12,,,r ααα可以由向量组12,,,s βββ线性表出，则12,,,r ααα线性无关r s ⇔≤.7） 任意1n +个n 维向量必线性相关.8） 两个线性无关的等价向量组，必含有相同个数的向量. 12.(){}12,,,|.n n i P c c c c P =∈()1,,,1,2,,n i i in a a P i mα=∈=，则12,,,m ααα线性相关'0A x ⇔=有非零解，其中()()'1,,ij m m nA a x x x ⨯==.7.设()()1,1,,,,,1,2,,n i i ik i k in a a a a P i m α+=∈=，令()1,,i ik βαα=()1,2,,i m =则 1）若12,,m ααα线性相关⇒12,,,m βββ线性相关；2）若12,,,m ααα线性无关⇒12,,,m βββ线性无关.证：1）若存在不全为零的数1,,m l l ，使110m m l a l a ++=，则当然有110m m l l ββ++=.2）用反证法.若12,,,m ααα线性相关，则由1）知12,,,m βββ也线性相关，矛盾.13.如果12,,,m ααα线性无关，但12,,,,m αααβ线性相关，那么β可由12,,,m ααα线性表出，且表示法唯一.证：由假设存在一组不全为零的数11,,m k k +使1110m m m k k k ααβ++++=.若10m k +=，则由110m m k k αα++=，可证10m k k ===.这与假设矛盾，故10m k +≠，于是11m m l a l a β=++，其中1/,1,2,,i i m l k k i m +=-=.即β可由12,,,m ααα线性表出. 若1111m m m m l a l a s a s a β=++=++，则()()1110m mm l s ls αα-++-=.由12,,,m ααα线性无关，得()1,2,,i i l s i m ==，即表示法是唯一的.14.什么叫做极大线性无关组？ 答：如果向量组的一个部分组满足 1） 此部分组线性无关；2） 原向量组每个向量都可由这个部分组线性表出，则称此部分组是原向量组的一个极大线性无关组.注：向量组与极大线性无关组是等价的.15.一个向量组的极大线性无关组是否唯一？答：一般不唯一.比如，()()()0,0,1,0,2,0αβγ===，则β是,,αβγ的极大线性无关组；γ也是,,αβγ的一个极大线性无关组.注：○1一个向量组有多个极大线性无关组时，这些极大线性无关组之间也互相等价.○2由5.可知两个极大线性无关组虽可不同，但它们所含向量的个数相等.16.什么叫做向量组的秩？ 答：向量组的一个极大线性无关组所含向量的个数，称为向量组的秩.只含零向量的向量组，规定它的秩为0.17.设V 是数域P 上的线性空间，1,,n αα，1,,s V ββ∈，且1,,n αα线性无关，()()11,,,,s n A ββαα=，其中(),i j i j n s A P αα⨯=∈，再设()1,,s A c c =，其中1,,s c c 为A 的n 维向量.若A k =秩，且1,,i ik c c 为()1,,s A c c =的一个极大线性无关组，则1）由（1）式知()12,,,,1,2,,i n i c i s βααα==. （2）○1先证1,,i ik ββ线性无关.设110i k ik l l ββ++=，那么110i k ik l l ββ=++()()112112,,,,,,n i k n ikl c l c αααααα=++()()1211,,,,,.n i k ik l c l c ααα= （3）因为12,,,n ααα线性无关，由（3）知11,,0i k ik l c l c = （4） 在n P 中，1,,i ik c c 线性无关，由（4）知10k l l ===.○2其次，再任取{}12,,,s ββββ∈，那么i c 可由1,,i ik c c 线性表出，即11i i k ik c m c m c =++，于是()12,,,i n i c βααα= ()()1211,,,n i k ik m c m c ααα=++ ()()112112,,,,,,n i k n ik m c m c αααααα=++11i k ik m m ββ=++.综合○1、○2，即知1,,i ik ββ为1,,s ββ的一个极大线性无关组.2）由1）即得{}1,,=s k A ββ=秩秩.注：这解决了求抽象线性空间V 的向量组的秩的问题.同时还把求极大线性无关组的问题转化为求nP 中一个向量组的极大线性无关组的问题（而这是已知的）. 18.设()4321642f x x x x x =++-+，()422234f x x x x =++-，()4323491622f x x x x x =+--+，()43473f x x x x =+-+，求()1f x ，()2f x ，()3f x ，()4f x 的极大线性无关组.解：把()i f x 都看成[]5P x 中元素，取[]5P x 中一组基2341,,,,x x x x ，那么()()234123461174041,,,1,,,,12901316124223f f f f x x x x ⎛⎫ ⎪ ⎪⎪=- ⎪--- ⎪ ⎪-⎝⎭（1）令123461174041,,,,12901316124223C C C C ⎛⎫⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪====- ⎪ ⎪ ⎪ ⎪--- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪-⎝⎭⎝⎭⎝⎭⎝⎭可求出1234,,,C C C C 的一个极大线性无关组为234,,C C C .于是（1）式中相应的()()()234,,f x f x f x 为()()()()1234,,,f x f x f x f x 的一个极大线性无关组.19.设1103301121,,,,24127142056A B C D F --⎛⎫⎛⎫⎛⎫⎛⎫⎛⎫=====⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭⎝⎭为线性空间22R ⨯的一组基，那么()()111221221031213011,,,,,,,.21725421406A B C D F E E E E ⎛⎫⎪--⎪= ⎪ ⎪⎝⎭ 而1031213011321725421406⎛⎫ ⎪--⎪= ⎪ ⎪⎝⎭秩，所以向量组,,,,A B C D F 的秩等于3. 20.设1,,s αα的秩为r ，1,,r i i αα是1,,s αα中r 个向量，使得1,,s αα中每个向量都可被它们线性表出，则1,,ri i αα是1,,s αα的一个极大线性无关组.证：由假设可知1,,s αα可由1,,ri i αα线性表出，但1,,ri i αα可由1,,s αα线性表出是显然的，从而彼此等价.那么{}{}11,,=,,=r i i s r αααα秩秩.1,,r i i αα∴线性无关.21.如果向量组()I 可以由向量组()II 线性表出，那么()I 的秩不超过()II 的秩.证：当向量组()II 的秩为无穷时，结论显然成立.当()II m =秩时，由假设()I 的极大线性无关组也可由()II 的极大线性无关组线性表出，那么由5.之6）可证()()I II m ≤=秩秩. 注：由此可知等价的向量组具有相同的秩.22.设12,,,n n P ααα∈，n 维标准单位向量()()11,0,,0,,0,0,,1n εε==可被它们线性表出，则12,,,n ααα线性无关.证：1,,n αα显然可被1,,n εε线性表出，又1,,n εε可被1,,n αα线性表出，从而它们等价，于是由15.的注知()()11,,=,,=n n n ααεε秩秩.即知1,,n αα线性无关.注：○1这个命题的逆命题也是对的.○2在抽象的n 维线性空间V 中，此命题可改为：设1,,n ββ为V 的一组基，1,,r V αα∈且1,,n ββ可由1,,n αα线性表出，则1,,n αα也是V 的一组基.○3也可改述为：设1,,n αα是线性空间V 中的一组n 维向量，则1,,n αα线性无关⇔V 中任一n 维向量都可被它们线性表出.23.证明：向量组的任何一个线性无关组都可以扩充成一个极大线性无关组. 证：设n 维向量组()I 中一个线性无关组()12II :,,,s ααα，如果()I 中每个向量可经()II 线性表出，则()II 为()I 的一个极大无关组.否则至少有一个向量()I α∈不能由()II 线性表出，将添到()II 中成为向量组()III ，则()III 中向量是线性无关的.这样继续下去，经过有限步（不大于n ）后，向量组()II 即可扩充为()I α∈的一个极大无关组.24.设向量组12,,,m ααα线性无关，12,,,,,m αααβγ线性相关.证明：或者β与γ中至少有一个可由12,,,m ααα线性表出，或者12,,,,m αααβ与12,,,,m αααγ等价.证：因12,,,,,m αααβγ线性相关，所以存在不全为零的数12,,,,,m k k k b c 使110m m k k b c ααβγ++++=.显然，,b c 不全为零，否则与12,,,m ααα线性无关矛盾.当0,0b c ≠=时，β可由12,,,m ααα线性表出；当0,0b c ≠≠时，β可由12,,,,m αααγ线性表出，γ可由12,,,,m αααβ线性表出，因而12,,,,m αααβ与12,,,,m αααγ等价.25.设12,,,n n P ααα∈且线性无关，则12,,,n A A A ααα线性无关⇔()=A n 秩.其中A是数域P 上的n n ⨯矩阵. 证：令()12,,,n B ααα=.因1,,n αα线性无关，所以0B ≠.必要性 设12,,,n A A A ααα线性无关，即()()11,,,,0n n A A A AB A B αααα===≠.所以0A ≠，即()=A n 秩.充分性 设()=A n 秩，即0A ≠，从而()()11,,,,0n n A A A AB A B αααα===≠.所以12,,,n A A A ααα线性无关.26. 设向量组12,,,s ααα的秩为r ，在其中任取m 个向量12,,,mi i i ααα，则{}12,,,m i i i r m s ααα≥+-秩.证：设12,,,m i i i ααα的秩为t ，现将它的一极大无关组（含t 个向量）扩充为1,,s αα的一个极大无关组（含s 个向量）.因此扩充的线性无关向量的个数为r t -.因1,,s αα除向量组1,,m i i αα外，还有s m -个向量，因此，r t s m -≤-，即t r m s ≥+-.27.设123r βααα=+++，213r βααα=+++，，121r r βααα-=+++，则1）1,,r ββ与1,,r αα有相同的秩；2）1,,r αα的任意一个极大线性无关组也是11,,,,,r r ααββ的极大线性无关组.证：1）由假设知1,,r ββ可由1,,r αα线性表出.但是()()1212+=1r r r βββααα++-+++()()12121=+1r r r αααβββ+++++- （1）用（1）式减去假设的每一个式子，可得11221212211,111121,111112.111r r r r r r r r r r r r r r r r αβββαβββαβββ-⎧=+++⎪---⎪-⎪=+++⎪---⎨⎪⎪-⎪=+++⎪⎩--- 即1,,r αα也可由1,,r ββ等价，所以{}{}11,,,,r r r ββαα=≤秩秩.2） 由1）知1,,r αα与11,,,,,r r ααββ等价，可知1,,r αα的一个极大线性无关组就是11,,,,,r r ααββ的一个极大线性无关组.28.设向量组1,,s αα中10α≠且每个()2,3,,i i s α=都不能由11,,i αα-线性表出，则1,,s αα线性无关.证：用反证法.如果1,,s αα线性相关，那么有不全为零的数12,,,s k k k 使1122=0s s k k k ααα+++ （1）从右至左，设第一个不为零的数是l k ，而10l s k k +===，则（1）式为1122=0l l k k k ααα+++.因10α≠，所以1l ≠，故112121111l l l k k kk k k αααα--=----.即l α可由121,,,l ααα-线性表出，此与题设矛盾.所以1,,s αα线性无关.29.如果()()()123,,f x f x f x 是线性空间[]P x 中三个互素的多项式，但其中任意两个都不互素，那么它们线性无关.证：用反证法.如果它们线性相关，即存在不全为零的数123,,k k k ，使()()()1122330k f x k f x k f x ++=.不妨设10k ≠，则()()()3212311=k k f x f x f x k k --+. 此式说明()()23,f x f x 的最大公因式就是()1f x 的因式，即()()()()()()()12323,=,f x f x f x f x f x .此与()()()()123,=1f x f x f x 及()()()23,1f x f x ≠矛盾，所以()()()123,,f x f x f x 线性无关.30.设12,,,m ααα线性无关，则122311,,,,m m m αααααααα-++++线性无关的充分必要条件是m 为奇数.证：令112223111,,,,m m m m m βααβααβααβαα--=+=+=+=+，由题设得()()1212,,,,,,m m A βββααα=，其中10110011n mA ⨯⎛⎫ ⎪⎪= ⎪ ⎪⎝⎭ 按第一行展开，()12,110,m m A m +⎧=+-=⎨⎩为奇数；为偶数， 而12,,,m βββ线性无关的充分必要条件是0A ≠，即m 为奇数31.设向量组12,,,m ααα线性相关，但其中任意1m -个向量都线性无关，则 1）等式1122=0m m k k k ααα+++中的系数()1,,i k i m =或者全为0，或者全不为0.2）当存在两个等式1122=0m m k k k ααα+++ （1） 1122=0m m l l l ααα+++ （2）其中10l ≠时，（1），（2）的对应系数成比例：1212mmk k k l l l ===. 证：1）当()1,,i k i m =全为0时，恒为等式的解.以下设有一个i k 不等于0，不失一般性，设10k =.此时其余的()2,,i k i m =都不为0.若等式化为()100j j j ik k α≠=≠∑，于是这1m -个向量线性相关，此与题设矛盾.2） 由于10l ≠，由1）知: 2,,m l l 均不为0.如果()1,,i k i m =全为0，那么结论成立.否则i k 全不为0，()()112i l k ⨯-⨯，得()()11212211100m m r l k k l l k k l ααα-+-++-=.由1），因1α的系数为0，所以2,,m αα的系数全为0，即121210m m l k k l l k k l =-==-，即1212mmk k k l l l ===.32.求向量组()11,2,2,3α=-，()22,4,1,3α=--，()31,2,0,3α=-，()40,6,2,3α=，()52,6,3,4α=-的一个极大线性无关组.解1（初等变换法）以12345,,,,ααααα为列作矩阵A ，对A 施行初等变换为阶梯型矩阵B ：121212102242660322121023000313333400000A B ----⎛⎫⎛⎫⎪ ⎪---⎪ ⎪=→= ⎪ ⎪---⎪ ⎪⎝⎭⎝⎭. 由B 可知：124,,ααα；134,,ααα；125,,ααα；135,,ααα均为原向量组的极大无关组. 注：用这种方法可以找到向量间的全部极大无关组.解2（子式法）因矩阵A 的4阶子式均为0，而3阶子式11022612022--=-≠，所以134,,ααα为一极大无关组.解3（逐一扩充法）因10α≠，所以1α线性无关，又因12,αα对应分量不成比例，故12,αα线性无关.因123,,ααα线性相关（这可由123,,ααα作成的矩阵的所有3阶子式为0看出），所以3α不收入.再观察124,,ααα，由于124,,ααα作成的矩阵有非零的3阶子式，所以124,,ααα线性无关，又因1245,,,αααα线性相关，所以124,,ααα为一极大无关组.33.什么叫做线性空间的基于维数？答：如果数域P 上的线性空间V 有n 个线性无关的向量12,,,n ααα，而且V 中每个向量都可以由它们线性表出，那么称这组向量为V 的一组基（基底）.也称12,,,n ααα生成（或张成）线性空间V .12,,,n ααα为V 的一组生成元.基中所含向量的个数n 称为V 的维数，记作dim V n =或()V n =维.称V 为维线性空间.如果V 中有任意多个线性无关的向量，那么称V 为无限维线性空间，记为dim V =∞.如果{}0V =，那么称V 是零维的，记为dim 0V =.注：○1线性空间V 的基，实际上就是V 的一个极大线性无关组.○2一个线性空间V 有一组基1,,n αα，取()ij n nA α⨯=，当0A ≠时，令，其中为的列向量，令()1,,n A c c =，其中1,,n c c 为A 的列向量，令()1,,i n i c βαα=()1,2,,i n =则可知1,,n ββ也是V 的一组基.由此可知V 的基不是唯一的.○3两组基之间是互相等价的，因为向量组的两个极大线性无关组是互相等价的.34.几类重要的线性空间的维数与基是什么？答：1）数域P 看成自身上的线性空间，则1是它的一组基，dim 1P =. 2）复数域C 看成实数域R 上的线性空间，1,i 是C 的一组基，dim 2P =.3）实数域R 看成有理数域Q 上的线性空间，则dim P =∞.事实上，21,,,ππ是线性无关的.因为如果21,,,,n πππ线性相关的话，那么π是代数数了，而π是超越数.故对一切自然数n ，向量组21,,,,n πππ都线性无关，由n 的任意性，故dim P =∞.4）全体正实数R +，定义a b ab ⊕=，k k a a =，则R +为R 上的1维线性空间.任何一个非零向量都是其一组基.因1是其零向量，取定(),1,1R Ra ββα++∈≠∀∈≠，有()log log βαβαβαβ==，即α可由β线性表出，所以是一维的.5）数域P 上的全体n 元数组构成的线性空间nP 是n 维的，()11,0,,0ε=，()20,1,,0ε=，，()0,,0,1n ε=是一组基.6）n 元齐次线性方程组0Ax =（A 为m n ⨯矩阵，()=A r 秩）的解空间是n r -维的，其基础解系是它的一组基.7）元素属于数域P 的m n ⨯矩阵的全体m nP⨯的维数是mn .以ij E 表示第i 行第j 列元素为1，其余元素为0的m n ⨯矩阵，则()1,2,,;1,2,,ij E i m j n ==为m n P ⨯的一组基.8）实数域上全体n 级实对称矩阵构成的线性空间的维数是()12n n +.()1ij ij E E i j n +≤≤≤为一组基. 9）实数域上全体n 级反对称矩阵构成的线性空间的维数是()12n n -.()1ij ij E E i j n -≤≤≤为一组基. 10）实数域上全体n 级上三角矩阵构成的线性空间的维数是()12n n +.()1ij E i j n ≤≤≤为一组基.11）全体形如1230n nX P X X ⨯⎛⎫∈⎪⎝⎭的矩阵（1X 为r r ⨯矩阵）构成的线性空间，因零块有()r n r -个元素，所以线性空间的维数是()2n r n r --.(),;,1,2,,ij E i r j r i r j n ≤≤≥=为一组基.12）全体n nA P⨯∈且满足0trA =（A 的迹为0）的矩阵构成的线性空间的维数是()()2211nn n n -+-=-，除nn E 外的一切,,1,2,,ij E i j n =为一组基.13）次数小于n 的一元多项式的全体加上零多项式构成的线性空间[]n P x 的维数是n ，且211,,,,n x x x -为一组基.14）线性空间()()[](){}|10n W f x f x R x f =∈=且的维数是1n -.且121,1,,1n n x x x -----是W 的一组基.15）数域P 上m 元n 次齐次多项式()()121211212,,,mmm k k k m k kk m i k k nfx x x x x x k α++==∑为正整数和零多项式构成的线性空间的维数是()()()()1211n n n m m +++--!，1212m k k k m x x x1m i i k n =⎛⎫= ⎪⎝⎭∑为一组基.事实上，上述向量组线性无关是显然的，它的个数实际上是从m 种元素中每次取n 个元素的有重复的组合数，即()12nm x x x +++展开后不同类的项数：()()()()1111211n n m m n m n m n n n m C C C m -+-+-+++-===-!.16）分量属于复数域的全体n 元数组构成实数域R 上的线性空间的维数是2n .()11,0,,0ε=，()20,1,,0ε=，，()0,,0,1n ε=，()11,0,,0η=，()20,1,,0η=，，()0,,0,1n η=为一组基（为虚数单位）.17）线性空间V 中m 个向量生成的子空间()1,,m L αα的维数等于1,,m αα的秩，1,,m αα的任一极大无关组都是()1,,m L αα的一组基.36.V 为矩阵A 的实系数多项式的全体构成的线性空间，求V 的维数及一组基，其中2100100,200A ωωω⎛⎫-+ ⎪== ⎪ ⎪⎝⎭.解：因为2ω=，31ω=，所以21,3;,31;,3 2.n n k n k n k ωωω=⎧⎪==+⎨⎪=+⎩从而2232100,3;00,,,31;00,3 2.n E n k A A E A A n k A n k ωω=⎛⎫⎧⎪ ⎪====+⎨ ⎪⎪ ⎪=+⎝⎭⎩设21230k A k A k E ++=，得1232123212300,0.k k k k k k k k k ωωωω++=⎧⎪++=⎨⎪++=⎩，（1）因系数行列式不为零，所以方程组（1）只有零解：1230k k k ===.说明2,,E A A 线性无关.由于A 的实系数多项式()f A 是2,,E A A 的线性组合，所以V 的维数是3. 2,,E A A 是V 的一组基.37.V 为矩阵A 的实系数多项式的全体构成的线性空间，求V 的维数及一组基，其中()120,,0i j in a a A a a i j a R a ⎛⎫⎪⎪=≠≠∈ ⎪ ⎪⎝⎭.解：易证对正整数k ，有11201100k kn n k n a a A k E k A k A a --⎛⎫ ⎪⎪==+++ ⎪ ⎪ ⎪⎝⎭. （1）事实上，由矩阵的相等得，101111110121221011,,.n k n n kn n k n n n n k k a k a a k k a k a a k k a k a a ------⎧+++=⎪+++=⎪⎨⎪⎪+++=⎩ （2）（2）式的系数行列式D 是范德蒙行列式，故()10ji i j nD aa ≤≤≤=-≠∏.所以方程组有唯一解011,,,n k k k -.这就证明了（1）.再令10110n n k E k A k A --+++= （3）（3）式为（2）式右端为零的情形.由于0D ≠，所以只有零解：0110n k k k -====，说明1,,,n E A A -线性无关.由于A 的实系数多项式()f A 是21,,,,n E A A A -的线性组合，所以dim V n =，21,,,,n E A A A -为一组基.38.设V 为数域P 上的线性空间，V 为从V 中任取m 个元素组成的向量()12,,,m ααα的集合.1）按向量的加法和数乘运算，V 为P 上的线性空间； 2）当V 为无限维时，V 也是无限维； 3）当V 为n 维时，求V 的维数和一组基. 证：1)()0=00V ∈，，，V ∴非空.另外，V 关于加法和数乘运算封闭，且满足定义中的8条规则，所以V 是域P 上的线性空间. 2）当V 是无限维时，取12,,,n βββ为V 的n 个线性无关的向量，令(),0,,0i i ηβ=()1,2,,i n =，则12,,,n ηηη线性无关.由n 的任意性知，V 有任意个线性无关的向量，即V 是无限维的.3）当dim V n =，可推得dim V mn =. 事实上，设12,,,n εεε为V 的一组基.令()1,0,,0i i ηε=，()20,,,0i i ηε=，，()0,0,,ni i ηε=，1,2,,i n =，则这个m n ⨯个向量均线性无关.()12,,,m V αααα∀=∈，因()11,2,,nj ij i i k j m αε=∀==∑，所以()1212111,,,,,,m nnnm i i i i i i i i i k k k αααεεε===⎛⎫= ⎪⎝⎭∑∑∑()()()12111,0,,00,,,00,0,,nnni i i i i i im i i i i i k k k εεεεεε====+++∑∑∑1122111nnni i i i im im i i i k k k ηηη====+++∑∑∑.即α可由mn 个向量()1,,;1,,ij i n j m η==线性表出，所以它们是V 的一组基，dim V mn =.39.什么叫做向量的坐标？答：设V 为数域P 上的n 维线性空间，1,,n αα为V 的一组基.设V β∈，则()111221,,n n n n k k k k k βααααα⎛⎫ ⎪=+++= ⎪ ⎪⎝⎭.称()1,,n k k 为β在基1,,n αα下的坐标.注：○1同一个向量β，在不同基下的坐标一般是不相同的.○2同一个β，当基1,,n αα排列顺序不同时，坐标也不同.比如V 的一组基为123,,ααα，令12335βααα=++，那么β在基123,,ααα下的坐标为()1,3,5，而在下的坐标为()1,5,3.○3这里的坐标概念是解析几何中坐标概念的推广.在平面解析几何中，相当于取基()11,0e =，()20,1e =，在空间解析几何里，相当于取基()11,0,0η=，()20,1,0η=，()30,0,1η=.而代数中是把它们抽象化，并把上述情形作为特例. V 中的基1,,n αα相当于建立一个坐标系.β的坐标()12,,,n n k k k P ∈，相当于β在坐标系12,,,n ααα下的坐标.40.什么叫过渡矩阵？答：过渡矩阵相当于n 维线性空间V 的两组基之间的变换公式.下面给出定义.设1,,n αα与1,,n ββ为V 的两组基，那么()1,,i n i c βαα=，1,2,,k n =. （1）其中12,,1,2,,i i i ki ni c P k n αααα⎛⎫ ⎪ ⎪=∈= ⎪ ⎪⎝⎭.把（1）式改写为()()11,,,,n n A ββαα=. （2）其中()()1,,n n ij n n nA c c P α⨯⨯==∈.称A 为基1,,n αα到基1,,n ββ的过渡矩阵，并称（2）为基变换公式.注：○1如果0A ≠，即A 为可逆矩阵.○2由（2）式知()()111,,,,n n A ααββ-=， （3）即1A -为基1,,n ββ到基1,,n αα的过渡矩阵.○3求1,,n αα到1,,n ββ的过渡矩阵A ，只要求出每个i β在基1,,n αα下的坐标（1）即可.41.什么叫坐标变换公式？ 答：设1,,n αα与1,,n ββ为V 的两组基，由基1,,n αα到基1,,n ββ的过渡矩阵为A .向量γ在基1,,n αα下的坐标为()1,,n x x .设γ在基1,,n ββ下的坐标为()1,,n y y ，那么111n n y x A y x -⎛⎫⎛⎫ ⎪ ⎪= ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭. （1） 公式（1）称为坐标变换公式.42.设1,,n αα为线性空间V 的一组基.1）1121212,,,n n βαβααβααα==+=+++也是V 的一组基.2）当向量α在基1,,n αα下的坐标为(),1,,2,1n n -时，求α在基1,,n ββ下的坐标.证：1）因为()()11,,,,n n A ββαα=，其中1101A ⎛⎫ ⎪=⎪ ⎪⎝⎭，1A =， 所以1,,n ββ线性无关，从而为V 的一组基.2）设α在基1,,n ββ下的坐标为()1,,n x x ，由坐标变换公式知121110111112201111n n n x n n x A x -⎛⎫⎛⎫-⎛⎫⎛⎫⎛⎫⎪ ⎪-- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪=== ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭ ⎪ ⎪⎝⎭⎝⎭. 43.在[]3P x 中，求221,,x x x x ++到基221,,x x x x -+的过渡矩阵. 解：因为21,,x x 为[]3P x 的基，所以()()()22221001,,1,,1101,,111x x x x x x x x A ⎛⎫⎪++=-= ⎪ ⎪-⎝⎭. （1） 于是()()()2221221001,,1,,=1,,110111x x x x x x A x x x x -⎛⎫⎪=++++- ⎪ ⎪-⎝⎭. （2） 又()()()22221001,,1,,0111,,011x x x x x x x x B ⎛⎫⎪-+== ⎪ ⎪-⎝⎭， （3） 将（2）代入（3）得()()()22221221001,,1,,1,,111120x x x x x x x x A B x x x x -⎛⎫⎪-+=++=++- ⎪ ⎪-⎝⎭. 所以100111120C ⎛⎫⎪=- ⎪ ⎪-⎝⎭为所求的过渡矩阵.44.已知()()()()12341,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,εεεε=⎧⎪=--⎪⎨=--⎪⎪=--⎩()()()()12341,2,3,1,2,1,0,1,1,1,0,1,2,1,1,2,ηηηη=⎧⎪=⎪⎨=--⎪⎪=-⎩分别是4P 的两组基，求i ε到()1,2,3,4i i η=的过渡矩阵.并求()1,1,0,1δ=-关于基1234,,,ηηηη的坐标.解：因为()11,0,0,0δ=，()20,1,0,0δ=，()30,0,1,0δ=，()40,0,0,1δ=是4P 的基，由i δ到()1,2,3,4i i ε=的过渡矩阵A 以及由δ到()1,2,3,4i i η=的过渡矩阵B 分别为1111111111111111A ⎛⎫ ⎪--⎪= ⎪-- ⎪--⎝⎭， 1212211130011112B ⎛⎫⎪- ⎪= ⎪⎪--⎝⎭由i ε到()1,2,3,4i i η=的过渡矩阵为1A B C -=，1741212141103443212C A B --⎛⎫ ⎪-⎪== ⎪ ⎪--⎝⎭. 令δ关于基()1,2,3,4i i η=的坐标为()1234,,,x x x x ，则121341112105413x x B x x -⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪-⎝⎭⎝⎭⎝⎭. 45.什么叫做线性子空间？答：设W 是数域P 上线性空间V 的非空子集，如果W 对于V 的两种运算（加法和数量乘法）也构成线性空间，则称W 为V 的一个线性子空间，简称子空间.46.什么叫做V 的平凡子空间？答：V 中仅含单个零向量的子空间称为零子空间，V 本身也是V 的一个子空间，这两个子空间称为V 的平凡子空间，V 除平凡子空间外的子空间（如果存在的话），称为V 的非平凡子空间.47.什么叫做生成子空间？答：V 中任意m 个向量的所有可能的线性组合(){}111,,|,1,2,,m m m i L k k k P i m αααα=++∈=构成V 的一个子空间，称为由1,,m αα张成（或生成）的子空间.注：这一记号非常重要.设V 是n 维的，若()1,,n V L αα=，则1,,n αα为V 的一组基.48.怎样判别子空间？答：设W 是V 的一个非空子集，则W 为V 的子空间的充要条件是：W 对于V 的两种运算是封闭的，即○1,W αβ∀∈都有W αβ+∈； ○2,W k P α∀∈∀∈，都有k W α∈. 条件○1与○2可以合并成一条：,W αβ∀∈及12,k k P ∀∈都有12k k W αβ+∈.49.生成子空间有哪些主要结论？ 答：1）()()11,,,,s t L L ααββ=的充分必要条件是1,,s αα与1,,t ββ等价.2）()()()1111,,,,,,,,,s t s t L L L ααββααββ+=.3）()1,,s L αα的维数{}1,,s αα=秩4）n 维线性空间V 的子空间的一组基必可扩充为V 的一组基.50.常见到子空间有哪些?答：1）V 的两个平凡子空间.2）全体实函数组成的线性空间中，由所有实系数多项式组成一个子空间.3）[]n P X 是线性空间[]P X 的n 维子空间.4）线性变换:V V σ→的值域V σ是V 的子空间.设线性变换在某一组基下矩阵为A ，则其维数等于A 秩，σ的核()10σ-是V 的子空间，其维数等于dim V A -秩5）线性变换:V V σ→的属于特征值λ的特征向量的全体添上零向量是V 的特征子空间，记作V λ.若dim V n =，设σ在某一组基下的矩阵为A ，则()dim V n E A λλ=--秩6）数域P 上n 元齐次线性方程组0AX =的解空间W 是n P 的子空间，dim W n A =-秩.7. 设1,,n εε为数域P 上线性空间V 的一组基，m n A P ⨯∈，A r =秩，()'11,,n n c c Pα⨯=∈则()'11|,,0ni i n i W c A c c ε=⎧⎫==⎨⎬⎩⎭∑是V 的n r -维子空间.证：1）先证W 是V 的子空间.其0W ∈知W 非空（这时取()()1,,0,,0n c c =即可）.任取()11,,n n c c βεε⎛⎫ ⎪= ⎪ ⎪⎝⎭，()11,,n n d W d γεε⎛⎫ ⎪=∈ ⎪ ⎪⎝⎭，那么10n c A c ⎛⎫ ⎪= ⎪ ⎪⎝⎭，10n d A d ⎛⎫ ⎪= ⎪ ⎪⎝⎭. 12,k k P ∀∈，则()1112112,,n n n c d k k k k c d βγεε⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪+=+ ⎪⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭，111112120n n n n c d c d A k k k A k A c d c d ⎛⎫⎛⎫⎛⎫⎛⎫⎛⎫⎪ ⎪ ⎪ ⎪ ⎪+=+= ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭⎝⎭.所以12k k W βγ+∈，从而W 为V 的子空间.2）设0Ax =的解空间为1W ，则1dim dim W W n A n r ==-=-秩.51.什么叫做交空间？答：设V 是数域P 上的线性空间，()V I λλ∈都是V 的子空间，则IV λλ∈⋂也是V 的子空间，并称它为()V I λλ∈的交空间. 注:○1显然IV λλ∈⋂也是V λ的子空间.○2子空间的交是线性空间的一种运算.52. 子空间的交有哪些性质？答：1）适合交换律：1221V V V V ⋂=⋂；2）适合结合律：()()123123V V V V V V ⋂⋂=⋂⋂；3）A ,B 分别为m n ⨯与s n ⨯矩阵，A C B ⎛⎫= ⎪⎝⎭.设123,,V V V 分别为0Ax =，0Bx =，0Cx =的解空间，则312V V V =⋂.53.什么叫做和空间？答：子空间的和是线性空间的第二种运算.设1V ，2V 都是V 的子空间，则{}121122|,V V ααααα=+∈∈也是V 的子空间，记作12V V +.一般的，设1,,n V V 都是V 的子空间，它们的和空间定义为{}1212++|,1,2,,n n i i V V V V i n ααααα+++==+∈=.注：○112112V V V V V ⋂⊆⊆+，12212V V V V V ⋂⊆⊆+.○2设W 是线性空间，且()W V I λλ⊆∈，则I W V λλ∈⊆⋂. ○3设1V W ⊆，2V W ⊆，W 是线性空间，则12V V W +⊆.54.子空间的和有什么性质？ 答：1）1221V V V V +=+；2）()()123123V V V V V V ++=++； 3）下面三条等价 （i ）12V V ⊆，(ii)121V V V ⋂=， （iii ）122V V V +=，55设1V ，2V 是V 的两个子空间，则1V È2V =1V +2V Û1V Í2V 或2V Í1V 。

1．什么是线性空间?答:设V 是一个非空集合,P 是一个数域,在V 中定义了一个加法运算,在P 和V 的元素之间定义了一个数量乘法运算.如果上述两种运算满足以下规则,那么就称V 为P 上的一个线性空间(或称向量空间).1).+=+αββα；2).++=++αβγαβγ（）（）； 3).V 中有一个元素0，V α∀∈都有+0=αα，0称为V 的零元素； 4).V α∀∈，存在V β∈，使得+=0αβ，β称为α的负元素； 5).1=αα； 6).()()k l kl αα=； 7).()k l k l ααα+=+； 8).(+)=+k k k αβαβ；其中α，β，γ表示V 中的任意元素；k ，l 表示P 中的任意数．2．非空集合Ｖ在定义了加法和数乘运算之后成为P 上的一个线性空间，V 能否再定义另外的加法和数乘运算成为P 上的另一个线性空间？ 答：有可能．例如，全体二元实数列构成的集合{(,)|,}V a b a b R =∈．1).定义(,)(,)(,),(,)(,)a b c d a c b d k a b ka kb ⊕=++=，则V 成为R 上的一个线性空间 2).定义2(1)(,)(,)(,),(,)(,)k k a b c d a c b d ac k a b ka kb a z+⊕=+++=+，则V 成为R 上的另一个线性空间.3．线性空间V 有哪些简单性质与结论？ 答：1）零元素是唯一的；2）α的负元素是唯一的；3）000k k αα=⇔==或；4）=αα--（）； 5）=k k k ααα-=--（）（）（）； 6）()k a b ka kb -=-；7）,V αβ∀∈，存在唯一的V γ∈，使得=αγβ+.证明：容易验证1）—3），4）因为+=0αα-（），所以α为（α-）的负元，即=αα--（）.5）()(()0,()()k k k k k k ααααα+-=+-=∴-=-.另一式子可类似证明.6）()(())()=()=k k k k k k k k αβαβαβαβαβ-=+-=+-+--. 7）(),+=αβαβγβααχβ+-=∴=-是方程的解.又若1γ也是+=αχβ的解，则1+=+αγαγ.两边左加α-，有1=γγ.所以方程+=αχβ在V 中有唯一解.4．判断一个非空集合M 不是线性空间有哪些基本方法？ 答：1）M 是至少含两个元的有限集；2）M 关于定义的某一运算不封闭； 3）M 不满足8条规则中的任一条.5．线性空间的例子.答：1）数域P 按照数的加法和乘法构成自身上的一个线性空间.特别的，实数域R 和复数域 C 按照数的加法和乘法都是自身上的线性空间.2）已知数域⊆P 数域P ，按照数的加法和乘法，P 构成P 上的线性空间.3）三维空间中与已知向量的全体再添加零向量，对于向量的加法与数乘运算构成一个 实线性空间.4）分量属于数域P 的全体n 元数组，对于n 元数组的加法与数乘构成P 上的一个线性 空间，记作nP .5）无穷实数列的全体：12={()|1,2}i I x x x i ∞∈=，，R ，，对于121211221212()()()=(),x x y y x y x y k x x kx x k R +=++∈，，，，，，，（，，），k ，构成一个实线性空间.6）n 元齐次线性方程组0x =A 的解向量的全体，对于n 维向量的加法和数乘构成P 上的线性空间（为nP 的子空间）.7）元素属于数域P 的m n ⨯矩阵的全体，对于矩阵的加法与数乘构成P 上的线性空间.8）数域P 上全体n 阶对称（反对称，上三角）矩阵对于矩阵的加法与数乘构成P 上的线性空间.9）设m n ⨯∈A P，则全体与A 可交换的矩阵的集合，对于矩阵的加法与数乘构成m n⨯P的一个线性空间.10）数域P 上全体满足条件trA=0（trA 表示A 的迹，即A 的主对角线元素之和）的n 阶矩阵的集合，对于矩阵的加法和数乘构成P 上的一个线性空间.11）数域P 上全体一元多项式的集合，对于多项式的加法和数与多项式的乘法构成P 上的线性空间，记作x P[].12）次数小于n 的一元多项式及零多项式的集合，对于多项式的加法和数与多项式的乘法构成P 上的线性空间，记作n x P[].13）集合W={()|()(1)0}n f x f x x f ∈=R[]且对于多项式的加法和数与多项式的乘法构成R 上的线性空间.14）数域P 上形如352113521n n a x a x a x a x ++++++的多项式的全体，对于多项式的加法和数与多项式的乘法构成P 上的线性空间.15）数域P 上多项式()g x 的倍式的全体：W={()|()|()}f x g x f x ，对于多项式的加法和数与多项式的乘法构成P 上的线性空间. 16）由0及数域P 上的m 元n 次多项式121211212(,)()m m m k k k m k k k m k k nf x x x a x xx k ++==∑，，为正整数的全体，对于多项式的加法及数与多项式的乘法构成P 上的线性空间，其中12mk k k a P ∈.17）对于在区间[,]a b 上的实函数的全体，对于函数的和及数与函数的积，构成R 上的线性空间.[,]a b 上的连续实函数全体为其子空间，记作[,]C a b .18）全体形如1122sin cos sin 2cos 2sin cos 2n n a a t b t a t b t a nt b nt +++++++的实函数，对于函数的和及数与函数的积，构成R 上的线性空间.6．下列集合关于指定运算均不构成线性空间：1）起点在原点，终点在不经过原点的直线上的空间向量的全体，按向量的加法与数乘运算；2）非齐次线性方程组AX=b(b ≠0)的解向量的全体，按向量的加法与数乘运算； 3）数域P 上次数不低于定数n 的多项式的全体并添上零多项式，按多项式的加法与数乘运算；4）有理数域定义运算：,;2k k βαβ∂∂⊕=+∂= 5）设P 为有理数域，对整数集定义运算：1,k βαβ∂⊕=+-∂=∂.证：1）集合不含零向量，所以不是线性空间.2）如果集合是空集，则不是线性空间. 如果集合非空，则由于不含零向量，所以也 不是线性空间.3）因两个次数不低于n 的多项式之和的次数可能低于n ，即关于多项式的加法不封闭，所以不是线性空间.4）因1(0)2∂∂=≠∂∂≠不满足线性空间定义中的规则5），所以不是自身上的线性空间.5）取3,1,k l ∂===则()3,k l +∂=而5k l ∂⊕∂=.故()k l +∂≠（k l ∂⊕∂），不满足线性空间定义中的规则7），所以集合不是线性空间.7.什么叫做向量的线性相关和线性无关？ 答:设V 是数域P 上的线性空间,且()1,,,1i a V i s s ∈=≥，如果存在一组不全为零的数()1,,i k P i s ∈=，使得()11220s s k a k a k a +++=， （1）那么称向量组1,,s a a 是线性相关的，否则，称它们是线性无关的.注 ○1一个向量不是线性相关,就一定是线性无关,两者必居其一且仅居其一. ○21,,s a a 线性无关 ⇔（1）式仅当10s k k ===成立.8.设1,,n αα线性相关,是否对任意一组不全为零的1,,n k k 都有110n n k k αα++=？答:不一定，比如0α=是线性相关的，它对一切非零数k 都有0k α=.而()()1,0,2,0βγ==就不可能对一切非零数12,k k 使得120k k βγ+=.9.什么叫线性表出？什么叫做两个向量等阶？ 答：设12,,,,m αααβ都是数域P 上的n 维向量，如果有P 中的m 个数1,,m k k ，使1122m m k k k βααα=+++，那么称β是12,,,m ααα的线性组合，或称β可以由12,,,m ααα线性表出（线性表示）.如果向量组12,,,r ααα中每个向量都可以由向量组12,,,s βββ线性表出，且12,,,s βββ中的每个向量都可以由12,,,r ααα线性表出，那么称向量组12,,,r ααα与向量组12,,,s βββ是等价的.10.向量组之间的等价是不是一种等价关系？ 答：是的.不难证明以下三条成立：1） 反身性：每一个向量组都与自身等价. 2） 对称性：如果12,,,r ααα与12,,,s βββ等价，那么12,,,s βββ也与12,,,r ααα等价.3） 传递性：如果12,,,r ααα与12,,,s βββ等价，而12,,,s βββ与12,,,t γγγ等价，那么12,,,r ααα与12,,,t γγγ等价.11.向量的线性相关性有哪些主要性质？ 答：容易证明的有：1） 零向量是线性相关的.含零向量的向量组也是线性相关的 2） 单个非零向量是线性无关的. 3） 设向量组()12,,,2m m ααα≥，则它们线性相关⇔至少存在一个向量，它可以由其余向量线性表出.4） 向量组()I 中如果有部分向量线性相关，则()I 一定线性相关. 5） 向量组()I 线性无关，则()I 的任意一个部分组必线性无关. 6） 向量组12,,,r ααα可以由向量组12,,,s βββ线性表出，则12,,,r ααα线性无关r s ⇔≤.7） 任意1n +个n 维向量必线性相关.8） 两个线性无关的等价向量组，必含有相同个数的向量. 12.(){}12,,,|.n n i P c c c c P =∈()1,,,1,2,,n i i in a a P i mα=∈=，则12,,,m ααα线性相关'0A x ⇔=有非零解，其中()()'1,,ij m m n A a x x x ⨯==.7.设()()1,1,,,,,1,2,,n i i ik i k in a a a a P i m α+=∈=，令()1,,i ik βαα=()1,2,,i m =则 1）若12,,,m ααα线性相关⇒12,,,m βββ线性相关；2）若12,,,m ααα线性无关⇒12,,,m βββ线性无关.证：1）若存在不全为零的数1,,m l l ，使110m m l a l a ++=，则当然有110m m l l ββ++=.2）用反证法.若12,,,m ααα线性相关，则由1）知12,,,m βββ也线性相关，矛盾.13.如果12,,,m ααα线性无关，但12,,,,m αααβ线性相关，那么β可由12,,,m ααα线性表出，且表示法唯一.证：由假设存在一组不全为零的数11,,m k k +使1110m m m k k k ααβ++++=.若10m k +=，则由110m m k k αα++=，可证10m k k ===.这与假设矛盾，故10m k +≠，于是11m m l a l a β=++，其中1/,1,2,,i i m l k k i m +=-=.即β可由12,,,m ααα线性表出. 若1111m m m m l a l a s a s a β=++=++，则()()1110m mm l s ls αα-++-=.由12,,,m ααα线性无关，得()1,2,,i i l s i m ==，即表示法是唯一的.14.什么叫做极大线性无关组？ 答：如果向量组的一个部分组满足 1） 此部分组线性无关；2） 原向量组每个向量都可由这个部分组线性表出，则称此部分组是原向量组的一个极大线性无关组.注：向量组与极大线性无关组是等价的.15.一个向量组的极大线性无关组是否唯一？答：一般不唯一.比如，()()()0,0,1,0,2,0αβγ===，则β是,,αβγ的极大线性无关组；γ也是,,αβγ的一个极大线性无关组.注：○1一个向量组有多个极大线性无关组时，这些极大线性无关组之间也互相等价.○2由5.可知两个极大线性无关组虽可不同，但它们所含向量的个数相等.16.什么叫做向量组的秩？ 答：向量组的一个极大线性无关组所含向量的个数，称为向量组的秩.只含零向量的向量组，规定它的秩为0.17.设V 是数域P 上的线性空间，1,,n αα，1,,s V ββ∈，且1,,n αα线性无关，()()11,,,,s n A ββαα=，其中(),i j i j n s A P αα⨯=∈，再设()1,,s A c c =，其中1,,s c c 为A 的n 维向量.若A k =秩，且1,,i ik c c 为()1,,s A c c =的一个极大线性无关组，则1）由（1）式知()12,,,,1,2,,i n i c i s βααα==. （2）○1先证1,,i ik ββ线性无关.设110i k ik l l ββ++=，那么110i k ik l l ββ=++()()112112,,,,,,n i k n ikl c l c αααααα=++()()1211,,,,,.n i k ik l c l c ααα= （3）因为12,,,n ααα线性无关，由（3）知11,,0i k ik l c l c = （4） 在nP 中，1,,i ik c c 线性无关，由（4）知10k l l ===.○2其次，再任取{}12,,,s ββββ∈，那么i c 可由1,,i ik c c 线性表出，即11i i k ik c m c m c =++，于是()12,,,i n i c βααα= ()()1211,,,n i k ik m c m c ααα=++()()112112,,,,,,n i k n ik m c m c αααααα=++11i k ik m m ββ=++.综合○1、○2，即知1,,i ik ββ为1,,s ββ的一个极大线性无关组.2）由1）即得{}1,,=s k A ββ=秩秩.注：这解决了求抽象线性空间V 的向量组的秩的问题.同时还把求极大线性无关组的问题转化为求nP 中一个向量组的极大线性无关组的问题（而这是已知的）. 18.设()4321642f x x x x x =++-+，()422234f x x x x =++-，()4323491622f x x x x x =+--+，()43473f x x x x =+-+，求()1f x ，()2f x ，()3f x ，()4f x 的极大线性无关组.解：把()i f x 都看成[]5P x 中元素，取[]5P x 中一组基2341,,,,x x x x ，那么()()234123461174041,,,1,,,,12901316124223f f f f x x x x ⎛⎫ ⎪ ⎪⎪=- ⎪--- ⎪ ⎪-⎝⎭（1）令123461174041,,,,12901316124223C C C C ⎛⎫⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪====- ⎪ ⎪ ⎪ ⎪--- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪-⎝⎭⎝⎭⎝⎭⎝⎭可求出1234,,,C C C C 的一个极大线性无关组为234,,C C C .于是（1）式中相应的()()()234,,f x f x f x 为()()()()1234,,,f x f x f x f x 的一个极大线性无关组.19.设1103301121,,,,24127142056A B C D F --⎛⎫⎛⎫⎛⎫⎛⎫⎛⎫=====⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭⎝⎭为线性空间22R ⨯的一组基，那么()()111221221031213011,,,,,,,.21725421406A B C D F E E E E ⎛⎫ ⎪--⎪= ⎪ ⎪⎝⎭而1031213011321725421406⎛⎫ ⎪--⎪= ⎪ ⎪⎝⎭秩，所以向量组,,,,A B C D F 的秩等于3. 20.设1,,s αα的秩为r ，1,,r i i αα是1,,s αα中r 个向量，使得1,,s αα中每个向量都可被它们线性表出，则1,,ri iαα是1,,s αα的一个极大线性无关组.证：由假设可知1,,s αα可由1,,r i i αα线性表出，但1,,r i i αα可由1,,s αα线性表出是显然的，从而彼此等价.那么{}{}11,,=,,=r i i s r αααα秩秩.1,,r i i αα∴线性无关.21.如果向量组()I 可以由向量组()II 线性表出，那么()I 的秩不超过()II 的秩.证：当向量组()II 的秩为无穷时，结论显然成立.当()II m =秩时，由假设()I 的极大线性无关组也可由()II 的极大线性无关组线性表出，那么由5.之6）可证()()I II m ≤=秩秩. 注：由此可知等价的向量组具有相同的秩.22.设12,,,n n P ααα∈，n 维标准单位向量()()11,0,,0,,0,0,,1n εε==可被它们线性表出，则12,,,n ααα线性无关.证：1,,n αα显然可被1,,n εε线性表出，又1,,n εε可被1,,n αα线性表出，从而它们等价，于是由15.的注知()()11,,=,,=n n n ααεε秩秩.即知1,,n αα线性无关.注：○1这个命题的逆命题也是对的.○2在抽象的n 维线性空间V 中，此命题可改为：设1,,n ββ为V 的一组基，1,,r V αα∈且1,,n ββ可由1,,n αα线性表出，则1,,n αα也是V 的一组基.○3也可改述为：设1,,n αα是线性空间V 中的一组n 维向量，则1,,n αα线性无关⇔V 中任一n 维向量都可被它们线性表出.23.证明：向量组的任何一个线性无关组都可以扩充成一个极大线性无关组. 证：设n 维向量组()I 中一个线性无关组()12II :,,,s ααα，如果()I 中每个向量可经()II 线性表出，则()II 为()I 的一个极大无关组.否则至少有一个向量()I α∈不能由()II 线性表出，将添到()II 中成为向量组()III ，则()III 中向量是线性无关的.这样继续下去，经过有限步（不大于n ）后，向量组()II 即可扩充为()I α∈的一个极大无关组.24.设向量组12,,,m ααα线性无关，12,,,,,m αααβγ线性相关.证明：或者β与γ中至少有一个可由12,,,m ααα线性表出，或者12,,,,m αααβ与12,,,,m αααγ等价.证：因12,,,,,m αααβγ线性相关，所以存在不全为零的数12,,,,,m k k k b c 使110m m k k b c ααβγ++++=.显然，,b c 不全为零，否则与12,,,m ααα线性无关矛盾.当0,0b c ≠=时，β可由12,,,m ααα线性表出；当0,0b c ≠≠时，β可由12,,,,m αααγ线性表出，γ可由12,,,,m αααβ线性表出，因而12,,,,m αααβ与12,,,,m αααγ等价.25.设12,,,n n P ααα∈且线性无关，则12,,,n A A A ααα线性无关⇔()=A n 秩.其中A是数域P 上的n n ⨯矩阵. 证：令()12,,,n B ααα=.因1,,n αα线性无关，所以0B ≠.必要性 设12,,,n A A A ααα线性无关，即()()11,,,,0n n A A A AB A B αααα===≠.所以0A ≠，即()=A n 秩.充分性 设()=A n 秩，即0A ≠，从而()()11,,,,0n n A A A AB A B αααα===≠.所以12,,,n A A A ααα线性无关.26. 设向量组12,,,s ααα的秩为r ，在其中任取m 个向量12,,,mi i i ααα，则{}12,,,m i i i r m s ααα≥+-秩.证：设12,,,m i i i ααα的秩为t ，现将它的一极大无关组（含t 个向量）扩充为1,,s αα的一个极大无关组（含s 个向量）.因此扩充的线性无关向量的个数为r t -.因1,,s αα除向量组1,,m i i αα外，还有s m -个向量，因此，r t s m -≤-，即t r m s ≥+-.27.设123r βααα=+++，213r βααα=+++，，121r r βααα-=+++，则1）1,,r ββ与1,,r αα有相同的秩；2）1,,r αα的任意一个极大线性无关组也是11,,,,,r r ααββ的极大线性无关组.证：1）由假设知1,,r ββ可由1,,r αα线性表出.但是()()1212+=1r r r βββααα++-+++()()12121=+1r r r αααβββ+++++- （1）用（1）式减去假设的每一个式子，可得11221212211,111121,111112.111r r r r r r r r r r r r r r r r αβββαβββαβββ-⎧=+++⎪---⎪-⎪=+++⎪---⎨⎪⎪-⎪=+++⎪⎩--- 即1,,r αα也可由1,,r ββ等价，所以{}{}11,,,,r r r ββαα=≤秩秩.2） 由1）知1,,r αα与11,,,,,r r ααββ等价，可知1,,r αα的一个极大线性无关组就是11,,,,,r r ααββ的一个极大线性无关组.28.设向量组1,,s αα中10α≠且每个()2,3,,i i s α=都不能由11,,i αα-线性表出，则1,,s αα线性无关.证：用反证法.如果1,,s αα线性相关，那么有不全为零的数12,,,s k k k 使1122=0s s k k k ααα+++ （1）从右至左，设第一个不为零的数是l k ，而10l s k k +===，则（1）式为1122=0l l k k k ααα+++.因10α≠，所以1l ≠，故112121111l l l k k kk k k αααα--=----.即l α可由121,,,l ααα-线性表出，此与题设矛盾.所以1,,s αα线性无关.29.如果()()()123,,f x f x f x 是线性空间[]P x 中三个互素的多项式，但其中任意两个都不互素，那么它们线性无关.证：用反证法.如果它们线性相关，即存在不全为零的数123,,k k k ，使()()()1122330k f x k f x k f x ++=.不妨设10k ≠，则()()()3212311=k k f x f x f x k k --+. 此式说明()()23,f x f x 的最大公因式就是()1f x 的因式，即()()()()()()()12323,=,f x f x f x f x f x .此与()()()()123,=1f x f x f x 及()()()23,1f x f x ≠矛盾，所以()()()123,,f x f x f x 线性无关.30.设12,,,m ααα线性无关，则122311,,,,m m m αααααααα-++++线性无关的充分必要条件是m 为奇数.证：令112223111,,,,m m m m m βααβααβααβαα--=+=+=+=+，由题设得()()1212,,,,,,m m A βββααα=，其中10110011n mA ⨯⎛⎫ ⎪⎪= ⎪ ⎪⎝⎭ 按第一行展开，()12,110,m m A m +⎧=+-=⎨⎩为奇数；为偶数，而12,,,m βββ线性无关的充分必要条件是0A ≠，即m 为奇数31.设向量组12,,,m ααα线性相关，但其中任意1m -个向量都线性无关，则 1）等式1122=0m m k k k ααα+++中的系数()1,,i k i m =或者全为0，或者全不为0.2）当存在两个等式1122=0m m k k k ααα+++ （1） 1122=0m m l l l ααα+++ （2）其中10l ≠时，（1），（2）的对应系数成比例：1212mmk k k l l l ===. 证：1）当()1,,i k i m =全为0时，恒为等式的解.以下设有一个i k 不等于0，不失一般性，设10k =.此时其余的()2,,i k i m =都不为0.若等式化为()100j j j ik k α≠=≠∑，于是这1m -个向量线性相关，此与题设矛盾.2） 由于10l ≠，由1）知: 2,,m l l 均不为0.如果()1,,i k i m =全为0，那么结论成立.否则i k 全不为0，()()112i l k ⨯-⨯，得()()11212211100m m r l k k l l k k l ααα-+-++-=.由1），因1α的系数为0，所以2,,m αα的系数全为0，即121210m m l k k l l k k l =-==-，即1212mmk k k l l l ===.32.求向量组()11,2,2,3α=-，()22,4,1,3α=--，()31,2,0,3α=-，()40,6,2,3α=，()52,6,3,4α=-的一个极大线性无关组.解1（初等变换法）以12345,,,,ααααα为列作矩阵A ，对A 施行初等变换为阶梯型矩阵B ：1210212102242660322121023000313333400000A B ----⎛⎫⎛⎫⎪ ⎪---⎪ ⎪=→= ⎪ ⎪---⎪ ⎪⎝⎭⎝⎭. 由B 可知：124,,ααα；134,,ααα；125,,ααα；135,,ααα均为原向量组的极大无关组. 注：用这种方法可以找到向量间的全部极大无关组.解2（子式法）因矩阵A 的4阶子式均为0，而3阶子式11022612022--=-≠，所以134,,ααα为一极大无关组.解3（逐一扩充法）因10α≠，所以1α线性无关，又因12,αα对应分量不成比例，故12,αα线性无关.因123,,ααα线性相关（这可由123,,ααα作成的矩阵的所有3阶子式为0看出），所以3α不收入.再观察124,,ααα，由于124,,ααα作成的矩阵有非零的3阶子式，所以124,,ααα线性无关，又因1245,,,αααα线性相关，所以124,,ααα为一极大无关组.33.什么叫做线性空间的基于维数？答：如果数域P 上的线性空间V 有n 个线性无关的向量12,,,n ααα，而且V 中每个向量都可以由它们线性表出，那么称这组向量为V 的一组基（基底）.也称12,,,n ααα生成（或张成）线性空间V .12,,,n ααα为V 的一组生成元.基中所含向量的个数n 称为V 的维数，记作dim V n =或()V n =维.称V 为维线性空间.如果V 中有任意多个线性无关的向量，那么称V 为无限维线性空间，记为dim V =∞.如果{}0V =，那么称V 是零维的，记为dim 0V =.注：○1线性空间V 的基，实际上就是V 的一个极大线性无关组.○2一个线性空间V 有一组基1,,n αα，取()ij n nA α⨯=，当0A ≠时，令，其中为的列向量，令()1,,n A c c =，其中1,,n c c 为A 的列向量，令()1,,i n i c βαα=()1,2,,i n =则可知1,,n ββ也是V 的一组基.由此可知V 的基不是唯一的.○3两组基之间是互相等价的，因为向量组的两个极大线性无关组是互相等价的.34.几类重要的线性空间的维数与基是什么？答：1）数域P 看成自身上的线性空间，则1是它的一组基，dim 1P =. 2）复数域C 看成实数域R 上的线性空间，1,i 是C 的一组基，dim 2P =.3）实数域R 看成有理数域Q 上的线性空间，则dim P =∞.事实上，21,,,ππ是线性无关的.因为如果21,,,,n πππ线性相关的话，那么π是代数数了，而π是超越数.故对一切自然数n ，向量组21,,,,n πππ都线性无关，由n 的任意性，故dim P =∞.4）全体正实数R +，定义a b ab ⊕=，kk a a =，则R +为R 上的1维线性空间.任何一个非零向量都是其一组基.因1是其零向量，取定(),1,1R Ra ββα++∈≠∀∈≠，有()log log βαβαβαβ==，即α可由β线性表出，所以是一维的.5）数域P 上的全体n 元数组构成的线性空间nP 是n 维的，()11,0,,0ε=，()20,1,,0ε=，，()0,,0,1n ε=是一组基.6）n 元齐次线性方程组0Ax =（A 为m n ⨯矩阵，()=A r 秩）的解空间是n r -维的，其基础解系是它的一组基.7）元素属于数域P 的m n ⨯矩阵的全体m nP⨯的维数是mn .以ij E 表示第i 行第j 列元素为1，其余元素为0的m n ⨯矩阵，则()1,2,,;1,2,,ij E i m j n ==为m n P ⨯的一组基.8）实数域上全体n 级实对称矩阵构成的线性空间的维数是()12n n +.()1ij ij E E i j n +≤≤≤为一组基. 9）实数域上全体n 级反对称矩阵构成的线性空间的维数是()12n n -.()1ij ij E E i j n -≤≤≤为一组基. 10）实数域上全体n 级上三角矩阵构成的线性空间的维数是()12n n +.()1ij E i j n ≤≤≤为一组基.11）全体形如1230n nX P X X ⨯⎛⎫∈⎪⎝⎭的矩阵（1X 为r r ⨯矩阵）构成的线性空间，因零块有()r n r -个元素，所以线性空间的维数是()2n r n r --.(),;,1,2,,ij E i r j r i r j n ≤≤≥=为一组基.12）全体n nA P⨯∈且满足0trA =（A 的迹为0）的矩阵构成的线性空间的维数是()()2211nn n n -+-=-，除nn E 外的一切,,1,2,,ij E i j n =为一组基.13）次数小于n 的一元多项式的全体加上零多项式构成的线性空间[]n P x 的维数是n ，且211,,,,n x x x -为一组基.14）线性空间()()[](){}|10n W f x f x R x f =∈=且的维数是1n -.且121,1,,1n n x x x -----是W 的一组基.15）数域P 上m 元n 次齐次多项式()()121211212,,,mmm k k k m k kk m i k k nfx x x x x x k α++==∑为正整数和零多项式构成的线性空间的维数是()()()()1211n n n m m +++--!，1212mk k k mx x x 1m i i k n =⎛⎫= ⎪⎝⎭∑为一组基.事实上，上述向量组线性无关是显然的，它的个数实际上是从m 种元素中每次取n 个元素的有重复的组合数，即()12nm x x x +++展开后不同类的项数：()()()()1111211n n m m n m n m n n n m C C C m -+-+-+++-===-!.16）分量属于复数域的全体n 元数组构成实数域R 上的线性空间的维数是2n .()11,0,,0ε=，()20,1,,0ε=，，()0,,0,1n ε=，()11,0,,0η=，()20,1,,0η=，，()0,,0,1n η=为一组基（为虚数单位）.17）线性空间V 中m 个向量生成的子空间()1,,m L αα的维数等于1,,m αα的秩，1,,m αα的任一极大无关组都是()1,,m L αα的一组基.36.V 为矩阵A 的实系数多项式的全体构成的线性空间，求V 的维数及一组基，其中210000,00A ωωω⎛⎫⎪== ⎪ ⎪⎝⎭解：因为212ω-=，31ω=，所以21,3;,31;,3 2.nn k n k n k ωωω=⎧⎪==+⎨⎪=+⎩从而2232100,3;00,,,31;00,3 2.n E n k A A E A A n k A n k ωω=⎛⎫⎧⎪ ⎪====+⎨ ⎪⎪ ⎪=+⎝⎭⎩设21230k A k A k E ++=，得1232123212300,0.k k k k k k k k k ωωωω++=⎧⎪++=⎨⎪++=⎩，（1）因系数行列式不为零，所以方程组（1）只有零解：1230k k k ===.说明2,,E A A 线性无关.由于A 的实系数多项式()f A 是2,,E A A 的线性组合，所以V 的维数是3. 2,,E A A 是V 的一组基.37.V 为矩阵A 的实系数多项式的全体构成的线性空间，求V 的维数及一组基，其中()120,,0i j in a a A a a i j a R a ⎛⎫⎪⎪=≠≠∈ ⎪ ⎪⎝⎭.解：易证对正整数k ，有11201100k kn n k n a a A k E k A k A a --⎛⎫ ⎪⎪==+++ ⎪ ⎪ ⎪⎝⎭. （1）事实上，由矩阵的相等得，101111110121221011,,.n k n n kn n k n n n n k k a k a a k k a k a a k k a k a a ------⎧+++=⎪+++=⎪⎨⎪⎪+++=⎩ （2）（2）式的系数行列式D 是范德蒙行列式，故()10ji i j nD aa ≤≤≤=-≠∏.所以方程组有唯一解011,,,n k k k -.这就证明了（1）.再令10110n n k E k A k A --+++= （3）（3）式为（2）式右端为零的情形.由于0D ≠，所以只有零解：0110n k k k -====，说明1,,,n E A A -线性无关.由于A 的实系数多项式()f A 是21,,,,n E A A A -的线性组合，所以dim V n =，21,,,,n E A A A -为一组基.38.设V 为数域P 上的线性空间，V 为从V 中任取m 个元素组成的向量()12,,,m ααα的集合.1）按向量的加法和数乘运算，V 为P 上的线性空间； 2）当V 为无限维时，V 也是无限维； 3）当V 为n 维时，求V 的维数和一组基. 证：1)()0=00V ∈，，，V ∴非空.另外，V 关于加法和数乘运算封闭，且满足定义中的8条规则，所以V 是域P 上的线性空间. 2）当V 是无限维时，取12,,,n βββ为V 的n 个线性无关的向量，令(),0,,0i i ηβ=()1,2,,i n =，则12,,,n ηηη线性无关.由n 的任意性知，V 有任意个线性无关的向量，即V 是无限维的.3）当dim V n =，可推得dim V mn =. 事实上，设12,,,n εεε为V 的一组基.令()1,0,,0i i ηε=，()20,,,0i i ηε=，，()0,0,,ni i ηε=，1,2,,i n =，则这个m n ⨯个向量均线性无关.()12,,,m V αααα∀=∈，因()11,2,,nj ij i i k j m αε=∀==∑，所以()1212111,,,,,,m nnnm i i i i i i i i i k k k αααεεε===⎛⎫= ⎪⎝⎭∑∑∑()()()12111,0,,00,,,00,0,,nnni i i i i i im i i i i i k k k εεεεεε====+++∑∑∑1122111nnni i i i im im i i i k k k ηηη====+++∑∑∑.即α可由mn 个向量()1,,;1,,ij i n j m η==线性表出，所以它们是V 的一组基，dim V mn =.39.什么叫做向量的坐标？答：设V 为数域P 上的n 维线性空间，1,,n αα为V 的一组基.设V β∈，则()111221,,n n n n k k k k k βααααα⎛⎫ ⎪=+++= ⎪ ⎪⎝⎭.称()1,,n k k 为β在基1,,n αα下的坐标.注：○1同一个向量β，在不同基下的坐标一般是不相同的.○2同一个β，当基1,,n αα排列顺序不同时，坐标也不同.比如V 的一组基为123,,ααα，令12335βααα=++，那么β在基123,,ααα下的坐标为()1,3,5，而在下的坐标为()1,5,3.○3这里的坐标概念是解析几何中坐标概念的推广.在平面解析几何中，相当于取基()11,0e =，()20,1e =，在空间解析几何里，相当于取基()11,0,0η=，()20,1,0η=，()30,0,1η=.而代数中是把它们抽象化，并把上述情形作为特例. V 中的基1,,n αα相当于建立一个坐标系.β的坐标()12,,,n n k k k P ∈，相当于β在坐标系12,,,n ααα下的坐标.40.什么叫过渡矩阵？答：过渡矩阵相当于n 维线性空间V 的两组基之间的变换公式.下面给出定义.设1,,n αα与1,,n ββ为V 的两组基，那么()1,,i n i c βαα=，1,2,,k n =. （1）其中12,,1,2,,i i i ki ni c P k n αααα⎛⎫ ⎪ ⎪=∈= ⎪ ⎪⎝⎭.把（1）式改写为()()11,,,,n n A ββαα=. （2）其中()()1,,n n ij n n nA c c P α⨯⨯==∈.称A 为基1,,n αα到基1,,n ββ的过渡矩阵，并称（2）为基变换公式.注：○1如果0A ≠，即A 为可逆矩阵.○2由（2）式知()()111,,,,n n A ααββ-=， （3）即1A -为基1,,n ββ到基1,,n αα的过渡矩阵.○3求1,,n αα到1,,n ββ的过渡矩阵A ，只要求出每个i β在基1,,n αα下的坐标（1）即可.41.什么叫坐标变换公式？ 答：设1,,n αα与1,,n ββ为V 的两组基，由基1,,n αα到基1,,n ββ的过渡矩阵为A .向量γ在基1,,n αα下的坐标为()1,,n x x .设γ在基1,,n ββ下的坐标为()1,,n y y ，那么111n n y x A y x -⎛⎫⎛⎫ ⎪ ⎪= ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭. （1） 公式（1）称为坐标变换公式.42.设1,,n αα为线性空间V 的一组基.1）1121212,,,n n βαβααβααα==+=+++也是V 的一组基.2）当向量α在基1,,n αα下的坐标为(),1,,2,1n n -时，求α在基1,,n ββ下的坐标.证：1）因为()()11,,,,n n A ββαα=，其中1101A ⎛⎫ ⎪=⎪ ⎪⎝⎭，1A =， 所以1,,n ββ线性无关，从而为V 的一组基.2）设α在基1,,n ββ下的坐标为()1,,n x x ，由坐标变换公式知121110111112201111n n n x n n x A x -⎛⎫⎛⎫-⎛⎫⎛⎫⎛⎫⎪ ⎪-- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪=== ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭ ⎪ ⎪⎝⎭⎝⎭. 43.在[]3P x 中，求221,,x x x x ++到基221,,x x x x -+的过渡矩阵. 解：因为21,,x x 为[]3P x 的基，所以()()()22221001,,1,,1101,,111x x x x x x x x A ⎛⎫⎪++=-= ⎪ ⎪-⎝⎭. （1） 于是()()()2221221001,,1,,=1,,110111x x x x x x A x x x x -⎛⎫⎪=++++- ⎪ ⎪-⎝⎭. （2） 又()()()22221001,,1,,0111,,011x x x x x x x x B ⎛⎫⎪-+== ⎪ ⎪-⎝⎭， （3） 将（2）代入（3）得()()()22221221001,,1,,1,,111120x x x x x x x x A B x x x x -⎛⎫⎪-+=++=++- ⎪ ⎪-⎝⎭. 所以100111120C ⎛⎫⎪=- ⎪ ⎪-⎝⎭为所求的过渡矩阵.44.已知()()()()12341,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,εεεε=⎧⎪=--⎪⎨=--⎪⎪=--⎩()()()()12341,2,3,1,2,1,0,1,1,1,0,1,2,1,1,2,ηηηη=⎧⎪=⎪⎨=--⎪⎪=-⎩分别是4P 的两组基，求i ε到()1,2,3,4i i η=的过渡矩阵.并求()1,1,0,1δ=-关于基1234,,,ηηηη的坐标.解：因为()11,0,0,0δ=，()20,1,0,0δ=，()30,0,1,0δ=，()40,0,0,1δ=是4P 的基，由i δ到()1,2,3,4i i ε=的过渡矩阵A 以及由δ到()1,2,3,4i i η=的过渡矩阵B 分别为1111111111111111A ⎛⎫ ⎪--⎪= ⎪-- ⎪--⎝⎭， 1212211130011112B ⎛⎫⎪- ⎪= ⎪ ⎪--⎝⎭由i ε到()1,2,3,4i i η=的过渡矩阵为1A B C -=，1741212141103443212C A B --⎛⎫⎪- ⎪==⎪ ⎪--⎝⎭. 令δ关于基()1,2,3,4i i η=的坐标为()1234,,,x x x x ，则121341112105413x x B x x -⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪-⎝⎭⎝⎭⎝⎭. 45.什么叫做线性子空间？答：设W 是数域P 上线性空间V 的非空子集，如果W 对于V 的两种运算（加法和数量乘法）也构成线性空间，则称W 为V 的一个线性子空间，简称子空间.46.什么叫做V 的平凡子空间？答：V 中仅含单个零向量的子空间称为零子空间，V 本身也是V 的一个子空间，这两个子空间称为V 的平凡子空间，V 除平凡子空间外的子空间（如果存在的话），称为V 的非平凡子空间.47.什么叫做生成子空间？答：V 中任意m 个向量的所有可能的线性组合(){}111,,|,1,2,,m m m i L k k k P i m αααα=++∈=构成V 的一个子空间，称为由1,,m αα张成（或生成）的子空间.注：这一记号非常重要.设V 是n 维的，若()1,,n V L αα=，则1,,n αα为V 的一组基.48.怎样判别子空间？答：设W 是V 的一个非空子集，则W 为V 的子空间的充要条件是：W 对于V 的两种运算是封闭的，即○1,W αβ∀∈都有W αβ+∈； ○2,W k P α∀∈∀∈，都有k W α∈. 条件○1与○2可以合并成一条：,W αβ∀∈及12,k k P ∀∈都有12k k W αβ+∈.49.生成子空间有哪些主要结论？ 答：1）()()11,,,,s t L L ααββ=的充分必要条件是1,,s αα与1,,t ββ等价.2）()()()1111,,,,,,,,,s t s t L L L ααββααββ+=.3）()1,,s L αα的维数{}1,,s αα=秩4）n 维线性空间V 的子空间的一组基必可扩充为V 的一组基.50.常见到子空间有哪些?答：1）V 的两个平凡子空间.2）全体实函数组成的线性空间中，由所有实系数多项式组成一个子空间.3）[]n P X 是线性空间[]P X 的n 维子空间.4）线性变换:V V σ→的值域V σ是V 的子空间.设线性变换在某一组基下矩阵为A ，则其维数等于A 秩，σ的核()10σ-是V的子空间，其维数等于dim V A -秩5）线性变换:V V σ→的属于特征值λ的特征向量的全体添上零向量是V 的特征子空间，记作V λ.若dim V n =，设σ在某一组基下的矩阵为A ，则()dim V n E A λλ=--秩6）数域P 上n 元齐次线性方程组0AX =的解空间W 是nP 的子空间，dim W n A =-秩.7. 设1,,n εε为数域P 上线性空间V 的一组基，m n A P ⨯∈，A r =秩，()'11,,n n c c Pα⨯=∈则()'11|,,0ni i n i W c A c c ε=⎧⎫==⎨⎬⎩⎭∑是V 的n r -维子空间.证：1）先证W 是V 的子空间.其0W ∈知W 非空（这时取()()1,,0,,0n c c =即可）.任取()11,,n n c c βεε⎛⎫ ⎪= ⎪ ⎪⎝⎭，()11,,n n d W d γεε⎛⎫ ⎪=∈ ⎪ ⎪⎝⎭，那么10n c A c ⎛⎫ ⎪= ⎪ ⎪⎝⎭，10n d A d ⎛⎫ ⎪= ⎪ ⎪⎝⎭. 12,k k P ∀∈，则()1112112,,n n n c d k k k k c d βγεε⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪+=+ ⎪⎪ ⎪ ⎪⎪ ⎪⎝⎭⎝⎭⎝⎭，111112120n n n n c d c d A k k k A k A c d c d ⎛⎫⎛⎫⎛⎫⎛⎫⎛⎫⎪ ⎪ ⎪ ⎪ ⎪+=+= ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭⎝⎭.所以12k k W βγ+∈，从而W 为V 的子空间.2）设0Ax =的解空间为1W ，则1dim dim W W n A n r ==-=-秩.51.什么叫做交空间？答：设V 是数域P 上的线性空间，()V I λλ∈都是V 的子空间，则IV λλ∈⋂也是V 的子空间，并称它为()V I λλ∈的交空间. 注:○1显然IV λλ∈⋂也是V λ的子空间.○2子空间的交是线性空间的一种运算.52. 子空间的交有哪些性质？答：1）适合交换律：1221V V V V ⋂=⋂；2）适合结合律：()()123123V V V V V V ⋂⋂=⋂⋂；3）A ,B 分别为m n ⨯与s n ⨯矩阵，A C B ⎛⎫= ⎪⎝⎭.设123,,V V V 分别为0Ax =，0Bx =，0Cx =的解空间，则312V V V =⋂.53.什么叫做和空间？答：子空间的和是线性空间的第二种运算.设1V ，2V 都是V 的子空间，则{}121122|,V V ααααα=+∈∈也是V 的子空间，记作12V V +.一般的，设1,,n V V 都是V 的子空间，它们的和空间定义为{}1212++|,1,2,,n n i i V V V V i n ααααα+++==+∈=.注：○112112V V V V V ⋂⊆⊆+，12212V V V V V ⋂⊆⊆+.○2设W 是线性空间，且()W V I λλ⊆∈，则IW V λλ∈⊆⋂.○3设1V W ⊆，2V W ⊆，W 是线性空间，则12V V W +⊆.54.子空间的和有什么性质？ 答：1）1221V V V V +=+；2）()()123123V V V V V V ++=++； 3）下面三条等价 （i ）12V V ⊆，(ii)121V V V ⋂=， （iii ）122V V V +=，55设1V ，2V 是V 的两个子空间，则1V È2V =1V +2V Û1V Í2V 或2V Í1V 。

教案二年级数学：三维空间的认识与探索三维空间的认识与探索引言：三维空间是物理世界中描述物体存在于三个方向的空间，是人们观察和理解物理现象的基础。

对于幼儿来说，三维空间的认知需要通过经验和学习在幼儿的生活中提高。

本教案旨在通过绘图和制作模型的方法帮助幼儿理解并掌握三维空间的概念和相关知识。

一、教学目标：1.了解三维空间、三个维度的概念，感受三维空间的特征和性质；2.会画基本的三维图形，如长方体、正方体、球等；3.能制作简单的三维模型，如卡通人物、动物、水果等；4.提高幼儿对三维物品的观察力和想象力锻炼幼儿的创造力。

二、教学过程：1.引入新知识（1）教师以地球、邮筒等为例，让幼儿分别说出物体的形状和性质，引导幼儿进一步了解物体存在于三维空间中。

（2）显示三维图形的图片，与幼儿沟通：三维图形与平面图形的区别，形状、边和角的命名；三维图形能有面、棱和顶点。

2.体验三维空间（1）让幼儿进行手部动作：保持走位，通过起身、抬脚、侧身等方法，将自己在空间中表现出来。

（2）模拟游戏：让幼儿进行简单的三维游戏，如走迷宫等。

3.画三维图形（1）引导幼儿按照画三维图形的步骤进行绘制。

（2）以长方体、正方体、球为例进行讲解。

（3）让幼儿尝试画出自己感兴趣的三维图形。

4.制作三维模型（1）让幼儿自由发挥想象，选择自己最喜欢的人物、动物或水果。

（2）根据幼儿所选择的对象，指导幼儿使用不同的材料进行制作，如纸张、塑料泡沫、颜料等。

（3）教师提供相关的制作技巧和方法。

5.展示成果教师邀请幼儿将所制作的三维模型进行展示，分享制作过程、难点、心得等，增强集体意识和创造力。

三、教学方法：1.任务型学习法，引导幼儿完成任务，激发学习兴趣和主动性。

2.体验式教学法，让幼儿在三维空间中身临其境地感受和理解三维世界。

3.创造性教学法，鼓励幼儿大胆想象，自由表达，展示创造力和思维能力。

四、教学评价：1.教师通过学生展示的作品，对学生的学习效果进行评价。

【关键字】空间第六章线性空间1.设证明：。

证任取由得所以即证。

又因故。

再证第二式，任取或但因此无论哪一种情形，都有此即。

但所以。

2.证明，。

证则在后一情形，于是所以，由此得。

反之，若，则在前一情形，因此故得在后一情形，因而，得故于是。

若。

在前一情形X，。

3、检验以下集合对于所指的线性运算是否构成实数域上的线性空间：1）次数等于n（n1）的实系数多项式的全体，对于多项式的加法和数量乘法；2）设A是一个n×n实数矩阵，A的实系数多项式f（A）的全体，对于矩阵的加法和数量乘法；3）全体实对称（反对称，上三角）矩阵，对于矩阵的加法和数量乘法；4）平面上不平行于某一向量所成的集合，对于向量的加法和数量乘法；5）全体实数的二元数列，对于下面定义的运算：6）平面上全体向量，对于通常的加法和如下定义的数量乘法：；7）集合与加法同6），数量乘法定义为：；8）全体正实数r，加法与数量乘法定义为：，；解1）否。

因两个n次多项式相加不一定是n次多项式，例如。

2）令V={f（A）|f（x）为实数多项式，A是n×n实矩阵}因为f（x）+g（x）=h（x），kf（x）=d（x）所以f（A）+g（A）=h（A），kf（A）=d（A）由于矩阵对加法和数量乘法满足线性空间定义的1~8条，故v构成线性空间。

3）矩阵的加法和和数量乘法满足线性空间定义的1~8条性质，只需证明对称矩阵（上三角矩阵，反对称矩阵）对加法与数量乘法是否封闭即可。

下面仅对反对称矩阵证明：当A，B为反对称矩阵，k为任意一实数时，有，A+B仍是反对称矩阵。

，所以kA是反对称矩阵。

故反对称矩阵的全体构成线性空间。

4）否。

例如以已知向量为对角线的任意两个向量的和不属于这个集合。

5）不难验证，对于加法，交换律，结合律满足，（0，0）是零元，任意（a，b）的负元是（-a，-b）。

对于数乘：即。

＝， ＝ ＝ ＝ ＝，即，所以，所给集合构成线性空间。

6）否，因为。

计算机图形学作业答案第一章序论第二章图形系统1．什么是图像的分辨率？解答：在水平和垂直方向上每单位长度（如英寸）所包含的像素点的数目。

2．计算在240像素/英寸下640×480图像的大小。

解答：（640/240）×(480/240)或者（8/3）×2英寸。

3．计算有512×512像素的2×2英寸图像的分辨率。

解答：512/2或256像素/英寸。

第三章二维图形生成技术1．一条直线的两个端点是（0，0）和（6，18），计算x从0变到6时y所对应的值，并画出结果。

解答：由于直线的方程没有给出，所以必须找到直线的方程。

下面是寻找直线方程（y ＝mx＋b）的过程。

首先寻找斜率：m ＝⊿y/⊿x ＝（y2－y1）/（x2－x1）＝（18－0）/(6－0) ＝ 3 接着b在y轴的截距可以代入方程y＝3x＋b求出 0＝3（0）＋b。

因此b＝0，所以直线方程为y＝3x。

2．使用斜截式方程画斜率介于0°和45°之间的直线的步骤是什么？解答：（1）计算dx：dx＝x2－x1。

（2）计算dy：dy＝y2－y1。

（3）计算m：m＝dy/dx。

（4）计算b: b＝y1－m×x1（5）设置左下方的端点坐标为（x，y），同时将x end设为x的最大值。

如果dx < 0，则x＝x2、y＝y2和x end＝x1。

如果dx > 0,那么x＝x1、y＝y1和x end＝x2。

（6）测试整条线是否已经画完，如果x > x end就停止。

（7）在当前的（x，y）坐标画一个点。

（8）增加x：x＝x＋1。

（9）根据方程y＝mx＋b计算下一个y值。

（10）转到步骤（6）。

3．请用伪代码程序描述使用斜截式方程画一条斜率介于45°和－45°（即|m|>1）之间的直线所需的步骤。

假设线段的两个端点为（x1，y1）和（x2，y2），且y1<y2int x = x1, y = y1;float x f, m = （y2－y1）/（x2－x1）, b = y1－mx1;setPixel( x, y );/*画一个像素点*/while( y < y2 ) {y++;x f = ( y－b)/m;x = Floor( x f +0.5 );setPixel( x, y );}4．请用伪代码程序描述使用DDA算法扫描转换一条斜率介于－45°和45°（即|m| ≤1）之间的直线所需的步骤。

三维造型设计课程设计小结一、课程目标知识目标：1. 让学生掌握三维造型设计的基本概念，如：点、线、面、体的关系及其在三维空间中的应用。

2. 使学生了解并运用三维造型设计的基本元素，如：形状、色彩、材质、光影等，进行创意设计。

3. 帮助学生理解三维造型设计在现实生活和科技领域中的应用，培养其跨学科整合能力。

技能目标：1. 培养学生运用三维建模软件进行基本操作和造型设计的能力。

2. 提高学生通过观察、分析、创意等方法，运用所学知识解决实际问题的能力。

3. 培养学生团队协作、沟通表达、创新实践的能力。

情感态度价值观目标：1. 培养学生对三维造型设计的兴趣和热情，激发其主动探索精神。

2. 培养学生关注社会、关注生活、关注美的审美观念，提高其审美素养。

3. 引导学生树立正确的价值观，认识到三维造型设计在服务社会、改善生活、传承文化等方面的重要意义。

本课程针对的学生特点是具有一定的美术基础和计算机操作能力，对三维造型设计感兴趣，希望通过学习提高自己的审美素养和动手能力。

在教学过程中，注重理论联系实际，鼓励学生动手实践，充分调动学生的主观能动性，培养其创新精神和实践能力。

通过本课程的学习，使学生能够在三维造型设计领域取得明显的进步和成果。

二、教学内容1. 三维造型设计基本概念：点、线、面、体的关系及其属性，三维空间的理解。

教材章节：第一章 三维造型设计基础2. 三维造型设计基本元素：形状、色彩、材质、光影的运用及搭配。

教材章节：第二章 三维造型设计元素3. 三维建模软件基本操作与技巧：介绍主流三维建模软件，如AutoCAD、3ds Max、Maya等，并进行基本操作教学。

教材章节：第三章 三维建模软件及应用4. 三维造型设计实例分析：分析优秀三维造型设计作品，学习其设计思路和技巧。

教材章节：第四章 三维造型设计实例5. 创意三维造型设计实践：指导学生运用所学知识进行创意设计，培养其创新精神和实践能力。

教材章节：第五章 创意设计实践6. 三维造型设计在现实生活中的应用：探讨三维造型设计在建筑、工业、影视、动漫等领域的应用。

GIS空间分析理论与方法第一章绪论1.空间分析概念GIS空间分析是从一个或多个空间数据图层获取信息的过程。

空间分析是集空间数据分析和空间模拟于一体的技术，通过地理计算和空间表达挖掘潜在空间信息，以解决实际问题（刘湘南等, 2008)。

2.空间分析与GIS的关系空间分析是地理信息系统的核心和灵魂。

空间分析是地理信息系统的主要特征,是评价一个地理信息系统的主要指标之一。

3.空间分析在GIS中的地位和作用空间分析是GIS的核心;空间分析是GIS的核心功能；空间分析的理论性和技术性第二章GIS空间分析的基本理论1.空间分析有哪些理论?空间关系理论；地理空间认知理论；地理空间推论理论;空间数据的不确定性分析理论2.简述空间关系的类型及各类型的特点？GIS空间关系主要分为顺序关系、度量关系和拓扑关系三大类型。

顺序关系描述目标在空间中的某种排序,主要是目标间的方向关系，如前后左右、东西南北等。

度量关系是用某种度量空间中的度量来描述的目标间的关系，主要是指目标间的距离关系。

拓扑空间关系是指拓扑变换下的拓扑不变量,如空间目标的相邻和连通关系，以及表示线段流向的关系。

3.简述拓扑空间关系的特点？拓扑空间关系是指拓扑变换下的拓扑不变量，如空间目标的相邻和连通关系,以及表示线段流向的关系.拓扑变换：拓扑所研究的是几何图形的一些性质,它们在图形被弯曲、拉大、缩小或任意的变形下保持不变,只要在变形过程中不使原来不同的点重合为同一个点，又不产生新点。

拓扑变换的条件：在原来图形的点与变换了图形的点之间存在着一一对应的关系,并且邻近的点还是邻近的点。

拓扑关系表达的代表性模型：4元组模型、9元组模型、基于V oronoi图的V91模型、RCC 模型、空间代数模型4.简述方向空间关系的类型和特点？方向关系是顺序关系中的最主要的关系。

方向关系的描述方式包括定量描述和定性描述两种。

一般方向关系的形式化描述：使用的是绝对方向关系参考。

九种方向关系：正东：restricted—east（pi，qi）≡X（pi)>X(qi）∧Y(pi）=Y（qi）5.简述距离关系的类型和计算方法？欧氏距离、切比雪夫距离、马氏距离、明氏距离P216.简述空间关系描述模型的评价准则?一般从完备性、严密性、唯一性、通用性1.空间关系表达是否是形式化的、无歧义的2.表达的完备性3.表达的可靠性4.表达的唯一性5.表达的课推理性7.简述时空空间关系的特点？地理实体之间的空间关系往往随着时间而变化,时间关系交织在一起就形成了多种时空关系。

第六章相平衡内容提要：本章系统阐述相图的基本原理并结合实际介绍了相图在无机非金属的研究和生产实践中的具体应用。

硅酸盐系统中的组分、相及相律：相——体系中具有相同物理与化学性质的均匀部分的总和称为相。

组元系统中每一个能单独分离出来并独立存在的化学均匀物质称为物种或组元。

独立组元数决定一个相平衡系统的成分所必需的最少物种（组元）数成为独立组元数。

独立组元数二物种数-独立化学平衡关系式数自由度一一在一定范围内可以任意改变而不引起旧相消失或新相产生的独立变数称为自由度。

相律数学式为：F =C - P n式中P——系统平衡时的相数；F ——独立可变数的数目即自由度；C 独立组元数即组分数；n――外界因素的独立变量。

如果外界因素只有温度和压力影响时，相律关系式为 F = C - P • 2，对于凝聚体系（不考虑压力）相律为：F二C-P T凝聚系统相图测定方法：1、淬冷法（静态法）在咼温充分保温的试样迅速掉入淬冷容器，然后用X射线、电子显微镜等对试样进行物相鉴定。

当试验点足够多，温度与组成间隔小时能获得准确的结果。

这是凝聚系统相图测定的主要方法，缺点是工作量相当大。

2、热分析法（动态法）冷却曲线法系通过测定系统冷却过程中的温度-时间曲线、并通过曲线的连续、转折或水平段出现的温度来确定相变化。

差热曲线法试用于相变热效应小的试样，其原理是将被测试样及惰性参比物放在相同热环境中，以相同速率升温，当试样有相变而产生热效应时与参比物之间产生的温差用差热电偶检测，根据差热曲线峰或谷的位置判断试样发生的相变温度。

三元系统相平衡基本原理：组成表示法：用等边三角形表示三元系统中各组成相对含量，此三角形称为组成三角形或浓度三角形。

等含量规则：平行于浓度三角形某一边的直线上的各点，都含有等量的对面顶点组元。

等比例规则：浓度三角形一顶点和对边上任一点的连线上各点的体系中其它两个组元的含量比值不变。

背向规则：如果从三个组元的混合物中不断取走C组元，那么这个系统的组成点将沿通过C的射线并朝着背离C的方向而变化。