Friday, April 24, 2015

矩阵为对角形的二次型就只含有平方项。www.2math.cn 1-形式 2-形式 ker(curl)/im(grad)的意思应该就是指无旋场构成的空间，但在此把只相差一个梯度场的两个场当作是相同的。换句话说，我们想知道有没有哪个无旋场不是某个标量场的梯度

http://www.2math.cn/wiki/doc-view-241.html

二次型的标准型

　　可以认为，二次型中最简单的一种是只包含平方项的二次型

d 1 x 21 + d 2 x 22 + \dots + d n x 2 n 。

定理1　数域

P 上任意一个二次型都可以经过非退化的线性替换变成平方和的形式。
　　不难看出，二次型

d 1 x 21 + d 2 x 22 + \dots + d n x 2 n

的矩阵是对角矩阵

d 1 x 21 + d 2 x 22 + \dots + d n x 2 n = (x 1, x 2, \dots, x n) \cdot ⎛ ⎝ ⎜ ⎜ ⎜ d 1 0 ⋮ 0 0 d 2 ⋮ 0 \dots \dots \dots 00 ⋮ d n ⎞ ⎠ ⎟ ⎟ ⎟ \cdot ⎛ ⎝ ⎜ ⎜ ⎜ x 1 x 2 ⋮ x n ⎞ ⎠ ⎟ ⎟ ⎟ 。

反过来，矩阵为对角形的二次型就只含有平方项。经过非退化的线性替换，二次型的矩阵变到一个合同的矩阵，因此，用矩阵的语言，定理1可以叙述为：
定理2　在数域

P 上，任意一个对称矩阵都合同于一对角矩阵。
　　定理2也就是说，对于任意一个对称矩阵

A 都可以找到一个可逆矩阵

C 使

C' A C

成对角矩阵。
　　二次型

f(x1,x2,⋯,xn) 经过非退化线性替换所变成的平方和称为

f(x1,x2,⋯,xn) 的一个标准形。

http://weibo.com/2932903863/zosld3kCc
@Sheldon

5条讨论 | 修改记录

o_-

取消

推荐 (1) |

收藏 |

14人关注关注

1个答案

26 0

MathChief乡村教师

2013-03-22 13:09

支持者： Richard.Yu NamiKazEmiNato Lenguokr 快到碗里来啦會長樣更多

同调（Homology）是一个很深刻的数学方法。上同调是Cohomology。可以把很多大类无限维空间的之间的联系结构抽象为有限维空间，可以解释很多对称结构，这个展开讲没边了，我说几个同调理论在物理中的应用，讲完之后再举一个简单的微积分例子解释同调的方法论。
1. 电磁场
电场可以看做微分形式(differential form)中的1-形式，磁通量可以看成2-形式。二者都属于某种函数空间中，其有限能量空间可以通过微分算子联系，而通过微分算子构成的德拉姆上同调链(de Rham complex)的同调群正好是其电磁场的介质区域的Betti数。微分揭示拓扑结构，挺神奇的。
2. 规范场
规范场和李代数（或者李群 Lie algebra/group）联系紧密。李群的上同调理论则可以揭示很多规范场中的对称结构。
3. 拓扑量子场
上同调论的精彩战场之一，不用给空间加上度量的量子场论，纯粹在拓扑空间上的抽象积分，同调理论正好不需要依赖于度量空间，某些空间的商空间是特殊酉群(SU)，很多物理现象可以用特殊酉群来描述，比如标准模型中的弱电对称。
------------------------------------------------------
同调是什么呢？简单的例子可以从3维空间里面的向量微积分Stokes定理讲起，与我刚才说过的德拉姆上同调（de Rham cohomology）有关。
最基本Stokes公式如下：
$\iint_{\Sigma} \nabla \times \mathbf{F} \cdot d\mathbf{\Sigma} = \oint_{\partial\Sigma} \mathbf{F} \cdot d \mathbf{r}$
在曲面 $\Sigma$ 对于向量场旋度点乘上带有法向量的积分，是包围这个曲面的曲线上这个向量场的线积分。
这个可以看做积分的牛顿-莱布尼兹公式在3维的推广。实际上我们还可以用下面非常抽象的，不依赖于度量的积分表示：
$\int_{\partial M}\omega=\int_{M}\mathrm {d}\omega$
其中d是外微分算子， $\partial$ 是取边界。
这个广义的不依赖于度量的公式，是说流形上，微分形式的外微分的积分，可以变成流形边界上的积分。这样就把外微分和取边界联系了起来。我们可以得到下面两个de Rham链式结构：
$C_{p+1}\xrightarrow{\partial}C_{p}\xrightarrow{\partial}C_{p-1}\cdots$
$C^{p-1}\xrightarrow{\mathrm{d}}C^{p}\xrightarrow{\mathrm{d}}C^{p+1}\cdots$
其中 $C_p$ 是p维光滑流形，而 $C^p$ 是光滑的p-形式。边界每取一次，维度下降，外微分每取一次，微分形式变高一阶。
de Rham同调群的得到既可以由边界算子出发，也可以由外微分算子得到。在第一个链里面，同调群可以由对p维流形取边界的核空间模掉对(p+1)维流形取边界的相空间得到：
$H_p = \mathrm{ker}(\partial_p) / \mathrm{im}(\partial_{p+1})$
这个同调群的维度就是我刚才说的Betti数了。
通过另外一个微分算子的链，得到的叫上同调结构，在三维流形上，外微分d有几个比较好的性质，对0-形式的外微分d是grad（梯度），对1-形式的外微分d是curl（旋度），对2-形式的外微分d是div（散度）：
$\mathrm{curl}(\mathrm{grad})=0, \mathrm{div}(\mathrm{curl})=0$
梯度场的旋度是0，旋转场的散度是0。
通过刚才第二个链结构在三维流形上构造出来的叫上同调群：
$H^p = \mathrm{ker}(\mathrm{d}_p) / \mathrm{im}(\mathrm{d}_{p-1})$
这是对p-形式取外微分的核空间模掉对(p-1)-形式的外微分的相空间。这个上同调群，竟然和刚才边界算子得到同调群结构相同！这是理论证明的结果，可以看成是一个同调群这种分析方法意外收获吧。
于是，我们还可以用同调的方法去分析传统的向量场势的构造问题，一个简单的例子就是，在一个2维环形面（有个洞）上，有一个散度0的向量场，那么我们能不能找到一个势函数，让其等于这个势的散度？当没洞的时候，微积分就可以得出结果，答案是可以。有洞的时候，这个时候借助同调群和上同调群结构相同，我们就可以很容易发现这个势其实和旋度场差了个1维空间。这个换面的例子的直接物理应用就是，可以看出空心金属圈里面的电磁环流是个什么样的场。
像下面两张图这样有复杂拓扑结构的区域里面的电磁场问题，有了用上同调群维度就是Betti数这个性质，就可以让很多麦克斯韦方程组导出的偏微分方程复杂混合边界问题里面的解的结构变得清晰起来：

---------------------------------------------------------
我自己对同调理论也是只知皮毛，希望大家查漏补缺。最后我想说的是，很多人物理或者数学博士读完了都不一定会用得到同调理论，所以大家没看懂我在说什么狗屁也完全没有关系的呀。

16条讨论

感谢 | 不是答案 |

取消

DTSIo：话说de Rham定理说的是de Rham上同调群和相应阶数的奇异实系数上同调群（同调群的对偶）同构......如果奇异同调群是有限秩的（比如流形是紧的情况），那么自然可以知道de Rham上同调群和实系数奇异同调群同构。但是一般来讲不能得到有限秩的断言。所以中间有一段应该稍加修改。
总体来讲很清晰！不错！
- 2014-08-03 09:18 回复举报
奇异点：大神你满篇都说了些什么！我想去LHC打扫卫生。
- 2013-11-01 04:49 回复举报
ZiYuan：这里面的Ker和Im是对于什么变换来说的
- 2013-06-01 04:25 回复举报
Majorana：这还只是上同调。。。群上同调其实可以纯代数的来定义。
- 2013-05-28 14:12 回复举报
AlephAlpha：你好像只讲了同调论，没讲群上同调论啊……
- 2013-03-24 02:25 回复举报
非乌龟：回复@狂咲丿Scarlet：应该是GTM，咔咔
- 2013-03-23 19:23 回复举报
X_Deus：回复@wugui：没注意看，反正是黄色封面的，和一堆黄色封面的书放在一起。。。当时完全不知道这是讲什么的书，看词根似乎是“同类，同构”一类的意思。。。反正我是用不着了。。。类似的书架子上还有很多，都是没有中文名字的。。。
- 2013-03-23 19:19 回复举报
非乌龟：回复@狂咲丿Scarlet：是gtm的么
- 2013-03-23 19:13 回复举报
白糖糖：回复@呆头鹅：+1
- 2013-03-22 16:53 回复举报
X_Deus：昨天逛书店，看到一本厚厚的书，书名就叫Homology。。。
- 2013-03-22 08:45 回复举报
MathChief：回复@Sheldon：谢谢提问，pathtohappiness说的对，应该是像空间，这天杀的拼音输入法……
- 2013-03-22 06:24 回复举报
pathtohappiness：回复@Sheldon：核空间的意思就是把定义域中的哪个子空间映射为零，而相空间应该是像空间吧，它说的是把整个定义域映射为值域中的哪个子空间。这样说来，ker(curl)/im(grad)的意思应该就是指无旋场构成的空间，但在此把只相差一个梯度场的两个场当作是相同的。换句话说，我们想知道有没有哪个无旋场不是某个标量场的梯度；如果有的话，有哪些。
- 2013-03-22 05:21 回复举报
Sheldon：请问核空间和相空间是什么意思呢？看了你的描述，总觉得和AdS/CFT有点儿关系
- 2013-03-22 01:11 回复举报
Sheldon：后面的说明看懂了八、九成！就数你讲的最明白啦。
- 2013-03-22 01:03 回复举报
pathtohappiness：以前看过但觉得很不好懂，现在看到这些实例想起一点了，谢谢！
- 2013-03-21 23:27 回复举报

phymath999

Friday, April 24, 2015

二次型的标准型

No comments:

Post a Comment