不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
可交换矩阵的求法有几种？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
范畴等价与范畴同构有什么本质上的区别？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
一堆n维空间的由m个点组成的点集，m大于n，我们只知道它们之间的距离，能否判断所在空间的维数？
如果你来讲物理类《线性代数》课程，你会如何设计？
怎么巧记施密特正交公式？如图。？
参加第五届函数式编程分享会是什么体验?
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
如何理解矩阵相乘的几何意义或现实意义？为什么矩阵行秩等于列秩？
如何证明 √2 + √3 + √5 是无理数？
问一下，这几个群是什么群，有什么性质？
线代的问题：所有的方阵都可以化为对角阵吗？
二元函数的全微分公式看成向量形式的点积形式有意义吗？
为什么大学的课程（例如高数、线性代数）比高中难很多，老师却讲的比高中快几倍，作业也非常少？
为什么会有 i 这一虚数？可以求出 i 的值吗？
如何理解 Farkas 引理？
李代数为何要满足 Jacobi Identity？
这个命题是错的吗？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
有限域上为什么有x的m次方=e的解的个数不超过m？
如何评价安徽将冷淡漠视纳入家暴范畴?
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
如何理解代数中的极限和余极限？
如何理解矩阵相乘的几何意义或现实意义？
微积分与线性代数有关系吗？
人们是如何想到奇异值分解的？
怎样理解平面向量的数量积是一个实数呢？方向乘方向怎么会有意义？
为什么实系数多项式方程的虚数解总是成对出现？
高次韦达定理是什么？如何证明？
为什么A的行列式不等于0 A满秩?
如何看待几何数论（geometry of numbers）这一数论分支？
为何向量没有除法运算？
矩阵相乘的变换为什么总会伴随“颠倒”顺序？
不使用范畴论，如何刻画一个线性映射是“自然”的？
算子代数是一门怎样的数学分支？学习算子代数需要怎样的基础？
特征值和特征向量怎么求，最好有例题可以看看？ ？