你有莫得过这样的困惑：咱们总说一维是线、二维是面、三维是体，可当咱们试图在纸上画一条“一维的线”时，无论用多细的笔，这条线皆有宽度和厚度；

当咱们看屏幕里的动画脚色、墙上的影子时，总以为它们是“二维的”，可仔细想想，它们似乎又和数学里界说的“完全二维”相去甚远。

更令东谈主好奇的是，咱们能疏忽长入一维、二维，致使能把三维物体简化成一维或二维来处理，可为什么无论如何力图，皆无法设想出四维空间的具体情势？

其实，这一切的困惑，皆源于咱们对“维度”的歪曲——咱们以为我方在设想低维空间，实则仅仅把三维物体进行了“简化处理”；而咱们无法设想四维空间，也并非因为维度太高，而是咱们的大脑天生就无法树立起四维空间到三维空间的有用对应。

今天，咱们就从一根线、一个影子运行，一步步拆解维度的玄机，解答“东谈主类为什么无法设想四维空间”这个经典问题。

请提起笔，在纸上画一条最轻便的直线。

在你的默契里，这条线是“一维”的——它唯独长度，莫得宽度和高度。但要是咱们用放大镜仔细不雅察，就会发现一个瞻仰的事实：这条线不仅有宽度（笔芯的粗细），还有厚度（墨汁附着在纸上的高度）；更紧迫的是，墨汁会对纸张产生微弱的压迫，纸张自己也有厚度，是以这条看似“一维”的线，骨子上是一个三维物体。

大约你会反驳：“我仅仅把它‘行动’一维来处理，它的厚度和宽度不错忽略不计。”但请不要忽略一个枢纽前提：你能“看到”这条线，自己就解说了它不是一维的。

咱们来作念一个轻便的逻辑推导：要是这条线是信得过的一维物体，它就唯独长度，莫得任何横截面积——也便是说，它无法挡住任何标的的后光。

就像一根“莫得粗细”的阴灵线，无论从哪个角度看，它皆不会反射或摄取后光，咱们根蒂不可能看到它。要是它是信得过的二维物体，那么它唯独长度和宽度，莫得厚度——这意味着墨汁莫得任何叠加，会无限简单，最终呈现为无色，咱们相通无法看到它。

是以，你能澄澈地看到纸上的线，就也曾发挥这条线具备了三维属性：它有厚度、有体积，能反射后光，能被咱们的视觉系统捕捉到。

咱们的视觉系统从未把它行动“一维物体”来处理，仅仅咱们的念念维系统为了简化默契，刻意忽略了它的宽度和厚度，将其默许为“一维线”。

这个看似轻便的例子，揭示了一个中枢真相：东谈主类从来莫得信得过设想过“一维物体”或“二维物体”。咱们所谓的“设想”，不外是把三维物体进行了“降维简化”——就像咱们把地球简化成一个二维的舆图，把一栋大楼简化成一张二维的遐想图，骨子上如故基于三维物体的默契，仅仅忽略了其中一个维度的信息。

这就引出了一个更专诚念念的问题：既然咱们能把底本三维的线，简化成一维来处理；能把底本三维的纸张，简化成二维来处理，那为什么咱们不可把底本三维的物体，简化成四维来处理呢？要是能作念到这一丝，咱们不就能疏忽设想出四维空间了吗？

谜底很轻便：咱们能简化低维，是因为低维空间的整个信息，皆能通过“单射”的方式对应到三维空间中；而四维空间的信息，无法通过这种“可微单射”对应到三维空间，咱们的大脑天然无法处理这种无法对应、无法简化的信息——这亦然咱们无法设想四维空间的中枢原因。

在深远解释这个原因之前，咱们先惩办两个寰球最常问的疑问，透澈冲破对“二维物体”的歪曲。

在谋划维度问题时，我往往被问到两个问题：“影子是不是二维物体？”“屏幕里的动画脚色、纸片东谈主，是不是二维物体？”

其实这两个问题的骨子是一样的——它们皆是“光的投影”，而投影自己，从来皆不是信得过的二维物体。

咱们先从数学界说来看：信得过的二维物体，必须存在于一个“完全平整”的平面上，这个平面莫得任何厚度，莫得任何坎坷，是浮松的“二维载体”。

但在现实生活中，这样的平面根蒂不存在——无论是咱们的墙壁、地板，如故手机屏幕、纸张，皆有厚度，名义也存在微弱的坎坷，骨子上皆是三维物体。

更紧迫的是，一个平面是否“平整”，自己就需要在三维空间中才调判断：比如一张转折的纸，在纸上的二维生物（假定存在）看来，它是平整的，但在咱们三维生物看来，它是转折的——判断平整与否的前提，是领有更高维度的视角。

先说说影子。

好多东谈主以为影子是二维的，因为它唯独“体式”，莫得厚度。但推行上，影子根蒂不是一个“物体”，而是“光无法到达的区域”——它是一个三维的真空区间。

比如，你在墙上看到的影子，看似是平面上的图案，但推行上，这个影子是从光源到墙面之间的一个“柱形区域”：后光被物体挡住，无法到达墙面的某个区域，酿成了咱们看到的影子。要是脱离了墙面这个三维载体，影子就会消散——它无法孤苦存在，更不可能是二维物体。

更枢纽的是：要是你果然能设想出一个“二维的影子”，你就必须先设想出一个“完全平整的平面”——这个平面不是咱们生活中常见的墙壁、地板，而是莫得任何厚度、完全光滑、无限蔓延的梦想平面。但咱们的大脑根蒂无法设想这样的平面，因为咱们整个的默契，皆基于三维空间中的简直物体，咱们无法开脱“厚度”这个三维属性的控制。

再说说屏幕里的脚色。

好多东谈主以为，屏幕是平的，内部的脚色莫得厚度，是以是二维的。

但请仔细想想：要是屏幕里的脚色果然是二维的，那么它的整个细节皆应该是“平的”——莫得坎坷，莫得立体感，就像一张信得过的平面画。

但咱们看动画、看电影时，却能感受到脚色的五官立体、躯壳坎坷，致使能感受到场景的深度——这刚巧发挥，咱们的大脑在本能地“拒却”设想完全平整的二维物体，而是在潜瓦解里给这些“平面投影”补充了三维信息。

比如，咱们看一张动漫脚色的图片，之是以以为它有立体感，是因为画师通过光影、透视的手法，模拟了三维空间的遵循；咱们的大脑接收到这些信息后，会自动补全它的三维属性，让咱们以为这个脚色是“立体的”。

要是果然把它当成完全二维的物体，它的五官、躯壳皆是平的，也就不可能勾引咱们——这也从侧面解说，咱们从来莫得信得过设想过二维物体，咱们所谓的“二维设想”，不外是三维默契的蔓延。

看到这里，可能有东谈主会问：“为什么你一直强调‘完全平整’？难谈不屈整的平面，就不可对应二维空间吗？”

谜底很轻便：要是咱们默许空间中的距离是“欧式距离”（也便是咱们日常生活顶用到的距离，两点之间直线最短、三角形内角和为180度），那么二维的曲面，只可在三维以上的空间中界说。

举个例子：一张纸，无论你把它弯成弧形、折成海浪形，它投影到任何一个平面上，皆是平的——你无法在二维空间中，判断这张纸是转折的如故平整的。

唯独把它放在三维空间中，你才调看到它的转折进程；要是想在二维空间中瓦解到它的转折，你就必须转换“距离”的界说——比如，在转折的纸上，两点之间的最短距离不是直线，而是沿着纸面的弧线；三角形的内角和也不再是180度，圆周率也不再是3.14159……

而一朝转换了距离的界说，这个空间就不再是咱们持重的欧几里得空间，致使连“维度”的界说皆会发生转换。

咱们谋划的“四维空间”，默许是“四维欧几里得空间”——它和咱们生活的三维欧几里得空间一样，解任欧式距离的划定；要是脱离了这个前提，谋划“四维空间”就莫得道理，因为不同的距离界说，会产生完全不同的空间性质。

这里咱们不错先明确一个中枢论断：要是咱们把“设想”界说为“设想出具体的体式”，那么东谈主类照实无法设想出四维空间；

但要是咱们只需要长入空间的性质，那么东谈主类不仅能长入四维空间，还能长入各式各样的非欧空间——这背后，离不开对“空间”骨子的长入。接下来，咱们就先补充一些基础的空间知识，为后续的分析作念好铺垫。

在数学中，“空间”的界说远比咱们设想的更抽象、更无邪。

好多东谈主以为空间便是“容纳物体的容器”，但推行上，在数学语境中，任何合适特定条目的聚合，皆不错被称为“空间”——这便是“拓扑空间”的中枢见解：由一系列合适条目的开聚合组成的聚合族，就不错组成一个空间。

而整个几何问题，骨子上皆是“点与点之间的距离问题”。咱们之是以能区分不同的空间，之是以能感知空间的“体式”，中枢在于咱们对“距离”的界说不同。

轻便来说：空间的神态，由距离的界说决定。

在数学中，一个“距离”的界说，必须骄矜三个基本条目（这三个条目是整个度量空间的基础），咱们不错用庸碌的言语来解释：

第一，非负销毁性：任何两个点之间的距离，皆大于或等于0；唯惟一个点到它我方的距离，才等于0。比如，你到你我方的距离是0，你到一又友家的距离，无论多近，皆大于0——这是最直不雅的学问。

第二，对称性：点A到点B的距离，等于点B到点A的距离。比如，你从家到学校的距离，和从学校到家的距离，是完全一样的——不可能出现“去的工夫10公里，讲究的工夫5公里”的情况。

第三，三角不等式：点A到点B的距离，加上点B到点C的距离，一定大于或等于点A到点C的距离。比如，你从家到学校，再从学校到藏书楼，总距离一定大于或等于你从家笔直到藏书楼的距离——这亦然咱们日常生活中最常见的礼貌（除非你走的是直线，此时两者特别）。

只须骄矜这三个条目，咱们就不错界说一种“距离”；而一朝距离被界说，空间的性质、点与点之间的联系，就被完全细目了——也便是说，空间的“体式”，骨子上是由距离界说决定的。

除了这三个基本条目，还有一种特殊的“距离”，会骄矜第四个条目：要是把点A的坐标乘以一个常数a，得回一个新的点aA，那么点aA到原点的距离，刚好是点A到原点距离的a倍（距离和坐标骄矜线性联系）。这种特殊的距离，被称为“范”（norm），而领有这种距离界说的空间，被称为“赋范空间”。

咱们日常生活顶用到的“距离”，便是一种“范”，对应的空间便是“欧几里得空间”——这是古希腊数学家欧几里得在公元前300年附近提倡的空间见解，他在《几何底本》中树立了角和空间距离之间的关联，开辟了处理平面二维物体的“平面几何”和三维物体的“立体几何”，其后被执行到轻易有限维度，酿成了n维欧几里得空间。

约在公元前300年，古希腊数学家欧几里德树立了角和空间中距离之间关联的法例，现称为欧几里德几何。欧几里德最初开辟了处理平面上二维物体的“平面几何”，他接着分析三维物体的“立体几何”，整个欧几里德的公理已被编排到叫作念二维或三维欧几里德空间的抽象数学空间中。这些数学空间不错被膨大来应用于任何有限维度，而这种空间叫作念n维欧几里德空间(致使简称n维空间)或有限维实内积空间。

欧式距离的猜度公式很轻便：关于空间中两个点A（x1，y1，z1）和B（x2，y2，z2），它们之间的距离，等于根号下（x1-x2）² +（y1-y2）² +（z1-z2）²——这便是咱们初中数学中学到的“两点间距离公式”，亦然咱们感知寰宇的基础：咱们判断物体的遐迩、大小，皆是基于欧式距离的界说。

需要注重的是，欧几里得空间仅仅无数种空间中的一种——它是一种“胜仗空间”，解任“两点之间直线最短”“三角形内角和为180度”“圆周率为3.14159……”等咱们持重的礼貌。

但在数学中，还有好多不明任这些礼貌的空间，比如球面空间（地球名义便是一个二维球面空间，在这个空间中，两点之间的最短距离是“大圆航路”，三角形内角和大于180度）、双曲空间（三角形内角和小于180度），以及咱们背面会提到的曼哈顿空间、结巴空间等。

长入了这一丝，咱们就能显然：东谈主类无法设想四维空间，并不是因为“维度太高”，而是因为四维欧几里得空间的距离界说，无法通过咱们持重的方式，对应到三维欧几里得空间中——而咱们能设想低维空间，骨子上是因为低维欧几里得空间的距离界说，能通过“可微单射”的方式，疏忽对应到三维空间中。

在深远分析“可微单射”之前，咱们先望望：除了四维空间，还有哪些咱们“设想不出”的空间——这能让咱们更明晰地瓦解到：设想力的局限，从来皆不是“维度”的问题，而是“空间性质”的问题。

好多东谈主以为，东谈主类只可设想到三维空间，四维及以上的空间皆无法设想——但推行上，即使是一些低维空间，致使是无法界说维度的空间，咱们也相通无法设想。

四维空间，仅仅“设想不出”的空间中的一种良友。

咱们先从一个寰球相坚持重的空间提及：曼哈顿空间。它的中枢是“曼哈顿距离”，这是一种和欧式距离完全不同的距离界说。

曼哈顿距离的界说很轻便：关于平面上的两个点A（x1，y1）和B（x2，y2），它们之间的距离，等于|x1-x2| + |y1-y2|——也便是两点在x轴上的距离完全值，加上在y轴上的距离完全值。

举个例子：要是你在曼哈顿街头开车，从一个路口到另一个路口，你无法笔直穿过高堂大厦，只可沿着街谈拐弯行驶，你行驶的距离，便是曼哈顿距离；而要是是空中的飞机，从一个点飞到另一个点，飞行的直线距离，便是欧式距离。

在车辆导航中，传统A*旅途打算算法的启发函数常弃取欧氏距离、曼哈顿距离和对角距离，其中曼哈顿距离就对应着推行谈路行驶的旅途长度，而欧氏距离则对应两点间的直线距离。

从名义上看，曼哈顿距离似乎很容易设想——咱们不错在纸上画出两点，再画出沿着坐标轴的折线，就能直不雅地长入它。但这仅仅一种“简化设想”，就像咱们把三维的线简化成一维一样，咱们并莫得信得过设想出曼哈顿空间的骨子。

为什么这样说？因为当两个点的距离无限小时，就相配于有无数个无限小的“高楼”，卡在这两个点之间——任何两个坐标不同的点，即使无限接近，也无法用一条“欧式直线”衔接起来，只可用无数条折线衔接。要是你非要设想这无数个无限小的高楼，设想这无数条折线，你会发现我方根蒂作念不到——咱们的大脑无法处理“无限个无限小”的细节，只可忽略这些细节，简化成咱们能长入的折线。

这和咱们设想二维空间的逻辑是一样的：咱们以为我方设想出了二维空间，其实是忽略了“无限薄”这个细节，把三维的纸张简化成了二维；咱们以为我方设想出了曼哈顿空间，其实是忽略了“无限个无限小高楼”这个细节，把曼哈顿空间简化成了三维空间中的折线。

要是说曼哈顿空间还能拼集“简化设想”，那么底下这个空间，就连简化设想皆作念不到——结巴空间。

这个空间的距离界说很轻便：要是两个点是销毁个点，它们之间的距离为0；要是两个点是不同的点，开云体育官网它们之间的距离恒为1。这个界说完全骄矜咱们前边提到的“距离三条目”：非负销毁性（距离要么是0，要么是1，皆大于等于0）、对称性（点A到B的距离是1，点B到A的距离亦然1）、三角不等式（1+1≥1，0+1≥1，完全树立），但它彰着不是一种“范”（因为不骄矜线性联系）。

要是你非要用大脑设想这个空间的体式，你只可设想出4个点——这4个点要是用欧几里得空间的点来默示，刚好能组成一个正四面体（四个极点之间的距离皆特别）。但要是再加多一个点，你就会发现，无论如何摆放，皆无法让这个点和其他4个点的距离皆等于1——因为在三维欧几里得空间中，最多只可有4个点，两两之间的距离特别。

更枢纽的是，这种结巴空间，致使连“维度”皆难以界说——它既不是一维、二维，也不是三维，而是一种完全不同于欧几里得空间的“结取悦构”。咱们的大脑习尚了基于连气儿、平滑的空间来设想，濒临这种结巴的、自高貌的空间，根蒂无法树立起任何有用的对应，天然也就无法设想。

除了这两种空间，还有好多咱们无法设想的空间：比如双曲空间（在这个空间中，直线会不断发散，三角形内角和小于180度）、分形空间（无限精采、自相似，比如曼德博聚合），致使还有一些无法用“距离”来界说的拓扑空间。

这些空间在数学上皆不错被严格界说，不错被接洽，但咱们的大脑却无法设想出它们的具体体式——这和四维空间的情况完全一样。

看到这里，咱们不错修正一个常见的误区：东谈主类无法设想四维空间，并不是因为“高维空间无法被设想”，而是因为四维欧几里得空间的性质，无法通过咱们大脑能处理的方式，对应到三维空间中。而那些咱们能设想的低维空间，骨子上是因为它们的性质，能通过“可微单射”的方式，疏忽对应到三维空间中——这就引出了咱们最中枢的问题：“设想”究竟是一个如何的经由？

需要发挥的是，数学家们并不保重东谈主类的“设想”究竟是什么——他们只保重空间的性质和礼貌，只须能通过公式、逻辑推导来边幅空间，就弥漫了。

而咱们这里谋划的“设想”，是从东谈主类默契的角度启程，分析咱们为什么能“设想出”某些空间，而无法设想出另一些空间——这是一种基于大脑默契礼貌的分析，如有不当，也海涵寰球指正。

其实，东谈主类作为三维欧几里得空间中的生物，咱们的“设想”经由，骨子上便是把一个空间中的整个点集，对应到三维欧几里得空间中的经由。

轻便来说：要是咱们能把一个空间的点集，通过某种方式，逐个双应到三维空间的点聚合，况且这种对应是“平滑的”（可微的），咱们就会以为我方“设想出”了这个空间；反之，要是无法树立这种对应，或者这种对应是“不屈滑的”（不可微的），咱们就无法设想出这个空间。

这里的中枢见解，便是“单射”和“可微”——咱们先庸碌地解释这两个见解，再纠合例子分析。

最初是“单射”：轻便来说，便是“一个萝卜一个坑”，莫得叠加，莫得遗漏。

具体来说，关于聚合A（咱们要设想的空间的点集）和聚合B（三维空间的点集），要是聚合A中的每一个点，皆能对应到聚合B中的唯逐个个点；况且聚合A中任何两个不同的点，对应到聚合B中的点也一定不同——这种对应联系，便是单射。

比如，咱们设想二维空间的点集（x，y），咱们不错给每一个二维点，皆加上一个z坐标（比如z=0），这样就得回了三维空间的点集（x，y，0）。这种对应联系便是单射：每一个二维点，皆对应唯逐个个三维点；两个不同的二维点，对应到三维空间中的点也一定不同——这便是咱们能“设想出”二维空间的中枢原因：咱们树立了二维空间到三维空间的单射对应，况且忽略了z=0这个恒定的维度，简化了默契。

再比如，咱们设想一维空间的点集（x），咱们不错给每一个一维点，皆加上y和z坐标（比如y=0，z=0），得回三维空间的点集（x，0，0）——这亦然一种单射对应，是以咱们能“设想出”一维空间。

接下来是“可微”：这个见解略微复杂一丝，咱们不错庸碌地长入为“平滑变化”——也便是说，当聚合A中的两个点无限接近时，它们对应到聚合B中的两个点，也无限接近，况且这种接近的比例是“有礼貌的”“可猜度的”，莫得倏得的逾越或突变。

如故以二维空间为例：咱们把二维点（x，y）对应到三维点（x，y，0），当二维点（x1，y1）和（x2，y2）无限接近时，它们对应的三维点（x1，y1，0）和（x2，y2，0）也无限接近，况且接近的比例是恒定的——这种对应便是“可微”的。

正因为这种可微的单射对应，咱们才调疏忽地设想出二维空间：咱们不需要讨论复杂的变化，只需要把二维空间“平铺”在三维空间的一个平面上，就能直不雅地长入它。

但要是这种对应变得“不可微”，咱们的设想力就会跟不上。

比如，咱们把二维空间的点（x，y）对应到三维空间的点（x，y，sin(1/x)）——当x无限接近0时，sin(1/x)会在-1和1之间无限荡漾，变化颠倒剧烈，莫得礼貌可言。

这种对应联系便是“不可微”的，咱们根蒂无法设想出这种对应下的二维空间是什么神态——因为咱们的大脑无法处理这种“无限次的突变”。

当今，咱们回到四维空间的问题上：咱们为什么无法设想四维欧几里得空间？中枢原因便是：咱们无法树立四维空间到三维空间的“可微单射”对应。

咱们来作念一个轻便的尝试：四维空间的点集是（x，y，z，w），咱们想把它对应到三维空间的点集（x，y，z）——这种对应联系彰着不是单射，因为不同的w值（比如w=1和w=2），会对应到销毁个三维点（x，y，z）。

也便是说，四维空间中的多个点，会被“压缩”到三维空间的销毁个点上，咱们无法通过这种对应，区分四维空间中的不同点——天然也就无法设想出四维空间的点漫衍。

大约你会问：“咱们能不可找到一种单射对应，把四维空间的点集对应到三维空间的点集？”谜底是不错的——因为从聚合论的角度来看，无论n是若干，n维空间中点的数目皆是“阿列夫1”（无尽大的一种，对应实数的数目），是以四维空间和三维空间的点集，骨子上是“等势”的，咱们一定能找到一种单射对应。

比如，咱们不错用康托尔的坐标区别枢纽：把四维空间的点（x，y，z，w），对应到三维空间的点（x，y，b），其中b是z和w的“组合坐标”——比如，z=123，w=456，咱们不错把b涵养为“奇数位是z的数字，偶数位是w的数字”，也便是142536；要是z=100，w=234，b便是120304。这样一来，任何不同的z和w，皆会对应到不同的b，从而对应到不同的三维点——这便是一种单射对应。

但问题在于，这种单射对应是“不可微”的，致使是“不连气儿”的。当四维空间中的两个点无限接近时（比如z=123，w=456和z=123.0001，w=456.0001），它们对应的b值会发生“逾越式变化”（从142536变成142536.00010001……），这种变化是不礼貌、不屈滑的——咱们的大脑无法处理这种“逾越式的变化”，无法设想出这种对应联系下的四维空间。

这里咱们需要强调一个枢纽：东谈主类的大脑，只可设想出“有限次均匀变化”的体式。咱们所能设想的一切物体，骨子上皆是“有限个均匀变化的线、面、体的组合”——比如，咱们设想一个球体，它的名义是均匀转折的；咱们设想一座山岭，它的抽象是连气儿变化的。

但要是一个体式需要“无限次不均匀变化”，咱们的大脑就无法处理——因为咱们无法设想“无限个细节”，无法跟上“无限次的突变”。

四维空间的问题，刚巧就在这里：要把四维空间的点集对应到三维空间，要么无法树立单射（多个四维点对应一个三维点），要么树立的单射是不可微的（逾越式变化）——无论是哪种情况，咱们的大脑皆无法处理，天然也就无法设想出四维空间的具体体式。

这种“无法设想无限次不均匀变化”的局限，在历史上也曾有过一个经典的案例——韦尔斯特拉斯函数，它完整地印证了咱们的分析。

1872年，德国数学家卡尔·魏尔斯特拉斯在一篇论文中，提倡了一个颤抖数学界的函数——韦尔斯特拉斯函数。

这个函数的特殊之处在于：它是一个“处处连气儿，但处处不可微”的函数——轻便来说，它的图像是连气儿的，莫得断点，但在每一个点上，皆莫得切线，无法找到“平滑变化”的礼貌。

在这个函数被提倡之前，所突出学家皆莫得预料“一个处处连气儿，但处处不可导的函数”。

在早期数学家的直观和“设想”里，这样的函数是不存在的，他们直观上认为，即使关于任何一个不可微的连气儿函数，你只须分割到弥漫小，那么也会是可微的。

在韦尔斯特拉斯函数被提倡之前，数学家们宽绰认为：连气儿的函数，除了少数几个特殊点除外，在大宽绰点上皆是可微的——也便是说，只须把函数图像分割得弥漫小，就总能找到一段平滑的线段，找到切线。

这是那时所突出学家的“直观”，因为他们无法设想出“连气儿但处处不可微”的函数——就像咱们无法设想出四维空间一样。

为什么数学家们无法设想出这样的函数？

因为韦尔斯特拉斯函数的图像，是“无限次不均匀变化”的——它的图像就像一条无限精采的锯齿，无论你把它放大若干倍，它的抽象依然是锯齿状的，莫得任何一段平滑的线段；它的变化是无限次的、自高貌的，咱们的大脑无法处理这种“无限次的突变”，无法设想出它的具体体式。

魏尔斯特拉斯函数不错被视为第一个分形函数，尽管这个名词那时还不存在。将魏尔斯特拉斯函数在职一丝放大，所得回的局部图皆和举座图形相似。

因此，无论如何放大，函数图像皆不会显得愈加光滑，不像可导函数那样越来越接近直线;仍然具有无限的细节，也不存在单调的区间。

韦尔斯特拉斯函数的构造并不复杂（它是一个无尽级数的和），但它的图像却无法被设想——这和咱们无法设想四维空间的逻辑是完全一致的：它们皆需要咱们处理“无限次不均匀变化”，而咱们的大脑天生就不具备这种智商。

更瞻仰的是，其后的数学接洽发现，韦尔斯特拉斯函数并不是“特例”——在连气儿函数空间中，“处处连气儿、处处不可微”的函数，比“可微函数”多得多（在测度论道理上，可微函数的测度为0，简直不错忽略不计）。

也便是说，咱们平时能设想出的“平滑函数”，其实是连气儿函数中“少量数”的特例；而那些咱们无法设想的“病态函数”，才是主流。

这也从侧面印证了咱们的不雅点：东谈主类的设想力，是有局限的——咱们只可设想出那些“平滑的、有限次变化”的体式，而关于“无限次变化”“不可微”的体式，咱们根蒂无法设想，即使它们在数学上是简直存在的。

回到四维空间的问题上：韦尔斯特拉斯函数是二维空间中的“不可设想之物”，而四维空间是更高维度的“不可设想之物”——它们的骨子皆是一样的：咱们的大脑无法树立起有用的“可微单射”对应，无法处理“无限次不均匀变化”，因此无法设想出它们的具体体式。

这里咱们需要长入一个紧迫的不雅点：东谈主类的设想力，既是无尽的，亦然匮乏的。

说它无尽，是因为咱们不错通过逻辑、公式、推理，去长入那些咱们无法设想的空间和礼貌——比如，数学家们天然无法设想出四维空间的具体体式，但他们不错通过代数公式、拓扑表面，去接洽四维空间的性质，去推导四维空间中的几何礼貌；咱们天然无法设想出韦尔斯特拉斯函数的图像，但咱们不错通过无尽级数的表面，去解说它的存在，去分析它的性质。

就像欧几里德空间不错被膨大到轻易维的情形，称为实内积空间，尽管数学颠倒抽象，但却拿获了持重的欧几里德空间的根蒂骨子，即平面性。

说它匮乏，是因为咱们的大脑受到三维欧几里得空间的截止，无法突破“可微单射”的控制，无法设想出那些“无限次不均匀变化”的体式，无法直不雅地感知那些超出三维默契的空间——就像阿列夫零（可数无尽大）天然是无尽的，但相关于阿列夫一（不可数无尽大），它依然是“匮乏”的；咱们的设想力天然能掩盖咱们日常的默契，但相关于数学中无尽千般的空间，它依然是“匮乏”的。

临了，咱们需要显然一个意思意思：设想不出四维空间，并不是一件“缺憾”的事，也不是咱们“不够智谋”，而是东谈主类默契的客不雅局限——就像蚂蚁作为二维生物，无法设想出三维空间的神态，但这并不影响蚂蚁在二维空间中糊口、活动；咱们作为三维生物，无法设想出四维空间的神态，但这也并不影响咱们接洽四维空间，并不影响咱们愚弄高维空间的表面，激动科技的发展（比如，相对论中的四维时空、弦表面中的十维空间，天然咱们无法设想，但它们的表面也曾被平方应用于物理学接洽）。

数学的魔力，就在于它能让咱们突破设想力的局限，通过逻辑和推理，去探索那些咱们无法直不雅感知的寰宇；而东谈主类的晋升，也在于咱们勇于去念念考、去探索那些“无法设想”的事物——大约有一天，咱们能找到一种新的默契方式，突破三维空间的控制，信得过长入四维空间的玄机，但在那之前，咱们不错先学会：领受设想力的局限，同期保执对未知的好奇。

毕竟，咱们能把三维的线简化成一维，能把三维的纸简化成二维，这也曾是一种了不得的智商；而无法设想四维空间，不外是这种智商的“畛域”良友——恰是因为有了畛域开云体育官网，咱们才有了探索的能源，才有了不断突破默契的可能。

• 四位
• 深度
• 开云体育官网
• 空间
• 长文