不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?有限域上为什么有x的m次方=e的解的个数不超过m？
如何评价同济大学版线性代数？
下面这个问题可以用李代数来解释吗？怎么解释？
下面的组合等式是否恒成立？
请问对称矩阵的平方根怎么算，有公式吗？
哈密尔顿-凯莱定理的本质是什么？
希尔伯特空间、内积空间的定义有什么关系和区别？
如何理解矩阵的复数特征值和特征向量？
关于整矩阵的一道题怎么解?
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
矩阵特征值与矩阵本身的关系是什么？怎样普适地求此特殊非线性矩阵方程的解？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
有限维线性空间的有限是怎么理解？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
数学学习或研究中，你见过哪些有意思的反例？
r个线性无关n维向量r<n的所有r阶子的平方和等于这r个向量张成平行体的体积的平方吗？怎么证明？
为什么多项式的根是系数的连续函数？
学习数论图论有必要先学抽代和高代吗？
实数中乘法不是加法的复合么？为什么乘法与加法并列提及？
如何证明不等式（来自小蓝本）?
有限维线性空间的有限是怎么理解？
怎么解释「正定矩阵」？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
r个线性无关n维向量r<n的所有r阶子的平方和等于这r个向量张成平行体的体积的平方吗？怎么证明？
为什么left adjoint的存在性和comma category有关？
很好奇，如何证明行列式就是高维多边形体积？
数学或者自然科学中有哪些理论技巧一经提出就大大化简了过去某些问题很困难繁琐的解答？
n阶实方阵矩阵的换位子问题？
线性代数对于计算机专业的作用是什么呢？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
问一下，这几个群是什么群，有什么性质？
如果你来讲物理类《线性代数》课程，你会如何设计？
特征值和特征向量怎么求，最好有例题可以看看？ ？
李代数为何要满足 Jacobi Identity？
怎么样通俗易懂地向小学生介绍群论的思想？
为什么需要证明「1+1=2」？
orbifold和groupoid有没有人了解？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
如何证明矩阵为零矩阵？