不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
如何从代数和几何的角度分别理解矩阵？有哪些用偏几何的方法来得到代数问题的优美解答的例子？
分析学在其他数学分支中能发挥多大的作用？
奇异值的物理意义是什么？
一个范畴问题?
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
如何正确理解群论中的同态基本定理？
复数是否包含实数？
这个问题怎么做?最后怎么解出多项式？
如何判断向量组是否线性相关？
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
为什么矩阵内积的定义包含一个迹运算？可以有如图这样弯曲的向量A吗？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
如何通俗地解释陶哲轩等人简化矩阵特征向量求解的方法？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
如何通俗地讲解「仿射变换」这个概念？
为什么初学量子力学一个矩阵都没有看到，却说线性代数是量子力学的数学语言？
为什么矩阵行秩等于列秩？
线性代数里的合同关系在空间中代表了什么呢？
怎样普适地求此特殊非线性矩阵方程的解？
我们在数学中为什么要引入复数？
若零向量没有方向，那它还是向量吗？
李代数为何要满足 Jacobi Identity？
n维向量空间V中向量的维数是否为n维？
奇异值分解（SVD）有哪些很厉害的应用？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
请问σ-代数（sigma-algebra）的含义是什么，能否举例说明？
线代的问题：所有的方阵都可以化为对角阵吗？
全体自然数的发散级数和等于负十二分之一代表了什么？隐藏了一个天大的秘密吗？
交换环的所有零因子和 0 组成的集合是一个理想吗？
实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
乘法分配律是公理吗，是能证明的吗？
请问陪集、左陪集、商群、正规子群该如何理解？
关于整矩阵的一道题怎么解?
这个恒等式咋来的？
如何利用群论的知识解决三阶魔方？
怎样普适地求此特殊非线性矩阵方程的解？
为什么特征值之和会等于矩阵的迹？
交换环的子环是否一定是交换环？