设 [tex=6.0x1.214]aJ6ilKOMd+Qhji0Ydv6BLEeRQkFLrcudDhs9wTevVVY=[/tex] 是数域 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 上向量空间 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 的 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 个真子空间,证明:[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 中必有一组基, 使得其中每个基向量都不在诸 [tex=0.857x1.214]cwRVu8HBwDHmaiBxi9Ne3Q==[/tex] 的并中.

2022-06-26

设 [tex=6.0x1.214]aJ6ilKOMd+Qhji0Ydv6BLEeRQkFLrcudDhs9wTevVVY=[/tex] 是数域 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 上向量空间 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 的 [tex=0.929x0.786]VF0GLe2VBE/4VKNzpyOfFg==[/tex] 个真子空间,证明:[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 中必有一组基, 使得其中每个基向量都不在诸 [tex=0.857x1.214]cwRVu8HBwDHmaiBxi9Ne3Q==[/tex] 的并中.

答案：

证明  存在非零向量 [tex=2.071x1.214]kHuZsuQ+Y+0jWSA8/8cneQ==[/tex], 使得 [tex=4.643x3.286]1OHNvscy7Xtj7pVv9kvgYMiw8P+U4u+NeIYzpgXFgshWEgQSPkYpt8bgIOWdhemn[/tex]定义[tex=5.357x1.357]NHn2q1qUFUZZilqKSS9kPDPAqG6nWARBEwaNmxt7QboBqaSwcDG9Lqfx8MfotN0a[/tex] ；存在向量 [tex=2.071x1.214]vFkC6zFfqxGM2ZHpFIi4WA==[/tex] 使得 [tex=5.0x3.429]/qyLgp/c8mI4nbN8BRDhvHgleK/VbHdL39wCGYCUINlueNyDdYdT7GggUzbYDxOq[/tex] ； [tex=4.5x1.357]jbYtZndlKgKwoPX5H8Tk816xyx4H0jSqSNqX2/kP4ud8Al/d65mC7qyRjj/23EGX[/tex]意味着 [tex=1.929x1.0]M2lOLVp4TKl2uoeEyd/S7A==[/tex] 线性无关. 重新定义 [tex=6.571x1.357]Wb8mcozCdnpDz1sy1JWH821TKuNwM7YO4SOVzYf7Hb5A7RPctMyNgVFlFyNt9RAG[/tex], 存在向量 [tex=2.071x1.214]i/cqoPCdqZft7YaWJMV8nQ==[/tex], 使得 [tex=5.0x3.429]KTfpM3egiRu5PepcuyYGMd6+MR77QYsW9Hn2zkOSq+atM5stys1LRok0KkdAQI6E[/tex]  [tex=5.786x1.357]6K5CoqWSsxAbNqduryS4Efc9FeVErbw7zbBtUDJT4h1103JrCbvMZmbDKC5nmkCP[/tex] 意味着[tex=3.357x1.0]iTGQzCyDDDttycOukKq/7ubOcKXLm5fiQq+Yy9ReohM=[/tex] 线性无关。不断重复上述讨论，即添加线性无关的向量重新定义[tex=2.143x1.214]zW6dyKuYtQq/5kKs3rDq2A==[/tex]， 最后可以得到 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 个线性无关的向量 [tex=5.429x1.0]aM+6LzSAoWyAKCb3ZDQRbf5H4nwboyub1WNB3zP6j90=[/tex], 它们构成 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 的一组基, 且满足 [tex=10.714x3.286]A6rxnMMGd22ouFrqNRqb8Z5jSRjXKUf7l5VYBec8DbmEoBvka8TisyV8O/cpvPj9Ewh7WH8zn4qzK7+z29ApJA==[/tex]

举一反三

内容

0
设[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]是一个向量空间，且[tex=3.429x1.357]z5i0UnrkSFEMYRY3fz3n5A==[/tex]。证明：[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]不可能表成它的两个真子空间的并集。
1
设 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 是四维实空间且在 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 上定义了一个对称型 [tex=0.5x1.0]wPh71/L+tm8emC/JD+8oZg==[/tex], 在基 [tex=5.714x1.357]yPhJXQIl8Vkkaabg35IZOGVtZGzkdq1/u2PblmTh4b/jc7Mf+jUypcpQb4MlLonvPtyUAaKnTQ/N/PcgvDmjsg==[/tex] 下其表示矩阵为[tex=8.571x4.643]rwMhqGKFQ+j3l2qMx/grPurbfPjRHrkQOeDywE0W7k8Mx7V7jq2kFKkRVjwcI+aPw0x9mkU473QXVCffl4XeD33ut8nVn+KpNk/vWcNKjsbeMgCi+U46OmnMiLKt9uwfBNbZF/hbEt7LIOtxHIrQ/AEjccvcQVKlI7L2j3jPb68=[/tex]空间 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 称为 Minkowski 空间. [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 中适合 [tex=4.714x1.357]V2Nk7vXDplu2jLOaXGir+uZT5h0RZ7Xr51uH0YAt60g=[/tex] 的向量 [tex=0.643x0.786]hlJJ6/DUY+n2/FE6M2JdRA==[/tex] 称为空间向量; 适合 [tex=4.714x1.357]V2Nk7vXDplu2jLOaXGir+liEhWGant09SoMRBwi0Qoc=[/tex] 的向量称为时间向量; 适合 [tex=4.143x1.357]V2Nk7vXDplu2jLOaXGir+mSy5RxwC3rf0YDcdg6rI8c=[/tex] 的非零向量称为光向量. 试证明:(1) [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 中任意两个时间向量不可能互相正交;(2) [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 中任意一个时间向量不可能正交于一个光向量;(3) [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 中两个光向量正交的充要条件是它们线性相关.
2
设 [tex=2.357x1.214]b+19PhVr4qu1uqfrbbodNg==[/tex] 是域 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 上线性空间 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 的两个真子空间 ( 即 [tex=2.786x1.214]2OQFgyX1n/0U9jfuDG8AuA==[/tex] ), 证明: [tex=4.5x1.214]zHn9rRqmMnIDW2iEd9bFUI4woLinbLyKrYc04YIkanw=[/tex]
3
证明：数域[tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex]上[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]维向量空间[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]的一个线性变换[tex=0.571x0.786]G/buLKOLYVDEKMZ76t752w==[/tex]是一个位似(即单位变换的一个标量倍)必要且只要[tex=0.571x0.786]KMF8QHqVjNLkn7nK5uaSag==[/tex]关于[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]的任意基的矩阵都相等。
4
设 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 和 [tex=1.071x1.143]SEwIem1RXUAaU4aCzKG5tQ==[/tex] 都是域 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 上有限维线性空间, [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 是 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 到 [tex=1.071x1.143]SEwIem1RXUAaU4aCzKG5tQ==[/tex] 的一个线性映射. 证明: 存在 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 的由个基和 [tex=1.071x1.143]SEwIem1RXUAaU4aCzKG5tQ==[/tex] 的一个基, 使得 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 在这一对基下的矩阵 [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 形如 [tex=5.214x2.786]jcCMHflCR8OS9TosV6N5vOGsz4lMsaik2WCvgDGOBAqVscNdEHQ2gVv3HlIwyzLR+CcPnB5qDwlqwJNgLQJPHg==[/tex]