不使用范畴论，如何刻画一个线性映射是“自然”的？ 第1页
1
Masaki.Ryuu 网友的相关建议:
有限维线性空间 就是矢量的集合, 其对偶空间 则是矢量到相应数域的映射的集合.
这就是说 作用在 后都会给出数域中的一个数
作为线性空间它们维数相同, 而维数是线性空间唯一的特征量, 所以这俩空间是同构的. 主要是因为线性空间的结构太简单了, 同构映射无非就是二者基底之间的一个线性双射. 而基底的选取有无数多种且均平权, 这就无法挑出最独特的那款双射称之为自然同构, 换句话说就是不同的人在不互相交流的情况下无法保证能做出相同的选择.
但线性空间 与对偶空间 的对偶空间 之间确实能找到一款独一无二的同构映射.
就是说对 都可以定义映射 使得对 都能满足 . 而这个 正是 中的元素, 然后 对线性空间 中矢量的作用都是确定的, 所以映射 就是确定的, 这样一来, 能类似地将 都指向它的天命之子 的同构映射就是一个确定的、独一无二的东西了.
而这个映射在人间界被称为自然同构.
所以我看来, 自然的标准就是, 存在这么一个独一无二的对象能让所有人都做出统一的选择来.
1
相关话题
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？证明n维线性空间中任何n+1个向量都线性相关。?
怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
特征值和特征向量怎么求，最好有例题可以看看？ ？
量子力学的Dirac符号系统优越性在哪，为什么不使用张量作为量子力学的数学语言基础？
如何证明这个高等代数问题？
矩阵A和矩阵B相乘，AxB为什么不等于BxA？
如何正确理解群论中的同态基本定理？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
哈密尔顿-凯莱定理的本质是什么？
前一个讨论
如何推出这两个随机变量都是泊松分布？
相关的话题
这个组合恒等式怎么代数证明？交换环的子环是否一定是交换环？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
有哪些有趣的线性代数习题？
如何判断一个方阵变换会导致源向量模长缩小？
如何正确理解群论中的同态基本定理？
请问这个抽象代数题怎么证明？
Z^n的所有子群怎么求？
设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？
怎么样通俗易懂地向小学生介绍群论的思想？
n维向量空间V中向量的维数是否为n维？
n维向量空间V中向量的维数是否为n维？
(G/H)×H是否同构于G？
奇异值分解（SVD）有哪些很厉害的应用？
所有数学表达式都有几何含义吗？
一个方阵的任意次方的迹都为0，那么它是幂零矩阵。怎样证明？
如何证明任何有限域中的任何元素均可写成两数的平方和？
如何理解代数中的极限和余极限？
有限域上为什么有x的m次方=e的解的个数不超过m？
想请问平坦模、投射模这些的几何意义是什么，感觉atiyah这本书的定义有些干巴巴的.......？
如何判断一个方阵变换会导致源向量模长缩小？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
这道线代题该怎么做？
这个线性代数题应该怎么做？
二次型的惯性定理中「惯性」是什么意思？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
怎么形象地理解对偶空间（Dual Vector Space）？
如何判断向量组是否线性相关？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？