设 [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] 中两个光向量正交的充要条件是它们线性相关.
举一反三
- 设[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]是一个向量空间，且[tex=3.429x1.357]z5i0UnrkSFEMYRY3fz3n5A==[/tex]。证明：[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]不可能表成它的两个真子空间的并集。
- 设[tex=1.0x1.0]97Y4VMFIqE7cl6MEqnCpuw==[/tex]是[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]维向量空间[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]的一个子空间，且 [tex=6.571x1.071]ZyqBa4JfWRPKusGwA3PAKqa8sjPrakad+dZGuQBTVus=[/tex].证明：[tex=1.0x1.0]97Y4VMFIqE7cl6MEqnCpuw==[/tex]在[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]中有不止一个余子空间。
- 设 [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=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 和 [tex=0.714x1.0]X6uqj1A7AQmRFBpFsTbZTg==[/tex] 是数域 [tex=0.643x1.0]0WA5oCO54gKWR/jKi5M2Zw==[/tex] 上的向量空间, [tex=5.429x1.0]5XWH7n5GxMHnX5nq+6dNyVv08PxRWhXq62sIUFVWQn5AtOp5a55Sjoba/INzUbjU[/tex] 是 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 的一组基, [tex=5.786x1.0]rkTpN1N8fnivSCMqkApx5h1kL8np/aV+PV/kl1bYUP5FcQ6KJiSaGI+kCAWWoQxO[/tex] 是 [tex=0.714x1.0]X6uqj1A7AQmRFBpFsTbZTg==[/tex] 中 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 个向量, 求证: 必存在 [tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex] 到 [tex=0.714x1.0]X6uqj1A7AQmRFBpFsTbZTg==[/tex] 的唯一的线性映射 [tex=0.714x1.0]OqF+/h/mAb1/2XhJuj27xg==[/tex], 使 [tex=4.071x1.357]YTKB7Lm/TRd5jffCkeKNV5GxJua+o6w2yz+r4g0mWArdwin4hyBX+dmneblYN28a[/tex]
- 证明：如果向量空间[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]的每一个向量都可以唯一地表成[tex=0.643x1.0]jro2X/cRz2SsmjZvcOdvsQ==[/tex]中向量[tex=1.0x1.0]PKm+ED/8cg/u4z2vW4MmrQ==[/tex]，[tex=1.0x1.0]5vfckb5Fh/s181aB3Qm07Q==[/tex]，[tex=1.286x0.786]lRSLJav0cvc1uYdx/9plcw==[/tex]，[tex=1.071x1.0]JpINJ7B6c472Pul9K1BbYQ==[/tex]的线性组合，那么[tex=3.857x1.0]NovbxKl63Ey/milqTcbe//ghBF9EdlQj8XG2+fjtSpk=[/tex].