不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
为什么会有 i 这一虚数？可以求出 i 的值吗？如何证明不等式（来自小蓝本）?
可交换矩阵的求法有几种？
怎样用简单的语言解释 monad？
如何评价国科大非数专业使用卓里奇和代数学引论？
integral domain为啥叫整环？
如何证明有理数加法群不是有限生成群？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
4≤5，这个不等式是否正确？
算子代数是一门怎样的数学分支？学习算子代数需要怎样的基础？
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
大一新生，学线性代数什么都不懂，怎么办?不使用范畴论，如何刻画一个线性映射是“自然”的？
请问怎么证明一个实对称矩阵为零矩阵（如题）？
如何证明dimQ（R）=dimQ（C）？
怎么样通俗易懂地向小学生介绍群论的思想？
为什么多项式的根是系数的连续函数？
请问对称矩阵的平方根怎么算，有公式吗？
很好奇，如何证明行列式就是高维多边形体积？
何为分析方法、代数方法、几何方法、拓扑方法？
工程数学四阶行列式有什么技巧算法吗？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
如何证明Q[³√5]是域？
为什么数学中一定要强调加法交换律？
高等代数证明和结论记不住怎么办？
LU分解法与Gauss消元法两者复杂度的比较，谁跟快？
奇异值分解（SVD）有哪些很厉害的应用？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
如何理解有限单群分类定理？
如果高育良不看《万历十五年》而是《高等数学》或者《线性代数》，那赵瑞龙会怎样拿下他？
怎么样通俗易懂地向小学生介绍群论的思想？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
负数与负数相乘为什么会得正？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
高次韦达定理是什么？如何证明？
如何证明不等式（来自小蓝本）?
能不能定义一个数 I，与 0 的乘积等于 1？
分析学在其他数学分支中能发挥多大的作用？
如何证明下面的问题？
分析学在其他数学分支中能发挥多大的作用？
为什么大学数学主要学习代数，而不是几何呢？