设[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]所有实函数构成的实数域[tex=0.786x1.0]czmpOvTmaMgRl7StPBE3ig==[/tex]上的线性空间，证明下面向量线性无关：[tex=2.0x1.0]ubrWKbcUVEQuMvQ4FwhN9g==[/tex]，[tex=0.929x1.0]ocEiGv/JElCxV/n4Gmon9w==[/tex]。

2022-11-04

设[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]所有实函数构成的实数域[tex=0.786x1.0]czmpOvTmaMgRl7StPBE3ig==[/tex]上的线性空间，证明下面向量线性无关：[tex=2.0x1.0]ubrWKbcUVEQuMvQ4FwhN9g==[/tex]，[tex=0.929x1.0]ocEiGv/JElCxV/n4Gmon9w==[/tex]。

答案：

证：若[tex=7.0x1.214]AKuN9McvLO+x9KOyDw0B4Dbt+jJ8DwSc6PSKQx1/TRsWIq9mo3QlpBBO+puX33T9[/tex]，设[tex=3.0x1.214]UXfz0+3+vjs4b6ZOtTNi8g==[/tex]，[tex=1.857x1.071]zwQDJsJp5zwCcraz04GvARglSNKDTSKrZ/VmOrpjhTo=[/tex]。假设[tex=2.786x1.214]0iODabbI+frt8CdgkYBdE9x5uWR8oLRvsEXP4eDVG3E=[/tex]， 则有[tex=5.5x2.571]26r1Hb6R0SWJMWeGSFuqG7C8DX0LDWlKnatRCJ8l7hv05emvtWUGfenwLjVu7D8cKglobo9+R6JE0Ojykf5CXQ==[/tex]，等式左边是个常数，右边是个变化的函数，这是不可能的。因此[tex=2.214x1.214]jAep1rg7lvkJQQ3fyfWCUA==[/tex]，从而[tex=2.214x1.214]MWmv2jwD/s4qzwxZR0aWeA==[/tex]，故此组向量线性无关。或者取[tex=1.857x1.0]bOlCq/PHWhsSVMaVf7Obdg==[/tex]，得[tex=2.214x1.214]8fldeiF+CZ7QS4ywGrVgbA==[/tex]。 取[tex=2.714x2.143]b/HrZ32iqfCwwgsXpUosh3yhXR/n+0bjCc1WHNXnZgY=[/tex]，得[tex=4.929x1.429]RIC96wAmskLhve0MAm7wlWM5vypaZoTAQe87oS0ooUZW3ckfF5iWB8R2ocQ4yBbX[/tex]，从而[tex=3.929x1.214]6CzHpBoEVdfGanuoycm4yPdUjo5oO0lLRabpjQYw84A=[/tex] 。

举一反三

内容

0
设[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]为数域[tex=0.929x1.286]nrJzN9qRndstwtgYfof7gw==[/tex]上的[tex=0.643x1.286]ZsZs11iKEvfmzDIurZth8g==[/tex]维向量空间。证明：对任何大于[tex=0.643x1.286]ZsZs11iKEvfmzDIurZth8g==[/tex]的自然数[tex=0.857x1.286]VtHyCG+ZQg7fAIyRU+W9ow==[/tex]，一定存在由[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]的[tex=0.857x1.286]VtHyCG+ZQg7fAIyRU+W9ow==[/tex]个向量组成的向量组，使其中任何[tex=0.643x1.286]ZsZs11iKEvfmzDIurZth8g==[/tex]个向量都线性无关。
1
设[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]和[tex=0.786x1.286]sgM90Q/VISKeSqiI8AMXRw==[/tex]都是域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上的线性空间（[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]和[tex=0.786x1.286]sgM90Q/VISKeSqiI8AMXRw==[/tex]都不必是有限维的），[tex=0.929x1.0]9ZOFmxCSrFOtuQaSWCydPg==[/tex]是[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]到[tex=0.786x1.286]sgM90Q/VISKeSqiI8AMXRw==[/tex]的一个线性映射，[tex=1.143x1.071]Z+TPszFO7LPa8KJ9E9RUwQ==[/tex]是[tex=0.929x1.0]9ZOFmxCSrFOtuQaSWCydPg==[/tex]的对偶映射。证明：[tex=6.857x1.429]kUgEPF/gdFSEI5/1Hb0q1BMyRtAjGBys17NEkKgvHKpCBE3gT8edJaET4L5GXGrWFUg3jXMSHvEi1sQXe+w9IA==[/tex]。
2
设[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]是[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]维实线性空间，如果保留[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]的向量加法，但在纯量[tex=0.643x1.0]+D9NhKovEP8INGz+KZnr1A==[/tex]乘以向量时，限定纯量[tex=0.643x1.0]+D9NhKovEP8INGz+KZnr1A==[/tex]只取有理数，如此得到的有理域[tex=0.857x1.214]to/MrMoO1ux8UhZHnpEvBg==[/tex]上的线性空间记为[tex=0.857x1.286]sos4fU8pEpLIyOuQ2cEmLI7ajGwKeRm0wVzPEibgiW0=[/tex]。线性空间[tex=0.857x1.286]sos4fU8pEpLIyOuQ2cEmLI7ajGwKeRm0wVzPEibgiW0=[/tex]是否是有限维的？
3
判断以下的集合[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]关于所规定的运算是否成为线性空间：取[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]为所有满足[tex=3.857x1.357]oqVqog3gnPIgJ2/mDaTUTQ==[/tex]的实函数集合；数域[tex=0.643x1.0]SrAoc7XdpRH4/IzfgfsX9A==[/tex]为实数域[tex=0.786x1.0]PVslpAANJzLHVma1Qw92aQ==[/tex]；向量的加法规定为函数的加法；纯量与向量的乘法规定为实数与函数的乘法。
4
设[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]和[tex=0.786x1.286]sgM90Q/VISKeSqiI8AMXRw==[/tex]都是域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上的线性空间（[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]和[tex=0.786x1.286]sgM90Q/VISKeSqiI8AMXRw==[/tex]都不必是有限维的），[tex=0.929x1.0]9ZOFmxCSrFOtuQaSWCydPg==[/tex]是[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]到[tex=0.786x1.286]sgM90Q/VISKeSqiI8AMXRw==[/tex]的一个线性映射，[tex=1.286x1.071]c5Cf4pRARaBipYntugL/3vKeBzcFZmpil4mkUJnj1jI=[/tex]是[tex=0.929x1.0]9ZOFmxCSrFOtuQaSWCydPg==[/tex]的对偶映射。证明：若[tex=0.929x1.0]9ZOFmxCSrFOtuQaSWCydPg==[/tex]是满射，则[tex=1.286x1.071]c5Cf4pRARaBipYntugL/3vKeBzcFZmpil4mkUJnj1jI=[/tex]是单射。