两个矩阵迹不等式及其证明

文[1]对Bellmen矩阵迹不等式做了进一步改进和推广,但征明需很多予备知识。本文用排序原理给出另一种简单的证明,并再给出一个新的矩阵迹的不等式,以供参考。     

关于正定矩阵一不等式的简单证明

设A=(aij)是一n阶正定实对称矩阵,本文用代数方法证明了|A|≤a11a22…ann,当且仅当A是对角矩阵时等号成立.且证法简单.     

构造平均值不等式证明不等式

平均值不等式是一组很重要的不等式 ,在证明不等式中有着广泛的应用 ,许多轮换对称不等式都可以通过构造出平均值不等式而获得简捷的证明 ,构造平均值不等式的基本原则是按照“权值平衡法”去录求相匹配的式子 ;此处我们把各个因式取值的比重叫做“权值” ,比如 :ａ ｂ =1,则ａ ,ｂ的权值都是 12 ,而 1ａ 的权值是 2 ,ａ2 1ｂ 的权值就是 14 2 =94 等等 ,要正确使用平均值不等式 ,就必须使每一个因式的权值达到均衡相等 ,这就是构造的出发点和目标 :例 1　已知ｘ ,ｙ ,ｚ∈Ｒ ,且ｘ ｙ ｚ =1,求证 :ｘ4ｙ( 1- ｙ2 ) ｙ4ｚ( 1-ｚ2…     

三个矩阵秩不等式的多种证明

针对线性代数课程教学中三个矩阵秩的不等式的证明展开研究,对每一个不等式,分别给出相应的证明。     

两个矩阵不等式

本文给出两个形如Ｍｉｎｋｏｗｓｋｉ不等式的矩阵不等式。     

构造等差数列证明不等式

在证明条件不等式时。我们可以对题设的条件进行观察和分析．构造相应的等差数列进行解题，下面举例说明．     

构造单调数列证明不等式

数列{an}中,如果对任意的n∈N^＊,都有n＋1〉an（或an＋1〈an）,则称{an}为增（或减）数列．本文探求通过构造单调数列来证明与正整数有关的不等式问题．     

构造等差数列证明不等式

在证明条件不等式时,我们可以对题设的条件进行观察和分析,构造相应的等差数列进行解题,下面举例说明.     

关于矩阵迹的平均不等式

关于矩阵迹的平均不等式黄礼平（湘潭矿业学院基础课部４１１２０１）近年来，对矩阵迹的不等式研究活跃，本文给出两个矩阵迹的平均不等式．定理１设Ａ，Ｂ，Ｃ均为ｎ阶半正定Ｈｅｒｍｉｔｅ矩阵，则特别，我们有推论１设Ａ，Ｂ，Ｃ均为ｎ阶正定实对称矩阵，则诸等号当且...     

一类矩阵迹不等式的证明

本文对一类新的矩阵迹不等式加以证明．并把该不等式看成是算术平均值和几何平均值下等式在矩阵迹运算上的推广．     

一个非负矩阵的不等式

把 Horst A lzer在 L inear A lgebra and its Application上发表的文章中得到关于指数为 2的非负矩阵的不等式推广到指数为 2 k的一般情况 .并给出了不等式中等号成立的充要条件 .     

一个关于非负矩阵的不等式

证明:若(xij)是一个元素不全为零的m×n非负矩阵,则当0相似文献   

完全主正矩阵的行列式不等式

给出了完全主正矩阵的凸性不等式和Minkowski型不等式,并推出了M矩阵,亚正定矩阵等类型的矩阵在一定条件下的凸性不等式和Minkowski型不等式.     

一类亚正定矩阵上的逆向Hadamard不等式和逆向Szasz不等式

利用亚正定矩阵的基本理论,建立了一类亚正定矩阵上的逆向Hadamard不等式和逆向Szasz不等式.     

复正定矩阵的Minkowski不等式

建立了复正定矩阵的几个行列式不等式,将正定Ｈｅｒｍｉｔｅ阵的Ｍｉｎｋｏｗｓｋｉ不等式、 Ｏｓｔｒｏｗｓｋｉ－Ｔａｕｓｓｋｙ不等式推广到了复正定矩阵上,推广改进了一些文献的结果．     

一个矩阵逆向不等式的推广

We prove that the inequality holds, when a m ×n real matrix X = (xij) whose entries are not all equal to 0 satisfies Therefore we not only generalize the results of Horst Alzer [2] from non-negative matrix to real matrix, but also complete a result of E R van Dam [1], which indicated that the best possible upper bound is equal to 1 for real matrix.     

GCD和GCUD矩阵行列式的一个不等式（英）

Let S = {x₁, x₂,..., x_n} be a set of distinct positive integers. The n x n matrix (S) whose i, j-entry is the greatest common divisor (x_i, x_j) of x_i and x_j is called the GCD matrix on S. A divisor d of x is said to be a unitary divisor of x if (d, x/d) = 1. The greatest common unitary divisor (GCUD) matrix (S^**) is defined analogously. We show that if S is both GCD-closed and GCUD-closed, then det(S^**) ≥ det(S), where the equality holds if and Only if (S^**) = (S).     

关于正定厄米特矩阵的一个不等式的推广

本文推广了正定厄米特矩阵的一个不等式 ,得到以下结果 :设 A( i) ,B( i) ,… ,C( i) ( i=1 ,2 ,… ,m)都是 n阶正定厄米特矩阵 ,A( i)11,B( i)11,… ,C( i)11为其相应矩阵的 k阶顺序主子阵 ,1≤ k≤ n-1 ,α,β,… ,γ都是正实数 ,且 α+β+… +γ=p≥ 1 ,则有∑mi=1|A( i) |α|A( i)11|α,|B( i) |β|B( i)11|β… |C( i) |γ|C( i)11|γ) <∑mi=1A( i) α∑mi=1A( i)11α.∑mi=1B( i) β∑mi=1B( i)11β…∑mi=1C( i) γ∑mi=1C( i)11γ     

亚半正定矩阵的广义Minkowski不等式的隔离

利用张晗方建立的推广的Hlder不等式和李炯生给出的关于Ostrowskii-Taussky不等式的新刻划,建立了亚半正定矩阵的广义Minkowski不等式的一种隔离,修正并推广了已有结论.     

广义正定矩阵的Oppenheim不等式

建立了PDn类广义正定矩阵的广义Oppenheim不等式,推广了以前的结果.