Hilbert’s 17th Problem 5: Homogeneous polynomial

齐次多项式(Homogeneous polynomial)在数学中有其特殊的重要性. 在代数几何, Homogeneous polynomial 尤其受到偏爱. 实数域上的的 \(n\) 元多项式环, 以 \(\Bbb R[x_1, x_2,\dotsc, x_n]\) 表之. Hilbert 限制在齐次多项式. 定义 5.1 设 \(p\in \Bbb R[x_1, x_2,\dotsc, x_n]\), 其次数 \(\leqslant d\). 把 \(n+1\) 元 …

Hilbert’s 17th Problem 5: Homogeneous polynomial Read More

Darboux’s theorem in real analysis

Darboux (14 August 1842-23 February 1917) 是法国数学家. Darboux’s theorem 是单变量微分学的一个简单的定理, 但大学一年级的分析的教科书上通常却没有这个结果. 这里指的是分析(analysis)中的 Darboux’s theorem, 而不是微分几何(Differential geometry)中关于微分形式(Differential form)的那个Darboux’s theorem. Darboux’s theorem  函数 \(f(x)\) 在区间 \(I\) 上可导, 则导数 \(f^\prime(x)\) 具有介值性质. Sam B. Nadler, …

Darboux’s theorem in real analysis Read More

Hilbert’s 17th Problem 3: The Choi-Lam polynomial

M.D. Choi, T.-Y. Lam 1977 年举了一个例子: The Choi-Lam polynomial \(Q(x, y, z, w) =x^2y^2+y^2z^2+z^2x^2+w^4-4xyzw\) 不能写成多项式的平方和. 与 The Motzkin polynomial 一样, Choi-Lam 多项式也会在以后的证明成为关键角色. 后面的定理 5.2 说明 \(x^2y^2+y^2z^2+z^2x^2+w^4-4xyzw\) 不能写成多项式的平方和实际就是下面定理的后半部分: 定理 3.1 Choi-Lam …

Hilbert’s 17th Problem 3: The Choi-Lam polynomial Read More

Hilbert’s 17th Problem 2: The Motzkin polynomial

T. Motzkin 1967 年举了一个例子: The Motzkin polynomial \(M(x, y, z)=x^4y^2+x^2y^4+z^6-3x^2y^2z^2\) 不能写成多项式的平方和. 后面的定理 5.2 说明这事与定理 2.1 的第二部分是等价的. Theorem 2.1  Motzkin 多项式 \begin{equation} M(x, y) =x^4y^2+x^2y^4-3x^2y^2+1,\end{equation} 那么 \(M(x, y)\geqslant0\) 对任意实数 \(x\), \(y\) …

Hilbert’s 17th Problem 2: The Motzkin polynomial Read More

Hilbert’s 17th Problem 1: Non-negative polynomials on \(\Bbb R\)

设 \(p\) 是实系数的 \(n\) 元多项式, \(S\) 是 \(n\) 维 Euclidean space \(\Bbb R^n\) 的子集. 我们说 \(p\) 在 \(S\) 上是非负的(non-negative), 如果对于任意的 \(x\in S\), 有 \(p(x)\geqslant0\). 我们下面关注的重点是 \(\Bbb R^n\) 上的非负(non-negative)多项式, 即对于任意的 \(x\in \Bbb R^n\), …

Hilbert’s 17th Problem 1: Non-negative polynomials on \(\Bbb R\) Read More

Abstract algebra 3: Definition of group

群通常是这么定义的: 如果在一个非空集合 \(G\) 上的一个二元运算(群运算), 记作 \(ab\), 满足下面的三个条件:  结合律: 对于 \(G\) 中任意元素 \(a\), \(b\), \(c\), 有 \((ab)c=a(bc)\); 存在(左)单位元: \(G\) 中有一个 \(e\), 使得对于 \(G\) 中任意元素 \(a\), 有 \(ea=a\); 存在(左)逆元: 对 \(G\) 中任意元素 \(a\), …

Abstract algebra 3: Definition of group Read More