不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
数学的符号系统有没有缺陷？如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
综合除法的数学依据是什么？
如何从数学角度证明魔方复原存在必可解策略？
怎样普适地求此特殊非线性矩阵方程的解？
长方形矩阵的列空间和行空间是什么关系？
有限域上为什么有x的m次方=e的解的个数不超过m？
如何通俗地讲解「仿射变换」这个概念？
据说是北大某年大一高代的最后一题？虽然很难，但就是想知道解答过程，还请会的大佬可怜可怜我这弱渣吧 ？
这个命题是错的吗？
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
把线性空间分解为不变子空间的直和有何用处？高等代数中线性变换的核的基怎么求？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
有哪些用偏几何的方法来得到代数问题的优美解答的例子？
问一下，这几个群是什么群，有什么性质？
特征值和特征向量怎么求，最好有例题可以看看？ ？
如何理解矩阵的「秩」？
如何判断一个方阵变换会导致源向量模长缩小？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
请问“重根按重数计算”如何理解呢？
为什么行阶梯矩阵是这样的呢？
这个矩阵怎么求啊?求各位大佬解答？
线性代数有什么用？学习线性代数的意义在哪？
多项式由系数唯一决定，在中学或大学数学课上证明过吗？
如何证明不等式（来自小蓝本）?
有哪些有趣的线性代数习题？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
负数与负数相乘为什么会得正？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
当今世界数学已经发展到本科生难以理解的地步了吗？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
如何证明dimQ（R）=dimQ（C）？
A的秩=r(A),为什么齐次线性方程组的解由n-r(A)个线性无关的向量构成？
分母（除数）为什么不能为 0？
如何判断一个方阵变换会导致源向量模长缩小？