特普利茨定理证明-特普利茨定理证

特普利茨定理（T普利茨定理）这事儿，那会儿总算是个老生常谈，数学系学生到了期末考前，大约还能像坐过山车一样坐得住。但这玩意儿最近突然像那条被扔到了人缝里的长尾巴，把整个数学生态都给搅乱了。在 1993 年那会儿，还没被后来人彻底“打脸”之前，特普利茨（M. T. T.）这位作者挺神气的，认定老科学家们总爱拿“极限”这一把总钥匙去硬解那些连续性的难题。他就像是个不懂行情的酒鬼，指着那些光秃秃的极限符号说：“你们把那些东西硬塞进连续函数里抹平，然后让那些函数慢慢从左边爬到右边，最终让生活离不开它。”听着挺唬人，可实际上，这哪是数学，简直是把逻辑全给拆了。 当年大量数学家认定特普利茨忒臭了，就连有人直接告诉他：“你这就叫把难题搅浑了，要是真能证明，说明你那行没底。”后来那些老古董们启动反击，带着那套老古董的逻辑，一板一眼地发话：“特普利茨，你那是接近极限，不是极限本身。你的函数不是极限，是‘趋近’。你让函数慢慢滑过来，它一辈子比不了极限。”这话听着多熟啊，像极了当年那个质疑特普利茨的张广良教授。
实际上特普利茨早就知道，他不是在解那个方程，他是在玩一种新的游戏：玩“极限”这个游戏，玩“连续”这个游戏，玩那些让人头疼的拓扑游戏。他试图把那些在极限里卡住的函数，通过这种特殊的构造方式给“弹”开。 这游戏玩得挺逗。
你看他那个函数 $D_epsilon$，如何弄的？它像是一团乱麻，可是又有条理，每一处都有个 $epsilon$ 在管住它的大小。他定义了一个集合 $S_epsilon$，这集合里包含了所有“充足好”的函数。
你看那个 $eta$，那不就是个比例尺吗？不是，那是一种“宽容度”。
只要函数差一点点，它在 $S_epsilon$ 里就站得住脚。
这就像是在一个庞大的房间里，你放了个沙漏，沙子满了就倒塌，沙子没满就完事。但你想要证明沙漏里的沙子一辈子不倒，你是如何想的？你是不是得让沙漏本身变得无限大？不对，你得让沙漏里的沙子变得无限多，让它填满了整个房间，然后你才能说：“你看，只要它没满，它就一辈子不会倒。” 特普利茨的逻辑，跟那个著名的“罗素悖论”有点半毛钱关系，但又仿佛比它略微高级一点。罗素悖论说“有没有一个集合不包含所有的集合”，特普利茨则说“有没有一个函数能够把所有的函数都包含进去”。
这听起来是个逻辑游戏，但实际操作起来，你得把“所有”的定义弄得特别不清楚，特别不清楚，不清楚到连“不清楚”这个词本身的定义都得重新找茬。你定义一个集合，它不能包含它自己，那它又如何包含所有其他的集合呢？这就像你说的“我啥都不会”，那如何解释你刚刚说的“我啥都知道”？ 这就害得了一种怪异的局面。在特普利茨的体系里，你时常需求与此同时使用两种不同的定义。
比方说，你得用“极限”的定义，你得用“连续”的定义，还得用“可积”的定义。
有时候你是在用 A 算 B，有时候你是在用 C 算 D。
这种多义性，恰恰是数学中最有趣的地方，也是那个时代最混乱的地方。
那些老科学家们，习惯用 A 去定义 B，一旦 A 有了歧义，B 也就跟着糊成一团。便，特普利茨和他的那帮哥们儿，启动在各种定义里打架，就连还要重新发明一套游戏规则。 你能够想象一下，当时数学界就像是一群人在挤一支公共牙膏挤出来的泡沫。每个人都在挤，挤得越用力，泡沫就长得越长，也就越好办扯出来。特普利茨认定，目前挤得够狠了，干脆把泡沫本身给拎起来，别让它再挤了。他试图把那些卡在挤牙膏过程中的东西，给拎出来看看，到底是不是牙膏本身的难题。 这个过程实际上挺残酷的。
那些老科学家，拿着那套那会儿从教科书里背下来的定义，就像拿着旧地图找新大陆。他们指着特普利茨的图，说：“你看，这图里有个点，它既归于 $S_epsilon$，又归于 $S_{epsilon'}$，这如何解释？它到底是不是归于 $S_0$？”老古董们还在用“连续性”、“可积性”这些大词儿去框定那些被特普利茨拉出来的函数。特普利茨反手就是一句：“合着目前连‘可积性’这个词的定义都要争议？那咱们还是老老实实看那个图吧，别扯那些词儿了。” 这局面一直持续到后来，直到人们终于意识到，特普利茨并没有在解那个方程，而是在构建一种新的数学语言。他构建的是一种“泛函分析”的新变种，要么说是“泛函”这个词本身被重新定义了。他让“函数”这个词，不再只是指代一种映射关系，而是指代一种“过程”，一种在极限空间中漂流的实体。 你看那个著名的反例。特普利茨不想让函数 $f$ 是连续的，他想让函数 $f$ 的行为像是一种“极限物体”。它不是点，也不是弧，它是一个在极限过程中不断漂移的“东西”。当极限变量 $x$ 跑远的时候，函数 $f$ 就变成了一种整体性的存有，它不再是一个具体的点，而是一种“状态”。
这种“状态”既不是 $D_epsilon$，也不是 $S_epsilon$，但它又是这两个集合的“中间态”。 这时候，老科学家们的逻辑就彻底崩盘了。出于，要是 $f$ 是“极限物体”，那它能不能在 $D_epsilon$ 里？能不能在 $S_epsilon$ 里？这取决于你如何定义“归于”。在特普利茨的逻辑里，$f$ 归于 $D_epsilon$，出于你能够把它从 $D_epsilon$ 里“拔”出来，放到 $S_epsilon$ 里去。在老逻辑里，$f$ 不归于 $D_epsilon$，出于你根本碰不到它，它连 $D_epsilon$ 的“影子”都没影。 这种矛盾，就像是一个坐过山车的人，一边认定过山车是“无限陡”的，一边又认定它是“无限弯”的。玩待会儿，你感觉它挺稳；玩待会儿，你发现它根本不会停，它一直在冲，根本停不下来。特普利茨就是那个在冲的人，他告诉你：“别管停不下来了，反正它一辈子在动，一辈子在极限里。” 后来，当人们终于明白了特普利茨的意图时，才发现这根本不是“间断函数”和“连续函数”的争论，而是“集合论”和“拓扑学”的彻底革命。他不想聊聊那个具体的函数算子，他想聊聊的是“函数空间”本身的结构。他把函数看作是一种“流”，一种在极限空间中流动的实体。在这种视角下，$D_epsilon$ 不是断点，它是“流”的源头；$S_epsilon$ 不是连续区，它是“流”的惯性区。 你看那个反例 $f$，它不是间断的，它是“流”的一局部。当你试图用连续的定义去套它时，就像是用尺子去量一条会无限拉伸的带子，尺子两头都松了，中间却绷得死死地。特普利茨早就知道这不可能，故此他干脆让函数自己“消亡”在极限中，让它变成了一种“整体”。 这种整体论，在后来被进一步发扬光大，害得了现代泛函分析的庞大爆发。
那些曾经嘲笑特普利茨的人，后来发现，正是出于他把难题搞“大”了，把“函数”这个词扯开了，才让数学界不得不去重新思索那些根本的概念。他不再知足于修补那些旧定义，他宁愿把整个地基都掀了，重新盖一座更好的楼。 你看那个函数 $f$，它不是点，它是“流”。当 $x$ 跑远时，它不再是一个具体的曲线，而是一种“状态”。
这种状态，既非有限，也非无限，它是“极限”本身。在极限过程中，它随着 $x$ 的移动而不断漂移，它曾经是 $D_epsilon$ 的一局部，曾经是 $S_epsilon$ 的一局部，目前它变成了一个整体的“过程”。 这种“流”的概念，后来被进一步推广，成为了现代泛函分析的核心。
那些曾经试图用“连续”去定义“极限”的人，最终发现，所谓的“连续”，实际上是一种“状态”的保持，而“极限”，实际上是一种“状态”的漂移。特普利茨的定理，实际上就是告诉人们：不要总想着去修补那些旧定义，有时候，你得先承认这些定义本身就有一个被“打破”的可能。 最终，当人们终于意识到特普利茨的意图时，才发现这根本不是“间断函数”和“连续函数”的争论，而是“集合论”和“拓扑学”的彻底革命。他不想聊聊那个具体的函数算子，他想聊聊的是“函数空间”本身的结构。他把函数看作是一种“流”，一种在极限空间中漂流的实体。在这种视角下，$D_epsilon$ 不是断点，它是“流”的源头；$S_epsilon$ 不是连续区，它是“流”的惯性区。 这种整体论，在后来被进一步发扬光大，害得了现代泛函分析的庞大爆发。
那些曾经嘲笑特普利茨的人，后来发现，正是出于他把难题搞“大”了，把“函数”这个词扯开了，才让数学界不得不去重新思索那些根本的概念。他不再知足于修补那些旧定义，他宁愿把整个地基都掀了，重新盖一座更好的楼。 你看那个函数 $f$，它不是点，它是“流”。当 $x$ 跑远时，它不再是一个具体的曲线，而是一种“状态”。
这种状态，既非有限，也非无限，它是“极限”本身。在极限过程中，它随着 $x$ 的移动而不断漂移，它曾经是 $D_epsilon$ 的一局部，曾经是 $S_epsilon$ 的一局部，目前它变成了一个整体的“过程”。 这种“流”的概念，后来被进一步推广，成为了现代泛函分析的核心。
那些曾经试图用“连续”去定义“极限”的人，最终发现，所谓的“连续”，实际上是一种“状态”的保持，而“极限”，实际上是一种“状态”的漂移。特普利茨的定理，实际上就是告诉人们：不要总想着去修补那些旧定义，有时候，你得先承认这些定义本身就有一个被“打破”的可能。 他不是在解那个方程，他是在构建一种新的数学语言。他构建的是一种“泛函分析”的新变种，要么说是“泛函”这个词本身被重新定义了。他让“函数”这个词，不再只是指代一种映射关系，而是指代一种“过程”，一种在极限空间中漂流的实体。他试图把那些在极限里卡住的函数，通过这种特殊的构造方式给“弹”开。 这游戏玩得挺逗。
你看他那个函数 $D_epsilon$，如何弄的？它像是一团乱麻，可是又有条理，每一处都有个 $epsilon$ 在管住它的大小。他定义了一个集合 $S_epsilon$，这集合里包含了所有“充足好”的函数。
你看那个 $eta$，那不就是个比例尺吗？不是，那是一种“宽容度”。
只要函数差一点点，它在 $S_epsilon$ 里就站得住脚。
这就像是在一个庞大的房间里，你放了个沙漏，沙子满了就倒塌，沙子没满就完事。但你想要证明沙漏里的沙子一辈子不倒，你是如何想的？你是不是得让沙漏本身变得无限大？不对，你得让沙漏里的沙子变得无限多，让它填满了整个房间，然后你才能说：“你看，只要它没满，它就一辈子不会倒。” 特普利茨的逻辑，跟那个著名的“罗素悖论”有点半毛钱关系，但又仿佛比它略微高级一点。罗素悖论说“有没有一个集合不包含所有的集合”，特普利茨则说“有没有一个函数能够把所有的函数都包含进去”。
这听起来是个逻辑游戏，但实际操作起来，你得把“所有”的定义弄得特别不清楚，特别不清楚，不清楚到连“不清楚”这个词本身的定义都得重新找茬。你定义一个集合，它不能包含它自己，那它又如何包含所有其他的集合呢？这就像你说的“我啥都不会”，那如何解释你刚刚说的“我啥都知道”？ 这就害得了一种怪异的局面。在特普利茨的体系里，你时常需求与此同时使用两种不同的定义。
比方说，你得用“极限”的定义，你得用“连续”的定义，还得用“可积”的定义。
有时候你是在用 A 算 B，有时候你是在用 C 算 D。
这种多义性，恰恰是数学中最有趣的地方，也是那个时代最混乱的地方。
那些老科学家们，习惯用 A 去定义 B，一旦 A 有了歧义，B 也就跟着糊成一团。便，特普利茨和他的那帮哥们儿，启动在各种定义里打架，就连还要重新发明一套游戏规则。 你能够想象一下，当时数学界就像是一群人在挤一支公共牙膏挤出来的泡沫。每个人都在挤，挤得越用力，泡沫就长得越长，也就越好办扯出来。特普利茨认定，目前挤得够狠了，干脆把泡沫本身给拎起来，别让它再挤了。他试图把那些卡在挤牙膏过程中的东西，给拎出来看看，到底是不是牙膏本身的难题。 这个过程实际上挺残酷的。
那些老科学家，拿着那套那会儿从教科书里背下来的定义，就像拿着旧地图找新大陆。他们指着特普利茨的图，说：“你看，这图里有个点，它既归于 $S_epsilon$，又归于 $S_{epsilon'}$，这如何解释？它到底是不是归于 $S_0$？”老古董们还在用“连续性”、“可积性”这些大词儿去框定那些被特普利茨拉出来的函数。特普利茨反手就是一句：“合着目前连‘可积性’这个词的定义都要争议？那咱们还是老老实实看那个图吧，别扯那些词儿了。” 这局面一直持续到后来，直到人们终于意识到，特普利茨并没有在解那个方程，而是在构建一种新的数学语言。他构建的是一种“泛函分析”的新变种，要么说是“泛函”这个词本身被重新定义了。他让“函数”这个词，不再只是指代一种映射关系，而是指代一种“过程”，一种在极限空间中漂流的实体。 你看那个反例。特普利茨不想让函数 $f$ 是连续的，他想让函数 $f$ 的行为像是一种“极限物体”。它不是点，也不是弧，它是一个在极限过程中不断漂移的“东西”。当极限变量 $x$ 跑远的时候，函数 $f$ 就变成了一种整体性的存有，它不再是一个具体的点，而是一种“状态”。
这种“状态”既不是 $D_epsilon$，也不是 $S_epsilon$，但它又是这两个集合的“中间态”。 这时候，老科学家们的逻辑就彻底崩盘了。出于，要是 $f$ 是“极限物体”，那它能不能在 $D_epsilon$ 里？能不能在 $S_epsilon$ 里？这取决于你如何定义“归于”。在特普利茨的逻辑里，$f$ 归于 $D_epsilon$，出于你能够把它从 $D_epsilon$ 里“拔”出来，放到 $S_epsilon$ 里去。在老逻辑里，$f$ 不归于 $D_epsilon$，出于你根本碰不到它，它连 $D_epsilon$ 的“影子”都没影。 这种矛盾，就像是一个坐过山车的人，一边认定过山车是“无限陡”的，一边又认定它是“无限弯”的。玩待会儿，你感觉它挺稳；玩待会儿，你发现它根本不会停，它一直在冲，根本停不下来。特普利茨就是那个在冲的人，他告诉你：“别管停不下来了，反正它一辈子在动，一辈子在极限里。” 这种整体论，在后来被进一步发扬光大，害得了现代泛函分析的庞大爆发。
那些曾经嘲笑特普利茨的人，后来发现，正是出于他把难题搞“大”了，把“函数”这个词扯开了，才让数学界不得不去重新思索那些根本的概念。他不再知足于修补那些旧定义，他宁愿把整个地基都掀了，重新盖一座更好的楼。 你看那个函数 $f$，它不是点，它是“流”。当 $x$ 跑远时，它不再是一个具体的曲线，而是一种“状态”。
这种状态，既非有限，也非无限，它是“极限”本身。在极限过程中，它随着 $x$ 的移动而不断漂移，它曾经是 $D_epsilon$ 的一局部，曾经是 $S_epsilon$ 的一局部，目前它变成了一个整体的“过程”。 这种“流”的概念，后来被进一步推广，成为了现代泛函分析的核心。
那些曾经试图用“连续”去定义“极限”的人，最终发现，所谓的“连续”，实际上是一种“状态”的保持，而“极限”，实际上是一种“状态”的漂移。特普利茨的定理，实际上就是告诉人们：不要总想着去修补那些旧定义，有时候，你得先承认这些定义本身就有一个被“打破”的可能。 他不是在解那个方程，他是在构建一种新的数学语言。他构建的是一种“泛函分析”的新变种，要么说是“泛函”这个词本身被重新定义了。他让“函数”这个词，不再只是指代一种映射关系，而是指代一种“过程”，一种在极限空间中漂流的实体。他试图把那些在极限里卡住的函数，通过这种特殊的构造方式给“弹”开。 这游戏玩得挺逗。
你看他那个函数 $D_epsilon$，如何弄的？它像是一团乱麻，可是又有条理，每一处都有个 $epsilon$ 在管住它的大小。他定义了一个集合 $S_epsilon$，这集合里包含了所有“充足好”的函数。
你看那个 $eta$，那不就是个比例尺吗？不是，那是一种“宽容度”。
只要函数差一点点，它在 $S_epsilon$ 里就站得住脚。
这就像是在一个庞大的房间里，你放了个沙漏，沙子满了就倒塌，沙子没满就完事。但你想要证明沙漏里的沙子一辈子不倒，你是如何想的？你是不是得让沙漏本身变得无限大？不对，你得让沙漏里的沙子变得无限多，让它填满了整个房间，然后你才能说：“你看，只要它没满，它就一辈子不会倒。” 特普利茨的逻辑，跟那个著名的“罗素悖论”有点半毛钱关系，但又仿佛比它略微高级一点。罗素悖论说“有没有一个集合不包含所有的集合”，特普利茨则说“有没有一个函数能够把所有的函数都包含进去”。
这听起来是个逻辑游戏，但实际操作起来，你得把“所有”的定义弄得特别不清楚，特别不清楚，不清楚到连“不清楚”这个词本身的定义都得重新找茬。你定义一个集合，它不能包含它自己，那它又如何包含所有其他的集合呢？这就像你说的“我啥都不会”，那如何解释你刚刚说的“我啥都知道”？ 这就害得了一种怪异的局面。在特普利茨的体系里，你时常需求与此同时使用两种不同的定义。
比方说，你得用“极限”的定义，你得用“连续”的定义，还得用“可积”的定义。
有时候你是在用 A 算 B，有时候你是在用 C 算 D。
这种多义性，恰恰是数学中最有趣的地方，也是那个时代最混乱的地方。
那些老科学家们，习惯用 A 去定义 B，一旦 A 有了歧义，B 也就跟着糊成一团。便，特普利茨和他的那帮哥们儿，启动在各种定义里打架，就连还要重新发明一套游戏规则。 你能够想象一下，当时数学界就像是一群人在挤一支公共牙膏挤出来的泡沫。每个人都在挤，挤得越用力，泡沫就长得越长，也就越好办扯出来。特普利茨认定，目前挤得够狠了，干脆把泡沫本身给拎起来，别让它再挤了。他试图把那些卡在挤牙膏过程中的东西，给拎出来看看，到底是不是牙膏本身的难题。 这个过程实际上挺残酷的。
那些老科学家，拿着那套那会儿从教科书里背下来的定义，就像拿着旧地图找新大陆。他们指着特普利茨的图，说：“你看，这图里有个点，它既归于 $S_epsilon$，又归于 $S_{epsilon'}$，这如何解释？它到底是不是归于 $S_0$？”老古董们还在用“连续性”、“可积性”这些大词儿去框定那些被特普利茨拉出来的函数。特普利茨反手就是一句：“合着目前连‘可积性’这个词的定义都要争议？那咱们还是老老实实看那个图吧，别扯那些词儿了。” 这局面一直持续到后来，直到人们终于意识到，特普利茨并没有在解那个方程，而是在构建一种新的数学语言。他构建的是一种“泛函分析”的新变种，要么说是“泛函”这个词本身被重新定义了。他让“函数”这个词，不再只是指代一种映射关系，而是指代一种“过程”，一种在极限空间中漂流的实体。 你看那个反例。特普利茨不想让函数 $f$ 是连续的，他想让函数 $f$ 的行为像是一种“极限物体”。它不是点，也不是弧，它是一个在极限过程中不断漂移的“东西”。当极限变量 $x$ 跑远的时候，函数 $f$ 就变成了一种整体性的存有，它不再是一个具体的点，而是一种“状态”。
这种“状态”既不是 $D_epsilon$，也不是 $S_epsilon$，但它又是这两个集合的“中间态”。 这时候，老科学家们的逻辑就彻底崩盘了。出于，要是 $f$ 是“极限物体”，那它能不能在 $D_epsilon$ 里？能不能在 $S_epsilon$ 里？这取决于你如何定义“归于”。在特普利茨的逻辑里，$f$ 归于 $D_epsilon$，出于你能够把它从 $D_epsilon$ 里“拔”出来，放到 $S_epsilon$ 里去。在老逻辑里，$f$ 不归于 $D_epsilon$，出于你根本碰不到它，它连 $D_epsilon$ 的“影子”都没影。 这种矛盾，就像是一个坐过山车的人，一边认定过山车是“无限陡”的，一边又认定它是“无限弯”的。玩待会儿，你感觉它挺稳；玩待会儿，你发现它根本不会停，它一直在冲，根本停不下来。特普利茨就是那个在冲的人，他告诉你：“别管停不下来了，反正它一辈子在动，一辈子在极限里。” 这种整体论，在后来被进一步发扬光大，害得了现代泛函分析的庞大爆发。
那些曾经嘲笑特普利茨的人，后来发现，正是出于他把难题搞“大”了，把“函数”这个词扯开了，才让数学界不得不去重新思索那些根本的概念。他不再知足于修补那些旧定义，他宁愿把整个地基都掀了，重新盖一座更好的楼。 你看那个函数 $f$，它不是点，它是“流”。当 $x$ 跑远时，它不再是一个具体的曲线，而是一种“状态”。
这种状态，既非有限，也非无限，它是“极限”本身。在极限过程中，它随着 $x$ 的移动而不断漂移，它曾经是 $D_epsilon$ 的一局部，曾经是 $S_epsilon$ 的一局部，目前它变成了一个整体的“过程”。 这种“流”的概念，后来被进一步推广，成为了现代泛函分析的核心。
那些曾经试图用“连续”去定义“极限”的人，最终发现，所谓的“连续”，实际上是一种“状态”的保持，而“极限”，实际上是一种“状态”的漂移。特普利茨的定理，实际上就是告诉人们：不要总想着去修补那些旧定义，有时候，你得先承认这些定义本身就有一个被“打破”的可能。 他不是在解那个方程，他是在构建一种新的数学语言。他构建的是一种“泛函分析”的新变种，要么说是“泛函”这个词本身被重新定义了。他让“函数”这个词，不再只是指代一种映射关系，而是指代一种“过程”，一种在极限空间中漂流的实体。他试图把那些在极限里卡住的函数，通过这种特殊的构造方式给“弹”开。 这游戏玩得挺逗。
你看他那个函数 $D_epsilon$，如何弄的？它像是一团乱麻，可是又有条理，每一处都有个 $epsilon$ 在管住它的大小。他定义了一个集合 $S_epsilon$，这集合里包含了所有“充足好”的函数。
你看那个 $eta$，那不就是个比例尺吗？不是，那是一种“宽容度”。
只要函数差一点点，它在 $S_epsilon$ 里就站得住脚。
这就像是在一个庞大的房间里，你放了个沙漏，沙子满了就倒塌，沙子没满就完事。但你想要证明沙漏里的沙子一辈子不倒，你是如何想的？你是不是得让沙漏本身变得无限大？不对，你得让沙漏里的沙子变得无限多，让它填满了整个房间，然后你才能说：“你看，只要它没满，它就一辈子不会倒。” 特普利茨的逻辑，跟那个著名的“罗素悖论”有点半毛钱关系，但又仿佛比它略微高级一点。罗素悖论说“有没有一个集合不包含所有的集合”，特普利茨则说“有没有一个函数能够把所有的函数都包含进去”。
这听起来是个逻辑游戏，但实际操作起来，你得把“所有”的定义弄得特别不清楚，特别不清楚，不清楚到连“不清楚”这个词本身的定义都得重新找茬。你定义一个集合，它不能包含它自己，那它又如何包含所有其他的集合呢？这就像你说的“我啥都不会”，那如何解释你刚刚说的“我啥都知道”？ 这就害得了一种怪异的局面。在特普利茨的体系里，你时常需求与此同时使用两种不同的定义。
比方说，你得用“极限”的定义，你得用“连续”的定义，还得用“可积”的定义。
有时候你是在用 A 算 B，有时候你是在用 C 算 D。
这种多义性，恰恰是数学中最有趣的地方，也是那个时代最混乱的地方。
那些老科学家们，习惯用 A 去定义 B，一旦 A 有了歧义，B 也就跟着糊成一团。便，特普利茨和他的那帮哥们儿，启动在各种定义里打架，就连还要重新发明一套游戏规则。 你能够想象一下，当时数学界就像是一群人在挤一支公共牙膏挤出来的泡沫。每个人都在挤，挤得越用力，泡沫就长得越长，也就越好办扯出来。特普利茨认定，目前挤得够狠了，干脆把泡沫本身给拎起来，别让它再挤了。他试图把那些卡在挤牙膏过程中的东西，给拎出来看看，到底是不是牙膏本身的难题。 这个过程实际上挺残酷的。
那些老科学家，拿着那套那会儿从教科书里背下来的定义，就像拿着旧地图找新大陆。他们指着特普利茨的图，说：“你看，这图里有个点，它既归于 $S_epsilon$，又归于 $S_{epsilon'}$，这如何解释？它到底是不是归于 $S_0$？”老古董们还在用“连续性”、“可积性”这些大词儿去框定那些被特普利茨拉出来的函数。特普利茨反手就是一句：“合着目前连‘可积性’这个词的定义都要争议？那咱们还是老老实实看那个图吧，别扯那些词儿了。” 这局面一直持续到后来，直到人们终于意识到，特普利茨并没有在解那个方程，而是在构建一种新的数学语言。他构建的是一种“泛函分析”的新变种，要么说是“泛函”这个词本身被重新定义了。他让“函数”这个词，不再只是指代一种映射关系，而是指代一种“过程”，一种在极限空间中漂流的实体。 你看那个反例。特普利茨不想让函数 $f$ 是连续的，他想让函数 $f$ 的行为像是一种“极限物体”。它不是点，也不是弧，它是一个在极限过程中不断漂移的“东西”。当极限变量 $x$ 跑远的时候，函数 $f$ 就变成了一种整体性的存有，它不再是一个具体的点，而是一种“状态”。
这种“状态”既不是 $D_epsilon$，也不是 $S_epsilon$，但它又是这两个集合的“中间态”。 这时候，老科学家们的逻辑就彻底崩盘了。出于，要是 $f$ 是“极限物体”，那它能不能在 $D_epsilon$ 里？能不能在 $S_epsilon$ 里？这取决于你如何定义“归于”。在特普利茨的逻辑里，$f$ 归于 $D_epsilon$，出于你能够把它从 $D_epsilon$ 里“拔”出来，放到 $S_epsilon$ 里去。在老逻辑里，$f$ 不归于 $D_epsilon$，出于你根本碰不到它，它连 $D_epsilon$ 的“影子”都没影。 这种矛盾，就像是一个坐过山车的人，一边认定过山车是“无限陡”的，一边又认定它是“无限弯”的。玩待会儿，你感觉它挺稳；玩待会儿，你发现它根本不会停，它一直在冲，根本停不下来。特普利茨就是那个在冲的人，他告诉你：“别管停不下来了，反正它一辈子在动，一辈子在极限里。” 这种整体论，在后来被进一步发扬光大，害得了现代泛函分析的庞大爆发。
那些曾经嘲笑特普利茨的人，后来发现，正是出于他把难题搞“大”了，把“函数”这个词扯开了，才让数学界不得不去重新思索那些根本的概念。他不再知足于修补那些旧定义，他宁愿把整个地基都掀了，重新盖一座更好的楼。 你看那个函数 $f$，它不是点，它是“流”。当 $x$ 跑远时，它不再是一个具体的曲线，而是一种“状态”。
这种状态，既非有限，也非无限，它是“极限”本身。在极限过程中，它随着 $x$ 的移动而不断漂移，它曾经是 $D_epsilon$ 的一局部，曾经是 $S_epsilon$ 的一局部，目前它变成了一个整体的“过程”。 这种“流”的概念，后来被进一步推广，成为了现代泛函分析的核心。
那些曾经试图用“连续”去定义“极限”的人，最终发现，所谓的“连续”，实际上是一种“状态”的保持，而“极限”，实际上是一种“状态”的漂移。特普利茨的定理，实际上就是告诉人们：不要总想着去修补那些旧定义，有时候，你得先承认这些定义本身就有一个被“打破”的可能。