主要内容\(\renewcommand{\deg}{\rm deg\, }
\newcommand{\Ima}{\rm Im }
\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\F}{\mathbb F}
\newcommand{\C}{\mathbb C}
\newcommand{\K}{\mathbb K}
\newcommand{\myunit}{1 cm}
\newcommand{\blue}[1]{{\color{blue}#1}}
\newcommand\iddots{\mathinner{
\kern1mu\raise1pt{.}
\kern2mu\raise4pt{.}
\kern2mu\raise7pt{\Rule{0pt}{7pt}{0pt}.}
\kern1mu
}}
\tikzset{
node style sp/.style={draw,circle,minimum size=\myunit},
node style ge/.style={circle,minimum size=\myunit},
arrow style mul/.style={draw,sloped,midway,fill=white},
arrow style plus/.style={midway,sloped,fill=white},
}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
章 6 一般线性空间与线性映射
在
章 4 中，我们从线性方程组的列视角出发，引出了列向量空间及其子空间、线性相关/无关性、极大无关组等线性代数的基本概念。从解方程的角度看，$m$维列向量所构成的集合，以及其上定义的加法运算和数乘运算（统称线性运算）都是非常关键的。然而现代代数学的一个重要特点是强调运算及其带来的集合元素间的关系，而弱化集合中元素的具体含义。由此，我们可以将关心的重点放在抽象的代数系统上，而这些抽象代数系统可以被广泛应用于不同的场景。
在本章中，我们将讨论基于抽象的线性运算定义的一般线性空间，以及其上的线性映射。
