第四百五十三章 柯尼希定理（图论）

    在泛函分析中，巴拿赫定理是一个极为重要的工具。它允许了定义在某个向量空间上的有界线性算子扩张到整个空间，并说明了存在“足够”的连续线性泛函，定义在每一个赋范向量空间，使对偶空间的研究变得有趣味。

    这个定理以汉斯·哈恩和斯特凡·巴拿赫命名，他们在1920年独立证明了这个定理。

    巴拿赫不仅自己在科学上作出了巨大贡献，而且培育了一大批青年数学家，为形成强大的利沃夫泛函分析学派奠定了基础．

    他培养青年的方式中有一种很特别，这就是“咖啡馆聚会”．当年利沃夫学派的一个年青学者S．乌拉姆(后来去美国定居，在二次大战中参与原子弹的研制)，曾写过一篇文章，题为“回忆苏格兰咖啡馆”，其中写道：“巴拿赫一天生活中有相当多的时间消磨在咖啡馆，当有同事和年轻同行围坐时，他可以滔滔不绝地讲上几个钟头．…咖啡桌跟大学研究所和数学会的会场一样，成了爆发数学思想火花的圣地．”

    “在苏格兰咖啡馆(利沃夫城内一间受数学家欢迎的咖啡馆)的频繁聚会中，数学家提出了各种问题．有时问题很多，大家觉得应该记录下来，于是在咖啡馆内专门准备了记录本，以便随时使用(咖啡馆的侍者也乐意给以方便，因为这免得他们擦洗涂在桌上的数学式子)．于是，这些记录本就产生了一部传奇式的书：‘苏格兰书’．由于提问者当时或后来都很著名，使得这些记录具有重要的科学与历史价值，而且具有一种引起人们求知欲望的力量．由于巴拿赫夫人的功劳，这些‘苏格兰书’免遭战火，奇迹般地保存了下来”．此书后来由E．马尔采夫斯基(Marczewski)和斯泰因豪斯负责编辑出版．原稿由巴拿赫的儿子(一位博士)献给了巴拿赫国际数学中心。