||
Orlicz 空间简史(通俗版)
说白了,这是一把“软尺”的旅行故事——从波兰一间咖啡馆,走到哈尔滨的黑板前,最后悄悄躲进今天机器学习论文的脚注里。
开头:有人发现尺子不够用了
1930年前后,波兰利沃夫有一群数学家爱泡咖啡馆,边喝边在餐巾纸上写公式。里面有个年轻人叫 奥利茨(Orlicz),跟着 Banach、Steinhaus 这些大佬做正交级数。
他碰到一个别扭的事:有些函数太“胖”了,用 L^1、L^2、L^{100} 哪把尺子去量都爆表,可它又明明没疯到完全不可积。同事 Birnbaum 和他一合计:别死磕整数幂了,换一把能自己挑刻度的软尺不行吗?
1932年,奥利茨正式发了篇文章,把“用任意凸函数当刻度”的函数类写下来。(补一句行家才在意的:不是“任意凸函数”都行,得是过原点、两头不瘸的 Young 凸函数;凸性一丢,Luxemburg 那把软尺连三角不等式都量不出来。)不过那时候他还留了个保险栓(后来叫 Δ2 条件),到 1936年才把栓拔掉,完整的 Orlicz 空间才算真正落地。
有意思的是,“Orlicz 空间”这五个字根本不是他本人起的。1950年代荷兰人 Zaanen 写教材时顺手冠的名,奥利茨本人一直客气地叫它“Birnbaum–Orlicz 类”。
1955年:那个和欧洲国家撞名的荷兰人
空间有了,可怎么“量”还是别扭——每次都得先算一个对偶函数,像买菜前先去查对面摊主的账本,太绕。
1955年,荷兰代尔夫特的 Luxemburg(姓和那个欧洲大公国一模一样,人是正经荷兰学者)在博士论文里给了个超直白的定义:
拿个标准袋,把菜按比例缩一缩,找到“刚好不撑破袋子”的那个最小缩放系数,就是这兜菜的重量。
不用查对家账本,拎起来一量就行。这把“软尺”从此好用起来,大家就管它叫 Luxemburg 范数。
(考据党会补一句:日本学者中野其实更早写过类似东西,但确实是 Luxemburg 把它钉进 Orlicz 框架里,名字就这么沿用下来了。)
1961年:那本绿皮书把理论焊死
1958年苏联的 Krasnoselskii 和 Rutickii 出了俄文版,1961年翻成英文 Convex Functions and Orlicz Spaces(圈里人叫它“绿皮书”)。
这本书干了一件大事:把两套尺子(奥利茨自己的对偶尺、Luxemburg 的软尺)、对偶空间、非线性方程里的用法全捋顺了。(后来人才回过味来:Luxemburg 量的那把软尺背后,互补函数其实就是 Φ 的勒让德–芬切尔共轭,奥利茨当年手写的“对家账本”,比 Fenchel 把这套语言立成定理还早了二十年。)从此 Orlicz 空间不再是奥利茨个人的小扩展,而是泛函分析教科书里正经的一章。
后来 Lindenstrauss–Tzafriri 两卷本 Classical Banach Spaces I, II 一收编,地位彻底坐实:它是“够一般、又能手算”的样板间。
波兰主线:从利沃夫搬到波兹南
奥利茨1937年去了波兹南大学,战后就在那儿带队伍。波兹南后来长出 Musielak 这一支,把“刻度函数还能随位置变”做成了 Musielak–Orlicz 空间,一路连到变指数空间、插值理论。1988年波兰给他出了两卷本论文集,一千七百多页,算是学派的纪念碑。
中国这一支:哈尔滨人把“几何”算到了底
国内不是只翻译。哈工大的 吴从炘 1963年就给出 Orlicz 范数的计算公式,顺手把 Orlicz 范数和 Luxemburg 范数下的严格凸充要条件全写出来,比国外同类结果早 2 到 5 年。
到80年代,吴从炘、王廷辅、陈述涛、王玉文在哈尔滨拉起一整支队伍,出了两本中文专著:
1983年《奥尔里奇空间及其应用》
1986年《Orlicz 空间几何理论》
1986年波兹南开国际会议,哈尔滨四人组把书带过去,奥利茨本人翻了翻,挺高兴,还拿给旁边的人看。从此“哈尔滨—波兹南”这条线在 Orlicz 几何里是实打实有姓有名的。
今天它在哪儿?
你今天可能不会再念一遍“Orlicz”这个名字,但它一直在后台干活:
调和分析里,极大算子装不下 L^1 的函数,就丢进 LlogL——这就是 Orlicz 空间最出名的特例;
非线性偏微分方程里,通量按 eu 这种怪增长走,弱解空间天然就是 Orlicz;
机器学习的论文里写“亚高斯尾 ψ2 范数”,翻译过来就是指数型 Orlicz 范数,管着随机变量的尾巴别炸。
一句话收个尾
1932年一个波兰年轻人嫌整数幂尺子太硬,换了一把软的;1955年一个荷兰人把软尺做得能直接上手量;1961年苏联人把它焊成教科书;80年代哈尔滨人把它的几何算得明明白白。今天没人总提它的名字,可但凡遇到“太胖又没疯”的函数,那把软尺就悄悄从抽屉里被摸出来。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2026-10-22 14:02
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社