不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
以π指代圆周率是偶然的约定俗成还是特别的另有深意？如何理解矩阵的复数特征值和特征向量？
为了使R^n成为向量空间，R^n中的加法运算和数乘运算是唯一的吗？
一个一般的二次型等于0，这个方程应该如何求通解？
如何不借助特征值相关的理论证明下面的命题？
n整除Phi(p^n-1)，怎么证明？
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？
如何利用群论的知识解决三阶魔方？
如何证明有理数加法群不是有限生成群？
负数与负数相乘为什么会得正？
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
代数好的人但立体几何不好的男生是智商低吗？如图题，如何不用“强拆”的方式证明？
如何阅读Hatcher的代数拓扑？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
如何证明下面的近世代数问题？
能不能定义一个数 I，与 0 的乘积等于 1？
哈密尔顿-凯莱定理的本质是什么？
怎样计算两个服从高斯分布的向量乘积的期望？
σ-代数为什么叫代数？它有代数结构吗？
请问这个抽象代数题怎么证明？
数学或者自然科学中有哪些理论技巧一经提出就大大化简了过去某些问题很困难繁琐的解答？
如何阅读Hatcher的代数拓扑？
分析学在其他数学分支中能发挥多大的作用？
为什么多项式的根是系数的连续函数？
由AB＝BA＝O可以得出什么结论？
Jacobian矩阵和Hessian矩阵的作用是什么？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
复数是否包含实数？
如何证明全体n维正交矩阵组成的集合是全体n维矩阵集合上的紧集？
设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？
能否用矩阵的秩来证明？
我们在数学中为什么要引入复数？
怎么评价北大版的《高等代数》？
二次型的惯性定理中「惯性」是什么意思？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
这个矩阵怎么求啊?求各位大佬解答？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
为何要引入同伦群，同伦群可以解决什么问题？