不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
这个命题是错的吗？如何证明有理数加法群不是有限生成群？
历史上，近世代数中环和域的概念是怎样逐步建立的？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
在四维或更高维的空间中，该如何定义转动？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
长方形矩阵的列空间和行空间是什么关系？
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
可以有如图这样弯曲的向量A吗？为什么大学数学主要学习代数，而不是几何呢？
为什么要引入矩阵这个数学工具？它能简化哪些不用矩阵会复杂的问题？
减一个负数，为什么是加这个数的相反数呢？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
如何理解 Van-Kampen 定理？
如图题，如何不用“强拆”的方式证明？
如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
线性代数对于计算机专业的作用是什么呢？
怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
当今世界数学已经发展到本科生难以理解的地步了吗？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？
Word2vec 翻译到另一种语言，其向量空间之间的映射会不会是线性的？
这个组合恒等式怎么代数证明？
一个矩阵的逆矩阵是唯一的吗？
如何确定下面三角恒等式中的系数？
如何证明若行列式 D 中有两行元素分别对应成比例，则 D=0？
请问这个抽象代数题怎么证明？
r个线性无关n维向量r<n的所有r阶子的平方和等于这r个向量张成平行体的体积的平方吗？怎么证明？
如何理解矩阵的「秩」？
为什么大学数学主要学习代数，而不是几何呢？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
这个矩阵的秩如何证明？
线性代数对于计算机专业的作用是什么呢？
如何证明哈代不等式?
工程数学四阶行列式有什么技巧算法吗？
如何求解这个小球碰撞次数与圆周率关系的趣味问题？
A的秩=r(A),为什么齐次线性方程组的解由n-r(A)个线性无关的向量构成？