不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？如何形象地理解矩阵的相似与合同？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
如何看待《华裔教授发现二次方程「极简」解法：丢掉公式，全球教科书可能都要改了》？
有限维线性空间的有限是怎么理解？
如何理解 Van-Kampen 定理？
123456789组成的3×3的矩阵的行列式最大的值是多少？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
向量组等价时其秩一定想等吗？
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
如何从代数和几何的角度分别理解矩阵？李代数(Lie algebra)有哪些应用？
有人在p-adic数域Qp上研究过类似球堆积这样的几何数论问题吗？
怎样计算两个服从高斯分布的向量乘积的期望？
为什么行阶梯矩阵是这样的呢？
为什么行列式恰好能表示体积？
有限域上为什么有x的m次方=e的解的个数不超过m？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
历史上，近世代数中环和域的概念是怎样逐步建立的？
这个命题是错的吗？
奇异值的物理意义是什么？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
关于整矩阵的一道题怎么解?
这一个高等代数的题如何证明?
加法交换律 a＋b＝b＋a 是怎么证明的？
矩阵A和矩阵B相乘，AxB为什么不等于BxA？
多项式由系数唯一决定，在中学或大学数学课上证明过吗？
关于p进数域？
如何通俗地讲解「仿射变换」这个概念？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
请问费马大定理写成方程形式是否可以证明？
如何评价安徽将冷淡漠视纳入家暴范畴?
请问对称矩阵的平方根怎么算，有公式吗？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
线性代数里的合同关系在空间中代表了什么呢？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？