不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
这个线性代数题应该怎么做？这个组合恒等式怎么代数证明？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
(f(x),g(x))=1 在线性代数里是什么意思？
为什么需要证明「1+1=2」？
为什么实系数多项式方程的虚数解总是成对出现？
实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
为什么行列式恰好能表示体积？
奇异值分解（SVD）有哪些很厉害的应用？
怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
为什么行列式恰好能表示体积？n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
有限维线性空间的有限是怎么理解？
请问费马大定理写成方程形式是否可以证明？
请问σ-代数（sigma-algebra）的含义是什么，能否举例说明？
有人在p-adic数域Qp上研究过类似球堆积这样的几何数论问题吗？
请问费马大定理写成方程形式是否可以证明？
怎样用简单的语言解释 monad？
如何不借助特征值相关的理论证明下面的命题？
如何证明这个整系数线性方程组解的估计？
如何证明 √2 + √3 + √5 是无理数？
请问陪集、左陪集、商群、正规子群该如何理解？
拓扑学（点集拓扑和代数拓扑基础）和范畴论有什么双语教材？
勒让德多项式的意义？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
数学学习或研究中，你见过哪些有意思的反例？
实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
超越函数能因式分解吗？
代数好的人但立体几何不好的男生是智商低吗？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
如何看待全民代数几何的现象？
请问“重根按重数计算”如何理解呢？
该n元不等式如何解？（张端阳的题）?
量子力学的Dirac符号系统优越性在哪，为什么不使用张量作为量子力学的数学语言基础？
实数中乘法不是加法的复合么？为什么乘法与加法并列提及？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
向量组等价时其秩一定想等吗？