24小时热门版块排行榜    

查看: 2474  |  回复: 10

荞桥

新虫 (小有名气)

[求助] 求助大神:C_0在C交L无穷里稠密吗?应该怎么证明?

求助各位大神,C_0空间在(C与L无穷的交)里稠密吗?怎么证明?或者有相关的结论吗?谢谢!
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

你能说说函数空间的度量是如何定义的吗? 还有, C 空间的定义是什么, 你想要比较的两个空间谁大谁小, 我怎么觉得 C交 L^{Infinity}更小呢?
We_must_know. We_will_know.
2楼2013-10-10 03:46:59
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

荞桥

新虫 (小有名气)

引用回帖:
2楼: Originally posted by hank612 at 2013-10-10 03:46:59
你能说说函数空间的度量是如何定义的吗? 还有, C 空间的定义是什么, 你想要比较的两个空间谁大谁小, 我怎么觉得 C交 L^{Infinity}更小呢?

\omega是有界开集,C_0(\omega)是连续有紧支集的,C(\omega)是连续,L无穷\omega是有界,C_0当然是连续有界的
3楼2013-10-10 08:13:10
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
3楼: Originally posted by 荞桥 at 2013-10-10 08:13:10
\omega是有界开集,C_0(\omega)是连续有紧支集的,C(\omega)是连续,L无穷\omega是有界,C_0当然是连续有界的...

how about the definition of metric?

If use the Sup_x |f(x)-g(x)| for the distance, then the constant x=1 cannot be approximated by any finite-supported continuous function.

If use Integral( |f(x)-g(x)|, dx), then of course C_0 closure is the full space.
We_must_know. We_will_know.
4楼2013-10-10 12:38:46
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

荞桥

新虫 (小有名气)

引用回帖:
4楼: Originally posted by hank612 at 2013-10-10 12:38:46
how about the definition of metric?

If use the Sup_x |f(x)-g(x)| for the distance, then the constant x=1 cannot be approximated by any finite-supported continuous function.

If use Integral( | ...

范数你当然不能随便取了,C_0在L^p(1<=p<\infinite)里稠密,但是在L^{\infinite}里面不稠密,这是基本性质
5楼2013-10-11 17:35:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
5楼: Originally posted by 荞桥 at 2013-10-11 17:35:29
范数你当然不能随便取了,C_0在L^p(1<=p<\infinite)里稠密,但是在L^{\infinite}里面不稠密,这是基本性质...

When omega is a bounded open domain, continuous function set with compact support is dense. Otherwise, can you show a counter example ?
We_must_know. We_will_know.
6楼2013-10-11 22:51:25
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
6楼: Originally posted by hank612 at 2013-10-11 22:51:25
When omega is a bounded open domain, continuous function set with compact support is dense. Otherwise, can you show a counter example ?...

不好意思啊,又想当然了。L^Infinity范数和积分没什么关系,本质上就是连续函数空间那个点点收敛的范数,因此常数函数就没法被紧支的逼近了。
既然你早就知道这个结论了,那不就是求助的问题么? 不明白。
We_must_know. We_will_know.
7楼2013-10-11 23:24:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

荞桥

新虫 (小有名气)

引用回帖:
7楼: Originally posted by hank612 at 2013-10-11 23:24:01
不好意思啊,又想当然了。L^Infinity范数和积分没什么关系,本质上就是连续函数空间那个点点收敛的范数,因此常数函数就没法被紧支的逼近了。
既然你早就知道这个结论了,那不就是求助的问题么? 不明白。...

不是这样的,C_0在L^p(1<=p<\infinite)里稠密,但是在L^{\infinite}里面不稠密,但是我的问题是C_0在(C交L无穷)里是否稠密怎么证明,我觉得常函数C可以用有紧支集的函数逼近,取一列有紧支集的函数f_k,在每个\omega_k上等于C,不知道这个思路行不行
8楼2013-10-12 09:33:49
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
8楼: Originally posted by 荞桥 at 2013-10-12 09:33:49
不是这样的,C_0在L^p(1<=p<\infinite)里稠密,但是在L^{\infinite}里面不稠密,但是我的问题是C_0在(C交L无穷)里是否稠密怎么证明,我觉得常函数C可以用有紧支集的函数逼近,取一列有紧支集的函数f_k,在 ...

f_k总是和f=1在一个非零测集上相差1, 所以 || f_k - f ||_Infinity =1, 无法逼近的。 这和Omega 本身是否有界没有关系。

http://en.wikipedia.org/wiki/Lp_space
外事不决问百度, 我更方便用米国版的百度。
We_must_know. We_will_know.
9楼2013-10-12 10:14:19
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

jabile

木虫 (正式写手)

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★
荞桥: 金币+10 2013-10-18 22:03:11
先证明常函数可以,
然后说明非负函数可以, ||f||_{\infty}<M, 取 0\leq g_n\uparrow M,   则 f\wedge g_n\uparrow f
然后说明一般函数可以,
10楼2013-10-13 07:32:11
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 荞桥 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 有时候,自然基金真的不能太认真 (我的申报经验) +9 majunge000 2026-08-11 11/550 2026-08-15 23:20 by botar
[基金申请] 时间戳又变了8-15 +12 archvillain 2026-08-15 23/1150 2026-08-15 20:47 by foyo404
[基金申请] filecode=后面第一个是大写字母 +6 wangze12014 2026-08-14 7/350 2026-08-15 20:12 by gltch
[基金申请] filecode +8 cratir 2026-08-14 12/600 2026-08-15 18:08 by zyfgau
[基金申请] 哪位老哥知道今年的国自然具体哪一天放榜? +7 Ldrop2023 2026-08-13 7/350 2026-08-15 15:57 by mzhh2000
[基金申请] 是这周出结果还是下周出结果? +4 yuleib84 2026-08-11 4/200 2026-08-14 23:05 by lfy8008
[基金申请] 奇怪,两个人的filecode固定段从头到尾一模一样 +8 布布和一二 2026-08-10 11/550 2026-08-14 14:58 by Equinoxhua
[基金申请] 应该是93bebmhtak前后十一个字符比较关键 +23 Lanmanbaby 2026-08-09 37/1850 2026-08-14 13:40 by Equinoxhua
[硕博家园] 请教兼职经验 +3 是阿文鸭 2026-08-09 3/150 2026-08-14 12:07 by HER12025
[基金申请] FileCode能看出啥? +10 要乐观耀哥 2026-08-10 32/1600 2026-08-14 09:37 by 要乐观耀哥
[基金申请] 我的国基提前知道中了,可是同事的操作让我实在接受不了,怎么会有这样的人 +10 家与远方 2026-08-10 15/750 2026-08-14 02:08 by 绵羊哥哥
[文学芳草园] 阿姨 +4 汪汪锅 2026-08-09 4/200 2026-08-13 19:43 by arzu_hma
[基金申请] 静等基金结果 +8 gjjjzhong 2026-08-10 21/1050 2026-08-13 17:56 by 且听虎啸
[基金申请] 不应该看fileCode +7 且听虎啸 2026-08-12 9/450 2026-08-13 14:27 by flydreamws
[基金申请] 分享一下我之前已中青C的计划书的filecode +4 布布和一二 2026-08-11 5/250 2026-08-13 12:56 by cratir
[基金申请] 2019年青年基金涵评意见,大家看看几个A,几个B? +11 Tide man 2026-08-11 11/550 2026-08-13 07:35 by 撸猫猫
[基金申请] 帮忙看看fileCode +7 wwncly 2026-08-10 13/650 2026-08-11 19:36 by 冰心玉壶晴
[基金申请] 什么时候出结果,有咨询渠道??? +3 Tide man 2026-08-11 3/150 2026-08-11 17:54 by kudofaye
[基金申请] 确定了,国自然21号放榜 +6 布布和一二 2026-08-10 7/350 2026-08-10 19:15 by 2000zf36392
[基金申请] 面上项目filecode邪修 +5 西山十月 2026-08-09 7/350 2026-08-10 07:32 by 仁砚薪传
信息提示
请填处理意见