24小时热门版块排行榜    

查看: 1283  |  回复: 6
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

seu_adonis

新虫 (初入文坛)

[求助] 求助,比较线性方程解空间的大小

令Ω1={x|W1x1+W2x2+...WNxN>b-a,Wi>0,|xi|<=1,i=1,2...N},
   Ω2={x|W1x1+W2x2+...WNxN>-b-a,Wi>0,|xi|<=1,i=1,2...N},
   Ω3={x|W1x1+W2x2+...WNxN>-a,Wi>0,|xi|<=1,i=1,2...N},
其中a>0,b>0,亦即N维向量x限制在超立方体内,Ω1,Ω2,Ω3分别表示在超立方体中位于三个不同的超平面上面的那部分空间,
证明:|Ω1|+|Ω2|<2*|Ω3|,其中|Ω|表示空间Ω的大小。
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
感谢参与,应助指数 +1
seu_adonis: 金币+18, ★★★很有帮助 2013-08-08 09:51:05
楼主和Weft的讨论从几何, 梯度方向讨论的很深刻了,我从表达式方面画蛇添足一下.

首先, 符号说明.  w=(w1, w2,..., wN) 是个固定向量 (不需要假设分量wi>0).  
超立方体{(x1,...,xN) | |xi|<=1} 记为C,  记向量内积为w. x   .  那么Ω1 ={ x in C| w.x > b-a}, 另外两个分别为w.x  >  -b-a  和  w.x > -a. 显然Ω1 包含于Ω3包含于Ω2中.   

另外, 记P(k) ={ y in C| w.y =k}.  那么 P(b-a) 平面夹在 P(-b-a) 和 P(b+a)之间. 我们先来看一个引理:
引理: P(b-a) 的面积 大于等于 P(-b-a)=P(b+a), 对于任意使得P(a+b)>0的a>0, b>0.
证明: 只不过重复楼主关于梯度的思路,只是表达方式不同.
不妨设P(b-a), P(b+a) 都在P(0) 的同一侧, 即 (b>a).
显然P(b+a)是凸形, 任意取一个极值点y0 (Extreme point). 则两个集合{ 1/2 * (y-y0) : y \in P(a+b)}
和{ 1/2 * (y0 -y) : y \in P(a+b) } 只相交于原点, 也就是y=y0的时候. 同时, 这两个集合都还在C内,因为C是关于原点中心对称的凸集. 那么, 我们看出如下两个集合
(加权平均得到)
{ (b-a)/(b+a)*y + 2a/(b+a)* 1/2 * (y-y0) : y \in P(a+b) } 和{ (b-a)/(b+a)*y0 + 2a/(b+a)* 1/2 * (y0-y) : y \in P(a+b) } 是 (1) 只相交于一点;  (2) 在C内; (3)属于P(b-a).
由于这两个P(b-a)的子集都只是P(a+b)的线性变换, 面积也是乘以一个线性因子,所以
P(b-a) >= b/(b+a)* P(a+b) + a/(b+a)* P(a+b) = P(a+b). 引理得证.

现在回到原题.  要证明:|Ω1|+|Ω2|<2*|Ω3|,只需要证明 | Ω3 - Ω1| > | Ω2 - Ω3| 即可.  |Ω|(表示空间Ω的大小)可以由积分给出, 其中, 积分元为w方向的一维直线dx, 从零到b, 积分函数分别为P(x-a) (对于Ω3 - Ω1) 和P(-x-a)(对于Ω2 - Ω3)的面积.  引理告诉我们P(-x-a) <= P(x-a), 那自然积分就| Ω2 - Ω3|<=| Ω3 - Ω1| 了.

还有, 我很抱歉,只能证明 小于等于, 还不是楼主要求的严格小于号.
We_must_know. We_will_know.
6楼2013-08-08 01:23:35
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 7 个回答

weft

木虫 (正式写手)

【答案】应助回帖

感谢参与,应助指数 +1
有点意思,我有一个思路,不妨设向量(W1,W2,... ,WN)是单位向量,将空间做一个正交旋转(肯定存在,一望便知),把(W1,W2,... ,WN)变为(0,0,...,1)也就是y_N轴的方向向量。如此一来将那三个不等式中左边W1x1+W2x2+...WNxN这一堆难看的东西就化成了 y_N,于是三个区域就分别成为了 y_N > b-a , y_N > -b-a 和 y_N > -a,当然这个时候相应的约束条件|xi|<=1也要改写成关于y的约束,而且肯定不像原来那么好看了,这是可以理解的,在方程上占了便宜肯定要还回去,不可能便宜占尽。但是注意到我们做的是正交变换,所以单位正方体还是变为了单位正方体,也就是说并没有拉伸和压缩,没有变形,这个很关键。虽然约束条件变难看了,但这样做的好处就是三个区域的几何意义一目了然,区域1代表方体位于超平面y_N = b-a 上方的那一部分,区域2代表方体位于超平面y_N = -b-a 上方的那一部分,而区域3代表方体位于超平面y_N = -a 上方的那一部分。然后利用正方体的对称性,你画个图就发现不等式成立是显然的事情了。另外,你还可以发现如果允许a=0,那么不等式将变成等式。
2楼2013-08-06 05:42:33
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

seu_adonis

新虫 (初入文坛)

引用回帖:
2楼: Originally posted by weft at 2013-08-06 05:42:33
有点意思,我有一个思路,不妨设向量(W1,W2,... ,WN)是单位向量,将空间做一个正交旋转(肯定存在,一望便知),把(W1,W2,... ,WN)变为(0,0,...,1)也就是y_N轴的方向向量。如此一来将那三个不等式中 ...

谢谢回复和帮助。
“区域1代表方体位于超平面y_N = b-a 上方的那一部分,区域2代表方体位于超平面y_N = -b-a 上方的那一部分,而区域3代表方体位于超平面y_N = -a 上方的那一部分。”
正交旋转后的确简洁了很多,但是高维情况下不方便用图形来说明这三个区域的关系,其实也知道y_N = -a两边区域体积对于常数值变化的梯度是不一样的,但就是纠结怎么用数学表达式证明出来。
3楼2013-08-06 09:30:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

weft

木虫 (正式写手)

【答案】应助回帖

引用回帖:
3楼: Originally posted by seu_adonis at 2013-08-06 09:30:03
谢谢回复和帮助。
“区域1代表方体位于超平面y_N = b-a 上方的那一部分,区域2代表方体位于超平面y_N = -b-a 上方的那一部分,而区域3代表方体位于超平面y_N = -a 上方的那一部分。”
正交旋转后的确简洁了很多, ...

不解为什么跟梯度扯上了关系?
我不知道你想要一个怎样的数学表达式的证明。其实现在可以看到“在y_N = b-a 上方的那一部分”与“y_N = -b-a 上方的那一部分”的体积之和就是整个立方体的体积,因为实际上二者可以拼接为一个完整的立方体,所以你只需要证明在y_N = b-a 上方的那一部分恰好就是y_N = -b-a 下方(注意是下方)的那一部分,而这件事情可以利用立方体的对称性通过一个正交旋转来证明,也就是证明二者是全等的。
4楼2013-08-06 13:33:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 26调剂/材料/英一数二/总分289/已过A区线 +7 步川酷紫123 2026-03-13 7/350 2026-03-18 17:12 by 尽舜尧1
[考研] 085600材料与化工 +5 安全上岸! 2026-03-16 5/250 2026-03-18 15:33 by cmz0325
[考研] 266求调剂 +5 阳阳哇塞 2026-03-14 9/450 2026-03-18 15:05 by stone_128
[考研] 0703化学调剂 ,六级已过,有科研经历 +10 曦熙兮 2026-03-15 10/500 2026-03-18 14:19 by 007_lilei
[考研] 材料专硕274一志愿陕西师范大学求调剂 +6 薛云鹏 2026-03-13 6/300 2026-03-18 14:14 by 脱颖而出
[考博] 环境领域全国重点实验室招收博士1-2名 +3 QGZDSYS 2026-03-13 5/250 2026-03-18 11:13 by QGZDSYS
[考研] 268求调剂 +6 简单点0 2026-03-17 6/300 2026-03-18 09:04 by 无际的草原
[考研] 293求调剂 +11 zjl的号 2026-03-16 16/800 2026-03-18 08:10 by zhukairuo
[考研] 326求调剂 +5 上岸的小葡 2026-03-15 6/300 2026-03-17 17:26 by ruiyingmiao
[考研] 本人考085602 化学工程 专硕 +16 不知道叫什么! 2026-03-15 18/900 2026-03-17 17:05 by ruiyingmiao
[论文投稿] 有没有大佬发小论文能带我个二作 +3 增锐漏人 2026-03-17 4/200 2026-03-17 09:26 by xs74101122
[考研] 考研调剂 +3 淇ya_~ 2026-03-17 5/250 2026-03-17 09:25 by Winj1e
[基金申请] 国自科面上基金字体 +6 iwuli 2026-03-12 7/350 2026-03-16 21:18 by sculhf
[考研] 304求调剂 +4 ahbd 2026-03-14 4/200 2026-03-16 16:48 by 我的船我的海
[考研] 327求调剂 +6 拾光任染 2026-03-15 11/550 2026-03-15 22:47 by 拾光任染
[考研] 机械专硕调剂 +3 笨笨兔子 2026-03-12 3/150 2026-03-15 20:02 by 栗子粥?
[考研] 289求调剂 +4 这么名字咋样 2026-03-14 6/300 2026-03-14 18:58 by userper
[考研] 266求调剂 +4 学员97LZgn 2026-03-13 4/200 2026-03-14 08:37 by zhukairuo
[考研] 一志愿211化学学硕310分求调剂 +8 努力奋斗112 2026-03-12 9/450 2026-03-13 15:41 by JourneyLucky
[考研] 321求调剂(食品/专硕) +3 xc321 2026-03-12 6/300 2026-03-13 08:45 by xc321
信息提示
请填处理意见