或许，不太确定，我想书前面第一次出现应该有介绍，第一个，表示空间之间，第二个表示点之间
这是线性代数的范畴；仅仅是箭头表示映射关系，例如：f(x)→g(x)而|→这个符号是表示元素对应的映射，例如：x|→f(x)
