由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Mathematics版 - 一个不等式 的问题
相关主题
naive question on orthogonal functions (转载)principle direction是什么意思?
一个线代问题请教两个拓扑学的问题
请教一个小的证明some topology questions puzzled me.
是不是很多人都在做compressed sensing?question of orthotonal transformation and eigenvectors
请教一个矩阵问题问一个orthogonal transformation 的问题
包子请教一个优化问题orthogonal matrix的一个问题
求教:矩阵范数与其列向量的范数有什么关系吗?seek help on a problem
请教一个定理证明中的问题help on orthogonal sequence generator
相关话题的讨论汇总
话题: 正交话题: op话题: functions话题: space话题: 向量
进入Mathematics版参与讨论
1 (共1页)
jl
发帖数: 398
1
向量 Y = X + E
在 L_2 空间, X 和 E 正交;
|Y|^2 = |X|^2 + |E|^2 ;
有没有哪个定理说:
在L_p, p>2, 如果 |X| >0
|Y|^p > |E|^p
多谢!
x******a
发帖数: 6336
2
what is 正交 in L_p?

【在 jl 的大作中提到】
: 向量 Y = X + E
: 在 L_2 空间, X 和 E 正交;
: |Y|^2 = |X|^2 + |E|^2 ;
: 有没有哪个定理说:
: 在L_p, p>2, 如果 |X| >0
: |Y|^p > |E|^p
: 多谢!
:

jl
发帖数: 398
3
The inner product is zero in L2 space.

【在 x******a 的大作中提到】
: what is 正交 in L_p?
l********e
发帖数: 3632
4
你没有想过?
Y=1
X=-1
E=2
你说的不是显然不成立吗?

【在 jl 的大作中提到】
: 向量 Y = X + E
: 在 L_2 空间, X 和 E 正交;
: |Y|^2 = |X|^2 + |E|^2 ;
: 有没有哪个定理说:
: 在L_p, p>2, 如果 |X| >0
: |Y|^p > |E|^p
: 多谢!
:

jl
发帖数: 398
5
X, E are linear dependent in your case.

【在 l********e 的大作中提到】
: 你没有想过?
: Y=1
: X=-1
: E=2
: 你说的不是显然不成立吗?

l********e
发帖数: 3632
6
you didn't get the point and you didn't specify you condition on X and E in
your question.
if you still insist, simply let E=2+i and X=-1-i

【在 jl 的大作中提到】
: X, E are linear dependent in your case.
n***p
发帖数: 7668
7
The answer is no. Here is an counterexample.
Consider the 2D Euclidean space and let
X =(2,1) and E=(-a, 2a). Then X is perpendicular to E.
Then Y=(2-a, 1+2a). For p=4,
|Y|_4^4 = (2-a)^4 + (1+2a)^4
= 17 - 24a + C_1 a^2 +C_2 a^3 +C_3 a^4
<17 = |X|_4^4
if we choose a>0 to be small enough.
The same idea can be applied to construct counterexamples
for other spaces like L_p function spaces for p=4. I choose
p=4 because I can easily calculate the norms explicitly.
For other values of p, we can use taylor expansions.

【在 jl 的大作中提到】
: 向量 Y = X + E
: 在 L_2 空间, X 和 E 正交;
: |Y|^2 = |X|^2 + |E|^2 ;
: 有没有哪个定理说:
: 在L_p, p>2, 如果 |X| >0
: |Y|^p > |E|^p
: 多谢!
:

n***p
发帖数: 7668
8
I don't get the point either and appreciate it if you may
clarify further. To me I don't see in what definition
E=2+i and X=-1-i can be orthogonal.

in

【在 l********e 的大作中提到】
: you didn't get the point and you didn't specify you condition on X and E in
: your question.
: if you still insist, simply let E=2+i and X=-1-i

l********e
发帖数: 3632
9
The point is there is no inner which is compatible with the norm for the L^p
(p>2) space. They are only Banach spaces, so it does not make any sense to
talk about orthogonality in such a space.
So basically there is no restriction on X and E in the decomposition in OP's
question.

【在 n***p 的大作中提到】
: I don't get the point either and appreciate it if you may
: clarify further. To me I don't see in what definition
: E=2+i and X=-1-i can be orthogonal.
:
: in

n***p
发帖数: 7668
10
Since L^p functions are naturally in L^2, it is OK to talk about
orthogonality of L^p functions in L^2. When talking about functions
in L^p\cap L^2, there are naturally two norms, one from L^p, and
another from L^2. It is OK to discuss the relation between these
two norms.

^p
to
's

【在 l********e 的大作中提到】
: The point is there is no inner which is compatible with the norm for the L^p
: (p>2) space. They are only Banach spaces, so it does not make any sense to
: talk about orthogonality in such a space.
: So basically there is no restriction on X and E in the decomposition in OP's
: question.

l********e
发帖数: 3632
11
no, the claim "L^p functions are naturally in L^2" depends on the measure of
the whole space to be finite, which is apparently not assumed by OP.

【在 n***p 的大作中提到】
: Since L^p functions are naturally in L^2, it is OK to talk about
: orthogonality of L^p functions in L^2. When talking about functions
: in L^p\cap L^2, there are naturally two norms, one from L^p, and
: another from L^2. It is OK to discuss the relation between these
: two norms.
:
: ^p
: to
: 's

n***p
发帖数: 7668
12
Come on. Apparently OP implicitly made such assumptions.

of

【在 l********e 的大作中提到】
: no, the claim "L^p functions are naturally in L^2" depends on the measure of
: the whole space to be finite, which is apparently not assumed by OP.

l********e
发帖数: 3632
13
哪里显然?这里毫无上下文你也能分析出这个条件,算你牛。
我都怀疑LZ是指不知道这个条件。

【在 n***p 的大作中提到】
: Come on. Apparently OP implicitly made such assumptions.
:
: of

1 (共1页)
进入Mathematics版参与讨论
相关主题
help on orthogonal sequence generator请教一个矩阵问题
问一个关于variance的不等式是否成立包子请教一个优化问题
随机产生两个2x2矩阵,哪一个的两行更orthogonal?求教:矩阵范数与其列向量的范数有什么关系吗?
请教一个矩阵问题的证明请教一个定理证明中的问题
naive question on orthogonal functions (转载)principle direction是什么意思?
一个线代问题请教两个拓扑学的问题
请教一个小的证明some topology questions puzzled me.
是不是很多人都在做compressed sensing?question of orthotonal transformation and eigenvectors
相关话题的讨论汇总
话题: 正交话题: op话题: functions话题: space话题: 向量