工作之余，闲来思考，偶有一得，与君共赏。
现代数学中的线性映射有一个“前像后核”的概念，我想，有个成语，叫“前仰后合”，读音颇像，一次就能记住，有：
dimU=dim（imA）+dim（kerA），其中dim（imA）=r（A），可读作：空间U的维数=A的像的维数+A的核的维数，正所谓，前像后核。具体见下图。
以集合论语言为基础，高度抽象化，统一化，是现代数学的特点。昨日所谈希尔威斯特不等式，我试用现代数学语言作一证明如图所示，其映射关系复杂，为便于理解，我加了一张交换图，一目了然，仅供玩赏。
假期即至，各位可读些闲书，调整身心。