矩阵的严格定义是什么？行向量与列向量通过矩阵来定义真的合理吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
可以先从线性空间的定义出发，定义矩阵空间 是由 个基生成的线性空间（八条公理就不多说了）：
， ；
若 ，只需定义基的乘法，也就定义了矩阵的乘法
其中 是 符号，只有当 时才为 ，否则为 ；于是定义在数域 上的矩阵的一般形式为：
，
最后，为了方便书写，我们将之写作 行 列的数表 ，按照这样的记法，于是基 可以写作第 行、第 列的元素为 ，其余位置元素皆为 的矩阵 .
所以最重要的不是数学对象的具体形式，而是运算与关系.
inversioner 网友的相关建议:
懒得打公式，凑合看一下吧。
矩阵可以定义为元素与序偶的集合的集合。也就是说矩阵
A={{a_ij,(i,j)}|1≤i≤m,1≤j≤n}。
序偶(i,j)怎么定义？事实上(i,j)={{i,j},i}。
就酱（
1
相关话题
C++ 父类对象赋值给子类对象是未定义行为么？Matlab中10行10列矩阵,每行每列都是3个1,其余为0 的这样一个矩阵共有多少个？
向量奔驰定理有哪些证明?
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
如何判断向量组是否线性相关？
Bert中的词向量各向异性具体什么意思啊？
可达矩阵算法的原理是什么？
Bert中的词向量各向异性具体什么意思啊？
这个用数分积分可以说明吗？不用高代上正定矩阵的?
为什么（多个）向量共轭，使用的矩阵一定是要 对称正定 的？
下一个讨论
为什么极限理论是基于实数的完备性？
相关的话题
为什么矢量可以任意平移?为什么（多个）向量共轭，使用的矩阵一定是要 对称正定 的？
区间连续是逐点定义的，从而有区间上一致连续的概念。区间可导也是逐点定义的，为什么没有一致可导的概念？
为什么说用矩阵定义线性映射是一个糟糕的观点？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
除法的结果为什么被称为「商」？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
为什么要构造出范德蒙行列式？
矩阵特征值与矩阵本身的关系是什么？
这个矩阵的秩如何证明？
怎样理解平面向量的数量积是一个实数呢？方向乘方向怎么会有意义？
“不能被定义”是一种定义吗？
矩阵的逆对应于线性变换的逆变换，那么矩阵的转置对应于线性变换的什么？
矩阵相乘的变换为什么总会伴随“颠倒”顺序？
如何客观定义崇洋媚外这个概念?
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
如何从几何的角度说明对称矩阵的不同特征值对应的特征向量必定是两两正交的?
在不引入坐标系的情况下能不能定义向量的方向？
我们数学老师发现了一个数学公式，帮忙验证一下看对不对，有哪些验证思路？
为什么要公理化实数，而不是从自然数导出？
BERT中，multi-head 768*64*12与直接使用768*768矩阵统一计算，有什么区别？
如何理解矩阵的「秩」？
“不能被定义”是一种定义吗？
「等于」的严格定义是什么？
向量有除法吗？高中数学人教版选修2-1的思考题?
怎样计算两个服从高斯分布的向量乘积的期望？
既然概率为1的事件不一定是必然事件，那么必然事件的数学定义是什么？
为什么要公理化实数，而不是从自然数导出？
各行各列元素之和都为1的矩阵叫什么矩阵？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？