不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？为什么弱Lp空间不是赋范线性空间？
［代数学］矩阵的概念最多可以推广到什么代数结构上？
(f(x),g(x))=1 在线性代数里是什么意思？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
代数、几何能否联系一起？
代数好的人但立体几何不好的男生是智商低吗？
能否求出n次对称群中置换的最大阶？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
如何理解在对对易关系取trace时出现的这种矛盾？
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
如何理解抽象代数的用途？为什么在应用上高斯消元法很少被用来求逆矩阵?
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
不使用范畴论，如何刻画一个线性映射是“自然”的？
在线性代数中如何用几何表示非方阵矩阵相乘？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
如何证明这个高等代数问题？
剩余类环的所有理想怎么求？
为什么说用矩阵定义线性映射是一个糟糕的观点？
怎样普适地求此特殊非线性矩阵方程的解？
i 的平方为什么等于 -1？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
如何理解 Farkas 引理？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
拓扑学（点集拓扑和代数拓扑基础）和范畴论有什么双语教材？
一个范畴问题?
LU分解法与Gauss消元法两者复杂度的比较，谁跟快？
椭圆的一般方程 Ax²+Bxy+Cy²+Dx+Ey+F=0，其中心点坐标如何推导？
用人话来解释下模空间是啥？
何为分析方法、代数方法、几何方法、拓扑方法？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
若零向量没有方向，那它还是向量吗？
为何可逆上三角形矩阵的逆矩阵也是上三角形矩阵？
请问二重积分的换元法中，雅克比矩阵是怎么转化成雅克比行列式的？
环中不可逆元一定是零因子嘛？
怎么用一句话证明 det(M1 M2)＝det(M1)det(M2)？
这个问题怎么做?最后怎么解出多项式？
为何向量没有除法运算？
线性代数对物理学有什么帮助？
数学学习或研究中，你见过哪些有意思的反例？