http://www.douban.com/group/topic/20531925/
要内蕴地表示几何体，多向量的原点不能在几何空间内。因此，在真正的几何语言中，几何表示一般是齐性的。道理是这样的：如果原点是一个几
回答: 爱尔兰根纲领 n 维射影几何的群就是 n 维射影空间的对称群（n+1 阶矩阵群，取和标量矩阵的商）。该仿射群是保持所选的无穷远超 由 marketreflections 于 2011-06-27 20:20:39
函数是映射的最简单例子。算子是稍微"高级"一点的映射。
如果映射将一个集合的一些元素全部映射到"单位"元素（加法的零或乘法的一），则这些
元素形成一个叫核（ker）的子集合。原物集合中的ker之所以重要，被单独列出，归根到
底还是因为像集合里的"单位"元素独特。他跟本集合内任何一个元素作用（例如相乘）还
是该元素本身。因此核内任何一个元素与本集合内任何非核元素相乘所得结果必在核外，
否则他会被映到单位素。原来ker乃初中之国，独立王国是也。因此，每一个核外元素与
全体核内元素可以产生一共同类，是为等价类。可以通过与核内元素建立关连的元素属于
同一等价类。由此立得不同等价类的元素必不相同。整个集合就可以按等价类拆分，因而
集合元素是核内元素之整数倍。
显然，同一个集合的核是可变的因为核与映射有关。改变映射，核的元素会变。
这个核，随集合对应物改变而有很多别名，正则子空间，理想，不变子空间，正则子群，
不变子群等等，看官且留意他们是亲姊妹。他也是投影或射影的最一般描述。投影空间（
商空间）即为原空间对某个（正则）子空间取商的结果。
